> < ^ Date: Tue, 16 May 1995 12:22:00 +0100
> < ^ From: Derek Holt <dfh@maths.warwick.ac.uk >
> < ^ Subject: Re: help!

Frank Harou writes:

I would like computing the rank of K/[K,K] where K is the kernel of a morphisme \psi defined as follow :

un:=Z(7)^0;
zero:=0*Z(7);

gk1:=[[1,1],[0,1]];
gk2:=[[1,0],[-E(3),1]];

gi1:=[[un, un], [zero, un]];
gi2:=[[un, zero], [2*un, un]];

GammaK:=Group([[1,1],[0,1]], [[1,0],[-E(3),1]]);
GammaI:=Group(gi1,gi2);


psi:=GroupHomomorphismByImages(GammaK,GammaI,
GammaK.generators,GammaI.generators);

Does a trick exist to avoid the instruction kernel(psi) ?

My feeling is that this is difficult without more information on the group
GammaK. It is difficult to carry out nontrivial calculations in an infinite
matrix group without further information, since all one can do is multiply
elements and check for equality.
Of course, since the image of your map psi has finite order (336), one could
work out Schreier generators for the kernel K, but there would be 337 of
those, and it might be hard to do much with them.
The most satisfactory form would be a presentation of GammaK on
the defining generators. I know a presentation of the Bianchi group SL_2(O_3),
where O_3 is the ring Z[E(3)], but that has more generators, and Gammak
may well be a proper subgroup of SL_2(O_3).

Derek Holt.

> < [top]