Racines de l'unité

Aide à la résolution d'exercices ou de problèmes de niveau Supérieur.

Modérateur: gdm_aidesco

Règles du forum
Merci d'éviter le style SMS dans vos messages et de penser à utiliser la fonction Recherche avant de poster un message. Pour joindre des fichiers à vos messages, consulter ce sujet.
> Penser à utiliser le mode LaTeX (voir ici) afin de rendre vos formules plus lisibles.
> Ne poster qu'un exercice (ou problème) par sujet et indiquer son niveau précis dans le titre du message.

Racines de l'unité

Messagepar washboard » Jeudi 25 Janvier 2007, 11:31

bonjour,

petit problème sur les racines de l'unité
n est un entier naturel non nul et d un diviseur de n
montrer qu' une racine n-ième de l'unité est racine d-ième de l'unité si et seulement si elle est d'ordre d dans Un(groupe des racines n-ièmes dans C)

Si on suppose que elle est d'ordre d dans Un,alors cela signifie que le plus petit entier non nul n' tel que $z^n'=1$ est d
cela signifie que cette racine n-ième de l'unité est racine d-ième de l'unité.
Ce sens me paraît presque trop simple

c'est plutôt l'autre sens qui me pose problème:
J'ai pensé à montrer que d est le pus petit entier non nul tel que $z^d=1$ pour montrer que l'ordre est d.Je ne vois pas comment faire.
on suppose seulement que $z^n=z^d=1$

Qu'en pensez-vous ?
merci par avance
washboard
Hecto-utilisateur
 
Messages: 83
Inscription: Mardi 26 Décembre 2006, 15:03

Publicité

Messagepar stokastik » Jeudi 25 Janvier 2007, 12:24

C'est pas vrai. Prenons n=8 et d=4. La racine 8-ème de l'unité $e^{i\pi}$ est aussi une racine 4ème de l'unité, mais son ordre est 2 dans $U_8$.

Il doit manquer une hypothèse genre d diviseur premier de n peut-être.
stokastik
 

Messagepar washboard » Jeudi 25 Janvier 2007, 12:50

ça y est, je crois que je viens de comprendre.un mot oublié change tout
Il s'agit de montrer qu'une racine n-ième de l'unité est d-ième primitive de l'unité si et seulement si elle est d'ordre d dans Un.
Une racine primitive de l'unité est de la forme $e^{2ik\pi /n} $ avec k^n=1
voilà.je pense que ça résoud le problème car du coup, les seuls diviseurs de d sont 1 et d alors l'ordre est d.
merci
Je vais regarder maintenant la réciproque car ça doit compliquer la preuve
washboard
Hecto-utilisateur
 
Messages: 83
Inscription: Mardi 26 Décembre 2006, 15:03

Messagepar washboard » Samedi 27 Janvier 2007, 15:04

bonjour,

j'ai quelques difficultés pour la réciproque.
Supposons qu'une racine n-ième de l'unité soit d'ordre d dans Un(groupe des racines nièmes de l'unité).
On cherche à montrer que cette racine n-ième de l'unité est racine d-ième primitive de l'unité.

Prenons $z=e^{i2k\pi /n}$
$z^d=1$
Je ne vois pas comment en déduire que pour tout k compris entre 0 et d ,
pgcd(k,d)=1

merci pour votre aide
washboard
Hecto-utilisateur
 
Messages: 83
Inscription: Mardi 26 Décembre 2006, 15:03

Messagepar Arnaud » Samedi 27 Janvier 2007, 15:15

Non, il faut montrer que pour tout $k < d$, $z^k \ne 1$.

C'est ce que j'ai comme définition d'une racine d-ième primitive.
Arnaud

Un peu d'info - Pyromaths
LaTeX - Exemples de formules LaTeX

Pas d'aide en MP (non plus)
Arnaud
Modérateur
 
Messages: 7115
Inscription: Lundi 28 Août 2006, 12:18
Localisation: Allemagne
Statut actuel: Actif et salarié | Enseignant

Messagepar washboard » Samedi 27 Janvier 2007, 15:39

ce qu'on me donne comme définition :
Les racines nièmes primitives de l'unité (ou les générateurs de Un)sont les
$e^{2ik\pi /n} , pgcd(k,n)=1$
J'arrive pas à voir le lien avec ta définition.
Du coup, d'après ton information, si z est d'ordre d dans Un,alors forcément pour tout k plus petit que d $z^n$ sera different de 1, non ??
washboard
Hecto-utilisateur
 
Messages: 83
Inscription: Mardi 26 Décembre 2006, 15:03

Messagepar Arnaud » Samedi 27 Janvier 2007, 16:04

