summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--chapitres/correspondance-galois.tex2
1 files changed, 1 insertions, 1 deletions
diff --git a/chapitres/correspondance-galois.tex b/chapitres/correspondance-galois.tex
index f89ccec..9568ff6 100644
--- a/chapitres/correspondance-galois.tex
+++ b/chapitres/correspondance-galois.tex
@@ -1510,7 +1510,7 @@ apparaissant dans la somme définissant $\sur{δ₂}$ que l'on ne retrouve pas
dans $(αβ)δ₂$ est :
$$S=\frac{X_β}{X_α+X_β}+∑_{α<γ<β}\big(\frac{X_γ}{X_α+X_γ}+\frac{X_β}{X_γ+X_β}\big).$$
Il résulte de l'identité : $$\frac{x}{x+y}=\frac{y}{x+y}+1$$ dans $∈𝐅₂(x,y)$
-que $(αβ)S=S+2(j-i)+1=S+1$. CQFD.
+que $(αβ)S=S+2(β-α)+1=S+1$. CQFD.
\end{démo}
\begin{définition2}\label{definition discriminant et 2-distinguant}