est un semi-groupe commutatif. ( + est une loi associative et tout élément de
est régulier.)
Sur , on définit une addition, notée
et une relation d’équivalence
ainsi :
et
La relation est compatible avec l’addition sur
.
Exemple :
Continuer la lecture de Construction de Z