Spectrum of a ring
Builds on Commutative ringPrime idealZariski topologyRing homomorphism
Definition
Let be a commutative ring. The spectrum of is the set equipped with the Zariski topology, whose closed sets are the sets for subsets .
Remarks
A ring homomorphism induces the map , . It is continuous, since the preimage of is .
Example: consists of and the ideals for the prime numbers . The spectrum of a field is a single point . The spectrum of for is the finite set of ideals for the primes dividing .
Non-example: the ring itself is not a point of , because a prime ideal is by definition a proper ideal. So the zero ring has empty spectrum.
Every nonzero ring has a maximal ideal, which is prime, so when .
Reading path
To understand this page from the ground up, read these 5 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Commutative ring concept
- Prime ideal concept
- Ring homomorphism concept
- Zariski topology concept
- Spectrum of a ring definition
Further reading
About this page
| Tag | QJAXM2SF1Z |
|---|---|
| URI | m2://QJAXM2SF1Z |
| Kind | definition |
| Writing | W0 stub |
| MSC | 14A05, 13A15 |
| Defines | Spectrum of a ring |
| Uses | Commutative ring, Prime ideal, Zariski topology, Ring homomorphism |
| Changed | 2 November 2026 |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- a source with a locator (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
No page links to this page yet.