Bonjour à tous,
Mon propos aujourd'hui est de comprendre un truc des structures algébriques.
Soit G un groupe. Le plus petit sous-groupe de G contenant A est appelé le sous-groupe engendré par A.
Il est noté encore <A>.
On est tous d'accord, MAIS: pourquoi on a l'égalité (Z, +) = <1> (Le même problème avec (2Z, +) = <2>).
A mon avis la vrai égalité c'est: <1> = {-1, 0 , 1} et voici c'est le plus petit sous-groupe de Z contenant {1}.
Le problème continue encore par la proposition suivante:
si a est un élément de G, alors <a> = {a^ k / k parcourant Z*}; ce n'est pas un groupe au premier lieu car il ne contient pas l'élément neutre!
Et d'ailleurs, si on suppose que k parcourt Z et non pas seulement Z* (pour que l'ensemble soit un sous-groupe), encore, je pense que la relation correcte est: <a> = {a^ -1, l'élément neutre, a} car il est le plus petit contenant a.
Est ce que j'ai de raison ?
-----