# Ideal

**Type:** Concept  
**Domain:** Algebra  
**Codex URL:** /mathematics/algebra/ideal/  
**Entry status:** Live — v1.0 (2026-05-27)

## Summary
A subset of a ring that absorbs multiplication — invented to rescue unique factorization.

## Definition
I⊆R is an ideal if closed under addition, and r·a, a·r ∈ I for all r∈R, a∈I.

## Kummer's motivation (1840s)
Unique factorization mysteriously breaks in certain number systems; Kummer invented "ideal numbers" to rescue it, in pursuit of Fermat's Last Theorem for regular primes.

## Principal, prime, maximal ideals
Principal: generated by one element. Prime: ab∈P ⟹ a∈P or b∈P. Maximal: not properly contained in any ideal but R itself.

## Quotient rings
R/I — collapse I to zero, directly analogous to quotient groups.

## Dedekind domains
Ideals (not elements) factor uniquely into prime ideals — the modern realization of Kummer's original insight.

## Noetherian rings (Emmy Noether, 1920s)
Every ideal finitely generated; most natural rings (integers, polynomial rings) are Noetherian.

## Algebraic geometry connection
Hilbert's Nullstellensatz (1893) links ideals to geometric varieties — foundational to the framework of the (still open) Hodge Conjecture.

## Sources
### Tier 1
- Dummit, D.S. and Foote, R.M. (2004). Abstract Algebra.
- Atiyah, M.F. and Macdonald, I.G. (1969). Introduction to Commutative Algebra.
### Tier 2
- Edwards, H.M. (1977). Fermat's Last Theorem.

---
*Mathematics Codex entry v1.0 — added 2026-05-27 — thecodex.expert/mathematics/*