Sous-groupe engendré

Il existe un plus petit sous-groupe de contenant . On peut le définir de deux façons:
(i) est l'intersection de tous les sous-groupes contenant
(ii) est l'ensemble des produits finis d'éléments de .

Démonstration:

(i) est évident car l'intersection de deux sous-groupes est un sous-groupe.
(ii) on procède en trois points:
ainsi défini est un sous-groupe
donc par (i)
est clair

Définition On note , est appelé groupe engendré par , et est appelée partie génératrice de . Si est réduit à un seul élément on note souvent au lieu de .
Un groupe est dit monogène s'il est engendré par un seul élément. On appelle groupe cyclique un groupe monogène fini.
On appelle ordre d'un élément le cardinal du groupe engendré par cet élément.

Si deux homomorphismes coïncident sur une partie génératrice d'un groupe, alors ils coïncident sur l'ensemble du groupe.
Cela sera utile pour la proposition .

Définition On dit que est de type fini si fini qui engendre .

Ainsi , sont de type fini, et tout groupe fini est de type fini.

tout groupe de type fini est dénombrable.
Il n'y a pas équivalence, car par exemple n'est pas de type fini (preuve en considérant des générateurs et leurs décompositions en facteurs premiers)
non plus (considérer l'inf de l'intersection avec d'un groupe de type fini, en réduisant au même dénominateur)

Proposition Le groupe engendré par un ensemble réduit à un élément est commutatif, et est l'ensemble des avec . Il est isomorphe à ou à .

Démonstration: est un groupe et contient , donc il est inclus dans ; s'il est fini alors il existe tel que , et donc , et donc .

Proposition Tout sous-groupe d'un groupe cyclique est cyclique.

Démonstration: Un tel sous-groupe de est évidemment fini. Notons ensuite un générateur du groupe; le groupe est donc de la forme . Soit minimal tel que ;