summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2016-02-28 13:22:32 +0100
committerDavid A. Madore <david+git@madore.org>2016-02-28 13:22:32 +0100
commite3aeee26e287da8ca17a4710aaf620b8244b746d (patch)
tree811207e557f954c482cbc837436a5a6105d1bf6b
parentecfa39c6c9b204322ddc5af90b41ca3eec7aff1c (diff)
downloadaccq205-e3aeee26e287da8ca17a4710aaf620b8244b746d.tar.gz
accq205-e3aeee26e287da8ca17a4710aaf620b8244b746d.tar.bz2
accq205-e3aeee26e287da8ca17a4710aaf620b8244b746d.zip
Split section on separable extensions.
-rw-r--r--notes-accq205.tex6
1 files changed, 4 insertions, 2 deletions
diff --git a/notes-accq205.tex b/notes-accq205.tex
index a6cc066..8153c2b 100644
--- a/notes-accq205.tex
+++ b/notes-accq205.tex
@@ -1224,7 +1224,7 @@ algébriquement clos.
\end{proof}
-\subsection{Éléments et extensions séparables, corps parfaits, théorème de l'élément primitif}
+\subsection{Éléments et extensions algébriques séparables}
\thingy On rappelle que la \textbf{caractéristique} d'un corps $k$ est
le générateur positif de l'idéal noyau de l'unique morphisme d'anneux
@@ -1523,7 +1523,9 @@ La fermeture séparable de $k$ dans une clôture algébrique de $k$
séparablement fermé dans une clôture algébrique), on dit que $k$ est
\textbf{séparablement clos}.
-\bigbreak
+
+
+\subsection{Corps parfaits, théorème de l'élément primitif}
\begin{defn}\label{definition-perfect-field}
Un corps $k$ est dit \textbf{parfait} lorsque \emph{soit} $k$ est de