Minimal left ideal
= Minimal left ideal
A minimal <left ideal> is a nonzero <left ideal> containing no smaller nonzero <left ideal>. Equivalently, it is a <simple module> inside the <left regular module>. Every nonzero <associative algebra> of finite <dimension> has one: choose a nonzero <left ideal> of least positive <dimension>.