Dear Bill, The Galois realization of M12 is given by finding that Aut(M12) is a Galois group (from a rationally rigid triple of conjugacy classes) and then from that one can deduce that M12 is a Galois group.
If the realization is by noting that the automorphism group can be generated by a rational rigid triple, does that make things any easier? For a discussion of this see (Malle and Matzat - Inverse Galois Theory (Springer 1999)) page 162. Sent from Outlook<http://aka.ms/weboutlook> _______________________________________________ Forum mailing list Forum@mail.gap-system.org http://mail.gap-system.org/mailman/listinfo/forum