**The Ring of Quaternions:**

Consider the ring of quaternions . We define multiplication with the identities .

We have the identity , so in particular every nonzero element is invertible, making “almost” a field. But multiplication is clearly not commutative.

A ring like , in which every nonzero element has an inverse, is called a division ring. (or sometimes a division *algebra*) All fields are division rings.

One interesting observation about : its center, or the set , is simply , and is a 4-dimensional real vector space. It is easy to see that the center of any division ring is a field, but a deeper result is that the dimension of a division ring over its center is always either infinite or a perfect square.

**Finite Division Rings:**

Since the theory of finite fields is so rich, one might expect the same from the theory of finite division rings. But as the title of this post has no doubt suggested to you, there are no unexpected finite division rings. The remainder of this post will prove this surprising and nontrivial fact.

**Preliminaries**

Let be a finite division ring, and its center. Say that , then for some . The statement that is a field is equivalent to , so assume .

We use some basic facts from group theory, namely the class equation, on the group . First, notice that if , the centralizer is a ring containing , so it is a -vector space and its order is for some . So the centralizer in has order . The class equation gives us:

Now we need a little wishful thinking. What if was divisible by some prime that no smaller was divisible by? Then we’d have a contradiction and could finish the proof. Playing around with examples will show you that this is not true in general. For example, , is a counterexample, as is , . But it turns out that these are the only counterexamples, which is a surprising result with a surprising name:

**Zsigmondy’s Theorem:** If are relatively prime integers, then for any natural number there is a prime number that divides and does not divides for any positive integer , with two exceptions:

- , , and .
- is a power of , .

**Every finite division ring is a field, assuming Zsigmondy’s Theorem:**

I will present a (somewhat technical) proof of Zsigmondy in my next post. In the meantime, we are done with our original problem unless we are in one of the two exceptional cases.

Suppose that and . Then the class equation reads . But each term of the sum must equal or , so we have . But the right side is divisible by while the left is not, contradiction.

Now, suppose that . Since every term in the right-hand sum must be , we see that the left-hand side is divisible by but the right-hand side is not, contradiction.

We conclude that every finite division ring is a field.