8

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]か?

4

1 に答える 1

7

StructureDescriptionコマンドは、必要なことを実行する場合があります。例えば、

gap> StructureDescription(g);

あなたの例、5つの要素の対称群に対して「S5」を返します。比較のために、

gap> StructureDescription(SmallGroup(120,35));

「C2 x A5」を与え、

gap> StructureDescription(SmallGroup(120,36));

"S3 x (C5 : C4)" を返します。これらの説明がどの時点でグループの名前付けのレベルを下回っているかはわかりませんが、これはあなたが望む軌道に乗っていますか?

于 2012-04-11T00:57:41.220 に答える