Maximal Ideal¶

A proper two-sided ideal maximal under inclusion, equivalently one whose quotient ring is simple—and, for a commutative unital ring, a field.

Version: v2 · 2026-09-06 · History
Domain-specific #: 2246
Origin domain: mathematics
Subdomain: ring theory
Aliases: Maximal two-sided ideal

Core Idea¶

A maximal ideal is a proper two-sided ideal \(\mathfrak m\) of a ring \(R\) with no proper ideal strictly between \(\mathfrak m\) and \(R\). Equivalently,

\[ \mathfrak m\subseteq J\subseteq R \quad\Longrightarrow\quad J=\mathfrak m\ \text{or}\ J=R. \]

The word maximal is relative to the inclusion order on the proper two-sided ideals of this particular ambient ring. It does not mean largest by cardinality, uniquely greatest, numerically optimal, or maximal among every kind of subset. Different maximal ideals of one ring are normally incomparable.

The decisive reason this is more than a named extremum is the quotient classifier. Ideals of \(R/\mathfrak m\) correspond to ideals of \(R\) containing \(\mathfrak m\). Therefore \(\mathfrak m\) is maximal exactly when the nonzero quotient \(R/\mathfrak m\) has no nonzero proper two-sided ideals—that is, when the quotient is a simple ring.^[1]^[2] In the standard commutative theory, where rings have identity and homomorphisms preserve it, this sharpens to

\[ \mathfrak m\text{ maximal} \quad\Longleftrightarrow\quad R/\mathfrak m\text{ is a field}. \]

The Stacks Project uses precisely this field-quotient criterion and illustrates it with \(\mathbb Z/(p)=\mathbb F_p\) and \(k[x]/(f)\) for irreducible \(f\).^[3] The quotient is then called the residue field at \(\mathfrak m\). This turns a global ring into an irreducible local observer: reducing modulo \(\mathfrak m\) collapses every element of the ideal to zero and leaves a field in which every surviving nonzero class is invertible.

The locked identity is thus ambient ring + proper two-sided ideal + inclusion poset of proper ideals + no proper intermediate ideal + quotient correspondence -> simple quotient (field in the commutative-unital case). One-sided maximal ideals and maximal submodules instantiate a parallel module-theoretic pattern, but they are not silently interchangeable with the two-sided object: a quotient by a merely right ideal is a right module, not in general a quotient ring.

Structural Signature¶

the ambient ring — a ring \(R\) whose ideal lattice supplies the comparison universe;
the candidate two-sided ideal — a subset \(\mathfrak m\triangleleft R\) closed under subtraction and multiplication on both sides by elements of \(R\);
properness — \(\mathfrak m\ne R\), required because the unit ideal would be trivially above every ideal but would produce the zero quotient;
the inclusion order — the partial order on proper two-sided ideals in which \(I\le J\) means \(I\subseteq J\);
the maximality invariant — no proper \(J\) satisfies \(\mathfrak m\subsetneq J\subsetneq R\);
the quotient map — \(\pi:R\twoheadrightarrow R/\mathfrak m\), whose kernel is \(\mathfrak m\);
the correspondence bridge — ideals above \(\mathfrak m\) correspond to ideals of the quotient, translating inclusion maximality into quotient simplicity;
the simple quotient — \(R/\mathfrak m\) has only its zero and whole two-sided ideals;
the commutative-unital specialization — simplicity becomes the field property, and \(R/\mathfrak m\) is the residue field;
the prime consequence — in a commutative unital ring every maximal ideal is prime because a field is an integral domain, while the converse requires additional hypotheses;
the existence route — in a nonzero unital ring, a proper ideal lies inside a maximal ideal by applying Zorn’s lemma to the proper ideals above it;^[4]
the geometric realization — for a commutative ring, maximal ideals are the closed points of \(\operatorname{Spec}R\), and their set is often written \(\operatorname{MaxSpec}R\).^[5]

Recognition test. A case qualifies only if there is a specified ambient ring and a specified proper two-sided ideal, maximality is taken in the inclusion poset of proper two-sided ideals, and the quotient has the corresponding simple-ring consequence. Merely being a large ideal, a prime ideal, an ideal generated by many elements, or an optimal design does not qualify.

What It Is Not¶

