On one-sided stabilizers of subsets of finite groups. (Q2492886)

Let \(G\) be a finite group, \(H\subseteq G\). Then the `left and right stabiliser sets' of \(H\) are defined by \[ \text{St}^l_G(H)=\{x\in G\mid xH=H\}\quad\text{and}\quad\text{St}^r_G(H)=\{x\in G\mid Hx=H\}. \] In the paper under review the authors prove the following interesting result: Theorem. Let \(G\) be a finite group having the following property \((\alpha)\) for all prime divisors \(p\) of \(|G|\): If \(H\) is an arbitrary subset of \(G\) with \(|H|=p^a\), where \(p^a\) divides \(|G|\), then \(|\text{St}^l_G(H)|=|\text{St}^r_G(H)|\). Then \(G\) is supersoluble and metabelian. They also characterise those \(2\)-groups satisfying property \((\alpha)\): Theorem. Let \(G\) be a finite \(2\)-group satisfying property \((\alpha)\). Then either \(G\) is Hamiltonian (i.e., every subgroup of \(G\) is normal) or \(G\) is of one of the following types: a) \(G\cong Q_4\), the quaternion group of order \(2^4\); b) \(G\cong D_8\), the dihedral group of order \(2^3\); c) \(G\cong\langle a,b\mid a^4=b^4=1,\;a^b=a^{-1}\rangle\). A characterisation of Hamiltonian groups using these stabilisers is also presented.