Суммирование нормальных поверхностей и уравновешенные специальные спайны

Пусть $P$ – уравновешенный специальный спайн трехмерного многообразия M. В данной работе построен частичный моноид ${\mathcal L}(P)$, порожденный связными простыми подполиэдрами спайна $P$. При этом гомоморфный образ моноида ${\mathcal L}(P)$ совпадает с частичным моноидом всех нормальных поверхностей. Таким образом, нормальные поверхности можно кодировать элементами моноида ${\mathcal L}(P)$.