What is the difference between homomorphism and isomorphism?

Isomorphisms capture "equality" between objects in the sense of the structure you are considering. For example, $2 \mathbb{Z} \ \cong \mathbb{Z}$ as groups, meaning we could re-label the elements in the former and get exactly the latter.

This is not true for homomorphisms--homomorphisms can lose information about the object, whereas isomorphisms always preserve all of the information. For example, the map $\mathbb{Z} \rightarrow \mathbb{Z}/ 2\mathbb{Z}$ given by $z \mapsto z \text{ mod 2}$ loses a ton of information but is still a homomorphism.

Alternatively, isomorphisms are invertible homomorphisms (again emphasizing the preservation of information -- you can revert the map and go back).


Unlike in other areas of mathematics, talking about groups as sets and saying that (as sets) they are in bijection with each other isn't hugely useful. For example, the elements of $Q_8$ and $C_8$ are certainly in bijection with each other, but one is cyclic and the other isn't even abelian. This is why homomorphisms are important when studying algebraic structures; we look at maps that preserve the underlying algebraic structure to some degree.

Isomorphism means that the structures are 'the same'; we cannot really distinguish between them if we are only given abstract information about their elements and how the elements act on each other.

This is much stronger than one group being a homomorphic image of another, because one can lose lots of information about a group in the kernel of a homomorphism (just take $\pi : G \rightarrow G/N$ for any group $G$ and some quotient of it).


Bijectivity is a great property, which allows to identify (up to isomorphisms!) the given groups.

Moreover, a bijective homomorphism of groups $\varphi$ has inverse $\varphi^{-1}$ which is automatically a homomorphism, as well. This is a non trivial property, which is shared for example, by bijective linear morphisms of vector spaces over a field.

If we consider topology, things change a lot. If we are given with a bijective continuous map $f: X\rightarrow Y$ between topological spaces $X$ and $Y$, the inverse $f^{-1}$ is not continuous in general. One can construct easily an example of this fact by considering the identity map $1:(X,\mathcal D)\rightarrow (X,\mathcal T)$ where $\mathcal D$ resp. $\mathcal T$ denote the discrete resp. trivial topology on $X$. The inverse is again the identity map, which is not continuous w.r.t. the given topologies on $X$.