Man gebe für die Ringe der zweidimensionalen ADE-Singularitäten jeweils eine Primidealkette der Länge ${\displaystyle {}2}$ an.

Man gebe für den Ring ${\displaystyle {}K[X,Y,Z,W]/(XY-ZW)}$ eine Primidealkette der Länge ${\displaystyle {}3}$ an.

Sei ${\displaystyle {}R}$ ein kommutativer Ring von endlicher Krulldimension ${\displaystyle {}d}$. Zeige, dass die Krulldimension des Polynomrings ${\displaystyle {}R[X]}$ mindestens ${\displaystyle {}d+1}$ ist.

Betrachte ${\displaystyle {}X^{2}+Y^{2}\in \mathbb {R} [X,Y]}$. Die Nullstellenmenge ${\displaystyle {}V(X^{2}+Y^{2})\subseteq \mathbb {R} ^{2}}$ besteht aus dem einzigen Punkt ${\displaystyle {}(0,0)}$, durch die eine Gleichung geht also die Dimension von ${\displaystyle {}2}$ auf ${\displaystyle {}0}$ runter. Warum widerspricht das nicht dem Krullschen Hauptidealsatz?

Es sei ${\displaystyle {}K}$ ein Körper und ${\displaystyle {}{\mathfrak {m}}={\left(X_{1}-a_{1},X_{2}-a_{2},\ldots ,X_{n}-a_{n}\right)}\subseteq K[X_{1},\ldots ,X_{n}]}$ ein Punktideal im Polynomring. Zeige, dass die Höhe von ${\displaystyle {}{\mathfrak {m}}}$ gleich ${\displaystyle {}n}$ ist.

Es sei ${\displaystyle {}K}$ ein Körper und ${\displaystyle {}{\mathfrak {m}}\subseteq K[X_{1},\ldots ,X_{n}]}$ ein maximales Ideal im Polynomring. Zeige, dass es eine endliche Körpererweiterung ${\displaystyle {}K\subseteq L}$ und ein Punktideal

${\displaystyle {}{\mathfrak {n}}={\left(X_{1}-b_{1},\ldots ,X_{n}-b_{n}\right)}\subset L[X_{1},\ldots ,X_{n}]\,}$

derart gibt, dass

${\displaystyle {}{\mathfrak {m}}={\mathfrak {n}}\cap K[X_{1},\ldots ,X_{n}]\,}$

ist.

Begründe, dass ${\displaystyle {}K[x,y]\subseteq K[x,y,z]/(xy-z^{n})}$ endlich ist. Wie sieht es über ${\displaystyle {}K[x,z]}$ bzw. ${\displaystyle {}K[y,z]}$ aus?

Begründe, dass ${\displaystyle {}K[y,z]\subseteq K[x,y,z]/(x^{2}+yz^{2}+z^{m+1})}$ endlich ist. Wie sieht es über ${\displaystyle {}K[x,y]}$ bzw. ${\displaystyle {}K[x,z]}$ aus?

Es sei ${\displaystyle {}R\subseteq S}$ eine endliche Ringerweiterung und ${\displaystyle {}f\in S}$ ein Nichtnullteiler. Zeige, dass ${\displaystyle {}R\cap (f)}$ nicht das Nullideal ist.

Es sei ${\displaystyle {}R}$ ein kommutativer Ring. Zeige, dass ${\displaystyle {}R\subseteq R[X]/{\left(X^{2}\right)}=:S}$ eine endliche Ringerweiterung ist und dass die Restklasse ${\displaystyle {}[X]\in S}$ nicht ${\displaystyle {}0}$ ist, dass aber ${\displaystyle {}R\cap ([X])}$ das Nullideal ist.

Zeige, dass

${\displaystyle {}K[X+Y]\subseteq K[X,Y]/{\left(XY\right)}\,}$

endlich ist.

1. Zeige, dass

   ${\displaystyle {}K[X+Y,Z]\subseteq K[X,Y,Z]/(XY,XZ)\,}$

   endlich ist.

2. Zeige, dass ${\displaystyle {}X+Y}$ und ${\displaystyle {}Z}$ algebraisch unabhängige Elemente in ${\displaystyle {}K[X,Y,Z]/(XY,XZ)}$ sind.
3. Bestimme für die beiden minimalen Primideale ${\displaystyle {}(X)}$ und ${\displaystyle {}(Y,Z)}$ die Durchschnitte mit ${\displaystyle {}K[X+Y,Z]}$.

Zeige durch ein Beispiel, dass Korollar 19.8 nicht gilt, wenn man beliebige Nenneraufnahmen erlaubt.

Zeige durch ein Beispiel, dass Korollar 19.8 nicht gilt, wenn man Algebren betrachten, die nicht vom endlichen Typ sind.

Es sei ${\displaystyle {}(R,{\mathfrak {m}})}$ ein noetherscher lokaler Ring und ${\displaystyle {}M}$ ein endlich erzeugter ${\displaystyle {}R}$-Modul der Dimension ${\displaystyle {}d}$. Zeige, dass der Limes

${\displaystyle \lim _{n\rightarrow \infty }d!{\frac {\dim _{R/{\mathfrak {m}}}{\left(M/{\mathfrak {m}}^{n}M\right)}}{n^{d}}}}$

existiert und mit der Hilbert-Samuel-Multiplizität von ${\displaystyle {}M}$ übereinstimmt.