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

Reply via email to