Add a slogan

Author: aisejohan

algebra.tex

@@ -27566,6 +27566,9 @@ \section{Noether normalization}
 
 \begin{lemma}
 \label{lemma-Noether-normalization}
+\begin{slogan}
+Noether normalization
+\end{slogan}
 Let $k$ be a field. Let $S = k[x_1, \ldots, x_n]/I$ for some ideal $I$.
 If $I \neq (1)$, there exist $r\geq 0$, and
 $y_1, \ldots, y_r \in k[x_1, \ldots, x_n]$