Frobenius theorem
フロベニウスの定理から、実数体 R 上の四元数環は、R 上の二次全行列環とハミルトンの四元数体の二種類しかないことがわかる。