习题 7, § 5

标签 06E4，永久不变。引用为 [Bourbaki, Tag 06E4]。

代数, IV, p. 94

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

（标量的扩张）设 k 为交换环、L 结合交换单位K-代数和 E K-模。 a) 令 $\Gamma(L \otimes_k E)$ 为 L 模块 $L \otimes_k E$ (习题 2) 的 gamma 代数。证明 $L \otimes_k \Gamma(E)$ 存在唯一同态 $\theta$ 到 $T(L \otimes_k E)$ 与L上的代数结构兼容，这样

\theta(1 \otimes \gamma_p(x)) = \gamma_p(1 \otimes x)

对于所有

x \in E

和

p \in \mathbf{N}

。 b) 证明

\theta

是超过L 的分级 Bigebra 的同构。

解答

尚未写出解答。

被以下引用

无。

引用了

Exercise 2