8. Group axioms and first examples
Define a group through closure, associativity, identity, and inverses, then test examples and nonexamples. Work with integers modulo n, symmetry groups, permutation groups, and matrix groups as the first main families.