The Ring Axioms

Today, we introduce the ring axioms. Rings are to two binary operations what groups are to a single binary operation. These algebraic structures are brought in as an appropriate context in which to discuss a question you may have wondered since middle school: Why do two negatives multiply to a positive? This and more will be answered concisely, hopefully whetting your appetite for some ring theory.