Bourbaki

习题 17, § 9

标签 00BQ,永久不变。引用为 [Bourbaki, Tag 00BQ]。

代数, VIII, p. 169

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

令 K 为交换域和 L 集合。 a) 证明存在K-代数一个承认单位元的基由……组成、一个家庭(cλ)λ∈L(c_{\lambda})_{\lambda\in L}、一个家庭(rλμ)(λ,μ)∈L×L(r_{\lambda \mu})_{(\lambda ,\mu)\in L\times L},以及乘法表

cλ2=cλ,cλcμ=rλμc^2_{\lambda}=c_{\lambda},c_{\lambda}c_\mu=r_{\lambda \mu} 如果 λ≠μ\lambda \not=\mu

cλrμν=δλμrμν,rλμcν=δμνrλμ c_{\lambda}r_{\mu\nu}=\delta_{\lambda \mu}r_{\mu\nu},r_{\lambda \mu}c_{\nu}=\delta_{\mu\nu}r_{\lambda \mu}
rλμrνρ=0 r_{\lambda \mu}r_{\nu \rho}= 0

其中 δμν\delta_{\mu\nu} 是克罗内克三角洲函数。证明R(A)\mathfrak{R}(A)是由rλμr_{\lambda \mu}生成的A的子代数;我们有R(A)2=0\mathfrak{R}(A)^2= 0。 b) 假设卡(L)⩾2\geqslant 2。证明 A 的中心 Z 是由 1 生成的 K-向量空间,λ∈L\lambda \in L 的 rλλr_{\lambda \lambda},并且,如果 L 是有限的,则元素 ∑λcλ−∑μ≠νrμν\sum_{\lambda}c_{\lambda}-\sum_{\mu\not=\nu}r_{\mu\nu}。推断对于 λ∈L\lambda \in L,Z 中不存在与 cλc_{\lambda} (mod R(A)\mathfrak{R}(A)) 全等的幂等。

解答

尚未写出解答。

被以下引用

引用了

无。

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