Graded vector space

Homomorphism of graded vector spaces

Let be a linear map of -graded vector spaces over .

• is graded or grade-preserving iff for all . #m/def/linalg
  See .
• If is a monoid, then is homogenous of degree iff and we write . #m/def/linalg
  See

See Degree operator properties.

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