Mushtaq, Q., Razaq, A. (2016). Partial proof of Graham Higman's conjecture related to coset diagrams. Bulletin of the Iranian Mathematical Society, 42(2), 353-369.

Q. Mushtaq; A. Razaq. "Partial proof of Graham Higman's conjecture related to coset diagrams". Bulletin of the Iranian Mathematical Society, 42, 2, 2016, 353-369.

Mushtaq, Q., Razaq, A. (2016). 'Partial proof of Graham Higman's conjecture related to coset diagrams', Bulletin of the Iranian Mathematical Society, 42(2), pp. 353-369.

Mushtaq, Q., Razaq, A. Partial proof of Graham Higman's conjecture related to coset diagrams. Bulletin of the Iranian Mathematical Society, 2016; 42(2): 353-369.

Partial proof of Graham Higman's conjecture related to coset diagrams

^{1}Vice Chancellor, The Islamia University of Bahawalpur, Pakistan.

^{2}Department of Mathematics, Govt. Post Graduate College Jauharabad, Pakistan.

Receive Date: 01 December 2013,
Revise Date: 19 January 2015,
Accept Date: 19 January 2015

Abstract

Graham Higman has defined coset diagrams for PSL(2,ℤ). These diagrams are composed of fragments, and the fragments are further composed of two or more circuits. Q. Mushtaq has proved in 1983 that existence of a certain fragment γ of a coset diagram in a coset diagram is a polynomial f in ℤ[z]. Higman has conjectured that, the polynomials related to the fragments are monic and for a fixed degree, there are finite number of such polynomials. In this paper, we consider a family Ϝ of fragments such that each fragment in Ϝ contains one vertex fixed by F_v [(〖xy〗^(-1) )^(s_1 ) (xy)^(s_2 ) (〖xy〗^(-1) )^(s_3 ),(xy)^(q_1 ) (〖xy〗^(-1) )^(q_2 ) (xy)^(q_3 ) ] where s₁,s₂,s₃,q₁,q₂,q₃∈ℤ⁺, and prove Higman's conjecture for the polynomials obtained from the fragments in Ϝ.

B. Everitt, Alternating quotients of the (3; q; r) triangle groups, Comm. Algebra 26 (1997), no. 6, 1817--1832.

G. Higman and Q. Mushtaq, Coset diagrams and relations for PSL(2; Z), Arab Gulf J. Sci. Res. 1 (1983), no. 1, 159--164 .

Q. Mushtaq, A condition for the existence of a fragment of a coset diagram, Quart. J. Math. Oxford Ser. (2) 39 (1988), no. 153, 81--95.

Q. Mushtaq, Coset diagrams for the modular group, D. Phil. Thesis, University of Oxford, Oxford, 1983.

Q. Mushtaq, Parametrization of all homomorphisms from PGL(2;Z) into PGL(2; q), Comm. Algebra 20 (1992), no. 4, 1023--1040.

Q. Mushtaq and G. C. Rota, Alternating groups as quotients of two generator groups, Adv. Math. 96 (1993), no. 1, 113--121.

Q. Mushtaq and H. Servatius, Permutation representation of the symmetry groups of regular hyperbolic tessellations, J. Lond. Math. Soc. (2) 48 (1993), no. 1, 77--86.

Q. Mushtaq and A. Razaq, Equivalent pairs of words and points of connection, Sci. World J. 2014 (2014), Article ID 505496, 8 pages.

A. Torstensson, Coset diagrams in the study of finitely presented groups with an application to quotients of the modular group, J. Commut. Algebra 2 (2010), no. 4, 501--514.