Bourbaki

习题 14, § 7

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

代数, VIII, p. 132

Bourbaki marks this one as harder than the rest.

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

令 K 为交换域。设 M 为由两个元素 xx 和 yy 生成的自由幺半群,并令 A 为 K 上幺半群 M 的代数。令 V 为 K 上的向量空间,承认基 (en)n⩾1(e_n)_{n\geqslant 1}。

a) 我们在 V A-模定义结构,设定 xe1=0,xep=ep−1xe_1= 0,xe_p=e_{p-1} p>1p >1,yep=e2pye_p=e_{2^p} p⩾1p\geqslant 1。证明V是单A-模。

b) 证明A-模V是可信的。 (令z∈Mz\in M。对于n∈Nn\in \mathbf{N},表示整数ss,使得es=zene_s=ze_n乘以Pz(n)P_z(n)。观察到我们在M中对z,tz, t有Pzt=Pz∘PtP_{zt}= P_z\circ P_t。在长度上通过归纳进行推导zz和tt,如果整数nn的z≠tz\not=t、集合使得Pz(n)=Pt(n)P_z(n) = P_t(n)是有限的。) c) 同样,对于每个整数r>2r >2,通过设定证明xe1=0,xep=ep−1xe_1= 0,xe_p=e_{p-1}对应p>1p >1,yep=erpye_p=e_{r^p}对应p⩾1p\geqslant 1,我们在V上定义结构简单而忠实的A-模。证明这些结构是成对非同构的。

解答

尚未写出解答。

被以下引用

无。

引用了

无。

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