5
如何使用GAP從其乘法表中識別組的名稱?我知道,你可以從一組發電機組定義一個組,然後尋找該組中的一組內部表使用GAP識別組
gap> g := Group([ (1,2), (1,2,3,4,5) ]);
Group([ (1,2), (1,2,3,4,5) ])
gap> IdGroup(g);
[ 120, 34 ]
但你如何找出組的名稱[120,34]?
如何使用GAP從其乘法表中識別組的名稱?我知道,你可以從一組發電機組定義一個組,然後尋找該組中的一組內部表使用GAP識別組
gap> g := Group([ (1,2), (1,2,3,4,5) ]);
Group([ (1,2), (1,2,3,4,5) ])
gap> IdGroup(g);
[ 120, 34 ]
但你如何找出組的名稱[120,34]?
StructureDescription命令(請參閱Section 36.7 of the GAP manual)可能會執行您所需的操作。例如,
StructureDescription(g)
返回「S5」爲你的榜樣,告訴你,(你可能已經知道)這是五行對稱羣。
爲了比較,
StructureDescription(SmallGroup(120,35))
給出 「C2 X A5」 和
StructureDescription(SmallGroup(120,36))
給出 「S3 X(C5:C4)」。我不知道這些描述在什麼時候會低於命名組的水平,但是這是否在你想要的軌道上?