Dear Dong,
Yes, this is very easy for GAP. The indecomposable modules are
returned as matrices. Here's a sample computation. For more commands,
try '?Meataxe'.
gap> ks3 :=
GModuleByMats(List(GeneratorsOfGroup(SymmetricGroup(I3)),x->PermutationMat(x,6,GF(2))),GF(2));;
gap> MTX.Indecomposition(ks3);
[ [ <an immutable 1x6 matrix over GF2>,
rec( field := GF(2), isMTXModule := true, dimension := 1,
generators := [ <an immutable 1x1 matrix over GF2>,
<an immutable 1x1 matrix over GF2> ],
basisModuleEndomorphisms := [ <an immutable 1x1 matrix over GF2> ],
smashMeataxe := rec( endAlgResidue := [ [ [ Z(2)^0 ] ], 1 ],
basisEndoRad := [ ] ), isIndecomposable := true ) ],
[ <an immutable 1x6 matrix over GF2>,
rec( field := GF(2), isMTXModule := true, dimension := 1,
generators := [ <an immutable 1x1 matrix over GF2>,
<an immutable 1x1 matrix over GF2> ],
basisModuleEndomorphisms := [ <an immutable 1x1 matrix over GF2> ],
smashMeataxe := rec( endAlgResidue := [ [ [ Z(2)^0 ] ], 1 ],
basisEndoRad := [ ] ), isIndecomposable := true ) ],
[ <an immutable 1x6 matrix over GF2>,
rec( field := GF(2), isMTXModule := true, dimension := 1,
generators := [ <an immutable 1x1 matrix over GF2>,
<an immutable 1x1 matrix over GF2> ],
basisModuleEndomorphisms := [ <an immutable 1x1 matrix over GF2> ],
smashMeataxe := rec( endAlgResidue := [ [ [ Z(2)^0 ] ], 1 ],
basisEndoRad := [ ] ), isIndecomposable := true ) ],
[ <an immutable 1x6 matrix over GF2>,
rec( field := GF(2), isMTXModule := true, dimension := 1,
generators := [ <an immutable 1x1 matrix over GF2>,
<an immutable 1x1 matrix over GF2> ],
basisModuleEndomorphisms := [ <an immutable 1x1 matrix over GF2> ],
smashMeataxe := rec( endAlgResidue := [ [ [ Z(2)^0 ] ], 1 ],
basisEndoRad := [ ] ), isIndecomposable := true ) ],
[ <an immutable 2x6 matrix over GF2>,
rec( field := GF(2), isMTXModule := true, dimension := 2,
generators := [ <an immutable 2x2 matrix over GF2>,
<an immutable 2x2 matrix over GF2> ],
basisModuleEndomorphisms := [ <an immutable 2x2 matrix over GF2> ],
smashMeataxe := rec( endAlgResidue := [ <an immutable 2x2
matrix over GF2>, 1 ], basisEndoRad := [ ] ), isIndecomposable :=
true )
] ]
On 11/8/07, 董井成 <[EMAIL PROTECTED]> wrote:
> Hi,
> I am a new man in this field? I have a question:
> Can GAP compute indecomposble modules of group algebra KSn? For example
> KS3,where K is a finite field with 2 elements.
> Best wishes!
> Dong
>
> _______________________________________________
> Forum mailing list
> [email protected]
> http://mail.gap-system.org/mailman/listinfo/forum
>
>
--
Laurent Bartholdi \ laurent.bartholdi<at>gmail<dot>com
EPFL SB SMA IMB MAD \ Téléphone: +41 21-6935458
Station 8 \ Secrétaire: +41 21-6935471
CH-1015 Lausanne, Switzerland \ Fax: +41 21-6930339
--
Laurent Bartholdi \ laurent.bartholdi<at>gmail<dot>com
EPFL SB SMA IMB MAD \ Téléphone: +41 21-6935458
Station 8 \ Secrétaire: +41 21-6935471
CH-1015 Lausanne, Switzerland \ Fax: +41 21-6930339
_______________________________________________
Forum mailing list
[email protected]
http://mail.gap-system.org/mailman/listinfo/forum
