Describe groups using generators and relations, then move between presentations and concrete groups. Practice proving that a presentation defines a familiar cyclic, dihedral, symmetric, or matrix group.