summaryrefslogtreecommitdiffstats
path: root/chapitres
diff options
context:
space:
mode:
authorFabrice (Darwin) <Fabrice.Orgogozo+git@gmail.com>2012-11-20 12:05:48 +0100
committerFabrice Orgogozo <Fabrice.Orgogozo+git@gmail.com>2012-11-20 12:05:48 +0100
commit321bb398ee7f8c42f96701cdd5881426aec5e2e4 (patch)
tree6ab2f56c4cbf0c2048b845799ad5900b35a8c37b /chapitres
parentbb16a5ce734329a8a60e150adf34bf6daf2dba46 (diff)
downloadgalois-321bb398ee7f8c42f96701cdd5881426aec5e2e4.zip
galois-321bb398ee7f8c42f96701cdd5881426aec5e2e4.tar.gz
galois-321bb398ee7f8c42f96701cdd5881426aec5e2e4.tar.bz2
[Alg] point à clarifier
Diffstat (limited to 'chapitres')
-rw-r--r--chapitres/extensions-algebriques.tex1
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}),