Graduierung (Algebra)

Unter Graduierung versteht man im mathematischen Teilgebiet der Algebra die Zerlegung einer abelschen Gruppe oder komplizierterer Objekte in Teile eines bestimmten Grades. Das namengebende Beispiel ist der Polynomring in einer Unbestimmten: Beispielsweise ist das Polynom $X^{3}+3X+5$ Summe der Monome $X^{3}$ (Grad 3), (Grad 1) und (Grad 0). Umgekehrt kann man endlich viele Monome verschiedenen Grades vorgeben und erhält als Summe ein Polynom.

Es sei durchweg $\Gamma$ eine feste abelsche Gruppe. Beispielsweise kann man $\Gamma ={\mathbb Z}$ oder $\Gamma ={\mathbb Z}/2{\mathbb Z}$ wählen.

Graduierte Vektorräume

Es sei ein Körper. Eine $\Gamma$ -Graduierung auf einem -Vektorraum ist ein System $(V_{\gamma })_{{\gamma \in \Gamma }}$ von Untervektorräumen, so dass die direkte Summe der $V_{\gamma }$ ist:

$V=\bigoplus _{{\gamma \in \Gamma }}V_{\gamma }$

Die Vektorräume $V_{\gamma }$ heißen die graduierten Bestandteile von .

Elemente $v\in V_{\gamma }\setminus \left\{0\right\}$ heißen homogen vom Grad $\gamma$ und man schreibt dafür kurz $\operatorname {deg}v=\gamma$ oder $\partial v=\gamma$ . Jedes Element von kann genau auf eine Weise als Summe homogener Elemente verschiedenen Grades geschrieben werden; sie heißen die homogenen Bestandteile (oder Komponenten) von .

Graduierte abelsche Gruppen und -Moduln für (gewöhnliche, nicht graduierte) Ringe sind analog definiert.

Ist $\Gamma ={\mathbb Z}$ , so spricht man häufig nicht explizit von einer $\mathbb {Z}$ -Graduierung, sondern schlicht von einer Graduierung.

Graduierte Algebren

Es sei ein Körper. Eine $\Gamma$ -Graduierung auf einer -Algebra ist eine $\Gamma$ -Graduierung auf als -Vektorraum, für die

$A_{\gamma }\cdot A_{\delta }\subseteq A_{{\gamma +\delta }}$

für $\gamma ,\delta \in \Gamma$ , d.h.

$a_{\gamma }a_{\delta }\in A_{{\gamma +\delta }}$ für $a_{\gamma }\in A_{\gamma },a_{\delta }\in A_{\delta }$

gilt.

Graduierte Ringe

Es sei ein Ring. Eine $\Gamma$ -Graduierung auf ist eine Familie $(R_{\gamma })_{{\gamma \in \Gamma }}$ , so dass

$R=\bigoplus _{{\gamma \in \Gamma }}R_{\gamma }$ ,

und

$R_{\gamma }\cdot R_{\delta }\subseteq R_{{\gamma +\delta }}$ für alle $\gamma ,\delta \in \Gamma$

Dies verallgemeinert obige Definition für Algebren. Man beachte, dass für Algebren verlangt wird, dass die direkten Summanden der homogenen Elemente -Untervektorräume sind, das heißt, dass eine Ring-Graduierung einer -Algebra möglicherweise keine Algebren-Graduierung, wie sie oben definiert wurde, ist.

Graduierte Moduln

Es sei ein $\Gamma$ -graduierter Ring. Ein $\Gamma$ -graduierter -Modul ist ein -Modul

$M=\bigoplus _{{\gamma \in \Gamma }}M_{\gamma }$ ,

so dass

$R_{\gamma }\cdot M_{\delta }\subseteq M_{{\gamma +\delta }}$

für $\gamma ,\delta \in \Gamma$ gilt.

Diese Definition bezieht sich auf den Fall von Linksmoduln, graduierte Rechtsmoduln sind analog definiert. Bei einer entsprechenden Definition für -Algebren verlangt man noch, dass die $M_{\gamma }$ in obiger Definition -Vektorräume sind.

Beispiele

Der Polynomring $A=K[X_{1},\ldots ,X_{n}]$ in Unbestimmten über einem Körper ist durch den Gesamtgrad graduiert:

$A=\bigoplus _{{d\in {\mathbb Z}}}A_{d},\quad A_{d}=\langle X_{1}^{{e_{1}}}\cdots X_{n}^{{e_{n}}}\mid e_{1}+\ldots +e_{n}=d\rangle _{K}.$

