под-по-лу-груп-па
Существительное, неодушевлённое, женский род, 1-е склонение (тип склонения 1a по классификации А. А. Зализняка).
Корень: --.
матем. подмножество полугруппы, являющееся полугруппой относительно ограничения операции на подмножество
Источник: ru.wiktionary.orgНапример, мультипликативная полугруппа натуральных чисел, конечно, не являющаяся группой, есть подполугруппа мультипликативной группы всех положительных рациональных чисел. Е. С Ляпин, «Полугруппы», 1960 г. Источник: Интернет