washboard a écrit:ce qu'on me donne comme définition :
Les racines nièmes primitives de l'unité (ou les générateurs de Un)sont les
$e^{2ik\pi /n} , pgcd(k,n)=1$


Oui, cette définition est la même, mais c'est différent de ce que tu écris à 15h04.

washboard a écrit:J'arrive pas à voir le lien avec ta définition.


Je ne crois pas que ce soit très grave.
Le théorème de Lagrange devrait pouvoir t'aider à t'en sortir.
Arnaud

Un peu d'info - Pyromaths
LaTeX - Exemples de formules LaTeX

Pas d'aide en MP (non plus)
Arnaud
Modérateur
 
Messages: 7115
Inscription: Lundi 28 Août 2006, 12:18
Localisation: Allemagne
Statut actuel: Actif et salarié | Enseignant

Messagepar washboard » Samedi 27 Janvier 2007, 16:15

C'est parce que l' on doit montrer qu 'une racine n-ième est racine dième primitive de l'unité

On doit donc bien montrer que $(e^{2ik\pi /n})^d=1$, ce qui est trivial d'après l'hypothèse et pgcd(k,d)=1 (c'est ça la difficulté)
washboard
Hecto-utilisateur
 
Messages: 83
Inscription: Mardi 26 Décembre 2006, 15:03

Messagepar Arnaud » Samedi 27 Janvier 2007, 17:13

Je crois que tu cherches à démontrer quelquechose qui ne correspond pas.

Si $z=e^{\frac{2ik\pi}{n}}$ génère un groupe d'ordre $d$, c'est clair que $z^d=1$.
Par contre, on ne veut pas montrer que $<k,d>=1$, mais plutôt qu'il existe $b < d$, $<b,d>=1$ tel que $z=e^{\frac{2ib\pi}{d}}$.
Arnaud

Un peu d'info - Pyromaths
LaTeX - Exemples de formules LaTeX

Pas d'aide en MP (non plus)
Arnaud
Modérateur
 
Messages: 7115
Inscription: Lundi 28 Août 2006, 12:18
Localisation: Allemagne
Statut actuel: Actif et salarié | Enseignant

Messagepar washboard » Samedi 27 Janvier 2007, 17:42

J' avoue que je ne comprends pas tout.

D'après la définition d'une racine d-ième primitive de l'unité, je dois montrer que
pour tous les k compris entre 0 et d , pgcd(k,d)=1

$z=e^{2ik\pi /n}$
on suppose que z^d=1 (ça c'est OK)
comment arriver au résultat ? Nul part, j'utilise l'hypothèse de départ d est un diviseur de n
washboard
Hecto-utilisateur
 
Messages: 83
Inscription: Mardi 26 Décembre 2006, 15:03

Messagepar Arnaud » Samedi 27 Janvier 2007, 17:49

washboard a écrit:D'après la définition d'une racine d-ième primitive de l'unité, je dois montrer que
pour tous les k compris entre 0 et d , pgcd(k,d)=1


C'est faux, tu n'as pas comrpis la définition d'une racine primitive.
C'est pas "pour tout $k$", mais "il existe un $k$" tel que....
Arnaud

Un peu d'info - Pyromaths
LaTeX - Exemples de formules LaTeX

Pas d'aide en MP (non plus)
Arnaud
Modérateur
 
Messages: 7115
Inscription: Lundi 28 Août 2006, 12:18
Localisation: Allemagne
Statut actuel: Actif et salarié | Enseignant

Messagepar washboard » Samedi 27 Janvier 2007, 18:03

ça commence à venir mais je ne vois pas du tout pour la preuve

On commence par z^n=1
J'ai remplacé n par dk' vu que d divise n mais ça ne m'avance à rien
washboard
Hecto-utilisateur
 
Messages: 83
Inscription: Mardi 26 Décembre 2006, 15:03

Messagepar Arnaud » Samedi 27 Janvier 2007, 20:46

$z$ est une racine n-ième et une racine d-ième de l'unité, donc en comparant les écritures tu devrais pouvoir trouver des relations.
Arnaud

Un peu d'info - Pyromaths
LaTeX - Exemples de formules LaTeX

Pas d'aide en MP (non plus)
Arnaud
Modérateur
 
Messages: 7115
Inscription: Lundi 28 Août 2006, 12:18
Localisation: Allemagne
Statut actuel: Actif et salarié | Enseignant


Retourner vers Exercices et problèmes : Supérieur

 


  • Articles en relation
    Réponses
    Vus
    Dernier message

Qui est en ligne

Utilisateurs parcourant ce forum: Aucun utilisateur enregistré et 6 invités