Not the greatest proper ideal. “Maximal” allows several incomparable elements. In \(\mathbb Z\), \((2)\) and \((3)\) are both maximal, but neither contains the other.
Not merely a prime ideal. In a commutative unital ring, maximal implies prime; prime need not imply maximal. The zero ideal of \(\mathbb Z\) is prime because \(\mathbb Z\) is a domain, but it is not maximal because the quotient is \(\mathbb Z\), not a field.
Not the unit ideal. \(R\) is excluded by properness. Without this clause, the inclusion statement would admit a useless top element and the quotient would be the zero ring.
Not a maximal right or left ideal without qualification. A maximal right ideal \(M\) makes \(R/M\) a simple right module. Unless \(M\) is two-sided, multiplication of cosets is not well-defined, so \(R/M\) is not a quotient ring.^[1]
Not a simple ring. A maximal ideal is a subobject of an ambient ring; a simple ring is the quotient outcome. In a simple ring \(S\), the zero ideal is maximal two-sided, but the two roles remain distinct.
Not a field. In the commutative-unital case the quotient is a field, not the ideal itself. In the noncommutative case the quotient may be a simple ring such as a full matrix ring, which is not a field.
Not a maximal submodule in general. Maximal submodules obey the same order-and-simple-quotient pattern in a module lattice, but an arbitrary module carries no internal ring multiplication and its quotient is a simple module.
Not guaranteed in every nonunital setting. The familiar existence and field-quotient statements use a unit. Removing it changes both the Zorn argument and the meaning of the quotient’s identity.

Scope of Application¶

Maximal ideals recur wherever ring structure is examined through its irreducible quotients. In elementary number theory, they identify moduli \(p\) for which reduction \(\mathbb Z\to\mathbb F_p\) lands in a field. In polynomial algebra, they classify field-valued evaluations and algebraic extensions: if \(f\in k[x]\) is irreducible, then \((f)\) is maximal and \(k[x]/(f)\) is a field.^[3] In commutative algebra, localization at a prime \(\mathfrak p\) produces a local ring \(R_{\mathfrak p}\) whose unique maximal ideal is \(\mathfrak pR_{\mathfrak p}\) and whose residue field is \(\kappa(\mathfrak p)\).^[6]

In algebraic geometry, \(\operatorname{Spec}R\) contains all prime ideals, but its closed points are exactly the maximal ones.^[5] For a finitely generated algebra over an algebraically closed field \(k\), the weak Nullstellensatz identifies maximal ideals of \(k[x_1,\ldots,x_n]\) with point ideals \((x_1-a_1,\ldots,x_n-a_n)\).^[7] Thus the same abstraction translates between an extremal algebraic subobject, a residue field, and a geometric point.

In local algebra, the unique maximal ideal separates units from nonunits and organizes infinitesimal approximation through its powers. Nakayama-type arguments test finite generation after passage to the residue field. In representation theory and noncommutative ring theory, maximal right ideals classify simple cyclic modules: every maximal right ideal gives a simple quotient \(R/M\), and every simple unital right \(R\)-module is isomorphic to one of this form after choosing a nonzero generator.^[2]^[1] The Jacobson radical is then built from intersections of maximal one-sided ideals; Lam’s treatment makes the one-sided ideal structure and module categories a central theme.^[1]

The boundary is mathematical and literal. “Maximal ideal” does not transfer to an organization’s best policy, an engineering optimum, or a philosophical ideal taken to its limit. Those may instantiate generic order, maximality, or optimization patterns, but they do not carry ideals, quotient rings, residue fields, or the correspondence theorem.

Clarity¶

The quickest clarity procedure is the quotient test:

state the ambient ring and its convention (commutative or not, unital or not);
verify that \(I\) is a proper two-sided ideal;
compute or characterize \(R/I\);
ask whether the quotient is simple, or a field when the ring is commutative and unital.

For example, \((2,x)\subset\mathbb Z[x]\) is maximal because evaluation at \(x=0\) followed by reduction modulo \(2\) gives

\[ \mathbb Z[x]/(2,x)\cong\mathbb F_2. \]

By contrast, \((x)\subset k[x,y]\) is prime but not maximal: the quotient \(k[x,y]/(x)\cong k[y]\) is a domain but not a field. This one computation separates prime from maximal without attempting to enumerate every larger ideal.

A second diagnostic distinguishes maximal from maximum. If two candidate ideals are incomparable, both can be maximal. A maximum proper ideal, if one existed, would contain every other proper ideal and would be unique. The definition makes only the local “nothing strictly above me short of \(R\)” claim. A third diagnostic asks what kind of quotient is actually available: quotient ring for a two-sided ideal, quotient module for a one-sided ideal.

Manages Complexity¶

