Codex Wiki OurBigBook logoOurBigBook.comSite Source code
If is irreducible of dimension , choose a nonzero -rowed minor of a Jacobian matrix at one point of minimum tangent dimension. Its nonvanishing locus is a nonempty Zariski-open set on which the Jacobian has rank , so every point there is smooth. Irreducibility makes every nonempty Zariski-open set dense.

Ancestors (7)

  1. Smooth locus of a variety
  2. Zariski tangent space
  3. Algebraic geometry
  4. Geometry and topology
  5. Area of mathematics
  6. Mathematics
  7. Home