全部书籍

专业

应用 关于 Coach 登录 开始阅读

书籍暂未推出简体中文版——当前显示英文版。

Mathematics · 术语表

什么是 commutator?

又称: derived subgroup · solvable group

Definition 1.28 University Mathematics — Year 3 · 第 1 章 — Group Theory

The commutator of x,y∈Gx, y \in G is [x,y]=xyx−1y−1[x,y] = xyx^{-1}y^{-1}; the derived subgroup D(G)D(G) is the subgroup generated by all commutators. The derived series is D0(G)=GD^0(G) = G, Di+1(G)=D(Di(G))D^{i+1}(G) = D(D^i(G)), and GG is solvable if Dn(G)={e}D^n(G) = \{e\} for some nn.

示例

Example 1.30

Abelian groups are solvable. pp-groups are solvable, by induction on the order: Z(G)≠{e}Z(G) \neq \{e\} and G/Z(G)G/Z(G) is a smaller pp-group. S3S_3 and S4S_4 are solvable: S4⊵A4⊵V⊵{e}S_4 \trianglerighteq A_4 \trianglerighteq V \trianglerighteq \{e\}, where V={e,(1 2)(3 4),(1 3)(2 4),(1 4)(2 3)}V = \{e, (1\,2)(3\,4), (1\,3)(2\,4), (1\,4)(2\,3)\} is the Klein group of double transpositions (normal in S4S_4: a union of conjugacy classes), with abelian quotients Z/2Z\Z/2\Z, Z/3Z\Z/3\Z, VV. In Chapter 4, “the general equation of degree nn is solvable by radicals” will literally mean “SnS_n is a solvable group”. Whence the importance of the next definition.

在原文中阅读 →