From c61194213b64cc43a6e5f030ef7c4139c5fc1b06 Mon Sep 17 00:00:00 2001 From: Stefan Kebekus Date: Fri, 21 Apr 2023 15:53:53 +0200 Subject: [PATCH] Fix error in label --- 03.tex | 10 +++++----- deploy.sh | 8 ++++++++ 2 files changed, 13 insertions(+), 5 deletions(-) create mode 100755 deploy.sh diff --git a/03.tex b/03.tex index bc26b09..81c576e 100644 --- a/03.tex +++ b/03.tex @@ -192,7 +192,7 @@ auch für Matrizen über Ringen gilt. b^{n-1}$ erzeugen daher $A[b]$ als $A$-Modul. \end{proof} -\begin{proof}[Beweis von Satz~\ref{satz:3-2-9}, Folgerung \ref{il:3-2-9-2} $⇒$ \ref{il:3-2-9-1}] +\begin{proof}[Beweis von Satz~\ref{satz:3-2-9}, Folgerung \ref{il:3-2-9-2} $⇒$ \ref{il:3-2-9-3}] Setze $M := A[b]$, fertig. \end{proof} @@ -284,13 +284,13 @@ knapp wiedergegeben. \[ א_1 ⊂ A[b_1, …, b_n]. \] - Weiter ist $c$ ganz über $A[b_1, …, b_n]$. Also ist $A[b_1, …, b_n, c]$ nach - Korollar~\ref{kor:3-3-4} ein endlich erzeugter $A[b_1, …, b_n]$-Modul. Wir - wählen ein endliches Erzeugendensystem + von $A[b_1, …, b_n]$ als $A$-Modul. Weiter ist $c$ ganz über $A[b_1, …, b_n]$. + Also ist $A[b_1, …, b_n, c]$ nach Korollar~\ref{kor:3-3-4} ein endlich + erzeugter $A[b_1, …, b_n]$-Modul. Wir wählen ein endliches Erzeugendensystem \[ א_2 ⊂ A[b_1, …, b_n, c]. \] - Dann ist aber + von $A[b_1, …, b_n, c]$ als $A[b_1, …, b_n]$-Modul. Dann ist aber \[ א_1·א_2 := \{ a_1·a_2 \::\: a_1 ∈ א_1, a_2 ∈ א_2 \} ⊂ A[b_1, …, b_n, c] \] diff --git a/deploy.sh b/deploy.sh new file mode 100755 index 0000000..932152f --- /dev/null +++ b/deploy.sh @@ -0,0 +1,8 @@ +#!/bin/bash +set -e + +git commit -am "Update" +git push + +latexmk --pdf KommutativeAlgebra.tex +cp KommutativeAlgebra.pdf public/KommutativeAlgebra.pdf