习题 14, § 7
标签 0090,永久不变。引用为 [Bourbaki, Tag 0090]。
代数, VIII, p. 132
Bourbaki marks this one as harder than the rest.
Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。
令 K 为交换域。设 M 为由两个元素 和 生成的自由幺半群,并令 A 为 K 上幺半群 M 的代数。令 V 为 K 上的向量空间,承认基 。
a) 我们在 V A-模定义结构,设定 , 。证明V是单A-模。
b) 证明A-模V是可信的。 (令。对于,表示整数,使得乘以。观察到我们在M中对有。在长度上通过归纳进行推导和,如果整数的、集合使得是有限的。) c) 同样,对于每个整数,通过设定证明对应,对应,我们在V上定义结构简单而忠实的A-模。证明这些结构是成对非同构的。
解答
尚未写出解答。
被以下引用
无。
引用了
无。