6 - Construction de Z comme extension de N
groupe (Z,+,0) comme symétrisé du monoïde (N,+,0), propriété universelle et unicité du groupe (Z,+,0), l'anneau (Z,+,0,.,1), propriété universelle et unicité de l'anneau (Z,+,0,.,1), congruences de Gauss, première définition de Z/nZ comme anneau