The algebraic theory of rings.