We have investigated several monomial and permutation progenitors, including 2*8 : [8 : 2], 2*18 : [(22 x 3) : (3x2)], 2*16 : [22 : 4], and 2*16 : 24, 5*2 :m [4•22], 5*2 :m [(4x2) :• 2], 103∗2 :m [17 : 2] and 103∗4 :m [17 : 4]. We have discovered original, to the best of our knowledge, symmetric presentations of a number of finite groups, including PSL(2, 7), M12 , A6 : 2, A7 , PSL(2, 25), 25 :• S4, 24 : S3, PSL(2, 271), 12 x PSL(2, 13), and U(3, 7) : 2. We will present our construction of several of these images, including the Mathieu sporadic simple group M12 over the maximal subgroup PSL(2, 11), PSL(2, 17) over D9, PSL(2, 16) : 2 over [24 : 5] and PGL(2, 7) over S3. We will also give our method of finding isomorphism classes of images.

The goal of this presentation is to find original symmetric presentations of finite groups. It is frequently the case, that progenitors factored by appropriate relations produce simple and even sporadic groups as homomorphic images. We have discovered two of the twenty-six sporadic simple groups namely, M12, J1 and the Lie type group Suz(8). In addition several linear and classical groups will also be presented. We will present several progenitors including: 2*12: 22 x (3 : 2), 2*11: PSL2(11), 2*5: (5 : 4) which have produced the homomorphic images: M12 : 2, Suz(8) x 2, and J1 x 2. We will give monomial progenitors whose homomorphic images are: 17*10 :m PGL2(9), 3*4:m Z2 ≀D4 , and 13*2:m (22 x 3) : 2 which produce the homomorphic images:132 : ((2 x 13) : (2 x 3)), 2 x S9, and (22)•PGL4(3). Once we have a presentation of a group we can verify the group's existence through double coset enumeration. We will give proofs of isomorphism types of the presented images: S3 x PGL2(7) x S5, 28:A5, and 2•U4(2):2.