Left ideal (source code)

= Left ideal

A left ideal $L$ of an <associative algebra> $A$ is a <vector subspace> satisfying $AL\subseteq L$. Equivalently, it is a submodule of the left regular $A$-module.