Eilenberg–Niven theorem
The Eilenberg–Niven theorem is a theorem that generalizes the fundamental theorem of algebra to quaternionic polynomials, that is, polynomials with quaternion coefficients and variables. It is due to Samuel Eilenberg and Ivan M. Niven.