[GAP Support] Re: [GAP Forum] Change ring to group ?

Nilo de Roock ndroock1 at gmail.com
Thu Jun 28 20:51:10 BST 2007


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 <laurent.bartholdi at gmail.com>:
>
> 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


More information about the Forum mailing list