Le présent article est consacré à l’étude de l’anneau canonique des couples d’entiers relatifs, c’est-à-dire le produit cartésien de l’anneau des entiers relatifs par lui-même. Nous allons précisément déterminer tous les sous-anneaux et tous les idéaux de cet anneau produit. Nous allons également démonter qu’il est un anneau principal, c’est-à-dire que tous ses idéaux sont principaux.
Pingback: Construire ℕ : les axiomes de Peano et l’origine de la récurrence | Formalis Mathematica