1君、この定理、知ってるかい?

フロベニウスの定理 (代数学)

D が実数体 R 上の有限次元多元体であれば、以下の何れかが成り立つ。

D = R
D = C(複素数体)
D = H(四元数体)