Couvre les quotients dans les groupes abeliens et le concept de groupes abeliens libres, montrant que chaque groupe abelien est isomorphe à un quotient d'un groupe abelien libre.
Explore le théorème de Wedderburn, les algèbres de groupe et le théorème de Maschke dans le contexte des algèbres simples de dimension finie et de leurs endomorphismes.
Explore la définition des orbites et des points fixes d'un objet G dans n'importe quelle catégorie, en se concentrant sur les applications G-équivariantes.