Bourbaki

习题 7, § 2

标签 05ZJ,永久不变。引用为 [Bourbaki, Tag 05ZJ]。

代数, III, 620

Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。

设KK为交换域,其中2≠02 \neq 0和EE代数超过KK,基为四个元素1,i,j,k1, i, j, k(1单位元),乘法表

i2=j2=k2=1,ij=ji=k,jk=kj=i,ki=ik=j. i^2 = j^2 = k^2 = 1, \quad ij = ji = k, \quad jk = kj = i, \quad ki = ik = j.

证明 EE 同构于 4 个域同构于 KK 的乘积(考虑 EE 由……组成的基元素 (1+εi)(1+ε′j)(1 + \varepsilon i)(1 + \varepsilon' j),其中 ε\varepsilon 和ε′\varepsilon' 等于 1 或 −1-1)。

代数EE是阶的两个循环群乘积代数(超过KK)。将其推广到乘积群代数 nn循环群共阶2(cf.§ 4, no. 1,例2)。

解答

尚未写出解答。

被以下引用

无。

引用了

无。

Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。