Компактная квантовая полугруппа, порожденная изометрией

В работе строится структура компактной квантовой полугруппы на алгебре Теплица. Показывается существование подалгебры в двойственной алгебре, изоморфной алгебре регулярных борелевских мер на окружности с произведением свертки. Доказывается существование функционалов Хаара в двойственной алгебре и в упомянутой подалгебре. Также указывается, что эта компактная квантовая полугруппа содержит плотную подалгебру со структурой слабой алгебры Хопфа.