Trace d'une extension galoisienne

Réponses à toutes vos questions après le Bac (Fac, Prépa, etc.)
Nightmare
Membre Légendaire
Messages: 13817
Enregistré le: 19 Juil 2005, 19:30

Trace d'une extension galoisienne

par Nightmare » 09 Déc 2010, 21:09

Salut,

On me demande de montrer que si est galoisienne alors quel que soit x dans K.

Ca se fait facilement à la main en utilisant la décomposition du polynôme minimal de x à l'aide de ses conjugués, mais l'exercice propose en indication d'utiliser un résultat d'un exercice précédent (que je n'ai pas encore traité), à savoir que si K/k est galoisienne alors (en tant que k-algèbre)

Moi qui comptait m'attaquer aux révision du produit tensoriel demain, j'aimerais donc comprendre cette indication (que je trouve du coup vachement compliquée par rapport au gabarit de la preuve à la main) mais j'avoue ne pas y voir grand chose. Dans un premier temps, que signifie la notation ? Je verrai ensuite une fois ceci éclairci si j'arrive à utiliser cette indication.

Merci pour vos lumières.
:happy3:



Doraki
Habitué(e)
Messages: 4987
Enregistré le: 20 Aoû 2008, 13:07

par Doraki » 09 Déc 2010, 21:50

Je suis pas sûr de comprendre comment est une k-algèbre.
?

Nightmare
Membre Légendaire
Messages: 13817
Enregistré le: 19 Juil 2005, 19:30

par Nightmare » 09 Déc 2010, 21:57

Hello,

ben, le produit tensoriel de deux k-algèbre est toujours une k-algèbre avec la lci non?

Il me semble même bien qu'ici le produit tensoriel peut être vu comme une K-algèbre.

Edit : pas vu ton édit

Doraki
Habitué(e)
Messages: 4987
Enregistré le: 20 Aoû 2008, 13:07

par Doraki » 09 Déc 2010, 22:01

ok, et l'isomorphisme de k-algèbres, c'est bien le truc qui prolonge


(j'ai pas vérifié que c'était un isomorphisme mais chuis tenté de penser que c'en est un)

La "somme directe" de k-algèbres, c'est simplement n copies de K, où l'addition et les multiplications interne et externe se font composante par composante.

Dans ce cas il suffirait de dire genre que la trace est conservée par l'extension des scalaires, et donc que la trace de la multiplication par , quand on l'écrit dans la K-base donnée par le truc à droite, ben c'est pile ce qu'il faut ?

Nightmare
Membre Légendaire
Messages: 13817
Enregistré le: 19 Juil 2005, 19:30

par Nightmare » 09 Déc 2010, 22:14

Ah !! Je crois que j'ai ... tout compris ! (c'est rare).

Ton truc est bien un isomorphisme (c'est dû à l'indépendance linéaire des caractères).

Du coup, la somme des sigma(x) est la trace de l'application K-linéaire qui multiplie chaque facteur par sigma(x) sur la K-algèbre . par notre isomorphisme, c'est aussi la trace de la multiplication par x de chaque facteur de droite sur la K-algèbre K tenseur K et la trace ne dépendant pas du corps de base, on a ce qu'on veut.

 

Retourner vers ✯✎ Supérieur

Qui est en ligne

Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 50 invités

Tu pars déja ?



Fais toi aider gratuitement sur Maths-forum !

Créé un compte en 1 minute et pose ta question dans le forum ;-)
Inscription gratuite

Identification

Pas encore inscrit ?

Ou identifiez-vous :

Inscription gratuite