Forum de mathématiques - Bibm@th.net
Vous n'êtes pas identifié(e).
- Contributions : Récentes | Sans réponse
Pages : 1
Discussion fermée
#1 24-02-2020 22:00:25
- Tmota
- Membre
- Inscription : 18-12-2019
- Messages : 113
Eléments d'ordres finis
Bonsoir,
je bloque sur la dernière question de l'exercice suivant :
Soit $a$ et $b$ deux éléments d'ordres respectifs $m$ et $n$ d'un groupe abélien $(G,.)$.
1) On suppose $m$ et $n$ sont premiers entre eux. Montrer que $ab$ est d'ordre $mn$.
2) On ne suppose plus $m$ et $n$ premiers entre eux, l'élément $ab$ est-il nécessairement d'ordre $ppcm(m,n)$.
3) Soit $d$ un diviseur de $m$. Montrer qu'il existe un élément d'ordre $d$ dans $G$.
4) Existe-t-il dans un $G$ un élément d'ordre $ppcm(m,n)$ ?
Les indications de la correction sont les suivantes :
Partir des décompositions en facteurs premiers de $m$ et $n$, on peut écrire en autorisant les exposants à être nuls :
$m=p_1a_1...p_ra_r$ avec $a_i=v_{p_i}(m)$
$n=p_1b_1...p_rb_r$ avec $b_i=v_{q_i}(m)$
On sait qu'alors $ppcm(m,n)=p_1^{max(a_1,b_1)}...p_r^{max(a_r,b_r)}$.
En fait, je suis perdu dès ces premiers éléments de correction.
Pouvez-vous m'aider ?
Merci d'avance.
Hors ligne
#2 25-02-2020 00:34:55
- Fred
- Administrateur
- Inscription : 26-09-2005
- Messages : 7 049
Re : Eléments d'ordres finis
Bonjour,
Et toi, comment fais-tu pour calculer le ppcm de deux nombres quand tu connais leur décomposition en produit de facteur premiers, par exemple 12 et 18?
F.
Hors ligne
#3 25-02-2020 11:07:26
- Tmota
- Membre
- Inscription : 18-12-2019
- Messages : 113
Re : Eléments d'ordres finis
Alors je fais ceci :
$12=2^2\times 3$
$18=2\times 3^2$
Et je prends tous les facteurs qui figurent dans l'un au moins de ces produits, avec le plus grand exposant :
$ppcm(12,18)=2^2\times 3^2=4\times 9=36$.
Et sur un autre exemple :
$72=2^3\times 3^2\times 11^0$
$132=2^2\times 3^1\times 11^1$
Alors :
$ppcm(72, 132)=2^{max(3,2)}\times 3^{max(2,1)} \times 11^{max(0,1)}$
Soit :
$ppcm(72, 132)=2^{3}\times 3^{2} \times 11^{1}=8\times 9\times 11=792$
Mais je ne vois pas ce que signifie $v_{p_i}(m)$ et $v_{q_i}(n)$
Dernière modification par Tmota (25-02-2020 11:08:35)
Hors ligne
#4 25-02-2020 14:44:31
- Fred
- Administrateur
- Inscription : 26-09-2005
- Messages : 7 049
Re : Eléments d'ordres finis
$v_{p_i}(m)$ désigne justement l'exposant du nombre premier $p_i$ dans la décomposition en facteurs premiers de $m$ : $m=\prod_{i=1}^r p_i^{v_{p_i}(m)}$.
Hors ligne
#5 25-02-2020 16:51:51
- Tmota
- Membre
- Inscription : 18-12-2019
- Messages : 113
Re : Eléments d'ordres finis
Merci, je comprends beaucoup mieux.
Pour répondre à cette dernière question 4, j'avais pensé écrire que $p_i^{max(a_i,b_i)}$ est un diviseur de $m$ ou de $n$.
Donc par la question 3, il existe $x_i$ un élément d'ordre $p_i^{max(a_i,b_i)}$ dans $G$.
Dans la décomposition écrite pour m et n, les $p_i^{max(a_i,b_i)}$ sont deux à deux premiers entre eux. Donc l'élément x_1\cdots x_r est d'ordre $p_1^{max(a_1,b_1)}\cdots p_r^{max(a_r,b_r)}=ppcm(m,n)$ par application de la question 1.
Qu'en pensez-vous ?
Hors ligne
#6 26-02-2020 07:50:03
- Fred
- Administrateur
- Inscription : 26-09-2005
- Messages : 7 049
Re : Eléments d'ordres finis
Ça m’a l’air correct !
Hors ligne
Pages : 1
Discussion fermée