Operation, associative, commutative, identity, inverse, group

One-sided is enough

Examples of groups

Integer combinations

GCD is an integer combination

Mod invertibility iff coprime

Groups of units

The dihedral group: too important to wait!

Operation tables 🏥

Product groups

Basic group theorems

Exponents and order