Dear Forum,
On Oct 6, 2010, at 10/6/10 8:57, Reza Orfi wrote: > Is there any way to check that > two groups are Isoclinism. I am not aware of any predefined function which does this, so the only solution I can think of is to write a function based on the definition: - Run through all isomorphisms between G/Z and H/Z (should be sufficient to do this up to inner automorphisms) - For a sufficient set of elements a,b in G form commutators [a,b] (such that they generate G') and prospective images [c,d] with Za=Zc and Zb=Zd. Test whether this map defines an isomorphism - If so, test the remaining commutators pairs (up to conjugacy) Best, Alexander Hulpke -- Colorado State University, Department of Mathematics, Weber Building, 1874 Campus Delivery, Fort Collins, CO 80523-1874, USA email: [email protected], Phone: ++1-970-4914288 http://www.math.colostate.edu/~hulpke _______________________________________________ Forum mailing list [email protected] http://mail.gap-system.org/mailman/listinfo/forum
