Una buena aplicación es el teorema de Wedderburn: todo campo inclinado finito es necesariamente conmutativo. En este caso, un campo inclinado es algo que satisface los mismos axiomas que un campo, excepto que no se requiere que la multiplicación sea conmutativa; el ejemplo típico son los cuaterniones.
Para ver esto, dejemos $F$ sea un campo oblicuo finito, $Z$ ser su centro. Es fácil ver que $Z$ es un campo, por lo que debe ser $\mathbb{F}_q$ para alguna potencia primera $q = p^k$ . $F$ será entonces un espacio vectorial de dimensión finita $n$ en $\mathbb{F}_q$ por lo que tendrá $q^n$ elementos.
Ahora escribe la ecuación de clase para el grupo multiplicativo de $F$ :
$$q^n - 1 = q - 1 + \sum_i \frac{q^n - 1}{q^{t_i} - 1}$$
Aquí $q - 1$ aparece como la cardinalidad del centro, mientras que la suma se extiende sobre un conjunto de representantes de las clases de conjugación no triviales.
Tenga en cuenta que para $q^{t_i} - 1$ para dividir $q^n - 1$ , $t_i$ debe dividir $n$ . De hecho, el orden de $q$ modulo $q^{t_i} - 1$ es $t_i$ y $q^n = 1 \pmod{q^{t_i} - 1}$ .
Ahora dejemos que $f_n$ sea el $n$ -ésimo polinomio ciclotómico. Entonces $f_n(q)$ divide $q^n - 1$ y también divide cada término en la suma, por lo que $f_n(q)$ divide $q - 1$ .
Pero esto es imposible a menos que $n = 1$ y la suma está vacía, en cuyo caso $F$ es conmutativo. En efecto, $f_n(q)$ es un producto de términos de la forma $q - \omega$ , donde $\omega$ es una raíz de la unidad, y este producto tendrá mayor valor absoluto que $q - 1$ tan pronto como $n > 1$ .