Dicyclic Group is Non-Abelian Group/Corollary

Theorem
The quaternion group $Q_4$ is a non-abelian group.

Proof
As the quaternion group $Q_4$ is an example of the dicyclic group with $4$ elements, is also a non-abelian group.