Graduierter Ring

In der kommutativen Algebra und der algebraischen Geometrie ist ein graduierter Ring eine Verallgemeinerung des Polynomrings in mehreren Veränderlichen. Er ist in der algebraischen Geometrie ein Mittel, projektive Varietäten zu beschreiben.

Dieser Artikel beschäftigt sich mit kommutativer Algebra. Insbesondere sind alle betrachteten Ringe kommutativ und haben ein Einselement. Ringhomomorphismen bilden Einselemente auf Einselemente ab. Für weitere Details siehe Kommutative Algebra.

Definition

Ein graduierter Ring A ist ein Ring, der eine Darstellung als direkte Summe von abelschen Gruppen hat:

$A=\bigoplus _{n\in \mathbb {N} }A_{n}=A_{0}\oplus A_{1}\oplus A_{2}\oplus \cdots$

sodass $A_{i}A_{j}\subseteq A_{i+j}.$

Elemente von Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle A_{j}} werden homogene Elemente vom Grad $j$ genannt. Jedes Element eines graduierten Ringes kann eindeutig als Summe von homogenen Elementen geschrieben werden.

Ein Ideal $I$ wird homogen genannt, wenn:

$I=\bigoplus _{n\in \mathbb {N} }(I\cap A_{n})$

Ist $I$ ein Ideal des Ringes $R$, so kann der zum Ideal $I$ assoziierte Ring Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle \mathrm {gr} _{I}(R)} gebildet werden:

Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle \mathrm {gr} _{I}(R)=\bigoplus _{n\in \mathbb {N} }I^{n}/I^{n+1}}

Eigenschaften

• Ein Ideal ist genau dann homogen, wenn es von homogenen Elementen erzeugt werden kann.
• Die Summe, das Produkt, der Schnitt und das Radikal homogener Ideale ist wieder homogen.
• Ein homogenes Ideal $I$ ist genau dann prim, wenn für alle homogenen $f,g\in R$ gilt:

Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle fg\in I\ \Leftrightarrow (f\in I\lor g\in I)}

• Ist $R$ noethersch und $I\subset R$ ein Ideal, dann ist auch $\mathrm {gr} _{I}(R)$ noethersch.

Charakterisierung regulärer Ringe

Ist $R$ ein lokaler noetherscher Ring, $m$ sein maximales Ideal, $k=R/m$ und Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle x_{1},\dots x_{n}} eine $k$-Basis des Vektorraums $m/m^{2}$, so sind folgende Aussagen äquivalent:

(1) $R$ ist regulär.

(2) Der durch

$f\colon X_{i}\mapsto x_{i}$

definierte Homomorphismus

Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle f\colon k[X_{1},\dots ,X_{n}]\to \mathrm {gr} _{m}(R)}

ist ein Isomorphismus von graduierten $k$-Algebren.

Beispiele

• Wenn $K$ ein Körper ist, dann ist $K[X_{1},\dots X_{n}]$ auf natürliche Weise ein graduierter Ring.
• Dieser Ring kann auch mit einer anderen Graduierung versehen werden:

Ist Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle (i_{1},\dots ,i_{n})\in \mathbb {N} ^{n}} , so ist Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle A_{k}} die Menge der quasihomogenen Polynome vom Grad $k$:

Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle A_{k}:=\sum _{\alpha _{1}i_{1}+\dots +\alpha _{n}i_{n}=k}s_{\alpha _{1},\dots ,\alpha _{n}}X^{i_{1}}\dots X^{i_{n}}}

Siehe auch

• Hilbert-Samuel-Polynom

Literatur

• Ernst Kunz: Einführung in die kommutative Algebra und algebraische Geometrie, Vieweg (1980), ISBN 3-528-07246-6
• Atiyah, Macdonald: Introduction to Commutative Algebra, Addison-Wesley (1969), ISBN 0-2010-0361-9
• Brüske, Ischebeck, Vogel: Kommutative Algebra, Bibliographisches Institut (1989), ISBN 978-3411140411
• Robin Hartshorne: Algebraic Geometry, Springer-Verlag, New York/Berlin/Heidelberg 1977, ISBN 3-540-90244-9