arnaucube
arnaucube/mathPublic Self-hosted repository
fix small typo
arnaucube git@arnaucube.com
Fri, 20 Mar 2026 17:07:41 +0100
commit

f9a6331e940c39b82431b1cbc4a9d43c0cf16449

parent

eb9d907286780c6d05d8692a443294fa7015b3a8

2 files changed, 1 insertions(+), 1 deletions(-)

jump to
M commutative-algebra-notes.tex → commutative-algebra-notes.tex

@@ -1798,7 +1798,7 @@ (alternatively: the only invertible elements in a polynomial ring over a field are the non-zero constants of the field $k$).

Therefore, $R=k[y_1, \ldots, y_r]$ can be a field iff $r=0$, and we know that is a field, therefore $r=0$ and $R=k$. - By Noether normalization, at the previus step we knew that $K$ is integral over $R$ ($=k$). + By Noether normalization, at the previous step we knew that $K$ is integral over $R$ ($=k$). \vspace{0.3cm} By \ref{integral-implies-finite}, a fingen algebra that is integral over its base field is a finite vector space over that field.