Compare commits

..

No commits in common. "f17a607d39f73618306bd4d41ba02ff9a8fab79c" and "f39da786edfc223bf1cd8f95559ca66b581c94f5" have entirely different histories.

3 changed files with 5 additions and 30 deletions

17
.gitignore vendored
View File

@ -1,18 +1 @@
public 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

10
03.tex
View File

@ -192,7 +192,7 @@ auch für Matrizen über Ringen gilt.
b^{n-1}$ erzeugen daher $A[b]$ als $A$-Modul. b^{n-1}$ erzeugen daher $A[b]$ als $A$-Modul.
\end{proof} \end{proof}
\begin{proof}[Beweis von Satz~\ref{satz:3-2-9}, Folgerung \ref{il:3-2-9-2} $$ \ref{il:3-2-9-3}] \begin{proof}[Beweis von Satz~\ref{satz:3-2-9}, Folgerung \ref{il:3-2-9-2} $$ \ref{il:3-2-9-1}]
Setze $M := A[b]$, fertig. Setze $M := A[b]$, fertig.
\end{proof} \end{proof}
@ -284,13 +284,13 @@ knapp wiedergegeben.
\[ \[
א_1 ⊂ A[b_1, …, b_n]. א_1 ⊂ A[b_1, …, b_n].
\] \]
von $A[b_1, …, b_n]$ als $A$-Modul. Weiter ist $c$ ganz über $A[b_1, …, b_n]$. Weiter ist $c$ ganz über $A[b_1, …, b_n]$. Also ist $A[b_1, …, b_n, c]$ nach
Also ist $A[b_1, …, b_n, c]$ nach Korollar~\ref{kor:3-3-4} ein endlich Korollar~\ref{kor:3-3-4} ein endlich erzeugter $A[b_1, …, b_n]$-Modul. Wir
erzeugter $A[b_1, …, b_n]$-Modul. Wir wählen ein endliches Erzeugendensystem wählen ein endliches Erzeugendensystem
\[ \[
א_2 ⊂ A[b_1, …, b_n, c]. א_2 ⊂ A[b_1, …, b_n, c].
\] \]
von $A[b_1, …, b_n, c]$ als $A[b_1, …, b_n]$-Modul. Dann ist aber Dann ist aber
\[ \[
א_1·א_2 := \{ a_1·a_2 \::\: a_1 ∈ א_1, a_2 ∈ א_2 \} ⊂ A[b_1, …, b_n, c] א_1·א_2 := \{ a_1·a_2 \::\: a_1 ∈ א_1, a_2 ∈ א_2 \} ⊂ A[b_1, …, b_n, c]
\] \]

View File

@ -1,8 +0,0 @@
#!/bin/bash
set -e
git commit -am "Update"
git push
latexmk --pdf KommutativeAlgebra.tex
cp KommutativeAlgebra.pdf public/KommutativeAlgebra.pdf