[GAP Forum] Additive and multiplicative groups

Anvita anvita21 at gmail.com
Sun Feb 8 02:45:15 GMT 2009


Dear Forum,

Is there a way to define in GAP an isomorphism
between an additive group and a multiplicative one?

Anvita

-------------------------------------------------------------------
gap> A:=GF(3)^2;;
gap> a:=[[1,0],[0,1]]*Z(3)^0;;
gap> IsAdditiveGroup(A);
true
gap> B:=Group((1,2,3),(4,5,6));;
gap> b:=[(1,2,3),(4,5,6)];;
gap>
gap> GroupHomomorphismByImages(A,B,a,b);
Error, no method found! For debugging hints type
?Recovery from NoMethodFound
Error, no 1st choice method found for `GroupGeneralMappingByImages'
on 4 arguments called from
GroupGeneralMappingByImages( G, H, Ggens, Hgens ) called from
<function>( <arguments> ) called from read-eval-loop
Entering break read-eval-print loop ...
you can 'quit;' to quit to outer loop, or
you can 'return;' to continue
brk>
-------------------------------------------------------------------


More information about the Forum mailing list