Affine scheme: Difference between revisions
Jump to navigation
Jump to search
imported>Giovanni Antonio DiMatteo (New page: ==Definition== For a commutative ring <math>A</math>, the set <math>Spec(A)</math> (called the ''prime spectrum of ''<math>A</math>) denotes the set of prime ideals of $A$. This set is e...) |
imported>Giovanni Antonio DiMatteo No edit summary |
||
| Line 1: | Line 1: | ||
==Definition== | ==Definition== | ||
For a commutative ring <math>A</math>, the set <math>Spec(A)</math> (called the ''prime spectrum of ''<math>A</math>) denotes the set of prime ideals of $A$. This set is endowed with a [[Topological Space|topology]] of closed sets, where closed subsets are defined to be of the form <math>V(E)=\{p\in Spec(A)| p\supseteq E\}</math> for any subset <math>E\subseteq A</math>. | For a commutative ring <math>A</math>, the set <math>Spec(A)</math> (called the ''prime spectrum of ''<math>A</math>) denotes the set of prime ideals of $A$. This set is endowed with a [[Topological Space|topology]] of closed sets, where closed subsets are defined to be of the form | ||
:<math>V(E)=\{p\in Spec(A)| p\supseteq E\}</math> | |||
for any subset <math>E\subseteq A</math>. This topology of closed sets is called the ''Zariski topology'' on <math>Spec(A)</math>. | |||
==Some Topological Properties== | ==Some Topological Properties== | ||
Revision as of 14:18, 2 December 2007
Definition
For a commutative ring , the set (called the prime spectrum of ) denotes the set of prime ideals of $A$. This set is endowed with a topology of closed sets, where closed subsets are defined to be of the form
for any subset . This topology of closed sets is called the Zariski topology on .
Some Topological Properties
is Hausdorff
The Structural Sheaf
The Category of Affine Schemes
Regarding as a contravariant functor between the category of commutative rings and the category of affine schemes, one can show that it is in fact an anti-equivalence of categories.
