Bonjour.
Soit K un corps fini.
Soit a dans K. Montrer que parmi a, -a, -1 il y a un carré de K.
En déduire que X4+1 est réductible dans K[X].
Ceci est un résultat très connu, exemple de polynôme irréductible dans Z et réductible dans tous les Z/pZ, mais on le démontre souvent avec des méthodes beaucoup plus élaborées utilisant la théorie de Galois
Ah oui désolé, tout élément n'est pas forcément inversible . par contre pour p premier c'est le cas !
oui, donc apparemment l'inversibilité joue un rôle pour que cette propriété tient debout, elle doit surement servir pour la démo.
Bonjour Camélia
On peut supposer que le cardinal de K est impair car si K est de caractéristique 2, -1 = 1 est un carré dans K.
Soit q = card(K) et x dans K*
car
Si x est un carré dans K*, il existe y dans K* tel que
et donc
Si x n'est pas un carré dans K*, soit y une racine carrée de x dans
Alors
car
En résumé, x est un carré dans K* si et seulement si
Supposons maintenant que ni -1 ni a ne soient des carrés dans K.
On a
donc -a est un carré, ce qui montre la première proposition.
Maintenant, si -1 est un carré (avec z² = -1)
X4 + 1 = X4 - z2 = (X2 - z)(X2 + z)
Si -1 n'est pas un carré, 2 ou -2 est un carré et on peut écrire
soit, si 2 est un carré (avec t²= 2)
X4 + 1 = X4 + 1 + 2X² - t²X² = (X² + 1 - tX)(X² + 1 + tX)
soit, si -2 est un carré (avec w² = -2)
X4 + 1 = X4 + 1 - 2X² - w²X² = (X² - 1 - wX)(X² - 1 + wX)
Dans tous les cas, X4 + 1 est réductible.
Cordialement
Frenicle
C'est le plus petit corps contenant K et une racine de x,c'est à dire une racine du polynome P(X)=X²-x .
Le polynôme f(X) = Xq-1- 1 est de degré q-1 et il a q-1 racines dans K. Donc si y est racine de f, y est dans K et sinon, y n'est pas dans K.
Bonjour à tous!
Bravo à frenicle qui a une solution complète (pas tout à fait la mienne).
Juste pour mention: si K est de caractéristique 2, X4+1=(X+1)4 donc il est aussi réductible.
Ma solution pour le début, en caractéristique impaire: Soit f:K*[/supK[sup]* défini par f(x)=x2. C'est un morphisme de groupes dont le noyau a deux éléments et dont l'image a (q-1)/2 éléments. Alors le quotient K/im f est un groupe à deux éléments, isomorphe à Z/2Z. ceci signifie que le produit de deux non carrés en est un. Alors, comme a(-1)=-a, (-1)(-a)=a et a(-a)-1=-1, l'un de ces éléments est toujours un carré!
C'est peut-être un tout petit peu plus élémentaire que la solution de frenicle qui embrayait un peu plus loin en utilisant une caractérisation de l'image.
Question subsidiaire: Quand le polynôme X4+1 admet-il des racines dans K?
En effet, Camélia, ta solution est nettement plus directe et élémentaire que la mienne. Merci.
J'ai l'impression que le polynôme a des racines quand le cardinal du corps est congru à 1 modulo 8. Je cherche une preuve...
Laissons de côté le cas de la caractéristique 2 qui est trivial.
Si q est congru à 1 mod 8, -1 et 2 sont des carrés dans K.
En posant t² = -1 et w² = 2, on a [(1+t)w]² = (1+t²+2t)w² = 4t
donc [(1+t)w]4 = -16
et [(1+t)w/2]4 = -1
donc X4+1 a une racine dans K.
Pour la réciproque, je me restreins au cas où q est un nombre premier.
Si x est une racine de X4+1, (x²)² = -1 donc -1 est un carré dans K donc q est congru à 1 mod 4. De plus
Donc 2 est un carré dans K donc q est congru à 1 ou -1 mod 8.
Comme on sait déjà que q est congru à 1 mod 4, il est congru à 1 mod 8.
Dans le cas où q n'est pas premier, je ne sais pas faire.
Cordialement
Frenicle
Bonsoir.
Désolé. Ma remarque précédente ne sert en effet strictement à rien. Je vais essayer d'être un peu plus constructif.
Tu as établi que x^4+1 admet une racine dans K si et seulement si -1 et 2 sont des carrés dans K.
Or a est un carré dans K si et seulement si a^((q-1)/2)=1 (ceci aussi, tu l'as établi).
Donc, -1 est un carré dans K si et seulement si q=4p+1.
Il va falloir être un peu plus fin pour étudier à quelle condition 2 est un carré dans K, lorsque K est de cardinal p^n, avec p premier. Comme tu l'as rappelé, dans Z/pZ:
2^((p-1)/2)=1 si p est congru à 1 ou -1 modulo 8
2^((p-1)/2)=-1 autrement.
q-1=p^n-1=(p-1)(p^(n-1)+...+1)
Donc, (q-1)/2 est un multiple pair de p-1, si n est pair.
(q-1)/2 est un multiple impair de p-1,si n est impair.
En faisant une étude soignée de tous les cas possibles, on en déduira que 2 est un carré dans K si et seulement si q est congru à 1 ou -1 modulo 8.
Rebonjour
Cette fois vous avez compliqué pour rien...
En caractéristique 2, 1 est racine.
Soit q=pn le cardinal de K de caractéristique p (impair premier).
Dire que a est racine de X4+1 c'est dire que a4=-11 et que a8=1. Bien sur a est non nul. Le groupe cyclique K* admet donc un élément d'ordre 8 ce qui équivaut à 8 divise son ordre qui est q-1.
(Ceci suppose connus le fait que le groupe multiplicatif d'un corps est cyclique et le fait que dans un groupe cyclique pour chaque diviseur m de l'ordre il existe des éléments d'ordre m; c'est pourquoi je ne l'avais pas mis dans l'énoncé initial)
Bonjour, merci frenicle, pour ton aide, je crois qu il va falloir que je travaille un peu plus ces corps.
Salut Camélia
ça c'est ce que j'appelle de la transmission de pensée !
J'étais justement en train de le chercher pour H_aldnoer.
Kaiser
Faut dire que l'année dernière j'avais cherché un public pour des corps finis, alors que maintenant, depuis une semaine on n'a pas arrêté. Je commence à avoir très envie de géométrie différentielle ! Tout va bien pour toi?
Ok je vois le sujet.
Voici un conseil de mon prof
OK !
>H_aldnoer Je ne comprends pas le conseil de ton prof! X4+1 est irréductible dans Z[X]. En revanche, le fait que les éventuelles racines de X4+1 sont des éléments d'ordre 8, joue un rôle dans toutes les démonstrations.
Dans la discussion ci-dessus ma solution, vraiment très basique est dans le post du 21/04/2007 14:12 avec fin de raisonnement dans la fin du post de frenicle du 20/04 22:14.
>kaiser Tout va bien, c'est quand même beau de ne faire que ce dont on a envie...
Vous devez être membre accéder à ce service...
Pas encore inscrit ?
1 compte par personne, multi-compte interdit !
Ou identifiez-vous :