23/03/13 23:47:20.59 UeELXD7y.net
>>365
つづき
次元が 2, 4, 8 であるような実多元体で互いに同型でないようなものは無数に存在するが、以下のようにいうことができる。実数体上有限次元の多元体は
・それが「単位的かつ可換」（もしくは「結合的かつ可換」）ならば実数体 R または複素数体 C に同型、
・それが「非可換かつ結合的」ならば四元数体 H に同型、
・それが「非結合的だが交代的」ならば八元数体 O に同型
のいずれかでなければならない。以下、体 K 上の有限次元多元体の次元について知られていることを挙げる。
・K が代数閉体ならば必ず dim A= 1 である。
・K が実閉体ならば dim A= 1, 2, 4, 8 のいずれかに限られる。
・K が代数閉体でも実閉体でもないならば、K 上の多元体が存在する次元は無数に存在する
(引用終り)
以上