It has been generally believed that only the complex numbers could legitimately be used as the ground field in discussing quantum-mechanical operators. Over the complex field, Frobenius' theorem is of course not valid; the only division algebra over the complex field is formed by the complex numbers themselves. However, Frobenius' theorem is relevant precisely because the appropriate ground field for much of quantum mechanics is real rather than complex.