Propriété de $\mathbb{F}_3(t)$
Bonjour,
Soit $F=\mathbb{F}_3(t)$.
On pose $f(x)=x^6+x^4+x^2-t\in F[x]$. On peut assumer que $f(x)$ est irréductible dans $F[x]$. Let $E$ be splitting field of $f(x)$ over $F$.
a) Montrer que $f(x)=f(-x)$ et $f(x+1)=f(x)$
J'ai écrit
$f(-x)=(-x)^6+(-x)^4+(-x)^2-t$ , mais comment justifier que $(-1)^2=1$ et comment prouver que $f(x+1)=f(x)$ ?
Merci
Soit $F=\mathbb{F}_3(t)$.
On pose $f(x)=x^6+x^4+x^2-t\in F[x]$. On peut assumer que $f(x)$ est irréductible dans $F[x]$. Let $E$ be splitting field of $f(x)$ over $F$.
a) Montrer que $f(x)=f(-x)$ et $f(x+1)=f(x)$
J'ai écrit
$f(-x)=(-x)^6+(-x)^4+(-x)^2-t$ , mais comment justifier que $(-1)^2=1$ et comment prouver que $f(x+1)=f(x)$ ?
Merci
Connectez-vous ou Inscrivez-vous pour répondre.
Réponses
$(-1) \times (1 + (-1)) = (-1) \times 0 = 0$ et d'autre part : $(-1) \times (1+(-1)) = (-1) \times 1 + (-1) \times (-1) = -1 + (-1)^2$. D'où :
$ 0 = -1 + (-1)^2$ et $1 = (-1)^2$.
J'ai une autre question, On a $Gal(E/F)=S_3$
Pour tout sous groupe non trivial $H< \text{Gal}(E/F)$ determiner $\text{Fix}(H)$. Exprimer la réponse de la forme $F(\beta)$ où le polynôme minimal de $\beta$ over $F$ specified.
Pouvez vous m'aider?
Merci
La question précédente a pour conséquence , si $r$ est une racine de $f$ dans le corps des extension, alors $r+1$, $r+2$, $-r$, $-r+1$ et $-r+2$ sont aussi des racine.
On note aussi que ces racines sont distinct:
* $r\ne r+1$, $r\ne r+2$, $r\ne -r$, $r\ne -r+1$, $r\ne -r+2$;
* $r+1\ne r+2$, $r+1\ne -r$, $r+1\ne -r+1$, $r+1\ne -r+2$;
* $r+2\ne -r$, $r+2\ne -r+1$, $r+2\ne -r+2$;
* $-r\ne -r+1$, $-r\ne -r+2$;
* $-r+1\ne -r+2$.
Alors toute les racines sont contenues dans $F(r)$, donc $E=F(r)$, parsuite $[E:F]=[F(r):F]=6$, alors $Gal(E/F)$ est d'ordre $6$. Comme $Gal(E/F)$ act transitivement sur les racines (due to the irreducibility of f), ils existent $\sigma, \tau \in Gal(E/F)$, tel que $\sigma(r)=r+1$ et $\tau(r)=-r$.
On a alors $\sigma(\tau(r))=\sigma(-r)=-\sigma(r)=-r-1$ et $\tau(\sigma(r))=\tau(r+1)=\tau(r)+1=-r+1$ As $-1 \neq 1$, On voit que $\sigma$ et $\tau$ ne commutent pas . Alors $Gal(E/F)$ n'est pas Abelian et a un order $6$, donc$Gal(E/F)=S_3$.
Pour $H=\langle r \to r+1\rangle $ on a $Fix(H)=F(\beta)$ où $\beta = r(r+1) (r+2)$??
et pour les autres sougroupes que se passe il?
Est-ce que tu peux décrire les autres sous-groupes ?
$\tau(\beta)=\tau(r(r+1) (r+2))=\tau(r)\tau(r+1)\tau(r+2)=-r(-(r+1))(- (r+2))=-\beta$
Comment peut on utiliser ça?
Qu'est-ce que tu en penses ?
Les autres sous groupe sont:
$H_1=\langle r \to r+2\rangle$
$H_2=\langle r \to -r\rangle$
$H_3=\langle r \to -r+1\rangle$
$H_4=\langle r \to -r+2\rangle$
comment trouver $\beta$ pour ces sous groupes?
par exemple si tu veux un élément fixé par $\tau$ tu peux essayé de faire $r \times \tau(r)$
edit : pas $H_2$ mais $H_1$.
$H_2=H$ on note $\beta=r\tau(r)$
On a $\tau(\beta)=\tau(r\tau(r))=\tau(r)\tau(\tau(r))=\tau(r)\tau(-r)=\tau(-r)\tau(r)=r\tau(r)=\beta$
$\sigma(\beta)=\sigma(r\tau(r))=\sigma(r)\sigma(\tau(r))=\sigma(r)\tau(r)=r\tau(r)=\beta$
C'est quoi $Fix(H)$ ici ? On a $\beta$ est fixé par $\tau$ et $\sigma$
Comme $\sigma(\beta) = -r^2-2r-1$, on a : $\beta \notin F$. Mais comme $\beta$ est fixé par $H$ alors il appartient à $Fix(H)$, ensuite comme $Fix(H)$ est de degré $2$ sur $F$... l'élément $\beta$ engendre $Fix(H)$.
Juste?
Avez vous l'idée de déterminer $\beta$ pour les autre sous groupe?
$\sigma(\beta)=\sigma(r(r+1) (r+2))=\sigma(r)\sigma(r+1)\sigma(r+2)=r(r+1) (r+2)=\beta$
$\tau(\beta)=\tau(r(r+1) (r+2))=\tau(r)\tau(r+1)\tau(r+2)=-r(-(r+1))(- (r+2))=-\beta$
Comme $\tau(\beta) = -\beta$, on a : $\beta \notin F$. Mais comme $\beta$ est fixé par $H$ alors il appartient à $Fix(H)$, ensuite comme $Fix(H)$ est de degré $3$ sur $F$... l'élément $\beta$ engendre $Fix(H)$.
Juste?
$H=\langle r \to r+1\rangle$
et $H_2=H$?
$H=\langle r \to r+1\rangle$
$H_2=H$?
$H_3=\langle r \to -r+1\rangle$
$H_4=\langle r \to -r+2\rangle$
Il reste à determiner $\beta$ pour $H_3$ et $H_4$
Pour $H_3$, j'ai pris $\beta=r(-r+1)$
$\sigma(\beta)=\sigma(r(-r+1) )=\sigma(r)\sigma(-r+1)=r(-r+1)=\beta$
$\tau(\beta)=\tau(r(-r+1) )=\tau(r)\tau(-r+1)=-r(-(-r+1))=r(-r+1)=\beta$
Juste?
$$
\sigma(\beta)=\sigma(r(-r+1) )=\sigma(r)\sigma(-r+1)=r(-r+1)=\beta
$$
Comme $\sigma(\beta)=-r^2+r+2$,on a : $\beta \notin F$. Mais comme $\beta$ est fixé par $H$ alors il appartient à $Fix(H)$, ensuite comme $Fix(H)$ est de degré $2$ sur $F$... l'élément $\beta$ engendre $Fix(H)$.
Juste?
$$
\tau(\beta)=\tau(r(-r+1) )=\tau(r)\tau(-r+1)=-r(-(-r+1))=r(-r+1)=\beta
$$
donc $\tau$ ne fixe pas $\beta$, comment faire alors?
Je te laisse.
$\sigma(\beta)=\sigma(r(-r+1) )=\sigma(r)\sigma(-r+1)=(r+1)(-r+2)=-r^2+r+2$ ou $\tau(\beta)=-r(r+1)=-r^2-r$
et on a $\beta$ est fixé par $H$ alors il appartient à $Fix(H)$, ensuite comme $Fix(H)$ est de degré $2$ sur $F$... l'élément $\beta$ engendre $Fix(H)$.
c'est bon?
Finalement les corps intermédiaires sont
$F(r^3-r)$ correspondant au sous- groupe d'ordre 3 de $Gal(E/F)$
$r^3-r$ ayant pour polynôme minimal $X^2-t$
$F(r^2-1), F(r^2-r),F(r^2+r)$ correspondants aux trois sous-groupes d'ordre 2 de $Gal(E/F)$ ,
les trois éléments primitifs ayant pour polynôme minimal $X^3+X^2-t$
Pour les trouver, pour chaque sous-groupe ci-dessus je prend un générateur $u$ ( $u$ est caractérisé par $u(r)$ ) et je cherche les
$x$ dans $E=F(r)$ tels que $u(x)=x$ : en décomposant $x$ dans la base $1,r,r^2,r,^3,r^4,r^5$
on obtient un systéme, mais on est en caractéristique 3 et ca va "assez" vite
Donc on considère de manière naïve $\mathbb{P}^1 \to \mathbb{P}^1$ qui à $x$ fait correspondre $t = x^6+x^4+x^2$.
Comme on a le groupe de Galois, on récupère les points de ramifications comme point fixe de la translation $x \to x+1$ et de $x \to -x$ et je trouve (en bas) $2$ points de ramification $0$ et $\infty$ et en haut $0,1,2$ avec indice $2$ et $\infty$ avec indice $6$. La formule de Riemann-Hurwitz est censé me donner :
$$
2 = 12 - 3 - 5
$$
Visiblement ce n'est pas bon !
Quelqu'un peut me remettre sur le droit chemin ? J'ai vraiment fait n'importe quoi ?
C'est bien vrai que $2 =12 - (2-1) - (2-1) - (2-1) - (6-1)$, c'est vraiment pas bon comme tu dis. Mais on est en caractéristique $3$ et $3 \mid e_\infty = 6$. De la ramification sauvage (wild ramification) ! Qui fait que l'on n'a pas $\delta_P = e_P - 1$ pour $P = \infty$.
Super. Je veux dire une fois dépassé le moment de stupeur. Super car c'est l'occasion d'étudier la ramification sauvage, non ? Bien sûr, il y a Corps Locaux de Serre. Mais peut-être pour ne pas se faire trop mal, on peut commencer par http://www.staff.science.uu.nl/~oort0109/EigArt-RHurwitz-2016.pdf j'ai mis la main dessus sous mon moteur de recherche via ``Riemann-Hurwitz, wild ramification''.
A toi.
Mais on peut faire un changement de variable $u={1 \over x}$ au départ à a l'arrivé histoire de remettre tout le monde en $0$. Ce qui revient à considérer $$u \to {1 \over f(1 /u)} = {u^6 \over 1+u^2+u^4} = u^6- u^8 +o(u^8)$$
Donc (utilisant le théorème 6.2) ... $\delta_{\infty}= 8-1 = 7$.
$$ 2 = 12 - 3 - 7$$
Ca le fait comme ça ?
J'ai vu que tu n'avais pas traîné. C'est bien vrai que $\delta_\infty = 7$, ça le fait.
Sais tu qu'un système de Calcul Formel peut faire le job à ta place. Tu comprends le code ci-dessous ?
Elle est pas belle, la vie ?
Merci !
En fait, lorsque $t=0$ on a la factorisation $x^2(x^2-x+1)(x^2+x+1)$ ... je pense que c'est raté pour les autres réductions.
Je ne suis pas sûr de bien comprendre ce que tu veux faire, mais ça, c'est pas grave. Parce ce que moi souvent, pareil. Ce dont je suis un peu près sûr :
1) On est en train de marcher dans le jardin d'un autre.
2) Dans ce fil, je me souviens qu'une personne a dit ``j'ai suivi un cours .. Riemann-Hurwitz''. Et que ce n'est pas l'auteur du fil (mais qui alors ?).
En clair, est ce que cela vaut le coup d'ouvrir un autre fil sur Riemann-Hurwitz ou je ne sais trop quoi ?
Vois tu ce qu'est pour un polynôme $F(x)$, vu comme un revêtement $x \mapsto t = F(x)$ de $\mathbb P^1 \to \mathbb P^1$, le diviseur différente (en haut), le diviseur discriminant (en bas) ? Il y a deux fois le verbe ``voir'' dans cette phrase, c'est moche.
Parce que si on reste sur ce fil pour causer RH, en marchant allègrement sur les plate-bandes de .., peut-être que l'on risque un banissement, non ?
Je vois a peu près !
Le discriminant c'est l'ensemble des $t$ où le polynôme $F(x)-t$ n'est pas à racine simple (dans une extension), je pense que ça correspond au discriminant de $F(x)-t$, discriminant selon $x$, ici $t(27t^2+14t+3)^2$ (mais j'ai demandé a une machine de le calculer car je ne sais pas faire, trop complexe) et je suppose que c'est le diviseur associé a ce polynôme vu dans un corps ... je pense que ça dépend du corps de base. Sur $\Q$ je pense qu'on note $(t)+2(27t^2+14t+3)$ et bien sûr il faut ajouter quelque part $\infty$, certainement faire le changement de carte ${1 \over x}$.
Pour la différente, je pense que c'est pour chaque $t$ annulant le discriminant, la fibre (avec multiplicité) du revêtement.
Ce n'est pas très formel. Et disons que ça dépend de quoi on parle, je mélange un peu tout par moment entre les choses topologiques/ analytiques sur $\C$ et les choses algébriques sur $\Q$ ou $\Z$ ou sur $\mathbb{F}_3$.
Pour l'auteur du sujet, je pense qu'il est parti ayant obtenu des fragments de réponses pour ses devoirs !!! Je ne lui répondrai plus la prochaine fois ! Je pense qu'il a répondu en faisant des copiés/ collés ou je ne sais quoi !
Je n'avais pas fait attention au fait que tu avais passé pas mal de temps avec l'initiateur du fil !
Ok, avec le diviseur discriminant (moi pareil, le calcul je le confie à un système de Calcul Formel). Et donc, Ici, disons en caractéristique $0$, il y a 4 points branchement : $\infty, 0$ et deux points conjugués définis sur $\Q(\sqrt {-2})$.
Quant au diviseur différente, toujours en caractéristique $0$, il s'agit, pour un polynôme $F$ de degré $n$, du diviseur $(n-1)(x=\infty) + (F'(x))$, qui est de degré $2(n-1)$. Si bien que ça le fait avec $2 - 2 \times 0 = n \times (2 - 2 \times 0) - 2(n-1)$. J'écris parfois :
$$
F'(x) = (x - x_1)^{e_1-1} (x - x_2)^{e_2-1} \cdots \qquad \sum_i (e_i - 1) = n-1
$$
Et à la source le point $x=x_1$ est ramifié d'indice $e_1$, $x=x_2$ est ramifié d'indice $e_2$ ...etc..
Voilà, voilà.
Alors $x_{h} \in D$ si et seulement si l'équation $P(x) - P(x_h) = 0$ admet solution multiple en $x_h$. Ceci est vrai si et seulement si $P'(x_h) = 0$. On déduit de ça que le support de la différente est exactement l'ensemble des racines de $P'$ dans un corps assez "gros".
Avec la définition du chapitre 3 du document 17.dvi (le développement en série formel) et ce que tu as dis je pense que ça le fait.
Prenons $x_h$ solution d'ordre $e_h-1$ de $P'(x)=0$. Alors il s'agit de développer $P(x)- P(x_h)$ en série formelle (un grand mot) de $x-x_h$ ... enfin juste prendre le premier terme non nul pour obtenir un équivalent.
On a : $$P(x)-P(x_h) = \sum (x-x_h)^k {P^{(k)} (x_h) \over k!} =P^{(e_h)} (x_h){ (x-x_h)^{e_h} \over k!} +o( (x-x_h)^{e_h} )$$
On en déduit que $\delta_{x_h} = e_h-1$ car $P^{(e_h)} (x_h) \neq 0$ car $x_h$ est racine d'ordre $e_h$ de $P(x)-P(x_h)$ et que je me suis placé en caractéristique $0$.
En fait : ici $P'(x) = 6x^5+4x^3+2x= 2x(1+2x^2+3x^4)$ et $P'(x)=0$ se solve bien modulo 3, puisque c'est $-x(1-x^2) = 0$ on retrouve $\mathbb{F}_3 =0,1,-1$.