On infinite groups with a given strongly isolated 2-subgroup (Q5930795)

Let \(G\) be a group. A proper subgroup \(B\) is strongly embedded in \(G\) if \(B\) has an element of order two (an involution) and \(B\cap B^g\) does not contain involutions for each element \(g\in G\setminus B\). An element \(a\in G\) is called finite if the subgroup \(\langle a,a^g\rangle\) is finite for every \(g\in G\). A subgroup \(H\) is called strongly isolated in \(G\) if \(C_G(h)\leq H\) for each \(1\not=h\in H\). The main results of this paper are the following: Theorem 1. Let \(G\) be an infinite group satisfying the following conditions: (1) \(G\) contains a strongly isolated 2-subgroup \(U\) such that \(U^4=\langle 1\rangle\); (2) \(G\) contains a finite involution; (3) \(G\) contains a subgroup of order 6. Then either \(G\) is a locally finite Frobenius group with periodic Abelian kernel \(F\) or \(G\) is isomorphic to the group \(L_2(K)\) over a suitable locally finite field \(K\) of characteristic 2. Theorem 2. Let \(G\) be an infinite group satisfying the following conditions: (1) \(G\) contains a strongly isolated subgroup \(U\) isomorphic to a Suzuki 2-group \(S(P,x)\); (2) \(G\) contains a finite involution. Then either the subgroup \(U\) is normal in \(G\) or \(G\) is isomorphic to a Suzuki group \(Sz(K)\) over a suitable locally finite field \(K\) of characteristic 2. Corollary 1. Let \(G\) be a periodic group satisfying the following conditions: (1) \(G\) contains an infinite Sylow 2-subgroup \(S\) such that either \(S\) is elementary Abelian or \(S\) is isomorphic to a Suzuki 2-group \(S(P,x)\); (2) \(N_G(S)\) is strongly embedded in \(G\); (3) \(N_G(S)\) is a Frobenius group with locally cyclic complement. Then \(G\) is a locally finite group isomorphic to \(L_2(K)\) or \(Sz(K)\) over a suitable locally finite field \(K\) of characteristic 2.