Bourbaki

习题 4, § 8

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

李群与李代数, II, 206

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

令cc为整数≥1\geq 1,并令PP为集合,其中素数数包含都是素数数≤c\leq c。令 ZP=SP−1Z\mathbf{Z}_P = S_P^{-1}\mathbf{Z} (§ 4, 习题 16)。显示 Hausdorff 级数 H(U,V)H(U, V) 属于到 LZP({U,V})L_{\mathbf{Z}_P}(\{U, V\}) 中的次数 ≤c\leq c 的项。推出

† 有关此习题的更多详细信息,请参阅 M. Lazard,*Bull。苏克。数学。法国*,91 (1963),第 435–451 页。

如果gg是类≤c\leq c的幂零李Zp\mathbf{Z}_p代数,则合成(u,v)↦H(u,v)(u, v) \mapsto H(u, v)的律使得gg成为P-无扭力P-整除幂零群类≤c\leq c。证明反过来,每个具有这些性质的群都可以通过这个过程获得。 (使用“豪斯多夫公式的反转”,cf.§ 6,习题4,并显示当l(m)≤cl(m) \leq c时,属于到Zp\mathbf{Z}_p出现的指数α(m),β(m)\alpha(m), \beta(m)。)

特别地,阶pnp^n和类<p<p的每个pp群都可以通过Hausdorff律从类<p<p的幂零李Z\mathbf{Z}代数获得,其中pnp^n元素。 (取 P 为与 pp 不同的素数数的集合。)

解答

尚未写出解答。

被以下引用

无。

引用了

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