(Offenbar ist $A_{d}=0$ für d<0

Es gibt aber noch andere Graduierungen auf : Es seien $\lambda _{1},\ldots ,\lambda _{n}$ positive ganze Zahlen. Dann ist durch

$A=\bigoplus _{{d\in {\mathbb Z}}}{\tilde A}_{d},\quad {\tilde A}_{d}=\langle X_{1}^{{e_{1}}}\cdots X_{n}^{{e_{n}}}\mid \lambda _{1}e_{1}+\ldots +\lambda _{n}e_{n}=d\rangle _{K}$

ebenfalls eine Graduierung von definiert, bei der jedoch das Monom $X_{i}$ Grad $\lambda _{i}$ hat.

Tensoralgebra, symmetrische Algebra und äußere Algebra sind graduierte Algebren.
Ist ein (kommutativer) noetherscher lokaler Ring mit maximalem Ideal ${\mathfrak m}$ und Restklassenkörper $k=A/{\mathfrak m}$ , so ist

$\operatorname {gr}A=\bigoplus _{{n\geq 0}}{\mathfrak m}^{n}/{\mathfrak m}^{{n+1}}$

eine endlich erzeugte graduierte -Algebra.

Ist beispielsweise $A={\mathbb Z}_{p}$ für eine Primzahl , so ist $\operatorname {gr}A\cong {\mathbb F}_{p}[T]$ .

ℤ/2ℤ-Graduierung

Eine $\mathbb Z/2\mathbb Z$ -Graduierung eines Ringes oder einer Algebra ist eine Zerlegung $A=A_{0}\oplus A_{1}$ mit $A_{i}A_{j}\subset A_{{i+j}}$ . Dann ist $\alpha :A\rightarrow A,\alpha (a_{0}+a_{1}):=a_{0}-a_{1}$ ein Automorphismus auf mit $\alpha ^{2}={\mathrm {id}}_{A}$ . Umgekehrt definiert jeder solche Automorphismus eine Graduierung

$A_{0}:=\{a\in A;\alpha (a)=a\}$

$A_{1}:=\{a\in A;\alpha (a)=-a\}$ .

Eine $\mathbb Z/2\mathbb Z$ -Graduierung ist also nichts weiter als die Auszeichnung eines selbstinversen Automorphismus. Speziell für C*-Algebren ist eine $\mathbb Z/2\mathbb Z$ -Graduierung ein C*-dynamisches System mit Gruppe $\mathbb Z/2\mathbb Z$ . Unter einer graduierten C*-Algebra versteht man in der Regel eine $\mathbb Z/2\mathbb Z$ -graduierte C*-Algebra.

Viele mathematische Konstruktionen werden bei graduierten Objekten so angepasst, dass die vorliegende Graduierung respektiert wird. So definiert man etwa einen graduierten Kommutator für homogene Elemente durch

$[x,y]:=xy-(-1)^{{\partial x\cdot \partial y}}yx$

und für allgemeine Elemente durch lineare Fortsetzung. Man erhält dann zum Beispiel eine graduierte Jacobi-Identität

$(-1)^{{\partial x\cdot \partial z}}[[x,y],z]+(-1)^{{\partial x\cdot \partial y}}[[y,z],x]+(-1)^{{\partial y\cdot \partial z}}[[y,z],x]=0$

für homogene Elemente $x,y,z\in A$

Auch die Bildung des Tensorproduktes wird entsprechend angepasst. Die Multiplikation im graduierten Tensorprodukt $\mathbb Z/2\mathbb Z$ -graduierter Ringe und wird dann für Elementartensoren homogener Elemente durch

$(a_{1}\otimes b_{1})(a_{2}\otimes b_{2}):=(-1)^{{\partial b_{1}\cdot \partial a_{2}}}(a_{1}a_{2}\otimes b_{1}b_{2})$

festgelegt. Sätze wie $A\otimes B\cong B\otimes A$ lassen sich auch für die graduierten Tensorprodukte beweisen. Gibt es zusätzlich eine Involution auf den Ringen bzw. Algebren, wie zum Beispiel im Falle von C*-Algebren, so wird eine Involution auf dem graduierten Tensorprodukt durch

$(a\otimes b)^{*}:=(-1)^{{\partial a\cdot \partial b}}(a^{*}\otimes b^{*})$ , a,b

homogen,

definiert. Durch Übergang zur einhüllenden C*-Algebra erhält man so ein Tensorprodukt graduierter C*-Algebren.

Basierend auf einem Artikel in:

Wikipedia.de