Date of Award


Document Type


Degree Name

Master of Arts in Mathematics



First Reader/Committee Chair

Hasan, Zahid


The purpose of exploring infinite groups in this thesis was to discover homomorphic images of non-abelian finite simple groups. These infinite groups are semi-direct products known as progenitors. The permutation progenitors studied were: 2*8 ∶ 22 A4, 2*10 ∶ D20, 2*4 ∶ C4, 2*7 ∶ (7 ∶ 6), 3*3 ∶ S3, 2*15 ∶ ((5 × 3) ∶ 2), and 2*20 ∶ A5. When we factored said progenitors by an appropriate number of relations, we produced several original symmetric presentations and constructions of linear groups, other classical groups, and sporadic groups. We have found original symmetric presentations of several important groups, including: PGL2(7), PSL2(8), PSL2(11), PGL2(11), PGL2(13), PSL2(19), PGL2(29), PSL2(41), PSL2(71), J2, U3(4), U3(5), M11, and M22. When solving various extension problems, we are able to identify the isomorphism types of the finite images we discovered. We present proofs of the isomorphism types of the finite images that were found by solving extension problems. The four types of extension problems are Direct Product, Semi-Direct Product, Central Extensions, and Mixed Extensions. We perform double coset enumeration manually and with the support of a computer-based program, Magma, to construct Cayley diagrams of 32 ∶ S3, M11, PSL2(19), PSL2(7), S4, and U3(5) ∶ 2.

Included in

Mathematics Commons