An isomorphism is a [homomorphism](Homomorphism.md) that is _invertible_, i.e. a homomorphism that is [one-to-one](one-to-one) and [onto](onto). #MathematicalFoundations/Algebra/AbstractAlgebra