Cette propriété est similaire à celle des modules quotients.
Soient
Alors il existe un unique morphisme de groupe
La démonstration de cette propriété est semblable à celle de la propriété universelle des modules quotients, sauf qu'on suppose dans les prémisses que
Soient
Alors il existe un unique morphisme d'algèbre