Théorie
Structures algébriques
Ce sont les ensembles munis de lois de composition soumises à des axiomes : groupes, anneaux, corps, modules.
Les groupes quotients et les quotients d'un anneau par un idéal sont l'outil commun de toutes ces théories. Le symétrisé d'un monoïde et le corps des fractions d'un anneau intègre y sont construits en toute généralité, avant même les entiers.
Remarque
Le passage au quotient par un sous-groupe distingué ou par un idéal fournit les constructions de , de et, plus généralement, des extensions de corps.