Bourbaki

习题 6, § 1

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

代数, VIII, p. 15

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

设 A 为环且 ee 在 A 中是幂等的。

a) 设a1\mathfrak{a}_1为环eAeeAe的左理想,a\mathfrak{a}为a1\mathfrak{a}_1生成的A的左理想。我们有a1=eae=a∩eAe\mathfrak{a}_1=e\mathfrak{a}e=\mathfrak{a}\cap eAe。

b) 对于A的每个左理想a\mathfrak{a},我们有a∩eAe⊂eae\mathfrak{a}\cap eAe\subset e\mathfrak{a}e;给出例,其中这是严格包含(对 A 取矩阵环)。

c) 对于 A 的每一个双面理想 a\mathfrak{a},我们都有 a∩eAe=eae\mathfrak{a}\cap eAe=e\mathfrak{a}e。

d) 如果环 A 是左阿廷的(分别是左诺特的),那么环、eAeeAe 和(1−e)A(1−e)(1-e)A(1-e) 也是。

e) 给出例,其中eAeeAe和(1−e)A(1−e)(1-e)A(1-e)是交换域,并且其中A允许无限个严格递增的序列和无限严格递减序列的双面理想。 (选择无限维向量空间V超过交换域K,赋予加法群A=K×V×KA = K\times V\times K以及(λ,x,μ)(λ′,x′,μ′)=(λλ′,λx′+μ′x,μμ′)(\lambda , x, \mu)(\lambda ', x', \mu') = (\lambda \lambda ', \lambda x'+\mu'x, \mu\mu')定义的环结构和集合e=(1,0,0).e= (1,0,0).)

解答

尚未写出解答。

被以下引用

引用了

无。

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