Bourbaki

习题 14, 附录 1

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

代数, VIII, p. 445

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

设A和B为kk-代数; (A,B)(A,B)-伪双模是集合 E,在 A 上赋予左拟模的结构,在 B 上赋予伪模的右结构,使得底层的kk-模结构重合。这个对应赋予E超过代数A~\widetilde{A}和B~\widetilde{B}的双模的结构。 E 的乘子为对 (S,D)(S,D),其中 S:B→ES : B\rightarrow E 为右 B 伪模块的同态,D:A→ED : A\rightarrow E 为左 A 伪模块的同态,满足 aS(b)=D(a)baS(b) = D(a)b 为 a∈A,b∈Ba\in A,b\in B。我们用E的乘子M(E)\mathscr{M}(E)集合来表示;它承认自然的kk模块结构。

a) 对于每个x∈Ex\in E,我们用DxD_x(或SxS_x)映射a↦axa\mapsto ax(或b↦xbb\mapsto xb)表示。证明对 mx=(Dx,Sx)m_x= (D_x,S_x) 是 E 的乘子。

b) 对于每个m=(S,D)∈Mm= (S,D)\in \mathscr{M}(E)、a∈Aa\in A和b∈Bb\in B、集合、am=mD(a)am=m_{D(a)}和mb=mS(b)mb=m_{S(b)}。证明(A(A,B)-伪双模的kk-模块M(E)\mathscr{M}(E)结构上的定义,以及映射x↦mxx\mapsto m_x是(A(A,B)-伪双模的同态。

解答

尚未写出解答。

被以下引用

无。

引用了

无。

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