Mathematicians call \mathbb{R} a field. That one word packages nine rules about addition and multiplication — the same rules you have used since Class 6 without naming them. A field is any number system where all nine hold. \mathbb{Q}, \mathbb{R}, \mathbb{C} are fields. The integers \mathbb{Z} are almost a field, but fail one of the nine — which is why \mathbb{Z} is called a ring instead.

This satellite is a laboratory. The widget below has three sliders for a, b, c and one button per axiom. Pick any axiom; the widget rewrites both sides with your values, evaluates each side, and shows they agree. Slide, repeat. The equality never breaks, because the axioms are not approximate observations — they are exact identities.

The widget

Three sliders set $a$, $b$, $c$. Click any axiom button. The canvas redraws both sides of the equation with your values substituted, evaluates each side to a decimal, and confirms they are equal. Try $a = 0$ before clicking "multiplicative inverse" — the widget warns you that $1/0$ is undefined, the one escape clause written into the axiom.

Try sliding a, b, c around while a button is selected. The equality holds for every combination. That is what "axiom" means in this context: not a deep theorem, but a rule so fundamental that \mathbb{R} is defined to satisfy it.

The nine rules, in plain language

A field has two operations — addition + and multiplication \cdot — and the following nine properties hold for every a, b, c in the field.

1. Commutativity of addition. a + b = b + a. Swap \pi + \sqrt{2} for \sqrt{2} + \pi; same sum.

2. Commutativity of multiplication. a \cdot b = b \cdot a. A carrom board of 4 rows by 6 columns has 24 pieces either way.

3. Associativity of addition. (a + b) + c = a + (b + c). Bracketing does not affect a sum of three terms — which is why you write a + b + c without brackets.

4. Associativity of multiplication. (a \cdot b) \cdot c = a \cdot (b \cdot c). Volume of a box: length \times (width \times height) equals (length \times width) \times height.

5. Distributivity. a \cdot (b + c) = a \cdot b + a \cdot c. The one rule that links addition and multiplication. It is why 3 \cdot (10 + 7) = 30 + 21 = 51. Without distributivity, + and \cdot would be two unrelated operations that happen to share a set.

6. Additive identity. There exists 0 with a + 0 = a for every a. Zero is the "do nothing" element of addition.

7. Multiplicative identity. There exists 1 \ne 0 with a \cdot 1 = a. One is the "do nothing" element of multiplication; the axiom demands 1 \ne 0 to keep the field from collapsing to a single point.

8. Additive inverse. For every a there is -a with a + (-a) = 0. Every number has an opposite that cancels it.

9. Multiplicative inverse. For every a \ne 0 there is a^{-1} (also written 1/a) with a \cdot a^{-1} = 1. Zero is the only exception: 0 \cdot x = 0 always, so no x can give 0 \cdot x = 1.

Why \mathbb{R} satisfies all nine

Each axiom is built into the construction of \mathbb{R}. Whether you build the reals from Dedekind cuts, Cauchy sequences, or infinite decimals, the construction is engineered to extend the rational field while preserving every rule. The rationals \mathbb{Q} are already a field — p/q + r/s commutes, associates, distributes, and nonzero rationals have rational reciprocals — and when you pass to \mathbb{R} by filling in the missing \sqrt{2}, \pi, e, the field properties come along for the ride.

What \mathbb{R} adds beyond \mathbb{Q} is completeness, the least upper bound property covered in Real Numbers — Properties. Completeness is not a field axiom — it is an extra axiom that the rationals fail. So \mathbb{R} is a complete ordered field, while \mathbb{Q} is just an ordered field.

Why \mathbb{Z} fails — the missing reciprocals

Put the widget aside for a moment and imagine restricting the sliders to integers only. Check each of the nine axioms on \mathbb{Z}.

Eight down. Now the ninth — multiplicative inverse. Does every nonzero integer have an integer reciprocal?

Take a = 2. You need an integer x with 2x = 1. The only solution is x = 1/2, which is not an integer. No integer is a reciprocal of 2.

This failure is not a quirk of the number 2. The only integers with integer reciprocals are 1 (its own reciprocal) and -1 (its own reciprocal). Every other nonzero integer has a reciprocal that lives outside \mathbb{Z}. So \mathbb{Z} satisfies axioms 1 through 8 but fails axiom 9 for almost every element.

This is why mathematicians call \mathbb{Z} a ring (a set with +, \cdot, and the first eight properties) but not a field. To upgrade \mathbb{Z} to a field, you have to add fractions — and doing that systematically gives you \mathbb{Q}. The construction of \mathbb{Q} from \mathbb{Z} is literally the process of forcing axiom 9 to hold, by allowing every p/q with q \ne 0 as a legal number.

A worked example — distributivity on three tricky values

Set the sliders to a = -1.5, b = 2.3, c = -4.1 and click the distributivity button. The widget shows:

They agree exactly. Now slide b to 0 — the two sides simplify to a \cdot c on both sides, still agreeing. Slide a to 0 — both sides collapse to 0. No matter where the sliders go, the equality holds.

Distributivity is the one axiom where the left and right sides look genuinely different before you simplify, which is why it is the most useful in algebra. Every time you factor x^2 - 4 = (x - 2)(x + 2) or expand (2 + \sqrt{3})^2 = 4 + 4\sqrt{3} + 3, you are applying distributivity. The widget turns the abstract rule into a typed-out numerical check you can run against any three numbers.

What the widget does not show

The axioms say 0, 1, -a, and a^{-1} exist; a stronger theorem proved from those axioms says each is unique. And many "obvious" rules — 0 \cdot a = 0, (-a)(-b) = a \cdot b, the cancellation laws — are not axioms but consequences. "Negative times negative equals positive" follows from distributivity applied to 0 = (-a)(b + (-b)), not from a tenth rule.

Where this leads

Fields are everywhere. Beyond \mathbb{Q} and \mathbb{R} lie the complex numbers \mathbb{C}, the finite fields \mathbb{F}_p for prime p (used in cryptography), and fields of rational functions. Linear algebra is built on fields — every matrix inversion ultimately calls axiom 9 on the field's nonzero scalars. The next time you see a textbook list "commutative, associative, distributive," you will know those are three of nine.

Related: Real Numbers — Properties · Operations and Properties · Number Systems · Mod-7 Multiplication Table Reveals Field Structure