The abstraction compresses an open-ended search through an ideal lattice into a sharp quotient property. Directly proving that no intermediate ideal exists can require reasoning about every possible \(J\). The correspondence theorem moves the problem to \(R/I\): if that quotient is a field, the only ideals are \(0\) and the whole field, so maximality follows immediately. Conversely, once maximality is known, every nonzero residue class in the commutative quotient must generate the whole quotient and hence be invertible.

This compression is useful in construction. Rather than search directly for an exotic field, one may start with a ring whose elements are concrete expressions and quotient by a maximal ideal. Finite fields arise as \(\mathbb Z/(p)\); algebraic field extensions arise as \(k[x]/(f)\) for irreducible \(f\). It is also useful in localization: passing from \(R\) to \(R_{\mathfrak p}\) turns a selected prime into the unique maximal ideal, focusing the ring on behavior near one point.^[6]

Maximal ideals also organize global information. Their intersection is the Jacobson radical in the commutative setting, and membership can be tested through failure to survive in every residue field.^[8] In geometry, replacing an ideal lattice with points and residue fields exposes the locally observable behavior of functions. The gain is not that all difficult computation disappears, but that many different questions—existence of field quotients, closed points, units, local behavior, and simple modules—share one reusable classifier.

Abstract Reasoning¶

Several reliable inferences follow from the signature.

Maximality from a field quotient. If \(R\) is commutative unital and \(R/I\) is a field, any ideal \(J\supseteq I\) maps to an ideal \(J/I\) of that field. It must be \(0\) or the whole field, hence \(J=I\) or \(J=R\).

Field quotient from maximality. If \(I\) is maximal and \(a+I\ne0\), then \(I+(a)\) properly contains \(I\), so it equals \(R\). Thus \(1=i+ra\) for some \(i\in I\), and \((r+I)(a+I)=1+I\). Every nonzero class is invertible.

Prime consequence. A field has no zero divisors. Therefore \(ab\in\mathfrak m\) implies \((a+\mathfrak m)(b+\mathfrak m)=0\), hence one factor is zero and \(a\in\mathfrak m\) or \(b\in\mathfrak m\). This proves maximal implies prime in the commutative-unital setting.

Existence above a proper ideal. Order the proper ideals containing \(I\) by inclusion. The union of a chain is an ideal; in a unital ring it remains proper because containing \(1\) would put \(1\) in one chain member. Zorn’s lemma supplies a maximal member.^[4] This is an existence theorem, not an algorithm for finding generators.

Surjective pullback. If \(\varphi:R\twoheadrightarrow S\) and \(\mathfrak n\) is maximal in \(S\), then \(R/\varphi^{-1}(\mathfrak n)\cong S/\mathfrak n\), so the preimage is maximal. Surjectivity matters: under the inclusion \(\mathbb Z\hookrightarrow\mathbb Q\), the preimage of the maximal ideal \(0\subset\mathbb Q\) is \(0\subset\mathbb Z\), which is not maximal.

These inferences fail or change type when a hypothesis changes. For a maximal right ideal, use a simple module quotient. For a noncommutative two-sided ideal, use a simple ring quotient, not a field. For a nonunital ring, do not import the standard field and existence theorems without a replacement convention.

Knowledge Transfer¶

Transfer within algebra is literal and powerful. The same inclusion-plus-quotient mechanism recognizes maximal ideals in integers, polynomial rings, coordinate rings, local rings, product rings, matrix rings, valuation rings, and operator algebras. The computations differ, but the roles do not: ambient ring, proper ideal, inclusion maximality, quotient map, and simple quotient. A proof learned for \(\mathbb Z\)—look at the quotient—transfers directly to \(k[x]\), \(k[x_1,\ldots,x_n]\), or a coordinate ring.

The mechanism also transfers, with an explicit change of carrier, to maximal submodules. Replace the lattice of two-sided ideals by the lattice of submodules and replace the simple-ring quotient by a simple-module quotient. A maximal right ideal is exactly a maximal submodule of the regular right module \(R_R\). This is a genuine structural generalization, but it is not an alias: module closure and ring-ideal closure are different predicates, and only the two-sided case supports quotient multiplication.

The portable skeleton—maximal proper subobject under inclusion, detected by a simple quotient—is an instance of order, kernel, and quotient reasoning. That skeleton can occur for normal subgroups, submodules, congruences, and other algebraic subobjects. Yet the full Maximal Ideal abstraction stays ring-specific because it requires absorption under ring multiplication and generates ring-specific consequences: residue fields, maximal spectra, local rings, Jacobson radicals, and closed scheme points. Outside algebra, using “maximal ideal” for a best feasible option would be metaphor rather than transfer.

