Исследование некоторых полугрупп с инвариантной мерой

Является инвариантной мерой, заданной в полугруппе .Рассмотрим полугруппу и попытаемся ввести в ней инвариантную меру.Мерой, заданной в полугруппе .Полугруппа статистическое вычисление инвариантное.Итак, данная мера инвариантна слева.Аналогично показывается, что она инвариантна справа, ч.т.д.Идеал полугруппы S называется простым, если его дополнение есть полугруппа.Итак, при некотором значении x = х0 эта функция отлична от 0.Множество является абелевой полугруппой с нулем и обладает сокращениями.Таким образом, - абелева полугруппа с нулем, обладающая сокращениями, ч.т.д.