Algebras of binary isolating formulas for strong product theories

Рассматриваются алгебры бинарных формул для сильных произведений и приводятся таблицы Кэли для этих алгебр. На основе построенных таблиц формулируется теорема, описывающая все алгебры распределений бинарных формул для теорий сильных умножений правильных многоугольников на ребро. Кроме того, показано, что эти алгебры могут быть поглощены симплекс-алгебрами, что упрощает изучение этой теории и связывает ее с другими алгебраическими структурами. Эта концепция является полезным инструментом для понимания отношений между бинарными формулами данной теории.