Examples¶

Integers. For a prime \(p\), \((p)\subset\mathbb Z\) is maximal because \(\mathbb Z/(p)\cong\mathbb F_p\) is a field. For composite \(n=ab\) with \(1<a,b<n\), \((n)\subsetneq(a)\subsetneq\mathbb Z\), so \((n)\) is not maximal. The quotient \(\mathbb Z/(n)\) correspondingly has zero divisors.
Irreducible polynomial. If \(f\in k[x]\) is irreducible, then \((f)\) is maximal and \(k[x]/(f)\) is a field.^[3] Taking \(k=\mathbb R\) and \(f=x^2+1\) constructs \(\mathbb C\cong\mathbb R[x]/(x^2+1)\).
Prime but not maximal. In \(k[x,y]\), \((x)\) is prime because its quotient is the domain \(k[y]\). It is not maximal because \(k[y]\) is not a field; indeed \((x)\subsetneq(x,y)\subsetneq k[x,y]\).
A point of affine space. Over an algebraically closed field \(k\), \(\mathfrak m_a=(x_1-a_1,\ldots,x_n-a_n)\) is maximal and evaluation gives \(k[x_1,\ldots,x_n]/\mathfrak m_a\cong k\). The weak Nullstellensatz says all maximal ideals of the polynomial ring arise this way.^[7]
Localization. For a prime \(\mathfrak p\subset R\), the localization \(R_{\mathfrak p}\) is local with unique maximal ideal \(\mathfrak pR_{\mathfrak p}\). Elements outside \(\mathfrak p\) become units, while the residue field records the value at the selected algebraic point.^[6]
Simple noncommutative quotient. The full matrix ring \(M_n(F)\) is simple as a two-sided ring. Hence the zero ideal is maximal two-sided. It is not the unique maximal right ideal when \(n>1\), showing why two-sided maximality does not collapse the one-sided module theory.^[1]
Product ring. In \(R\times S\), if \(\mathfrak m\) is maximal in \(R\), then \(\mathfrak m\times S\) is maximal because \((R\times S)/(\mathfrak m\times S)\cong R/\mathfrak m\). The symmetric construction \(R\times\mathfrak n\) supplies the other family.

Structural Tensions¶

T1 — Maximal versus maximum. Inclusion maximality is local in the poset and permits incomparable winners; “largest proper ideal” would be global and unique. Diagnostic: ask whether the claim excludes only strictly larger proper ideals or asserts containment of every proper ideal.

T2 — Prime versus maximal. Maximality produces a field quotient in commutative algebra; primality produces only a domain quotient. Every field is a domain, but not every domain is a field. Diagnostic: compute the quotient and ask whether every nonzero class is invertible, not merely whether products vanish cleanly.

T3 — Two-sided versus one-sided. Two-sided ideals support quotient rings and simple-ring classification; right or left ideals support quotient modules and simple-module classification. Diagnostic: check whether multiplying a coset on both sides is well-defined before calling the quotient a ring.

T4 — Simple ring versus field. Commutativity converts a simple unital ring into a field; without it, matrix rings are simple but have noninvertible nonzero matrices. Diagnostic: ask whether the ambient theory assumes commutative multiplication before replacing “simple quotient” with “field quotient.”

T5 — Existence versus construction. Zorn’s lemma ensures that a proper ideal in a nonzero unital ring lies in a maximal ideal, but does not calculate generators or decide which maximal ideal is useful. Diagnostic: distinguish a proof that some maximal extension exists from an algorithm that produces one.

T6 — Global spectrum versus local observer. A ring may have many maximal ideals, each yielding a different residue field; localization selects one and makes it unique. Diagnostic: record which \(\mathfrak m\) supplies the quotient or localization instead of speaking of “the” maximal ideal unless the ring is local.

T7 — Algebraic point versus generic point. Maximal ideals are closed points of \(\operatorname{Spec}R\), while nonmaximal prime ideals represent generic points of irreducible closed subsets. Diagnostic: determine whether the quotient is a field or merely a domain before treating a prime as an ordinary closed point.

T8 — Parent structure versus residual identity. A maximal ideal inherits a bare ring structure, but its defining maximality is relative to an ambient ring and cannot be recovered from its internal multiplication alone. Diagnostic: specify both the ideal-as-ring and its embedding into \(R\); isomorphic abstract rings can occupy different positions in different ideal lattices.

