Page "Quotient algebra" Paragraph 8

Given an algebra, a homomorphism h thus defines two algebras homomorphic to, the image h () and The two are isomorphic, a result known as the homomorphic image theorem.

Formally, let be a surjective homomorphism.

Then, there exists a unique isomorphism g from onto such that g composed with the natural homomorphism induced by equals h.