Properties of subgroups not containing their centralizers. (Q1034193)

A classic result of R. Baer shows that a divisible Abelian group is injective. In the paper under review Theorem 2.1 has weakened this result, replacing the property of being divisible with a more general property, called ``N'' condition: ``Let \(H\) be a subgroup of an arbitrary group \(G\). There exists a \(g\in G\setminus H\) such that \([g,H]=1\)''. Corollaries of splitting, of the form of those which were originally obtained by R. Baer, can be deduced from Theorem 2.1 and they are illustrated in Section 2. On the other hand, it is easy to note that the ``N'' condition is equivalent to require that \(C_G(H)\not\leq H\) (incidentally, the title of the paper expresses exactly this fact) and then it is possible to see if there are relations with the size of suitable conjugacy classes. The answer is positive for finite \(p\)-groups (\(p\) prime) in the sense of Theorem 3.1, where it has been found a bound for the number of maximal subgroups satisfying the condition ``N''.