Example 1.

We shall define a 4-dimensional representation rho of a 4 dimensional Lie algebra taken from the DifferentialGeometry Library, find an invariant subspace S of rho, and calculate the subrepresentation of rho 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 of V.

We can use the Query command to check that S is a rho invariant subspace.

Define a frame for the induced representation of rho on S.

DifferentialGeometry, Library, LieAlgebras, Query, Representation, Retrieve