Věnovali jsme se součinu grup a rozkladu grupy podle podgrupy. Dokázali Lagrangeovu větu, včetně důsledků: Eulerova věta, Fermatova věta.
Popsali jsme konečné komutativní grupy, definovali normální podgrupy, zavedli faktorgrupu. Příště budeme pokračovat zejména příklady na faktorizaci grup.