Unit 2 Binary operations
Key unit competence: Apply the concepts of binary operations and algebraic structures such as groups, rings and fields in analysing mathematical problems.
Key ideas
- A binary operation on a set combines two elements of into one element. If for all , is closed (stable) under .
- Properties: commutative ; associative ; identity with ; inverse with .
- A Cayley table shows all results. Commutative if symmetric about the leading diagonal; identity row/column repeats the headings.
- A group : closure, associativity, identity, every element has an inverse. If also commutative: an abelian group.
- A ring : is an abelian group; is closed and associative; distributes over .
- A field is a commutative ring with unity in which every non-zero element has a multiplicative inverse (e.g. , , for prime ).
Formulas to know
Common misconceptions
- "Subtraction on is a binary operation." No: , so is not closed under subtraction.
- " is a field." No: 2 has no multiplicative inverse in . It is a ring.
Worked examples
Example 1. On , . Find the identity and the inverse of .
Solution
. Inverse: .
Example 2. Is a group?
Solution
Closed (, , ), associative, identity 1, each element is its own inverse. Yes, an abelian group.
Practice questions
Easier and harder questions are mixed, just like in a real exam.
Show that on is commutative and associative.
Show answer
. .
Common mistake: Checking one numerical example only.
Give one reason why is not a group.
Show answer
There is no inverse in (e.g. ), and so there is no identity.
Common mistake: Saying it is not closed.
Construct the Cayley table of under addition and state the identity and inverses.
Show answer
Rows 0: 0 1 2 3; 1: 1 2 3 0; 2: 2 3 0 1; 3: 3 0 1 2. Identity 0; inverses: , , , .
Common mistake: Writing 4 instead of 0 in the table.
Show that (even integers) is a group.
Show answer
Even + even is even (closure); addition is associative; is even (identity); the inverse of is , also even.
Common mistake: Forgetting that the identity must belong to the set.
Is a group? (with )
Show answer
Yes: closed (all products are in the set), associative, identity 1, inverses , , , . It is abelian.
Common mistake: Forgetting to check closure for .
Find all elements of that have a multiplicative inverse.
Show answer
1, 3, 5, 7 (they are coprime to 8): , , .
Common mistake: Including even numbers.
Explain why is a field.
Show answer
is an abelian group; is an abelian group (every non-zero real has inverse ); multiplication distributes over addition.
Common mistake: Including 0 in the multiplicative group.
On , . Is there an identity element?
Show answer
gives , which depends on . No single identity exists.
Common mistake: Accepting an "identity" that depends on .
Matching and drag-and-drop
Matching
Match each item in column A with the correct answer in column B. Write the letter next to each number.
Column A Column B 1. How many elements of have a multiplicative inverse? a. 2. On , . Find . b. 3. A group has identity , and . Find . c. 4. On , (identity 0). Find the inverse of 2. d. Show answer
1 → b () · 2 → d () · 3 → c () · 4 → a ()
- Step 1. An element has an inverse modulo 10 when it shares no factor with 10.
Step 2. These are 1, 3, 7 and 9 (, ): 4 elements. - Step 1. .
Step 2. . - Step 1. , so .
Step 2. .
Step 3. So . - Step 1. .
Step 2. , so .
- Step 1. An element has an inverse modulo 10 when it shares no factor with 10.
Drag and drop
Choose the correct word or phrase from the box for each gap. One word in the box is not needed.
· · ·- In (multiplication modulo 7), the inverse of 5 is .
- On , . The identity element is .
- On , . The inverse of 3 is .
Show answer
1: · 2: · 3:
- Step 1. Look for with .
Step 2. , so . - Step 1. gives .
Step 2. . Check: . ✓ - Step 1. The identity is .
Step 2. gives .
Step 3. .
Matching
Match each item in column A with the correct answer in column B. Write the letter next to each number.
Column A Column B 1. In a group, a. 2. On , . Find the inverse of 8. b. 3. In , which element has no inverse? c. 4. On , . Find . d. Show answer
1 → d () · 2 → a () · 3 → c () · 4 → b ()
- Step 1. .
Step 2. So the inverse reverses the order. - Step 1. Identity: , so .
Step 2. , so and . - Step 1. , , .
Step 2. is always 0 or 4 modulo 8, never 1: 4 has no inverse. - Step 1. .
Step 2. .
- Step 1. .
Drag and drop
Choose the correct word or phrase from the box for each gap. One word in the box is not needed.
· · ·- is a group with identity . If , then .
- In , the inverse of is .
- Solve . →
Show answer
1: · 2: · 3:
- Step 1. Multiply both sides by : .
Step 2. , so . - Step 1. The identity is 1.
Step 2. . - Step 1. because .
Step 2. .
Step 3. Check: . ✓