Algebra theory MOC

Graded algebra

Let be a monoid. An algebra over is said to be -graded iff it is an -graded vector space such that falg

for any . If is a K-monoid, this definition is equivalent to that of a graded ring, and hence .

Category of graded algebras

Many of our typical algebra constructions carry over. These motivate Category of graded algebras.

• Graded algebra homomorphism
• Graded subalgebra, Quotient graded algebra

Properties

• If , the degree operator on is a derivation.
• If is commutative, then must be abelian/

Examples

• Tensor algebra

See also

• Graded structure

---

tidy | en | sembr