Universal finite group extensions and a non-splitting theorem

LetG andK be finite groups whose orders have a common prime divisor. Then there is a groupK ^* closely related toK for which there is a non-split extension ofK ^* byG. I wish to express thanks to the Mathematics Institute of the Hebrew University of Jerusalem for its hospitality from September to December 1972, and to Dr. Avinoam Mann for his helpful comments.