Structural–Framed Character¶

Maximal Ideal is structurally pure in operation but domain-specific in vocabulary. It has no evaluative weight: “maximal” is an order-theoretic predicate, not praise, and a nonmaximal ideal has committed no failure. It is not human-practice-bound: once \(R\), \(\mathfrak m\), and the operations are fixed, maximality and quotient simplicity are mathematical facts independent of an observer. Its definition is not an institutional convention; different ring conventions alter stated hypotheses, but the inclusion and quotient theorems are entailed by the chosen axioms.

Within mathematics, transfer is recognition rather than import. The same object is detected in number theory, polynomial algebra, algebraic geometry, representation theory, and noncommutative ring theory. The only framed pull comes from vocabulary travel: ideal, two-sided absorption, quotient ring, residue field, and maximal spectrum make sense only inside the algebraic substrate. The English adjectives “maximal” and “ideal” travel separately, but their conjunction outside ring theory rarely preserves the mechanism.

The resulting grading is structural with a small domain-accent score: vocab_travels = 0.50, while evaluative weight, institutional origin, human-practice binding, and analogy-based import are all 0.0; aggregate 0.10. The object is formal and neutral, yet it remains a domain-specific abstraction rather than a free-standing prime because its distinctive consequences depend on ring operations.

Structural Core vs. Domain Accent¶

Structural core. Strip away ring vocabulary and a compact order-quotient skeleton remains: choose a proper subobject in an inclusion poset; require that no proper intermediate subobject exist; use a correspondence theorem to say that the quotient has no nontrivial subobjects. This skeleton belongs to order, maximal-element reasoning, kernel, and quotient construction. It reappears with normal subgroups, submodules, congruences, and other algebraic subobjects.

Domain accent. The ring-specific content begins with the ideal predicate itself: additive subgroup closure plus absorption by ambient multiplication. It continues with the two-sided/one-sided distinction, quotient multiplication, simple rings, commutative residue fields, prime ideals, local rings, the Jacobson radical, \(\operatorname{MaxSpec}\), and closed points of affine schemes. Those are not decorative examples of a generic maximum; they are the working machinery that makes maximal ideals useful.

Why the node is autonomous. prime:order explains maximal elements but does not define ideals or translate maximality into quotient simplicity. domain_specific:ring supplies the ambient operations and mentions ideal structure but does not identify the terminal proper ideals, distinguish one-sided from two-sided quotients, or connect them to fields and closed points. domain_specific:field names one commutative quotient outcome but does not identify its kernel inside the source ring. Even their composition leaves the stable role system unstated. Dedicated textbooks and the Stacks Project use maximal ideals across multiple algebraic practices as a repeatable object, so the residual identity clears the domain-specific autonomy bar.

Why it is not a prime. Literal recurrence is confined to algebraic structures equipped with ideals and quotients. Calling a maximal feasible policy, largest tolerable error, or highest-ranking preference a “maximal ideal” preserves at most generic order language and discards absorption, quotient rings, residue fields, and spectra. The cross-domain reach belongs to the structural parents; the retained node belongs to ring theory.

order. Proper ideals form a poset under inclusion, and maximal ideal is a domain-specific maximal-element construction in that poset. Order supplies comparability, incomparability, chains, and the maximal-versus-maximum distinction.
kernel. Every ideal \(I\) is the kernel of the quotient homomorphism \(R\to R/I\). Maximality classifies those quotient kernels whose codomain is simple, or a field in commutative-unital algebra.
well_foundedness_well_ordering. The existence proof uses Zorn’s lemma on chains of proper ideals. This is related choice/maximal-element machinery, not exact coverage and not a taxonomic parent.
relation. Inclusion is the binary relation that gives the ideal family its order structure. The ring-theoretic closure predicate determines which subsets enter the carrier before the relation is applied.
local_to_global_aggregation. Maximal ideals and residue fields provide pointwise probes of a commutative ring, while the ring and its spectrum retain global information. The connection is methodological, not an identity claim.

Relationships to Other Abstractions¶

Current abstraction Maximal Ideal Domain-specific

Parents (1) — more general patterns this builds on

Maximal Ideal is a kind of Ring Domain-specific

well_foundedness_well_ordering. The existence proof uses Zorn’s lemma on chains of proper ideals.

Neighborhood in Abstraction Space¶

