Structures · Algebra
GradedLieAlgebra
A class that ensures a Lie algebra has a bracket that preserves a decomposition.
- Defined in
- Mathlib.Algebra.Lie.Graded
- Shape
- One type argument
Extends2
Extended by0
Nothing extends this class yet.
Concrete types that are instances0
No instance on a concrete type; it is reached through other classes.
How is a type an instance?
Loading the hierarchy index…
Assumed by12
- LieDerivation.ofGradingSum
- LieDerivation.ofGrading
- LieDerivation.ofGradingSum_of
- LieDerivation.ofGrading_apply_apply
- DirectSum.instLieRingSubtypeMemSubmodule
- GradedLieAlgebra.toGradedBracket
- GradedLieAlgebra.toDecomposition
- DirectSum.bracket_apply_apply
- DirectSum.decomposeLieEquiv
- DirectSum.decompose_bracket
- DirectSum.instLieAlgebraSubtypeMemSubmodule
- DirectSum.decompose_symm_bracket