Wedderburn's little theorem

Wedderburn’s little theorem: Every finite division ring is commutative. Equivalently, every finite division ring is a field .

A standard approach studies the finite group $D^\times$ of units, i.e. the group of units , and compares its conjugacy structure with the center of the ring using the class equation .