Update

.gitignore

@@ -1 +1,18 @@
 public
+KommutativeAlgebra.aux
+KommutativeAlgebra.bbl
+KommutativeAlgebra.blg
+KommutativeAlgebra.brf
+KommutativeAlgebra.fdb_latexmk
+KommutativeAlgebra.fls
+KommutativeAlgebra.idx
+KommutativeAlgebra.ilg
+KommutativeAlgebra.ind
+KommutativeAlgebra.loa
+KommutativeAlgebra.lof
+KommutativeAlgebra.log
+KommutativeAlgebra.lot
+KommutativeAlgebra.out
+KommutativeAlgebra.pdf
+KommutativeAlgebra.synctex(busy)
+KommutativeAlgebra.toc

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]
   \]

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