Extension de corps
$\newcommand{\pgcd}{\operatorname{pgcd}}\newcommand{\Irr}{\operatorname{Irr}}$Bonjour à tous.
Je souhaite montrer ce résultat.
Soit $K$ un corps et $f(X) \in K[X]$ tel que $ \deg(f)=k>1$ et $ L$ une extension de $K$ telle que
$ [L:K]=n>1$ et $f$ est irréductible sur $K$ et $\pgcd(k,n)=1$
Montrer que $f(X)$ n'a pas de racine dans $L $.
Soit $\alpha$ une racine de $f$ je souhaite montrer que $ L(\alpha)\neq L.$
Comme $ [L(\alpha):L]\times[L:K]=[K(\alpha):K][K(\alpha):L]$,
comme $f$ est dans $ K[X]$ et irréductible on peut supposer qu'il est unitaire donc
$[K(\alpha):K]=k$.
On a donc $ n[L(\alpha):L]=k[K(\alpha): L]$ de la relation $ \pgcd(k,n)=1$
on a $ k\mid [L(\alpha):L]$ comme $f $ est supposé irréductible et unitaire alors $ f(X) \mid \Irr_{L}(\alpha,X)$
Alors $ f(X)=\Irr_{L}(\alpha,X)$, donc $ [L(\alpha):L]=k>1$ alors $ L(\alpha)\neq L$.
Ma question est de savoir s'il existait une preuve très courte.
Je souhaite montrer ce résultat.
Soit $K$ un corps et $f(X) \in K[X]$ tel que $ \deg(f)=k>1$ et $ L$ une extension de $K$ telle que
$ [L:K]=n>1$ et $f$ est irréductible sur $K$ et $\pgcd(k,n)=1$
Montrer que $f(X)$ n'a pas de racine dans $L $.
Soit $\alpha$ une racine de $f$ je souhaite montrer que $ L(\alpha)\neq L.$
Comme $ [L(\alpha):L]\times[L:K]=[K(\alpha):K][K(\alpha):L]$,
comme $f$ est dans $ K[X]$ et irréductible on peut supposer qu'il est unitaire donc
$[K(\alpha):K]=k$.
On a donc $ n[L(\alpha):L]=k[K(\alpha): L]$ de la relation $ \pgcd(k,n)=1$
on a $ k\mid [L(\alpha):L]$ comme $f $ est supposé irréductible et unitaire alors $ f(X) \mid \Irr_{L}(\alpha,X)$
Alors $ f(X)=\Irr_{L}(\alpha,X)$, donc $ [L(\alpha):L]=k>1$ alors $ L(\alpha)\neq L$.
Ma question est de savoir s'il existait une preuve très courte.
Connectez-vous ou Inscrivez-vous pour répondre.
Réponses
Il suffit de montrer que $K[X]/(f)$ ne s'envoie pas dans $L$. Que peux-tu dire de $K[X]/(f)$ ?
$[K(\alpha):K]=m>0$ et $ [K(\beta):K]=n>0$
Montrer que $[K(\alpha,\beta):K]<+\infty$
L'idée que j'avais c'est de partir de ce morphisme
$\begin{array}{ccccc}
\Theta_{\alpha,\beta} ~:& K[X]& \longrightarrow & M_{2}(K[\alpha]\times K[\beta] )\\
& P& \longmapsto &\begin{pmatrix}
P(\alpha) & 0\\
0 & P(\beta)
\end{pmatrix}
\end{array}$
Avez-vous une indication à me suggérer ?
$\alpha$ est algébrique sur $K$ donc à fortiori sur $K(\beta)$ donc...
$\Irr_{K}(\alpha,X)=\Irr_{K(\beta)}(\alpha,X)$.
Je pensais plutôt à $\alpha$ est algébrique sur $K$ donc a fortiori sur $K(\beta)$ donc en posant $K'=K(\beta)$, $\alpha$ est algébrique sur $K'$ par conséquent $[K'(\alpha):K']< +\infty$.
Mais $K'(\alpha)=\ldots$
on a la tour d'extension $K\subset K(\beta)\subset K(\beta)(\alpha)$... est-ce que tu arrives à terminer ?
d'après l'idée précédente on conclut .Merci @raoul S
Je souhaite montrer ce résultat.
Soient $K$ un corps, $\Sigma_f$ le corps de décomposition de $f $, $f(X) \in K[X]$ tel que $\deg(f)=n\geq 1$
Montrer que $f(X)$ est irréductible dans $K[X]$ si et seulement si n'a aucune racine dans les extensions $ L$ de $K$ telles que
$ [L:K]\leq E(\frac{n}{2})$
J'ai une preuve mais je recherche une preuve avec d'autres arguments.
Supposons $f$ est irréductible dans $K[X]$
Soit $ L$ une extension de $K$ telle que $ [L:K]\leq E(\frac{n}{2})$
Soit $a $ une racine de $f$ dans L
alors $Irr_{K}(a,X)$ diviserait $f$ comme $f$ est irréductible alors $ f(X)=Irr_{K}(a,X)$ par la suite
$ L=\Sigma_{f}$ donc $ \deg f<n$ absurde.
Supposons pour toute extension $ L$ de $K$ telle que
$ [L:K]\leq E(\frac{n}{2})$ et L ne contient pas de racine de $f$
alors si $f$ admet des facteurs irréductibles alors tous ses facteurs ont tous des degrés $>E(\frac{n}{2})$
soit $k$ le nombre de facteurs irréductibles de $f$, on a :
$$ n>\frac{kn}{2},$$ donc $k<2$ et par la suite $k=1$.
Je suis à la recherche d'une preuve courte. Quelqu'un a une indication à me suggérer ?
Comment peut-on avoir $\Sigma_f\cap L= \emptyset$ ?
Alain