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 over a field with the unique -gradation specified by linalg for all . This extends to any finite number of factors inductively. Proof of uniqueness proof Properties The Degree operator is given by . develop | en | sembr