algebraic manifold
Definition.
Let be a field and let be a submanifold. is said tobe an algebraic manifold
(or -algebraic
) if there exists an irreducible
algebraicvariety such that and . If ,then is called a Nash manifold.
It can be proved that such a manifold is defined as the zero set
of a finite collection of analytic algebraic functions.
References
- 1 M. Salah Baouendi,Peter Ebenfelt,Linda Preiss Rothschild.,Princeton University Press,Princeton, New Jersey, 1999.