El teorema de Frobenius, aplicado al ámbito matemático del álgebra abstracta, afirma que la única álgebra asociativa divisible de dimensión finita que no es conmutativa sobre los números reales son los cuaterniones.