Faithful Lie algebra representation (source code)

= Faithful Lie algebra representation
{c}

A <Lie algebra representation> is faithful when its representing homomorphism is <injective function>[injective].