summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorFabrice (Polytechnique) <Fabrice.Orgogozo+git@gmail.com>2015-03-06 09:04:07 (GMT)
committerFabrice (Polytechnique) <Fabrice.Orgogozo+git@gmail.com>2015-03-06 09:04:07 (GMT)
commitdf5231253ccf2d8ef2c68711f34fa4108aa2870d (patch)
treea1ab3cadad5062fcd12b1ec11ec7cf6bdbcbf68f
parent78a5e0a8a14b1cb9093365d94f7107ca22cfe029 (diff)
downloadgalois-df5231253ccf2d8ef2c68711f34fa4108aa2870d.zip
galois-df5231253ccf2d8ef2c68711f34fa4108aa2870d.tar.gz
galois-df5231253ccf2d8ef2c68711f34fa4108aa2870d.tar.bz2
[CG] coquille mathématique
-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}