Day 5 — Group Theory Basics

Time: ~45 min · Topic: group theory basics

The problem

How many groups of order 4 exist, up to isomorphism? Classify all of them.

Hint: Think about what orders the non-identity elements can have. By Lagrange's theorem, your options are limited. What happens if no element has order 4?

Try it yourself

Take a few minutes. Don't peek at the steps. If you get stuck, the hint above is enough to nudge you forward.

Step-by-step solution

1. Let G = {e, a, b, c} be a group of order 4. By Lagrange's theorem, every element's order must divide 4, so each non-identity element has order 2 or 4.
2. Step 2 (Case 1): If some element a has order 4, then G = {e, a, a^2, a^3} and G is cyclic — isomorphic to Z_4.
3. Step 3 (Case 2): If every non-identity element has order 2, then x^2 = e for all x in G. Pick two non-identity elements a and b. The product ab cannot equal e (since that would mean a = b), and it cannot equal a or b (since that would force b = e or a = e). So ab = c. By the same logic, ba = c, which means ab = ba. Since all elements commute, G is abelian and isomorphic to Z_2 x Z_2 — the Klein four-group.
4. These two groups are NOT isomorphic. Z_4 has an element of order 4, but every non-identity element in Z_2 x Z_2 has order 2. Different element-order profiles means different group structures.

Answer: There are exactly 2 groups of order 4 up to isomorphism: the cyclic group Z_4 and the Klein four-group Z_2 x Z_2.

Why this matters

The Klein four-group secretly controls your TV remote — it's the math behind the symmetry group of a rectangle, where flipping horizontally, vertically, or both always gets you back to start.

This day in math: The Man Who Tamed Randomness

April 25, 1903 · Andrey Kolmogorov

On April 25, 1903, Andrey Kolmogorov was born in Tambov, Russia. Orphaned as an infant and raised by his aunt, he went on to become one of the most influential mathematicians of the 20th century. In 1933, he published his groundbreaking axioms of probability theory, finally putting the mathematics of chance on a rigorous foundation after centuries of informal use.

Why it matters: Kolmogorov's axioms are the bedrock of modern statistics, machine learning, and artificial intelligence. Every time an algorithm predicts the weather, recommends a video, or diagnoses a disease, it's built on the framework he created.

Did you know?

The Fibonacci sequence secretly doubles as a miles-to-kilometers converter! Take any Fibonacci number as miles, and the NEXT Fibonacci number gives you a shockingly accurate conversion to kilometers. 5 miles ≈ 8 km. 8 miles ≈ 13 km. 13 miles ≈ 21 km. It works every time.

The ratio between consecutive Fibonacci numbers approaches the golden ratio, approximately 1.618. This is remarkably close to the actual miles-to-kilometers conversion factor of 1.609. So each pair of consecutive Fibonacci numbers — like (5, 8), (8, 13), or (13, 21) — naturally mirrors the mile-to-kilometer relationship with less than 0.6% error.

Done?

• Solved the problem (or read through the steps)
• Read the history note
• Read the "did you know" fact