Classifying Groups of Order 4

Abstract Algebra · Axiom Academy

EXAMPLE Classifying Groups of Order 4 Discover why there are exactly two groups of order 4 through systematic classification using group axioms. Excellent work! You've completed the classification of groups of order 4. Here's what we learned: Lagrange's Theorem constrains element orders: In a group of order 4, elements can only have orders 1, 2, or 4 Two distinct cases emerge: Either there exists an element of order 4, or all non-identity elements have order 2 Case 1 yields Z₄: If an element g has order 4, then e, g, g², g³ forms a cyclic group Case 2 yields V₄: If all non-identity elements have order 2, we get the Klein four-group (also written as Z₂ × Z₂) These are the only possibilities: Any group of order 4 is isomorphic to either Z₄ or V₄ Key difference: Z₄ is cyclic with one generator; V₄ is abelian but not cyclic This classification technique—using element orders and group axioms to exhaustively determine structure—is a fundamental method in abstract algebra. You'll use similar reasoning to classify groups of other orders!

This is the written version of the interactive lesson above. See the full Abstract Algebra course.