C'est le blog de la DreamTeamMP, c'est à dire un groupe d'amis de Classe préparatoire qui ne se sont pas perdus de vue après les concours. C'est notre vie, nos vies, nos envies et notre blog.
Soient :
f € Z[X] unitaire séparable de degré n,
K un corps de décomposition de f sur Q,
R={x1,...,xn} l'ensemble des racines de f dans K de sorte que K=Q[x1,...,xn],
p un entier premier tel que f € Fp[X] soit séparable,
m un idéal maximal de A=Z[x1,...,xn] tel que Ap inclus dans m,
F=A/m=Ap[X1,...,Xn] le corps résiduel, corps de décomposition de f sur Fp,
Pi:A->F le morphisme canonique et :
MorZ(A,F) l'ensemble des morphismes d'anneaux de A dans F ;
A est stable par l'action de GK/Q ;
alors l'homomorphisme canonique de groupes :
rho : Stab G K/Q(m)->GF/Fp
est un isomorphisme !
Non mais vous avez vu ce théorème ! On nous définit 8 trucs déjà pas triviaux avant de pouvoir nous l'énoncer ! Pas étonnant qu'on devienne fous après !
Je vous épargne la démonstration, bien qu'elle soit plus courte que le théorème !
/https%3A%2F%2Fassets.over-blog.com%2Ft%2Fcedistic%2Fcamera.png)
/idata%2F2128293%2FPhotos000%2FListe_classes_LP_merite_JF10_3A_MATHS.jpg)
/idata%2F2128293%2Fprepa-capes.jpg)