Algebra, Modern, Structural axioms

The basic rules, or axioms, for addition and multiplication are shown in the table, and a set that satisfies all 10 of these rules is called a field. A set satisfying only axioms 1–7 is called a ring, and if it also satisfies axiom 9 it is called a ring with unity. A ring satisfying the commutative law of multiplication (axiom 8) is known as a commutative ring. When axioms 1–9 hold and there