graded tensor product
If and are -graded algebras, we define the graded tensor product (or super tensor product) to be the ordinary tensor product
as graded modules
, but with multiplication - called the super product
- defined by
where are homogeneous. The super tensor product of and is itself a graded algebra, as we grade the super tensor product of and as follows: