Si sono introdotte le strutture di semigruppo, monoide e gruppo, assieme alle loro sottostrutture. Si sono presentate le nozioni di omomorfismo e isomorfismo di gruppi. Si è infine definito il concetto di classe laterale e quello di sottogruppo normale. Di ciascuno di questi oggetti si sono visti esempi e principali proprietà. Si vedano i relativi paragrafi nel capitolo 3 del testo di riferimento.