Bonjour,
quelle discussion! Bref, moi je voudrais parler de "torsion". La définition que je connais s'applique aux éléments du groupe, et même de structures plus simples comme les monoïdes (et pas au groupe):
on dit qu'un élément x est de torsion s'il existe m appartenant à lN* tel que
avec e l'élément neutre (en notation multiplicative). Et c'est comme ça qu'on a introduit l'ordre d'un élément:le min des m tel que
.
Ca rejoint votre définition des groupes de torsion: groupe dans lequel tout élément est d'ordre fini. Car il est évident que si un élément est de torsion, il admet un ordre, diviseur de tout m qui vérifie
.
En ce qui concerne les groupes de "torsion infinie", je voudrais savoir si mon interprétation est correcte:infini est employé d'une part par convention (comme 0 étant le polynôme de degré -l'infini) et car il faudrait multiplier x une infinité de fois par lui-même avant de revenir sur e. Un peu comme un cercle qui serait de rayon infini...Contrairement aux groupes de torsion que je vois comme des cercles.
J'espère que j'arrive à me faire comprendre, sinon, c'est que c'est vraiment trop confus dans ma tête et dans ce cas j'aimerais bien, s'il vous plaît, qu'on m'éclaire sur le genre de représentation que l'on peut s'en faire.
Merci :happy2: