2012-02-01 39 views
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]?

回答

5

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)」。我不知道這些描述在什麼時候會低於命名組的水平,但是這是否在你想要的軌道上?