Skip to content

Commit

Permalink
Two typos in more-algebra
Browse files Browse the repository at this point in the history
  • Loading branch information
aisejohan committed Sep 14, 2021
1 parent 5d8ede9 commit 79d40d8
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions more-algebra.tex
Expand Up @@ -11498,11 +11498,11 @@ \section{Regularity and derivations}
see that $A$ is J-0 by Lemma \ref{lemma-J-0-goes-up}.
If not, then $K = M[z]/(z^p - b)$ for some $b \in B$
which is not a $p$th power in $M$. By Lemma \ref{lemma-find-D}
we can find a derivation $D : B \to B$ with $D(f) \not = 0$.
we can find a derivation $D : B \to B$ with $D(b) \not = 0$.
Applying Lemma \ref{lemma-degree-p-extension-regular}
we see that $A_\mathfrak p$ is regular for any prime
$\mathfrak p$ of $A$ lying over a regular prime of $B$
and not containing $D(f)$. As $B$ is J-0 we conclude $A$ is too.
and not containing $D(b)$. As $B$ is J-0 we conclude $A$ is too.
\end{proof}

\begin{proposition}
Expand Down

0 comments on commit 79d40d8

Please sign in to comment.