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

В статье на полугрупповой $C^*$-алгебре Кунца–Теплица задается копроизведение, превращающее эту алгебру в компактную квантовую полугруппу. Показывается, что единственный собственный идеал алгебры Кунца–Теплица не является коидеалом полученной компактной квантовой полугруппы. Таким образом, построенная компактная квантовая полугруппа является копростой.