1. Le texte définit un groupe commutatif (ou abélien) comme un groupe $(G,*)$ où pour tous $x,y \in G$, on a $x * y = y * x$. Cela signifie que l'ordre dans lequel on applique l'opération $*$ n'affecte pas le résultat. 2. Ensuite, il donne des exemples de groupes commutatifs classiques : $(\mathbb{Z},+)$, $(\mathbb{Q},+)$, $(\mathbb{R},+)$, $(\mathbb{Q}^*,\times)$, $(\mathbb{R}^*,\times)$, et $(E^*,\times)$. 3. La proposition introduit le produit de deux groupes $(G,*)$ et $(G_2,*_2)$, noté $G \times G_2$, avec la loi définie par $(a,b) * (a',b') = (a * a', b *_2 b')$. Cela crée un nouveau groupe à partir des deux groupes donnés. 4. La définition d'un sous-groupe $H$ de $(G,*)$ est donnée : $H$ est un sous-groupe si $H \neq \emptyset$, $H$ est stable par la loi $*$ (c'est-à-dire que pour tous $x,y \in H$, $x * y \in H$), et $(H,*)$ est lui-même un groupe. 5. Exemple 1 montre que l'ensemble $2\mathbb{Z} = \{2m \mid m \in \mathbb{Z}\}$ est un sous-groupe de $(\mathbb{Z},+)$ car il est stable par addition, possède l'élément neutre $0$, et chaque élément a un inverse. 6. Exemple 2 mentionne que l'ensemble $m\mathbb{Z} = \{m x \mid x \in \mathbb{Z}\}$ est un sous-groupe de $(\mathbb{Z},+)$ pour $m \in \mathbb{Z}^+$. 7. Exemple 3 vérifie que $(\mathbb{Z},+)$ est un sous-groupe de $(\mathbb{R},+)$ car $\mathbb{Z}$ est stable sous addition dans $\mathbb{R}$ et forme un groupe. 8. Exemple 4 examine si l'ensemble des nombres impairs dans $\mathbb{Z}$ est un sous-groupe de $(\mathbb{Z},+)$. La somme de deux nombres impairs est paire, donc cet ensemble n'est pas stable par addition et n'est pas un sous-groupe. 9. Exemple 5 teste si l'intervalle $[2,+\infty[$ est un sous-groupe de $(\mathbb{R},+)$. Comme la somme de deux éléments dans cet intervalle peut sortir de l'intervalle (exemple $-2 + (-2) = -4$), ce n'est pas un sous-groupe. En résumé, la page explique la notion de groupe commutatif, la construction de produits de groupes, la définition de sous-groupes, et illustre ces concepts avec plusieurs exemples concrets en utilisant des ensembles numériques et leurs opérations habituelles.