Ideals and Lie subalgebras

dim(I::LieAlgebraIdeal) -> Int

Return the dimension of the ideal I.

basis(I::LieAlgebraIdeal) -> Vector{LieAlgebraElem}

Return the basis of the ideal I.

basis(I::LieAlgebraIdeal, i::Int) -> LieAlgebraElem

Return the i-th basis element of the ideal I.

in(x::LieAlgebraElem{C}, I::LieAlgebraIdeal{C}) -> Bool

Return true if x is in the ideal I, false otherwise.

bracket(I1::LieAlgebraIdeal, I2::LieAlgebraIdeal) -> LieAlgebraIdeal

Return $[I_1,I_2]$.

normalizer(L::LieAlgebra, I::LieAlgebraIdeal) -> LieSubalgebra

Return the normalizer of I in L, i.e. $\{x \in L \mid [x, I] \subseteq I\} = L$. As I is an ideal in L, this is just L.

centralizer(L::LieAlgebra, I::LieAlgebraIdeal) -> LieSubalgebra

Return the centralizer of I in L, i.e. $\{x \in L \mid [x, I] = 0\}$.

dim(S::LieSubalgebra) -> Int

Return the dimension of the Lie subalgebra S.

basis(S::LieSubalgebra{C}) -> Vector{LieAlgebraElem{C}}

Return a basis of the Lie subalgebra S.

basis(S::LieSubalgebra{C}, i::Int) -> LieAlgebraElem{C}

Return the i-th basis element of the Lie subalgebra S.

in(x::LieAlgebraElem{C}, S::LieSubalgebra{C}) -> Bool

Return true if x is in the Lie subalgebra S, false otherwise.

bracket(S1::LieSubalgebra, S2::LieSubalgebra) -> LieAlgebraIdeal

Return $[S_1, S_2]$.

normalizer(L::LieAlgebra, S::LieSubalgebra) -> LieSubalgebra

Return the normalizer of S in L, i.e. $\{x \in L \mid [x, S] \subseteq S\}$.

centralizer(L::LieAlgebra, S::LieSubalgebra) -> LieSubalgebra

Return the centralizer of S in L, i.e. $\{x \in L \mid [x, S] = 0\}$.

is_self_normalizing(S::LieSubalgebra) -> Bool

Return true if S is self-normalizing, i.e. if its normalizer is S.

ideal(L::LieAlgebra, gens::Vector{LieAlgebraElem}; is_basis::Bool=false) -> LieAlgebraIdeal

Return the smallest ideal of L containing gens. If is_basis is true, then gens is assumed to be a basis of the ideal.

ideal(L::LieAlgebra, gen::LieAlgebraElem) -> LieAlgebraIdeal

Return the smallest ideal of L containing gen.

ideal(L::LieAlgebra) -> LieAlgebraIdeal

Return L as an ideal of itself.

sub(L::LieAlgebra, gens::Vector{LieAlgebraElem}; is_basis::Bool=false) -> LieSubalgebra

Return the smallest Lie subalgebra of L containing gens. If is_basis is true, then gens is assumed to be a basis of the subalgebra.

sub(L::LieAlgebra, gen::LieAlgebraElem) -> LieSubalgebra

Return the smallest Lie subalgebra of L containing gen.

sub(L::LieAlgebra) -> LieSubalgebra

Return L as a Lie subalgebra of itself.

lie_algebra(S::LieSubalgebra) -> LieAlgebra

Return S as a Lie algebra LS, together with an embedding LS -> L, where L is the Lie algebra where S lives in.

lie_algebra(I::LieAlgebraIdeal) -> LieAlgebra

Return I as a Lie algebra LI, together with an embedding LI -> L, where L is the Lie algebra where I lives in.

sub(L::LieAlgebra, I::LieAlgebraIdeal) -> LieSubalgebra

Return I as a subalgebra of L.