Graded vector space

Tensor product of graded vector spaces

Let be -graded vector spaces over for some monoid . The tensor product is the -tensor product of vector spaces with the unique -gradation specified by #m/def/linalg

for all . This extends to any finite number of factors inductively.

Proof of uniqueness

#missing/proof

Properties

  1. The Degree operator is given by .

#state/develop | #lang/en | #SemBr