Quotient algebra

Given a two-sided ideal of an algebra over a field , the quotient algebra is the Zen/Quotient vector space with the well-defined product #m/def/ralg