Namespaces
Variants
Actions

Difference between revisions of "Irreducible variety"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (links)
 
(2 intermediate revisions by 2 users not shown)
Line 1: Line 1:
An [[Algebraic variety|algebraic variety]] that is an [[Irreducible topological space|irreducible topological space]] in the [[Zariski topology|Zariski topology]]. In other words, an algebraic variety is irreducible if it cannot be represented as the union of two proper closed algebraic subvarieties. Irreducibility of a scheme is defined similarly. For a smooth (and even a normal) variety the concepts of being irreducible and being connected are the same. Every irreducible variety has a unique generic point (cf. [[Point in general position|Point in general position]]).
+
{{TEX|done}}
  
By analogy with the decomposition of a topological space into irreducible components, any algebraic variety is the union of finitely many irreducible closed subvarieties. The algebraic basis of this representation (which can be expressed more precisely) is the [[Primary decomposition|primary decomposition]] in commutative Noetherian rings.
+
An [[algebraic variety]] that is an [[Irreducible topological space|irreducible topological space]] in the [[Zariski topology|Zariski topology]]. In other words, an algebraic variety is irreducible if it cannot be represented as the union of two proper closed algebraic subvarieties. Irreducibility of a scheme is defined similarly. For a smooth (and even a normal) variety the concepts of being irreducible and being connected are the same. Every irreducible variety has a unique [[generic point]] (cf. [[Point in general position]]).
  
A product of irreducible varieties over an algebraically closed field is also irreducible. For an arbitrary ground field this is no longer true. The following version of the concept of an irreducible variety is also useful: A variety <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i052/i052650/i0526501.png" /> over a field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i052/i052650/i0526502.png" /> is called geometrically irreducible if for any field extension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i052/i052650/i0526503.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i052/i052650/i0526504.png" /> the variety <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i052/i052650/i0526505.png" /> obtained from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i052/i052650/i0526506.png" /> by [[Base change|base change]] remains irreducible.
+
By analogy with the decomposition of a topological space into irreducible components, any algebraic variety is the union of finitely many irreducible closed subvarieties. The algebraic basis of this representation (which can be expressed more precisely) is the [[primary decomposition]] in commutative Noetherian rings.
 +
 
 +
A product of irreducible varieties over an algebraically closed field is also irreducible. For an arbitrary ground field this is no longer true. The following version of the concept of an irreducible variety is also useful: A variety $X$ over a field $k$ is called geometrically irreducible if for any field extension $k'$ of $k$ the variety $X\otimes_kk'$ obtained from $X$ by [[base change]] remains irreducible.
  
  
Line 11: Line 13:
  
 
====References====
 
====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> R. Hartshorne,   "Algebraic geometry" , Springer (1977)</TD></TR></table>
+
<table>
 +
<TR><TD valign="top">[a1]</TD> <TD valign="top"> R. Hartshorne, "Algebraic geometry", Springer (1977) {{MR|0463157}} {{ZBL|0367.14001}} </TD></TR>
 +
</table>

Latest revision as of 16:15, 3 January 2016


An algebraic variety that is an irreducible topological space in the Zariski topology. In other words, an algebraic variety is irreducible if it cannot be represented as the union of two proper closed algebraic subvarieties. Irreducibility of a scheme is defined similarly. For a smooth (and even a normal) variety the concepts of being irreducible and being connected are the same. Every irreducible variety has a unique generic point (cf. Point in general position).

By analogy with the decomposition of a topological space into irreducible components, any algebraic variety is the union of finitely many irreducible closed subvarieties. The algebraic basis of this representation (which can be expressed more precisely) is the primary decomposition in commutative Noetherian rings.

A product of irreducible varieties over an algebraically closed field is also irreducible. For an arbitrary ground field this is no longer true. The following version of the concept of an irreducible variety is also useful: A variety $X$ over a field $k$ is called geometrically irreducible if for any field extension $k'$ of $k$ the variety $X\otimes_kk'$ obtained from $X$ by base change remains irreducible.


Comments

References

[a1] R. Hartshorne, "Algebraic geometry", Springer (1977) MR0463157 Zbl 0367.14001
How to Cite This Entry:
Irreducible variety. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Irreducible_variety&oldid=15393
This article was adapted from an original article by V.I. Danilov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article