summaryrefslogtreecommitdiffstats
path: root/chapitres
diff options
context:
space:
mode:
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}),