Graded vector space

Degree operator

Let 𝑉 be an 𝑆-Graded vector space over 𝕂 where 𝑆 ≀𝕂+ is a submonoid of the additive group. Then the degree operator 𝑑𝑉 :𝑉 →𝑉 is defined by linalg

𝑑𝑉𝑣=𝛼𝑣

for any 𝑣 βˆˆπ‘‰π›Ό and 𝛼 βˆˆπ‘†.

On a graded algebra

If (𝐴, β‹…) is an 𝑀-Graded algebra over 𝕂 where 𝑀 ≀𝕂+ is a submonoid of the additive group, the degree operator 𝑑 :𝐴 →𝐴 is a derivation, falg called the degree derivation.

In the case 𝐴 is a 𝑀-graded Lie algebra, see adjoining the degree derivation.

Properties

Let 𝑓 :𝑉 β†’π‘Š be a linear map between 𝑆-graded vector spaces over 𝕂 where 𝑆 ≀𝕂+

  1. 𝑓 is ^graded iff [𝑑,𝑓] =π‘‘π‘Šπ‘“ βˆ’π‘“π‘‘π‘‰ =0
  2. 𝑓 is ^homogenous of degree 𝛽 βˆˆπ‘† iff [𝑑,𝑓] =π‘‘π‘Šπ‘“ βˆ’π‘“π‘‘π‘‰ =𝛽𝑓


tidy | en | SemBr