C≅R[X]/(X2+1)なのは皆さんご存じでしょう.じゃあ四元数体Hはどうやって作んねん!僕は思いました.「Hが非可換なら非可換環から作ればいいじゃない」,と.というわけで,R上の3変数非可換多項式環をR⟨X,Y,Z⟩で表します.これに関係式X2=−1,Y2=−1,Z2=−1,XYZ=−1を突っ込めばHの出来上がりです.
バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。