A Lie algebra $\mathrm{\𝔤}\mathit{ }\mathit{ }$is nilpotent if the $k$-th ideal in the lower central series for $\mathrm{\𝔤}$ is 0 for some $k \ge 0$.

Query(Alg, "Nilpotent") returns true if Alg is a nilpotent Lie algebra and false otherwise.  If the algebra is unspecified, then Query is applied to the current algebra.

Query(S, "Nilpotent") returns true if the subalgebra spanned by the vectors  S is a nilpotent Lie algebra and false otherwise.

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(...).

$\mathrm{with}\left(\mathrm{DifferentialGeometry}\right)\:$$\mathrm{with}\left(\mathrm{LieAlgebras}\right)\:$

$\mathrm{L1}≔\mathrm{\_DG}\left(\left[\left[''LieAlgebra''\,\mathrm{Alg1}\,\left[3\right]\right]\,\left[\right]\right]\right)$

$\mathrm{L1}≔\left[\right]$

$\mathrm{L2}≔\mathrm{\_DG}\left(\left[\left[''LieAlgebra''\,\mathrm{Alg2}\,\left[3\right]\right]\,\left[\left[\left[2\,3\,1\right]\,1\right]\right]\right]\right)\:$

$\mathrm{L3}≔\mathrm{\_DG}\left(\left[\left[''LieAlgebra''\,\mathrm{Alg3}\,\left[4\right]\right]\,\left[\left[\left[1\,4\,1\right]\,2\right]\,\left[\left[2\,3\,1\right]\,1\right]\,\left[\left[2\,4\,2\right]\,1\right]\,\left[\left[3\,4\,3\right]\,1\right]\right]\right]\right)$

$\mathrm{L3}≔\left[\left[\mathrm{e1}\,\mathrm{e4}\right]\=2\mathrm{e1}\,\left[\mathrm{e2}\,\mathrm{e3}\right]\=\mathrm{e1}\,\left[\mathrm{e2}\,\mathrm{e4}\right]\=\mathrm{e2}\,\left[\mathrm{e3}\,\mathrm{e4}\right]\=\mathrm{e3}\right]$

$\mathrm{DGsetup}\left(\mathrm{L1}\,\left[x\right]\,\left[a\right]\right)\:$$\mathrm{DGsetup}\left(\mathrm{L2}\,\left[y\right]\,\left[b\right]\right)\:$$\mathrm{DGsetup}\left(\mathrm{L3}\,\left[z\right]\,\left[c\right]\right)\:$

$\mathrm{Query}\left(\mathrm{Alg1}\,''Nilpotent''\right)$

$\mathrm{true}$

$\mathrm{Query}\left(\mathrm{Alg2}\,''Nilpotent''\right)$

$\mathrm{true}$

$\mathrm{Query}\left(\mathrm{Alg3}\,''Nilpotent''\right)$

$\mathrm{false}$

$\mathrm{S1}≔\left[\mathrm{z1}\,\mathrm{z2}\,\mathrm{z3}\right]\:$$\mathrm{S2}≔\left[\mathrm{z1}\,\mathrm{z4}\right]\:$

$\mathrm{Query}\left(\mathrm{S1}\,''Nilpotent''\right)$

$\mathrm{true}$

$\mathrm{Query}\left(\mathrm{S2}\,''Nilpotent''\right)$

$\mathrm{false}$