Dear Laurent, Thank you very much!
If only my knowledge of GAP was a fraction as deep as yours. I don't quite understand what the intracies of List(Basis(r),AdditiveElementAsMultiplicativeElement); are yet, but at least I am now able to construct an additive Group from a Ring. kind regards, nilo de roock 2007/6/28, Laurent Bartholdi <[EMAIL PROTECTED]>:
Dear Nilo, You have a ring R, and you want to treat it as a group. This group is written additively in GAP; so you must convert it to a multiplicative group first. Here is a simple example of what you (probably) want to do. Hope it helps: gap> r := GroupRing(GF(2),SymmetricGroup(3)); <algebra-with-one over GF(2), with 2 generators> gap> rplus := Group(List(Basis(r),AdditiveElementAsMultiplicativeElement)); <group with 6 generators> gap> StructureDescription(rplus); "C2 x C2 x C2 x C2 x C2 x C2" -- 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
-- met vriendelijke groet, nilo _______________________________________________ Forum mailing list Forum@mail.gap-system.org http://mail.gap-system.org/mailman/listinfo/forum