quotient algebra

Forming a quotient means deliberately blurring distinctions: you decide certain elements should count as ‘the same’, glue them into a single point, and ask whether the operations still make sense on the glued-up set. When the gluing is by a congruence, they do — and the result, the quotient algebra, is a genuinely smaller algebra of the same type that often reveals the essential structure with the noise removed.

Formally, let θ be a congruence on a Σ-algebra A. The quotient algebra A/θ has as carrier the set of congruence classes {[a] : a in A}, and for each operation f of arity n one defines f^{A/θ}([a_1], ..., [a_n]) = [f^A(a_1, ..., a_n)]. Compatibility of θ is exactly what guarantees this is independent of the chosen representatives, so the operations are well-defined and A/θ is again a Σ-algebra. The map a -> [a] is a surjective homomorphism A -> A/θ, the canonical or quotient map.

Quotient algebras are the universal-algebra source of the isomorphism theorems: every homomorphic image of A is isomorphic to a quotient A/θ, where θ = ker(h) is the kernel congruence {(a, b) : h(a) = h(b)}. This single picture specializes to G/N for groups, R/I for rings and M/N for modules. Birkhoff's theorem records that closure under quotients (H, homomorphic images) is one of the three defining closures of a variety.