No label defined (Q4240915)

Let \(G\) be a finite group with a presentation on \(n\) generators and \(r\) relations. Let \(H\) be a group of maximal order such that there exists a unique subgroup \(A\) of \(Z(G)\cap H'\) with \(H/A\cong G\). The group \(A\) is called the Schur multiplier \(M(G)\) of \(G\). The group \(G\) is called efficient if it has a presentation with \(n\) generators and precisely \(n+\text{rank}(M(G))\) relations. In a number of papers, efficiency of \(\text{PSL}(2,5)\times\text{PSL}(2,5)\), \(\text{SL}(2,5)\times\text{SL}(2,5)\), direct products of \(\text{PSL}(2,p^{n_i})\) for a fixed prime \(p\) and different \(n_i\)'s, \(\text{PSL}(2,q_1)\times\text{PSL}(2,q_2)\) for \(q_1,q_2\) prime powers, \(\text{PSL}(2,Z_n)\times\text{PSL}(2,Z_m)\) for certain \(n\), \(m\), and \(\text{PSL}(2,7)\times\text{PSL}(2,3^2)\) was considered. In the paper under review, the authors show that \(\text{PSL}(2,p)\times A_4\) is nearly efficient.