Algebra theory MOC

Algebra ideal

A subalgebra¹ of an algebra over a field is called a left-ideal iff , a right-ideal iff , and a two-sided ideal (sometimes just ideal) iff both conditions hold,² falg i.e. a left-ideal absorbs elements placed on the left, &c. Compare with an ideal of a rng. Given a two-sided ideal one may construct a Quotient algebra.

Special cases

• Lie algebra ideal

---

develop | en | sembr

Footnotes

1. Note that any vector subspace satisfying the definition is automatically a subalgebra. ↩

2. 1988. Vertex operator algebras and the Monster, §1.3, p. 6 ↩