Graduierte Algebra/Ring/Gruppe beliebig/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Graduierte Algebra

Es sei ein kommutativer Ring und eine kommutative Gruppe. Eine -Algebra heißt -graduiert, wenn es eine direkte Summenzerlegung

mit -Untermoduln gibt derart, dass ist und für die Multiplikation auf die Beziehung

gilt.