Quotient algebra

Given a two-sided ideal $𝐼 \leq 𝐴$ of an algebra $(𝐴, *)$ over a field $𝕂$ , the quotient algebra $𝐴 / 𝐼$ is the Zen/Quotient vector space with the well-defined product #m/def/ralg

(𝑎 + 𝐼) * (𝑏 + 𝐼) = 𝑎 * 𝑏 + 𝐼

Special cases

Quotient Lie algebra

#state/tidy | #lang/en | #SemBr