Pensez à lire la Charte avant de poster !

$\newcommand{\K}{\mathbf K}$


Les-Mathematiques.net - Cours de mathématiques supérieures
 Les-Mathematiques.net - Cours de mathématiques universitaires - Forum - Cours à télécharger

A lire
Deug/Prépa
Licence
Agrégation
A télécharger
Télécharger
240 personne(s) sur le site en ce moment
E. Cartan
A lire
Articles
Math/Infos
Récréation
A télécharger
Télécharger
Théorème de Cantor-Bernstein
Théo. Sylow
Théo. Ascoli
Théo. Baire
Loi forte grd nbre
Nains magiques
 
 
 
 
 

Polynôme irréductible, corps fini

Envoyé par bouri 
Polynôme irréductible, corps fini
il y a deux semaines
Bonjour à tous/toutes,
J'ai un petit problème de compréhension concernant cette partie de mon cours.

Soit p un nombre premier, q=pm avec m entier. Pour montrer l'existence d'un polynôme irréductible de degré n sur Fq, on montre que Fqn=Fq(a) avec a un générateur de Fqn

Et ensuite, on en déduit que le degré du polynôme minimal de a sur Fq est n. Je ne comprends pas très bien cela. Cela revient à dire que [Fqn:Fq]=n... Comment le montrer ?
Merci d'avance.



Edité 1 fois. La dernière correction date de il y a deux semaines et a été effectuée par AD.
Re: polynome irréductible -corps fini
il y a deux semaines
$\mathbb F_q^n$ est un $\mathbb F_q$-espace vectoriel de dimension $n$ pour des raisons de cardinalité !



Edité 1 fois. La dernière correction date de il y a deux semaines et a été effectuée par AD.
Re: polynome irréductible -corps fini
il y a deux semaines
C'est en utilisant que pour tout corps fini K,
|K|=p[K:Fp] avec p la caractéristique de K?
Re: polynome irréductible -corps fini
il y a deux semaines
@bouri : plus généralement, si $K$ est un corps fini, $L$ un sous-corps, alors $|K| = |L|^{[K: L]}$

"Mathematics, rightly viewed, possesses not only truth, but supreme beauty"-Russell
Re: polynome irréductible -corps fini
il y a deux semaines
Ah oui d'accord, merci beaucoup.
Cette égalité c'est par définition du degré de l'extension ?



Edité 1 fois. La dernière correction date de il y a deux semaines et a été effectuée par AD.
Re: polynome irréductible -corps fini
il y a deux semaines
Oui : le degré de l'extension est la dimension de $K$ en tant que $L$-espace vectoriel; et un $L$ espace vectoriel de dimension $n$ est de cardinal $|L|^n$

"Mathematics, rightly viewed, possesses not only truth, but supreme beauty"-Russell
Re: polynome irréductible -corps fini
il y a deux semaines
Je crois que j'ai un peu du mal avec les espaces vectoriels et les degrés...
Merci pour vos réponses, bonne journée
Re: Polynôme irréductible, corps fini
il y a deux semaines
Il suffit de commrendre que tous les $K$-espaces vectoriels de dimension $n$ fixée, où $K$ est un corps quelconque, sont isomorphes à $K^n$. En particulier, un $\mathbb F_q$-espace vectoriel est de dimension $n$ si et seulement si il est de cardinal $q^n$. Pour l’implication directe je viens de le dire, pour l’implication réciproque, il suffit de dire que si $d$ est la dimension (nécessairement finie ici) sur $\mathbb F_q$, alors l’espace vectoriel en question est isomorphe à $(\mathbb F_q)^d$, ce qui impose $d=n$ dans notre cas.

Dans le cas des extensions de corps, si $L$ est une extension du corps $K$, alors $L$ est naturellement muni d’une structure de $K$-espace vectoriel, et le degré $[L : K]$ est simplement la dimension de $L$ en tant que $K$-espace vectoriel. Ici $\mathbb F_{q^n}$ est une extension de corps de $\mathbb F_q$ de cardinal $q^n$ par définition, et d’après ce qui précède on a $[\mathbb F_{q^n} : \mathbb F_q]=n$.
Seuls les utilisateurs enregistrés peuvent poster des messages dans ce forum.

Cliquer ici pour vous connecter

Liste des forums - Statistiques du forum

Total
Discussions: 124 398, Messages: 1 187 864, Utilisateurs: 19 578.
Notre dernier utilisateur inscrit beki.


Ce forum
Discussions: 14 984, Messages: 145 169.

 

 
©Emmanuel Vieillard Baron 01-01-2001
Adresse Mail:

Inscription
Désinscription

Actuellement 16057 abonnés
Qu'est-ce que c'est ?
Taper le mot à rechercher

Mode d'emploi
En vrac

Faites connaître Les-Mathematiques.net à un ami
Curiosités
Participer
Latex et autres....
Collaborateurs
Forum

Nous contacter

Le vote Linux

WWW IMS
Cut the knot
Mac Tutor History...
Number, constant,...
Plouffe's inverter
The Prime page