Théorème de Kronecker

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.

Théorème de Kronecker

Messagepar woodoo » Lundi 05 Mai 2014, 20:24

Bonsoir,

j'étais en train d'étudier la démonstration du théorème de Kronecker (ou théorème fondamental de la théorie des corps) et il y a un point sur lequel le livre passe vite et que je ne suis pas sûr de bien comprendre.

L'énoncé dans le livre est:
Soit $F$ un corps et soit $f(x)$ un polynôme non constant dans $F[x]$. Alors il existe une extension $E$ de $F$ dans laquelle $f(x)$ a un zéro.


Le début de la démonstration est la suivante:
Comme $F[x]$ est un anneau factoriel, $f(x)$ a un facteur irréductible, disons $p(x)$. Clairement, il est suffisant de construire une
extension $E$ de $F$ dans laquelle $p(x)$ a un zéro. Notre candidat pour $E$ est donc $\sfrac{F[x]}{\langle p(x) \rangle}$. On sait que c'est un corps car $p(x)$ est
irréductibe. De plus, comme l'application $\phi: F \to E$ donnée par $\phi (a) = a + \langle p(x) \rangle$ est injective et préserve les opérations


C'est l'injectivité que je ne suis pas sûr à 100% de bien comprendre. On a que $\phi$ est injective si pour tous $a, b \in F$ tels que $\phi(a) = \phi(b)$, alors $a = b$. Ici, si $a, b \in F$ on a que $\phi(a) = \phi(b) \Leftrightarrow a + \langle p(x) \rangle = b + \langle p(x) \rangle \Leftrightarrow a - b \in \langle p(x) \rangle \Leftrightarrow a - b = q(x)p(x)$, or comme $a$ et $b$ sont des constantes et que $p(x)$ n'est pas un polynôme constant, on a forcément $a - b = 0 p(x) = 0$, donc $a = b$.

Est-ce que c'est (a peu près) la raison, ou bien est-ce que je suis à côté de la plaque?

Merci d'avance pour vos réponses, et bonne soirée.
woodoo
Kilo-utilisateur
 
Messages: 125
Inscription: Lundi 12 Novembre 2012, 20:13
Statut actuel: Post-bac | Licence

Publicité

Re: Théorème de Kronecker

Messagepar balf » Lundi 05 Mai 2014, 21:38

Votre argument est juste, mais plus simplement, pour un morphisme d'anneaux de A dans B (qui envoie 1 sur 1 !), pour vérifier l'injectivité, il suffit de vérifier que le noyau est réduit à 0. Or le noyau est un idéal de A — et quels sont les idéaux d'un corps ?

B.A.
balf
Zetta-utilisateur
 
Messages: 3865
Inscription: Mercredi 02 Janvier 2008, 23:18
Statut actuel: Actif et salarié | Maître de conférence

Re: Théorème de Kronecker

Messagepar woodoo » Lundi 05 Mai 2014, 22:05

Arf oui c'est juste ça m'était sorti de la tête.

Les ideaux d'un corps sont les ideaux triviaux. Il suffit donc de voir que le noyau est reduit a {0}, autrement dit, qu'il existe un élément a dans F tel que $\phi(a) \neq 0$, et c'est bon.

C'est vrai que c'est plus simple.

Merci et bonne soirée!
woodoo
Kilo-utilisateur
 
Messages: 125
Inscription: Lundi 12 Novembre 2012, 20:13
Statut actuel: Post-bac | Licence

Re: Théorème de Kronecker

Messagepar balf » Lundi 05 Mai 2014, 22:43

En fait, j'avais oublié de le rappeler, il résulte de tout cela qu'un morphisme d'un corps dans un anneau quelconque (qui envoie 1 sur 1, tout de même) est injectif ; en particulier, tout morphisme de corps est injectif.

B.A.
balf
Zetta-utilisateur
 
Messages: 3865
Inscription: Mercredi 02 Janvier 2008, 23:18
Statut actuel: Actif et salarié | Maître de conférence


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 3 invités