Algebraic geometry
Algebraic geometry is in many ways the mirror image of commutative algebra. This correspondence started with Hilbert's Nullstellensatz that establishes a one-to-one correspondence between the points of an algebraic variety, and the maximal ideals of its coordinate ring. This correspondence has been enlarged and systematized for translating (and proving) most geometrical properties of algebraic varieties into algebraic properties of associated commutative rings. Alexander Grothendieck completed this by introducing schemes, a generalization of algebraic varieties, which may be built from any commutative ring. More precisely,