Introduction. If £ is a group with a normal subgroup K one may form the quotient group E/K^M. Conversely, for preassigned groups K, M, there is the extension problem: to determine (in some sense) all groups E with K as normal subgroup such that E/K^M. Much progress has been made on this problem, particularly through the work of Baer [l, 2, 3] and the cohomology theory of Eilenberg and MacLane [...