diff options
Diffstat (limited to 'chapitres/RT.tex')
| -rw-r--r-- | chapitres/RT.tex | 12 |
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 |