Groups

Welcome to the World of Groups!

Ever wondered how mathematicians study symmetry, or how a Rubik's Cube actually works? Welcome to Group Theory! This chapter isn't about people hanging out; it’s about a set of elements and a rule (an operation) that tells us how they interact. Think of it as the "DNA of Mathematics"—it’s a way to look at the underlying structure of many different mathematical systems at once.

Don't worry if this seems a bit abstract at first. We’ll start with the basic "rules of the club" and soon you'll be seeing groups everywhere!

1. The Group Axioms: The "Rules of the Club"

A Group consists of a set of elements \(G\) and a binary operation (usually written as \(*\)). To be a group, it must follow four strict rules, called axioms. You can remember them with the mnemonic CAII (pronounced like "K-eye"):

• C - Closure: If you take any two elements in the group and combine them using the operation, the result must still be in the group.
  Analogy: If two members of a "Numbers Club" dance together, the person they create must also be a club member. No outsiders allowed!


• A - Associativity: For any three elements \(a, b,\) and \(c\), the order in which you group them doesn't matter: \( (a * b) * c = a * (b * c) \).


• I - Identity: There must be one special "do-nothing" element, usually called \(e\). For any element \(a\), \( a * e = a \) and \( e * a = a \).
  Example: In addition, 0 is the identity because \(5 + 0 = 5\). In multiplication, 1 is the identity.


• I - Inverse: Every single element \(a\) must have an "undo button" called \(a^{-1}\). When you combine them, you get back to the identity: \( a * a^{-1} = e \).

Quick Review: The CAII Rules

1. Closure: \(a * b \in G\)
2. Associativity: \((a * b) * c = a * (b * c)\)
3. Identity: \(a * e = a\)
4. Inverse: \(a * a^{-1} = e\)

Key Takeaway: If a set fails even one of these rules, it is not a group!

2. Cayley Tables

For small groups, we use a Cayley Table to show how every element interacts. It's like a multiplication table.

Important Property: In a Cayley table for a group, every element appears exactly once in every row and every column (like a Sudoku square). If you see a duplicate in a row or a missing element, it’s not a group!

Step-by-Step: Checking a Table
1. Check for Closure: Are all results in the table inside the original set?
2. Find the Identity: Look for the row/column that looks exactly like the headers.
3. Check for Inverses: Does every row/column contain the identity element \(e\)?
4. Check for Abelian (Commutative): Is the table symmetrical across the leading diagonal? (Note: All groups in your syllabus will likely be Abelian, but it's not a strict group requirement unless specified!)

3. Common Examples of Groups

The syllabus requires you to be familiar with these specific types of groups:

Integers Modulo \(n\) (\(\mathbb{Z}_n\))

These are the "clock arithmetic" groups. For example, in \(\mathbb{Z}_4\) under addition, we only use \(\{0, 1, 2, 3\}\).
\(2 + 3 = 5\), but in modulo 4, we subtract 4 to get \(1\). So, \(2 + 3 = 1\).
Identity: Always \(0\).
Inverse of \(x\): The number you add to \(x\) to get back to \(0\).

Symmetries of Geometric Figures

Think of an equilateral triangle. You can rotate it (\(120^\circ, 240^\circ, 360^\circ\)) or reflect it. These movements form a group!
Identity: The "Stay Still" movement (\(0^\circ\) rotation).

Matrix Groups

Sets of matrices can form groups under matrix multiplication. However, for an Inverse to exist, the matrix must be non-singular (the determinant \(\det(M) \neq 0\)).

Did you know? Multiplication of integers is NOT a group if we include \(0\), because \(0\) has no inverse (you can't divide by zero to get back to 1)!

4. Order of Groups and Elements

The word "Order" is used in two ways—don't let this trip you up!

• Order of a Group \( |G| \): Simply the number of elements in the set.
• Order of an Element \( o(a) \): The smallest positive integer \(n\) such that \( a^n = e \). (In addition, this means adding \(a\) to itself \(n\) times).

Example: In \(\mathbb{Z}_4\) under addition, what is the order of element \(1\)?
\(1 = 1\)
\(1 + 1 = 2\)
\(1 + 1 + 1 = 3\)
\(1 + 1 + 1 + 1 = 4 \equiv 0\) (Identity!)
Since it took four '1s' to reach the identity, the order of element 1 is 4.

5. Cyclic Groups

A group is Cyclic if there is at least one element (called a generator) that can produce every other element in the group by being applied repeatedly.

If a group of order \(n\) has an element of order \(n\), the group is Cyclic.

Key Takeaway: All cyclic groups are Abelian (the order of operation doesn't matter), but not all Abelian groups are cyclic!

6. Subgroups and Lagrange's Theorem

A Subgroup is a subset of a group that is a group itself (using the same operation).
Every group has at least two subgroups: the group itself and the "trivial" subgroup \(\{e\}\).

Lagrange’s Theorem (Very Important!)

The Rule: The order of a subgroup must be a factor of the order of the parent group.
\( \frac{|G|}{|Subgroup|} = \text{An Integer} \)

Why is this useful? If your group has 6 elements, Lagrange tells us that any subgroup must have a size of 1, 2, 3, or 6. It is impossible to have a subgroup of size 4 or 5!

Common Mistake: Just because a number divides the group order doesn't mean a subgroup of that size must exist. It just means it's possible.

7. Isomorphism

Isomorphism is a fancy word for "mathematical twins." Two groups are isomorphic if they have the same structure, even if the elements look different.

For Edexcel (max order 8), to show two groups are NOT isomorphic, look for a "deal-breaker":

• Do they have different orders?
• Does one have an element of order \(k\) while the other doesn't?
• Is one cyclic and the other isn't?

Analogy: Playing Poker with a standard deck vs. playing with a "Star Wars" themed deck. The pictures are different, but the rules and the game structure are exactly the same. They are isomorphic!

Summary Checklist

• Can I state and check the 4 axioms (**CAII**)?
• Can I find the identity and inverses from a Cayley Table?
• Do I understand that the order of a subgroup must divide the order of the group (**Lagrange**)?
• Can I distinguish between the order of a group and the order of an element?
• Can I identify a generator in a cyclic group?

Don't worry if this seems tricky at first—Group Theory is a new way of thinking! Keep practicing with Cayley tables, and the patterns will start to make sense.