On capability of finite Abelian groups. (Q1039937)

A group was called `capable' by R. Baer if it is isomorphic to the group of all the inner automorphisms of some group. The following condition (given in terms of the subgroup lattice of a group \(G\)) is discussed: there exists a family of normal subgroups \(\{N_i\}_{i\in I}\) of \(G\) such that (i) \(\bigcap_{i\in I}N_i=1\), (ii) \(\bigvee_{i\in I}N_i=G\), (iii) \(G/N_i\cong G/N_j\), for every \(i,j\in I\). The author proves the following Theorem. A finite Abelian group is capable iff it satisfies the above condition (and iff it is noncyclic for which the top two factors in the invariant factor decomposition are equal). An example is given showing condition (iii) cannot be weakened to equal index of all subgroups \(H_i\) without losing capability.