Ideal Arithmetic, and the Chinese Remainder Theorem.
In this entry, we define the sum and product of two ring Ideals. We then prove the Chinese Remainder Theorem for Ideals. Along the way, we study a tiny bit of Category theory, enough to define free objects and work a little bit with free rings.