Query[Homomorphism] - check if a matrix defines a Lie algebra homomorphism between two Lie algebras
Query(Alg1, Alg2, A, "Homomorphism")
Query(Alg1, Alg2, phi, "Homomorphism")
Query(Alg1, Alg2, A, parm, "Homomorphism")
Alg1 - the name of an initialized Lie algebra 𝔤, the domain algebra for the homomorphism defined by A
Alg2 - the name of an initialized Lie algebra 𝔥, the range algebra for the homomorphism defined by A
A - an m × n matrix,where n is the dimension of the Lie algebra and m is the dimension of 𝔥
phi - a transformation from Alg1 to Alg2
parm - a set of parameters appearing in the matrix A or in the Lie algebras 𝔤 and k
A matrix A defines a Lie algebra homomorphism from a Lie algebra 𝔤 to a Lie algebra 𝔥 if the linear transformation LA satisfies LAx, y = LAx, LAy for all x, y ∈ 𝔤.
Query(Alg1, Alg2, A, "Homomorphism") returns true if the matrix A defines a Lie algebra homomorphism from 𝔤 to 𝔥 and false otherwise.
Query(Alg1, Alg2, phi, "Homomorphism") returns true if the transformation φ defines a Lie algebra homomorphism φ: 𝔤 -> 𝔥 and false otherwise.
Query(Alg1, Alg2, parm, "Homomorphism") returns a 4-tuple TF, Eq, Soln, B. Here TF is true if Maple finds a set of values for the parameters for which the Matrix A is a homomorphism; Eq is the defining set of equations for the parameters parm in order that the matrix A be a homomorphism; Soln is a list of solutions to the equations Eq; and B is the list of Matrices obtained by evaluating A on the solutions in the list Soln.
The command Query is part of the DifferentialGeometry:-LieAlgebras package. It can be used in the form Query(...) only after executing the commands with(DifferentialGeometry) and with(LieAlgebras), but can always be used by executing DifferentialGeometry:-LieAlgebras:-Query(...).
First initialize a Lie algebra. We illustrate the fact that the Adjoint matrix Ad(x), for any x in the Lie algebra, is always a Lie algebra homomorphism (in fact, an isomorphism).
L1 ≔ _DG⁡LieAlgebra,Alg1,4,1,4,1,1,2,3,1,1,2,4,2,1
A1 ≔ AdjointExp⁡r⁢e1+s⁢e2+t⁢e3
The matrix exponential of any outer derivation is also a Lie algebra homomorphism (isomorphism).
Outer ≔ Derivations⁡Outer
A2 ≔ LinearAlgebra:-MatrixExponential⁡t⁢Outer1
T ≔ Transformation⁡Alg1,Alg1,A2
In this example we construct the quotient algebra of Alg1 by the ideal e1 Call the quotient Alg2. We check that the canonical projection map from Alg1 to Alg2 is a Lie algebra homomorphism.
L2 ≔ QuotientAlgebra⁡e1,e2,e3,e4,Alg2
The following matrix A3 maps e1→0, e2→x1, e3→x2, e4→x3.
A3 ≔ Matrix⁡0,1,0,0,0,0,1,0,0,0,0,1
In this example we shall find all the monomorphisms from the 2-dimensional solvable Lie algebra into Alg1. This effectively computes all the 2-dimensional non-Abelian subalgebras of Alg1. First initialize the 2-dimensional solvable algebra and call it Alg3.
L2 ≔ _DG⁡LieAlgebra,Alg3,2,1,2,1,1
Define a matrix A4 representing an arbitrary linear transformation from Alg1 to Alg2.
A4 ≔ Matrix⁡a1,a2,a3,a4,a5,a6,a7,a8
Determine the parameter values for which A4 is a Lie algebra homomorphism.
TF,EQ,SOLN,B ≔ Query⁡Alg3,Alg1,A4,a1,a2,a3,a4,a5,a6,a7,a8,Homomorphism
The equations that must hold for A4 to define a Lie algebra homomorphism are given by EQ.
The possible Lie algebra homomorphisms are given by B. Note that B2, B3, B4 can be chosen to be full rank and therefore define Lie algebra isomorphisms.
Download Help Document