Bourbaki

习题 15, § 6

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

代数, I, 151

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

令 G 为 G 生成的 G 的群和 X 子集。 (a) 写X1=XX_1 = X;对于 n≥2n \geq 2、定义 XnX_n,通过 n 上的归纳,作为换位子 (x,y),x∈X,y∈Xn−1(x, y), x \in X, y \in X_{n-1} 的集合。证明 Xn={e}X_n = \{e\} 当且仅当 G 类 ≤n\leq n 幂零的。 (通过归纳对n进行论证。如果Xn={e}X_n = \{e\},则表明由Xn−1X_{n-1}生成的G的子群H包含在G的中心中,并将归纳假设应用于G/H。) (b) 证明Cn(G)C^n(G)是由XnX_n生成的G的正规子群。推导出Cn(G)/Cn+1(G)C^n(G)/C^{n+1}(G)生成群Cn(G)/Cn+1(G)C^n(G)/C^{n+1}(G)中XnX_n的像。 (c) 取G=SmG = S_m (m≥4m \geq 4) 和X={s,t}X = \{s, t\},其中s 是转置,t 是阶 m 的周期。证明X2X_2 不生成群 C2(G)=AmC^2(G) = \mathfrak{A}_m。

解答

尚未写出解答。

被以下引用

引用了

无。

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