Сибирский федеральный университет

Для бинарных операций (в отличие от n-арных) существуют полезные алгебраические понятия: коммутативность, ассоциативность, дистрибутивность и т.д. Для n-арных операций в кольце предложена алгебраическая система, представляющая такие операции, как унарные. Композиция унарных операций является бинарной. Предложенная система является кольцом, относительно поточечных операций сложения и умножения. В сигнатуру этого кольца добавлена операция композиции отображений, не являющаяся дистрибутивной. Найдены необходимые и достаточные условия для того, чтобы конгруэнция на этом кольце была бы конгруэнцией на указанной надсистеме