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. Este teorema fue demostrado por Ferdinand Georg Frobenius en 1877.