Degree operator
Let
for any
On a graded algebra
If
Proof
Note that for homogenous elements
and π β π΄ πΌ we have π β π΅ π½ π ( π β π ) = ( πΌ + π½ ) π β π = πΌ π β π + π β π½ π = π ( π ) β π + π β π ( π ) so by linearity
is a derivation. π
In the case
Properties
Let
is ^graded iffπ [ π , π ] = π π π β π π π = 0 is ^homogenous of degreeπ iffπ½ β π [ π , π ] = π π π β π π π = π½ π
Proof