The properties of arithmetic come in matched pairs — one version for addition, one for multiplication — with the distributive property bridging the two and the zero property breaking the symmetry on the multiplication side. The table below presents the duality in one view, alongside whether each property carries over to subtraction or division (which are themselves derived from the two primary operations).
| Property |
For addition |
For multiplication |
Inherits to sub / div? |
| Commutative |
a + b = b + a |
a·b = b·a |
✗ |
| Associative |
(a + b) + c = a + (b + c) |
(a·b)·c = a·(b·c) |
✗ |
| Identity element |
a + 0 = a (identity is 0) |
a · 1 = a (identity is 1) |
via inverse form |
| Inverse element |
a + (−a) = 0 for every a |
a · (1⁄a) = 1 for every a ≠ 0 |
defines sub, div |
| Distributive (bridge) |
a(b + c) = ab + ac — the only property linking the two operations; distributes over subtraction too |
✓ |
| Zero property |
— (no analog) |
a · 0 = 0; consequence of distributivity; reason 0 has no multiplicative inverse |
n/a |