Bourbaki

习题 38, § 6

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

代数, I, 158

Bourbaki marks this one as harder than the rest.

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

设G为阶n=pamn = p^a m的有限群,其中pp是素数数不能整除mm,并令X为G的Sylowpp子群的集合。令P∈XP \in X,令N为P 和 r=Card(X)r = \mathrm{Card}(X) 的归一化器。

(a) 证明r=(G:N)r = (G:N)。推导出mm的正除子的rr属于到集合R,与1( mod  p)(\bmod\ p)全等。特别是,如果 R 是 {1}\{1\},则 P 在 G 中是正规的。

(b) 如果a=1a = 1,则表明阶ppG元素数为r(p−1)r(p - 1)。若进一步N=PN = P,则表明阶与pp不同的G的元素在数至mm相等;如果进一步mm是素数数qq的幂,则推导出G包含的Sylowqq子群Q,阶的G的所有元素与pp不同,因此在G中是正规的。

(c) 令 H 为阶 210 的群。证明 H 包含是阶 105 的正常子群 G (cf. 习题 29)。设 p=3p = 3(分别为 5、7)。证明,如果 G 没有正规 Sylow pp 子群,群 G 包含至少有 14 (resp. 84, 90) 元素 of 阶 pp。 结论 H 和 G 有性质 (ST)(cf. 前面的习题)。

(d) 证明阶 n≤100n \leq 100 中的每个群都有性质 (ST),除非 n=24,36,48,60,72,96n = 24, 36, 48, 60, 72, 96(与 (c) 中的方法相同)。

(e) 证明阶 24 中的群 S4\mathfrak{S}_4 没有性质 (ST)。 构造类似于例 n=48,60,72,96n = 48, 60, 72, 96。 (对于n=36n = 36,请参阅以下习题。)

解答

尚未写出解答。

被以下引用

无。

引用了

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