Cette propriété est similaire à celle des modules quotients. Alors il existe un unique morphisme d'algèbre tel que avec la surjection canonique. est un morphisme de R-module. La propriété universelle ...

Le produit direct fini de groupes abéliens de type fini est un groupe abélien de type fini. Le passage au quotient conserve le caractère abélien et de type fini, en effet le morphisme canonique ...