Linear algebra MOC

Graded vector space

Given a set , a vector space over is said to be -graded iff it is (canonically) the internal direct sum #m/def/linalg

for so-called homogenous subspaces of degrees , the elements whereof are called homogenous elements of degree .¹ For , we write

A graded vector space is thus a Graded module over a field (with the trivial gradation), where may take arbitrary monoidal structure.

One often expresses the dimensions of homogenous subspaces as a formal power series, called the Graded dimension.

Category of graded vector spaces

Many of our typical vector space constructions carry over nicely, although some require monoid structure on . These motivate the categories and .

• Homomorphism of graded vector spaces
• Graded vector subspace, Quotient graded vector space
• Direct sum of graded vector spaces
• Tensor product of graded vector spaces

See also

• Degree operator
• Graded structure

#state/tidy | #lang/en | #SemBr