Definition:Maximal Spectrum of Ring

Definition
$\newcommand{\msa}{\operatorname{Max}\:\operatorname{Spec}(A)}$ Let $A$ be a commutative ring with unity.

The maximal spectrum of $A$ is the set of maximal ideals of $A$:


 * $\msa = \{\mathfrak m \lhd A : \mathfrak m \text{ is maximal}\}$

where $I \lhd A$ indicates that $I$ is an ideal of $A$.

$\msa$ is understood to be a topological space: it inherits the subspace topology from the prime spectrum.