text: В контексте теории групп цоколь группы G, обозначается soc(G), — это подгруппа, генерируемая характеристически простыми подгруппами группы G. Может случиться, что группа не имеет минимальной нетривиальной нормальной подгруппы (то есть любая нетривиальная нормальная подгруппа содержит другую такую подгруппу), в этом случае цоколь определяется как подгруппа, генерируемая единичным элементом.