Binary Operations
Senior 4 · Mathematics
Binary Operations
Lesson 4 of 4
25 min
Look at the barcode area of an older book and you may find a 10-digit ISBN such as 0-306-40615-2. The last digit is not part of the book's number: it is a check digit, chosen so that a weighted sum of all ten digits is a multiple of 11. If a shop assistant mistypes any single digit, the sum stops being a multiple of 11 and the computer refuses the number. Why does this always work, and why 11 and not 10? The answer needs a set with two operations, addition and multiplication, that behave as well as they do for real numbers. Such a set is a field, and arithmetic modulo 11 is one.
Definition
Ring: a set with two binary operations, written and , is a ring if
The ring is commutative if for all , and is a ring with unity if has an identity element, written 1.
Examples: , , and are commutative rings with unity. The even integers form a commutative ring without unity, since no even number satisfies . is not a ring: has no inverses.
Definition
Zero divisor: in a commutative ring, a non-zero element is a zero divisor if there is a non-zero with .
Integral domain: a commutative ring with unity and no zero divisors.
Example: in , although neither factor is 0, so 2 and 3 are zero divisors and is not an integral domain. is an integral domain: a product of non-zero integers is never 0.
Worked example 1: solving equations in
Solve in : (a) (b) . Compare with real numbers.
Solution The row of 2 in the table is .
Over , always has exactly one solution, . In it can have two solutions or none, because 2 has no multiplicative inverse there. That is what a field forbids.
Definition
Field: a commutative ring with unity in which every non-zero element has a multiplicative inverse , with . Equivalently, and are both abelian groups, and distributes over .
Examples: and are fields. is not, since 2 has no inverse in . In a field, with always has exactly one solution, .
Important
Theorem. is a field if and only if is prime.
Why. (1) A field has no zero divisors: if and , then . If with , then , so is not a field. (2) If is prime and , the products are all different (if two were equal, would divide , which is impossible for a prime that divides neither nor ). So they are the non-zero elements in some order, and one of them is 1: has an inverse.
| 1 | 2 | 3 | 4 | |
|---|---|---|---|---|
| 1 | 1 | 2 | 3 | 4 |
| 2 | 2 | 4 | 1 | 3 |
| 3 | 3 | 1 | 4 | 2 |
| 4 | 4 | 3 | 2 | 1 |
Every row contains 1 exactly once, so every non-zero element has an inverse: , , , . The structures of this unit fit inside each other:
Worked example 2: equations in the field
Solve in : (a) (b) .
Solution
Worked example 3: the ISBN-10 check digit
For an ISBN-10 , the rule is that is a multiple of 11; the symbol X stands for a check digit of 10. (a) Find the check digit of 0-306-40615-?. (b) Show that typing the fourth digit, 6, as 8 would be detected.
Solution

Tip
To decide whether is a field, just ask whether is prime. To find an inverse in , look for 1 in the element's row of the multiplication table, or try multiples: in , , so .
Socratica: Ring Definition (expanded). Watch for the ring axioms, then for the examples that are rings with and without a unity.
Practice
Show all working in modular arithmetic.
Key points
Further reading for this unit
Sources and credits
Quick check
Which of these is a field?