Mathlib
Atlas
Algebra
Pathway X
Spec
Ring theory and algebraic geometry
Rings, ideals, quotients — then Spec, and a cubic that is a group.
01
Spec
The spectrum of a ring is its prime ideals, with closed sets V(I) = {p : I ⊆ p}.
4 min
02
Ideals and quotients
An ideal absorbs multiplication from the ring. The quotient R/I is the ring as seen from I.
4 min
03
Elliptic curves
A smooth cubic y² = x³ + ax + b. The chord-and-tangent law makes its points a group.
4 min
Begin this pathway