summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorFabrice (eramangarria) <Fabrice.Orgogozo+git@gmail.com>2012-06-21 14:16:01 (GMT)
committerFabrice (eramangarria) <Fabrice.Orgogozo+git@gmail.com>2012-06-21 14:16:01 (GMT)
commit24f328d8fe1278eb11e77b8aad9b76c7815b734d (patch)
tree89b5f747fc9f67a117eea79773c5e2c5b2d8d282
parent38214173ee0dbdbacd024d1ae7f7890aa6e939ce (diff)
downloadgalois-24f328d8fe1278eb11e77b8aad9b76c7815b734d.zip
galois-24f328d8fe1278eb11e77b8aad9b76c7815b734d.tar.gz
galois-24f328d8fe1278eb11e77b8aad9b76c7815b734d.tar.bz2
[RT] définition p-rang (à faire)
-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