Abstract A progenitor developed by Robert T. Curtis is a type of infinite groups formed by the semi-direct product of a free group m∗n and a transitive permutation group of degree n. To produce finite homomorphic images we had to add relations to the progenitor of the form 2∗n : N. In this thesis we have investigated several permutations progenitors and monomials, 2∗12 : S4, 2∗12 : S4 × 2, 2∗13 : (13 : 4), 2∗30 : ((2• : 3) : 5), 2∗13 :13,2∗13 :(13:2),2∗13 :(13:S3),53∗2 :m (13:4),7∗8 :m (32 :8),and 53∗4 :m (13 : 4). We have discovered that the permutations progenitors produced the following finite homomorphic images, we have found P GL(2, 13), U3 (4) : 2, 2 × Sz (8), PSL(2,7), PGL(2,27), PSL(2,8), PSL(3,3), 4•S4(5), PSL2(53), and 13 : PGL2(53) as homomorphic images of this progenitors. We will construct double coset enumeration for the homomorphic images, 2 × Sz (8) over (13 : 4) Suzuki twisted group, P GL(2, 13) over S4,and PSL(2,7) over S4 and Maximal subgroups of 2×PGL(2,27) over 2•(13 : 2), P SL(2, 8) over (9 : 2), and P SL(3, 3) over (13 : 3). We will also give our techniques of finding finite homomorphic images and their isomorphism images.

Made available in DSpace on 2014-07-29T16:02:23Z (GMT). No. of bitstreams: 1 silvio sandro.pdf: 761623 bytes, checksum: 55f280c9ca185766a1ed91423c5edfad (MD5) Previous issue date: 2010-06-28 / The group of weak commutativity for bijection G(H;K;σ) = {H;K|[h;hσ] = 1, for all h H} belongs is defined as the quotient of the free product H * K the normal closure of {[h;hσ] : h belongs to all H} in H * K. In this dissertation, we studied the results obtained in 2009 by Sidka and Oliveira [7] that support the following conjecture: If H,K ~= Zp X...X Zp, then G(H,K,σ)is a p-group. / O grupo de comutatividade fraca por bijeção G(H;K;σ) = {H;K|[h;hσ] = 1, para todo h pertence H} é definido como sendo o quociente do produto livre H * K pelo fecho normal de {[h;hσ] : para todo h pertence H} emH * K. Nessa dissertação, estudamos os resultados obtidos em 2009 por Oliveira e Sidki [7] que suportam a seguinte conjectura: Se H,K ~= Zp X...X Zp, então G(H,K,σ) é um p-grupo.