Irreducible Lie algebra representation (source code)

= Irreducible Lie algebra representation
{c}

A nonzero <Lie algebra representation> is irreducible when it has no proper nonzero invariant <vector subspace>[subspace].