summaryrefslogtreecommitdiffstats
path: root/chapitres/RT.tex
diff options
context:
space:
mode:
Diffstat (limited to 'chapitres/RT.tex')
-rw-r--r--chapitres/RT.tex12
1 files changed, 12 insertions, 0 deletions
diff --git a/chapitres/RT.tex b/chapitres/RT.tex
index ce881b2..f22572d 100644
--- a/chapitres/RT.tex
+++ b/chapitres/RT.tex
@@ -71,6 +71,18 @@ Montrer que $\mathrm{deg.tr}_k‚ÄČk((x))=\mathrm{card.}(k^{ūĚźć})$.
\section{Extensions radicielles. $p$-bases}
+
+\begin{définition2}
+\label{définition-p-rang}
+$p$-rang
+\end{définition2}
+
+\begin{proposition2}
+\label{p-rang-invariant-par-extension-finie}
+Soit $L\bo K$ une extension finie. Alors,
+$p-\mathrm{rang}(K)=p-\mathrm{rang}(L)$.
+\end{proposition2}
+
\subsection{Extensions linéairement disjointes}
La démonstration de \ref{fonctorialite-finie-galois} (iii), et particulièrement le lemme