主题
Search

有限群 T


有限群 T 是阶数为 12 的三个非阿贝尔群之一(阶数为 12 的群总共有五个),另外两个是 交错群 A_4二面体群 D_6。然而,非常不幸的是,符号 T 被用来指代这个特定的群,因为符号 T 也被用来表示点群 T,该点群构成了完全四面体群 T_h 的纯旋转子群,并且同构于 A_4。因此,在阶数为 12 的三个不同的非阿贝尔群中,其中两个不同的群在某些情况下都被称为 T。因此,需要格外小心。

FiniteGroupTTable

TC_3C_4 的半直积,通过映射 g:C_4->Aut(C_3),由 g(k)=a^k 给出,其中 a自同构 a(x)=-x。该群可以由以下生成元构造

x=[0 i; i 0]
(1)
y=[omega 0; 0 omega^2],
(2)

其中 omega=e^(2pii/3) 作为群元素 1, y, y^2, x, xy, xy^2, x^2, x^2y, x^2y^2, x^3, x^3y, 和 x^3y^2。乘法表如上所示。

T 具有共轭类 {1}, {x^2}, {y,y^2}, {x^2y,x^2y^2}, {x^3,x^3y,x^3y^2}, 和 {x,xy,xy^2}。有 8 个子群,它们的阶数分别为 1, 2, 3, 4, 4, 4, 6 和 12。其中,以下五个是正规子群: {1}, {1,x^2}, {1,y,y^2}, {1,y,y^2,x^2,x^2y,x^2y^2}, 和整个群。

FiniteGroupTCycleGraph

循环图 T 如上所示。对于 k=1, 2, ...,满足 A^k=1 的元素数量分别为 1, 2, 3, 8, 1, 6, 1, 8, 3, 2, 1 和 12。

有限群 T 具有以下表示

 <s,t;s^6=1,s^3=t^2,sts=t>
(3)

 <x,y;x^4=y^3=1,yxy=x>.
(4)

另请参阅

有限群, 四面体群

使用 探索

参考文献

Pedersen, J. “小阶群”。 http://www.math.usf.edu/~eclark/algctlg/small_groups.html

在 中被引用

有限群 T

请按如下方式引用

Weisstein, Eric W. “有限群 T。” 来自 Web 资源。 https://mathworld.net.cn/FiniteGroupT.html

主题分类