Restriction of a grading to a homogeneous subspace #
A subspace stable under every degree projection inherits an internal grading. This supplies the graded images and kernels used in splitting idempotents.
def
MagnitudeConjecture.Graded.VectorGrading.Stable
{k : Type u_1}
{M : Type u_2}
[Field k]
[AddCommGroup M]
[Module k M]
(G : VectorGrading k M)
(P : Submodule k M)
:
A subspace is homogeneous if it contains every component of each of its vectors.
Instances For
def
MagnitudeConjecture.Graded.VectorGrading.restrict
{k : Type u_1}
{M : Type u_2}
[Field k]
[AddCommGroup M]
[Module k M]
[FiniteDimensional k M]
(G : VectorGrading k M)
(P : Submodule k M)
(hP : G.Stable P)
:
VectorGrading k ↥P
The grading induced on a homogeneous subspace.