Compare commits
No commits in common. "f17a607d39f73618306bd4d41ba02ff9a8fab79c" and "f39da786edfc223bf1cd8f95559ca66b581c94f5" have entirely different histories.
f17a607d39
...
f39da786ed
|
@ -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
10
03.tex
|
@ -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]
|
||||||
\]
|
\]
|
||||||
|
|
Loading…
Reference in New Issue