Hamilton's quaternions are an example of non-commutative ring. If you are not familiar with them, they are similar to complex numbers, except for the fact that there are three roots of -1: the ring is generated by

Which means that a generic element is appears as follows:

The rules for additions are the usual: you sum like terms. As for the mutliplicaitons, you work like this:
