diff options
| author | Fabrice (eramangarria) <Fabrice.Orgogozo+git@gmail.com> | 2012-06-21 16:16:01 +0200 |
|---|---|---|
| committer | Fabrice (eramangarria) <Fabrice.Orgogozo+git@gmail.com> | 2012-06-21 16:16:01 +0200 |
| commit | 24f328d8fe1278eb11e77b8aad9b76c7815b734d (patch) | |
| tree | 89b5f747fc9f67a117eea79773c5e2c5b2d8d282 /chapitres | |
| parent | 38214173ee0dbdbacd024d1ae7f7890aa6e939ce (diff) | |
| download | galois-24f328d8fe1278eb11e77b8aad9b76c7815b734d.tar.gz galois-24f328d8fe1278eb11e77b8aad9b76c7815b734d.tar.bz2 galois-24f328d8fe1278eb11e77b8aad9b76c7815b734d.zip | |
[RT] définition p-rang (à faire)
Diffstat (limited to 'chapitres')
| -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 |