Klein Four-Group and Group of Cyclic Group of Order 4 are not Isomorphic/Proof 1

Proof
Recall the Cayley table for $K_4$:

From Finite Cyclic Group is Isomorphic to Integers under Modulo Addition, $C_4$ can be exemplified using the additive group of integers modulo $4$.

Recall the Cayley table for $\struct {\Z_4, +_4}$:

Note that all elements of $K_4$ are self-inverse.

However, for example:
 * $\eqclass 1 4 +_4 \eqclass 1 4 = \eqclass 2 4$

and so $\eqclass 1 4$ is not self-inverse.

Thus there can be no bijection between $K_4$ and $\struct {\Z_4, +_4}$ such that:
 * $\forall a, b \in K_4: \map \phi a +_4 \map \phi b = \map \phi {a b}$

Hence the result.