Basic subgroup


In abstract algebra, a basic subgroup is a subgroup of an abelian group which is a direct sum of cyclic subgroups and satisfies further technical conditions. This notion was introduced by L. Ya. Kulikov and by László Fuchs in an attempt to formulate classification theory of infinite abelian groups that goes beyond the Prüfer theorems. It helps to reduce the classification problem to classification of possible extensions between two well understood classes of abelian groups: direct sums of cyclic groups and divisible groups.

Definition and properties

A subgroup,, of an abelian group,, is called p-basic, for a fixed prime number,, if the following conditions hold:
  1. is a direct sum of cyclic groups of order and infinite cyclic groups;
  2. is a p-pure subgroup of ;
  3. The quotient group,, is a p-divisible group.
Conditions 1–3 imply that the subgroup,, is Hausdorff in the p-adic topology of, which moreover coincides with the topology induced from, and that is dense in. Picking a generator in each cyclic direct summand of creates a p''-basis of B'', which is analogous to a basis of a vector space or a free abelian group.
Every abelian group,, contains p-basic subgroups for each, and any 2 p-basic subgroups of are isomorphic. Abelian groups that contain a unique p-basic subgroup have been completely characterized. For the case of p-groups they are either divisible or bounded; i.e., have bounded exponent. In general, the isomorphism class of the quotient, by a basic subgroup,, may depend on.