# Wedderburn's little theorem

In mathematics, **Wedderburn's little theorem** states that every finite domain is a field. In other words, for finite rings, there is no distinction between domains, skew-fields and fields.

The Artin–Zorn theorem generalizes the theorem to alternative rings: every finite simple alternative ring is a field.^{[1]}

## History

The original proof was given by Joseph Wedderburn in 1905,^{[2]} who went on to prove it two other ways. Another proof was given by Leonard Eugene Dickson shortly after Wedderburn's original proof, and Dickson acknowledged Wedderburn's priority. However, as noted in Template:Harv, Wedderburn's first proof was incorrect – it had a gap – and his subsequent proofs appeared only after he had read Dickson's correct proof. On this basis, Parshall argues that Dickson should be credited with the first correct proof.

A simplified version of the proof was later given by Ernst Witt.^{[2]} Witt's proof is sketched below. Alternatively, the theorem is a consequence of the Skolem–Noether theorem by the following argument.^{[3]} Let *D* be a finite division algebra with center *k*. Let [*D* : *k*] = *n*^{2} and *q* denote the cardinality of *k*. Every maximal subfield of *D* has *q ^{n}* elements; so they are isomorphic and thus are conjugate by Skolem–Noether. But a finite group (the multiplicative group of

*D*in our case) cannot be a union of conjugates of a proper subgroup; hence,

*n*= 1.

## Relationship to the Brauer group of a finite field

The theorem is essentially equivalent to saying that the Brauer group of a finite field is trivial. In fact, this characterization immediately yields a proof of the theorem as follows: let *k* be a finite field. Since the Herbrand quotient vanishes by finiteness, coincides with , which in turn vanishes by Hilbert 90.

## Sketch of proof

Let *A* be a finite domain. For each nonzero *x* in *A*, the two maps

are injective by the cancellation property, and thus, surjective by counting. It follows from the elementary group theory^{[4]} that the nonzero elements of *A* form a group under multiplication. Thus, *A* is a skew-field. Since the center *Z*(*A*) of *A* is a field, *A* is a vector space over *Z*(*A*) with finite dimension *n*. Our objective is then to show *n* = 1. If *q* is the order of *Z*(*A*), then A has order *q ^{n}*. For each

*x*in

*A*that is not in the center, the centralizer

*Z*of

_{x}*x*has order

*q*where

^{d}*d*divides

*n*and is less than

*n*. Viewing

*Z*(

*A*)*,

*Z**and

_{x}*A**as groups under multiplication, we can write the class equation

where the sum is taken over all representatives *x* that is not in *Z*(*A*) and *d* are the numbers discussed above. *q ^{n}*−1 and

*q*−1 both admit factorization in terms of cyclotomic polynomials

^{d}From the polynomial identities

we set *x* = *q* to see that

so by the above class equation must divide *q*−1, and therefore

To see that this forces *n* to be 1, we will show

for *n* > 1 using factorization over the complex numbers. In the polynomial identity

where ζ runs over the primitive *n*-th roots of unity, set *x* to be *q* and then take absolute values

For *n* > 1,

by looking the location of *q*, 1, and ζ in the complex plane. Thus

## Notes

- ↑ {{#invoke:citation/CS1|citation |CitationClass=book }}
- ↑
^{2.0}^{2.1}Lam (2001), [[[:Template:Google books]] p. 204] - ↑ Theorem 4.1 in Ch. IV of Milne, class field theory, http://www.jmilne.org/math/CourseNotes/cft.html
- ↑ e.g., Exercise 1.9 in Milne, group theory, http://www.jmilne.org/math/CourseNotes/GT.pdf

## References

- {{#invoke:Citation/CS1|citation

|CitationClass=journal }}

- {{#invoke:citation/CS1|citation

|CitationClass=book }}