# Definition:Prime Spectrum of Ring

Jump to navigation
Jump to search

## Definition

Let $A$ be a commutative ring with unity.

The **prime spectrum** or **spectrum** of $A$ is the set of prime ideals $\mathfrak p$ of $A$:

- $\Spec A = \set {\mathfrak p \lhd A: \mathfrak p \text{ is prime} }$

## Also defined as

The notation $\Spec A$ is also a shorthand for the locally ringed space:

- $\struct {\Spec A, \tau, \mathcal O_{\Spec A} }$

where:

- $\tau$ is the Zariski topology on $\Spec A$
- $\mathcal O_{\Spec A}$ is the structure sheaf of $\Spec A$