Projective algebraic variety: Difference between revisions
No edit summary |
No edit summary |
||
| Line 4: | Line 4: | ||
A '''projective algebraic variety''' (or simply '''projective variety''') is an irreducible closed subset of the [[projective space]] over a [[field]], equipped with the [[Zariski topology]]. | A '''projective algebraic variety''' (or simply '''projective variety''') is an irreducible closed subset of the [[projective space]] over a [[field]], equipped with the [[Zariski topology]]. | ||
We often assume that the underlying field is [[algebraically closed field|algebraically closed]]. | |||
==Related notions== | ==Related notions== | ||
Revision as of 11:52, 20 August 2007
Definition
A projective algebraic variety (or simply projective variety) is an irreducible closed subset of the projective space over a field, equipped with the Zariski topology.
We often assume that the underlying field is algebraically closed.