definitionabstract-algebra Definition If a morphism f is bijective, then we say f is an isomorphism. The inverse of an isomorphism is also an isomorphism. Examples