Let

It is easy to check that these form a group. We usually use Hamilton’s notation:

So the elements of are , with relations

• ,
• , etc.
• , , ,
• commutes with everything.

We call this group the quaternion group.