summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--chapitres/correspondance-galois.tex3
1 files changed, 3 insertions, 0 deletions
diff --git a/chapitres/correspondance-galois.tex b/chapitres/correspondance-galois.tex
index 9568ff6..3f260a1 100644
--- a/chapitres/correspondance-galois.tex
+++ b/chapitres/correspondance-galois.tex
@@ -1511,6 +1511,9 @@ 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(β-α)+1=S+1$. CQFD.
+\commentaire{Plus simple en regardant le nombre d'inversions
+et en calculant $σ(δ)=∑_{σ(i)<σ(j)}…+∑_{σ(i)>σ(j)}…$.}
+
\end{démo}
\begin{définition2}\label{definition discriminant et 2-distinguant}