Teorema de Brauer-Fowler
# Teorema de Brauer-Fowler

En la teoría matemática de grupos finitos, el teorema de Brauer-Fowler, probado por Brauer y Fowler (1955), establece que si un grupo G tiene un orden par g > 2, entonces tiene un subgrupo propio de orden mayor que $g^{1/3}.$ La técnica de la demostración es contar involuciones (elementos de orden 2) en G. Quizás más importante sea otro resultado que los autores derivan del mismo conteo de involuciones, a saber, que hasta el isomorfismo solo hay un número finito de grupos simples finitos. con un centralizador dado de una involución. Esto sugirió que los grupos simples finitos podrían clasificarse estudiando sus centralizadores de involuciones, y condujo al descubrimiento de varios grupos esporádicos. Posteriormente motivó una parte de la clasificación de grupos finitos simples.

## Bibliografía

* Brauer, R.; Fowler, K. A. (1955), «On groups of even order», Annals of Mathematics, Second Series 62: 565-583, ISSN 0003-486X, JSTOR 1970080, MR 0074414, doi:10.2307/1970080 .
