LieAlgebras[SubRepresentation] - find the induced representation on an invariant subspace of the representation space
ρ - a representation of a Lie algebra 𝔤 on a vector space V
S - a list of vectors in V whose span defines a ρ-invariant subspace of V
W - a Maple name or string, giving the frame name for the representation space for the subrepresentation
If ρ: 𝔤 → glV is a representation of a Lie algebra 𝔤 on a vector space V, then S is a ρ-invariant subspace of V if ρxY ∈ S for all x ∈ 𝔤 and Y∈ S.
The command SubRepresentation(ρ,S,W) returns the representation φ of 𝔤 on the vector space S defined by φxy =ρxY, where x ∈ 𝔤 and Y ∈ S.
We shall define a 4-dimensional representation ρ of a 4-dimensional Lie algebra taken from the DifferentialGeometry Library, find an invariant subspace S of ρ, and calculate the subrepresentation of ρ on S.
Initialize the Lie algebra Alg1.
Initialize the representation space V.
Define the matrices which specify a representation of Alg1 on V.
Define the representation with the Representation command.
Define a subspace S of V.
We can use the Query command to check that S is a ρ-invariant subspace.
Define a frame for the induced representation of ρ on S.
Download Help Document
What kind of issue would you like to report? (Optional)