Bourbaki

习题 13, § 5

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

代数, IV, p. 96

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

(级数的分幂。)记号如习题10和11。设E和F是E上的两个K-模和一个级数,其中值在F中。用齐次多项式律表示将 Γ(E)\Gamma(E) 的次数 1 放入由 a 定义的 F 中。对于任何整数 p,m∈Nm \in \mathbf{N},我们用与多项式律 γp∘a∘(γ0+γ1+...+γr)\gamma_p \circ a \circ (\gamma_0 + \gamma_1 + ... + \gamma_r) (cf. 习题 10) 伴随的 σm(p)\sigma_m^{(p)} 级数表示。 a) 证明当 m 趋于 ∞\infty 时,序列 σm(p)\sigma_m^{(p)} 收敛于 S(E,Γp(F))S(E, \Gamma_p(F)) 到级数 σ(p)\sigma^{(p)}。这个级数σ(p)\sigma^{(p)}称为级数a的除第p次幂。

b) 证明如果(xi)i(x_i)_i是E和η∈N(1)\eta \in \mathbf{N}^{(1)}的元素族,那么

σ(p)(γη(x))=∑ξ∈L∏a∈N(1)γξ(a)(σ(γa(x))), \sigma^{(p)}(\gamma_\eta(x)) = \sum_{\xi \in \mathscr{L}} \prod_{a \in \mathbf{N}^{(1)}} \gamma_{\xi(a)}(\sigma(\gamma_a(x))) ,
其中L\mathscr{L}是所有映射中的集合,其中N(1)\mathbf{N}^{(1)}的有限支撑进入N\mathbf{N}满足条件∑ξ(a)=p\sum \xi(a) = p和∑ξ(a)a=η\sum \xi(a) a = \eta(应用例10,a))。

c) 证明如果 a,τ∈S(E,F)a, \tau \in S(E, F),那么对于每个 p∈Np \in \mathbf{N} 我们有

(σ+τ)(p)=∑r+s=pσ(r)σ(s) (\sigma + \tau)^{(p)} = \sum_{r+s=p} \sigma^{(r)} \sigma^{(s)}
(乘积按代数S(E,Γ(E))S(E, \Gamma(E))、cf.习题12计算)。

d) 证明对于每个整数p∈Np \in \mathbf{N},我们都有σp=p! σ(p)\sigma^p = p! \, \sigma^{(p)},其中σp\sigma^p是a在代数S(E,Γ(F))S(E, \Gamma(F))中的第p个幂。

e) 令A+A_+和A−A_-分别为Γ(E)\Gamma(E)和Γ(F)\Gamma(F)中的余积。证明对于所有 p∈Np \in \mathbf{N} 我们有

A+∘σ(p)=∑r+s=p(σ(r)⊗σ(s))∘ΔE. A_+ \circ \sigma^{(p)} = \sum_{r+s=p} (\sigma^{(r)} \otimes \sigma^{(s)}) \circ \Delta_E .

解答

尚未写出解答。

被以下引用

无。

引用了

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