Maximal Ideal sits in a sparse region of the domain-specific corpus (80^th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Unclustered & Miscellaneous (1565 abstractions)

Nearest neighbors

Principal Ideal — 0.85
Congruence ideal — 0.82
Structure Theorem for Finitely Generated Modules over a Principal Ideal Domain — 0.82
(B, N) Pair — 0.81
Alexander Duality — 0.81

Computed from structural-signature embeddings · 2026-09-08

Not to Be Confused With¶

domain_specific:ring — Ring. Ring is the ambient two-operation structure. A maximal ideal is a particular proper absorbing subring positioned at the top of the proper ideal lattice of an ambient ring. The parent does not encode this relative position or quotient consequence.
domain_specific:field — Field. A field is the commutative-unital quotient produced by a maximal ideal. The ideal is the kernel in the source ring, not the resulting field.
prime:order — Order. Order supplies the inclusion-poset skeleton and the meaning of a maximal element. It does not define an ideal, a quotient ring, simplicity, residue fields, or spectra.
prime:well_foundedness_well_ordering — Well-Foundedness (Well-Ordering). Well-foundedness concerns minimal elements of every nonempty subset or termination of descent. A maximal ideal need not arise from a well-founded ideal order; Zorn’s lemma instead uses upper bounds for chains to prove a maximal element exists.
domain_specific:kernel — Kernel. Every maximal ideal is a quotient-map kernel, but most kernels are not maximal. The missing test is whether the quotient is simple or a field.
Conductor (ring theory). A conductor is a largest ideal shared by an extension \(A\subseteq B\), defined by multiplication into \(A\). It may be nonmaximal and solves a different containment problem.
Prime ideal. Prime ideals correspond to domain quotients in commutative algebra and supply all points of \(\operatorname{Spec}R\). Maximal ideals correspond to field quotients and precisely the closed points.
Local ring. A local ring is an ambient ring with exactly one maximal ideal. It is not the maximal ideal itself; the pair \((R,\mathfrak m)\) records both roles.
Jacobson radical. In a commutative ring this is the intersection of all maximal ideals, usually smaller than each individual maximal ideal. In noncommutative theory one must specify left/right conventions.

References¶

[1] Lam, T. Y. A First Course in Noncommutative Rings, 2^nd ed.. Graduate Texts in Mathematics 131. Springer, 2001. Authoritative source for two-sided, one-sided, simple-ring, simple-module, Jacobson-radical, local, and semilocal distinctions. registry ↩a ↩b ↩c ↩d ↩e

[2] Anderson, Frank W., and Kent R. Fuller. Rings and Categories of Modules, 2^nd ed.. Graduate Texts in Mathematics 13. Springer, 1992. Authoritative source for ideals, modules, simple quotients, one-sided ideal structure, and the relation between rings and module categories. registry ↩a ↩b

[3] The Stacks Project Authors. “Examples of fields,” Section 9.3. Verifies \(R/I\) is a field exactly when \(I\) is maximal and supplies the \(\mathbb Z/(p)\) and \(k[x]/(f)\) examples. registry ↩a ↩b ↩c

[4] The Stacks Project Authors. “The spectrum of a ring,” Section 10.17 and Lemma 10.17.2. Gives the Zorn-lemma existence proof for maximal ideals in nonzero rings under the Project’s unital convention. registry ↩a ↩b

[5] The Stacks Project Authors. “Jacobson rings,” Section 10.35. States that closed points of \(\operatorname{Spec}R\) are maximal ideals and develops their density properties in finite-type settings. registry ↩a ↩b

[6] The Stacks Project Authors. “Local rings,” Section 10.18. Defines local rings and residue fields and proves \(R_{\mathfrak p}\) is local with maximal ideal \(\mathfrak pR_{\mathfrak p}\). registry ↩a ↩b ↩c

[7] The Stacks Project Authors. “Hilbert Nullstellensatz,” Theorem 10.34.1. Establishes the maximal-ideal and residue-field facts for finite-type algebras over a field. registry ↩a ↩b

[8] The Stacks Project Authors. “The Jacobson radical of a ring,” Section 10.19. Treats the intersection of maximal ideals and its unit tests. registry ↩

[9] The Stacks Project Authors. “Basic notions,” Section 10.3, especially the maximal-ideal/field-quotient criterion and Jacobson radical. Continuously maintained authoritative reference for commutative algebra. registry

[10] Wikipedia contributors. “Maximal ideal,” frozen revision 1361064253, 2026-06-25. Discovery provenance only; not the material authority for this draft. registry