I've been looking for an explicit isomorphism between the following two groups (h and g):
gap> q := FreeGroup( "x", "y","z");;
gap> g := q / [ q.1^25, q.2^5,q.3^5*q.1^-10,q.1^-1*q.2^-1*q.1*q.2*q.1^-5,q.1^-1*q.3^-1*q.1*q.3*q.2^-1,q.2^-1*q.3^-1*q.2*q.3 ];
gap> f := FreeGroup( "a", "b","c");;
gap> h := f / [ f.1^25, f.2^5,f.3^5*f.1^-10,f.1^-1*f.2^-1*f.1*f.2,f.1^-1*f.3^-1*f.1*f.3*f.2^-1,f.2^-1*f.3^-1*f.2*f.3*f.1^-10 ];
I applied the GAP's Code at the link: Explicit Isomorphism Between Two $p$-Groups in GAP
However, it did not work for me. FYI, I loaded the "anupq" and "sonata" pakages, and used IsomorphismGroups and IsISomorphicPGroup. They are, however, extremely slow at computing the isomorphism between P-groups of a high order.
I'm not sure if MAGMA has a code that does the same thing for me. If so, could you please share it?
Any assistance with this situation would be greatly appreciated.
Thank you.
IsomorphismGroups( g, h )produces an isomorphism in ~400ms. – sTertooy Aug 10 '22 at 11:28PcGroups, usigIsomorphismPGroup, then the calculation (useIsomorphismGroups) is instantaneous on my laptop. – ahulpke Aug 10 '22 at 12:18G1:=IsomorphismPcGroup(g);;
gap> H1:=IsomorphismPcGroup(h);; gap> IsomorphismGroups(G1,H1); #I Forcing finiteness test Error, no method found! F
– Mr. J Aug 10 '22 at 13:40or debugging hints
type ?Recovery fr
om NoMethodFound Error, no 1st choi
ce method found fo
r `IsFinite' on 1
arguments at /Applications/
Gap.app/Contents/g
ap/lib/methsel2.g: 249 called from IsFinite( G ); at /Applicatio
ns/Gap.app/Content
s/gap/lib/morpheus
.gi:2233 called from <function "Isomorp
hismGroups">( <arg
uments> ) called from read-
eval loop at stdin:27 type 'quit;' to qu
it to outer loop
Sizeon the finitely presented groups) – ahulpke Aug 10 '22 at 13:47G1andG2. You should be storing the images of these isomorphisms instead. – sTertooy Aug 10 '22 at 14:35isog := IsomorphismPcGroup( g );;isoh := IsomorphismPcGroup( h );;G1 := Image( isog );;G2 := Image( isoh );;isoG1G2 := IsomorphismGroups( G1, G2 );;iso := isog * isoG1G2 * InverseGeneralMapping( isoh )– sTertooy Aug 10 '22 at 14:56