diff options
author | Fabrice (Darwin) <Fabrice.Orgogozo+git@gmail.com> | 2012-11-20 12:05:48 +0100 |
---|---|---|
committer | Fabrice Orgogozo <Fabrice.Orgogozo+git@gmail.com> | 2012-11-20 12:05:48 +0100 |
commit | 321bb398ee7f8c42f96701cdd5881426aec5e2e4 (patch) | |
tree | 6ab2f56c4cbf0c2048b845799ad5900b35a8c37b /chapitres/extensions-algebriques.tex | |
parent | bb16a5ce734329a8a60e150adf34bf6daf2dba46 (diff) | |
download | galois-321bb398ee7f8c42f96701cdd5881426aec5e2e4.tar.gz galois-321bb398ee7f8c42f96701cdd5881426aec5e2e4.tar.bz2 galois-321bb398ee7f8c42f96701cdd5881426aec5e2e4.zip |
[Alg] point à clarifier
Diffstat (limited to 'chapitres/extensions-algebriques.tex')
-rw-r--r-- | chapitres/extensions-algebriques.tex | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/chapitres/extensions-algebriques.tex b/chapitres/extensions-algebriques.tex index d46c27d..bd5b7a3 100644 --- a/chapitres/extensions-algebriques.tex +++ b/chapitres/extensions-algebriques.tex @@ -707,6 +707,7 @@ Par construction, $√{3}$ (resp. $√[3]{2}$) est une valeur propre de $x$ (resp. $y$). Ces endomorphismes commutent, de sorte qu'ils sont codiagonalisables sur $𝐂$. La somme $α=√{3}+√[3]{2}$ est donc une valeur propre de l'endomorphisme +\commentaire{Pas hyper clair : un « conjugué » l'est a priori} somme $x+y$, et est donc une racine du polynôme ci-dessus. La réduction modulo $7$ de ce polynôme étant irréductible (cf. \refext{Fin}{exemple-numerique-critere-rabin} ou \ref{exemple-numerique-critere-butler}), |