Ce groupe est-il sans torsion ?
Bonsoir,
J'ai fini la série d'exercices du chapitre XII d' "Algèbre le grand combat" mais cette question (exercice 16) me tient tête:
Je dispose d'un groupe abélien $D$ - divisible- et d'un sous-groupe $G \subset D$ supposé sans torsion et je suppose que pour tout $d \in D$ il existe $n \ge 1$ tel que $nd \in G$.
Je souhaite établir que $D$ est sans torsion et voici mon raisonnement:
Soit $d \in D$, s'il existe $m \ge 1$ tel que $md = 0$ mais alors $nmd=0$ dans $G$ donc $nd = 0$ puisque $G$ est sans torsion ... mais comment conclure que $d = 0$ ?
La réponse est sans doute évidente mais j'espère vivement m'extirper de cette ornière avec l'aide des intervenants du forum ...
J'ai fini la série d'exercices du chapitre XII d' "Algèbre le grand combat" mais cette question (exercice 16) me tient tête:
Je dispose d'un groupe abélien $D$ - divisible- et d'un sous-groupe $G \subset D$ supposé sans torsion et je suppose que pour tout $d \in D$ il existe $n \ge 1$ tel que $nd \in G$.
Je souhaite établir que $D$ est sans torsion et voici mon raisonnement:
Soit $d \in D$, s'il existe $m \ge 1$ tel que $md = 0$ mais alors $nmd=0$ dans $G$ donc $nd = 0$ puisque $G$ est sans torsion ... mais comment conclure que $d = 0$ ?
La réponse est sans doute évidente mais j'espère vivement m'extirper de cette ornière avec l'aide des intervenants du forum ...
Connectez-vous ou Inscrivez-vous pour répondre.
Réponses
C'est pourquoi je mets en pièce jointe la question posée verbatim.
La question précédente à laquelle il est fait mention stipule qu'un groupe abélien G peut toujours s'injecter dans un groupe divisible D auquel je peux l'identifier.
Voici une description de sa construction:
Si $L= \mathbb{Z}^{(G)}$ désigne "le" groupe abélien libre sur $G$ alors $G$ est isomorphe par propriété universelle des groupes libres abéliens à un quotient de L , $ L/K= \mathbb{Z}^{(G)}/K $ mais alors $L/K \hookrightarrow \mathbb{Q}^{(G)}/K = D$ qui est bel et bien divisible, avec la propriété mentionnée dans mon message initial.
Je souhaite montrer que $D$ est sans torsion pour le munir de sa structure de $\mathbb{Q}- ev$ et pensais naïvement pouvoir transférer cette propriété de $G$ à $D$ par le raisonnement exposé mais c'est là que je coince ...:-S