Zum Inhalt springen

Kurs:Algebraische Kurven (Osnabrück 2008)/Arbeitsblatt 19

Aus Wikiversity

Aufgabe (4 Punkte)

Es sei  M  das durch 3,5,7 erzeugte numerische Untermonoid. Bestimme eine Restklassendarstellung des zugehörigen Monoidringes.



Aufgabe (2 Punkte)

Es sei  M  ein numerisches Monoid, das von teilerfremden Elementen erzeugt werde. Es sei vorausgesetzt, dass die Multiplizität von M mit der Führungszahl von M übereinstimmt. Bestimme ein minimales Erzeugendensystem und die Einbettungsdimension von M.



Aufgabe (4 Punkte)

Klassifiziere sämtliche numerische Monoide M (mit teilerfremden Erzeugern) mit Führungszahl  f(M)6.  Man gebe jeweils die Einbettungsdimension, die Multiplizität und den Singularitätsgrad an.



Aufgabe (2 Punkte)

Es sei M ein kommutatives Monoid und R ein kommutativer Ring. Charakterisiere, für welche Teilmengen  IM  die Teilmenge

R[I]=mITmR[M]

ein Ideal in R[M] ist.



Aufgabe (3 Punkte)

Es sei  M  ein numerisches Monoid und K ein Körper. Definiere

M+=M+ und nM+={mMes gibt eine Darstellung m=m1++mn mit miM+}.

Zeige, dass nM+ „Ideale“ in M sind, dass zu M+ ein maximales Ideal 𝔪 in K[M] gehört, und dass das zu nM+ gehörige Ideal gleich 𝔪n ist.



Aufgabe (3 Punkte)

Es seien M und N kommutative Monoide und sei K ein Körper. In welcher Beziehung steht KSpek(K[M×N]) zu KSpek(K[M]) und KSpek(K[N])?



Aufgabe (3 Punkte)

Es sei K ein Körper. Finde ein kommutatives Monoid M derart, dass eine Isomorphie

K[M]K[X,Y,U,V]/(UXVY)

vorliegt.



Aufgabe * (4 Punkte)

Es seien R und S Integritätsbereiche und sei  RS  eine ganze Ringerweiterung. Es sei  fR  ein Element, das in S eine Einheit ist. Zeige, dass f dann schon in R eine Einheit ist.



Aufgabe (3 Punkte)

Es seien R,S,T kommutative Ringe und seien φ:RS und ψ:ST Ringhomomorphismen derart, dass S ganz über R und T ganz über S ist. Zeige, dass dann auch T ganz über R ist.

(Vergleiche Aufgabe 10.6.)


Aufgabe (3 Punkte)

Es sei  RS  eine ganze Erweiterung von Integritätsbereichen und sei  FR  ein multiplikatives System. Zeige, dass dann auch die zugehörige Erweiterung  RFSF  ganz ist.