Apresenta grupos, subgrupos, homomorfismos, ações e grupos quocientes. Simetrias de figuras, permutações e estruturas algébricas servem como exemplos centrais.
