В работе приведена конструкция обобщающая алгебры инцидентности на случай колец формальных матриц. Вводятся аналоги частичного порядка и предпорядка — частичный η-порядок и η-предпорядок. Рассмотрен вопрос обратимости элементов обобщенной алгебры инцидентности. Приведен алгоритм нахождения обратного элемента алгебры и явная формула, верная, в частности, и для алгебр инцидентности. Подробно рассмотрен случай обобщенной алгебры инцидентности над полем. В этом случае η-предпорядок допускает введение отношения эквивалентности на нем, которое индуцирует блочную структуру обобщенной алгебры инцидентности. Как и в случае алгебры инцидентности, существует тесная связь между алгебрами над частичными η-порядками и над η-предпорядками. Так, если известны размеры классов эквивалентности, то алгебра над η-предпорядком с точностью до изоморфизма восстанавливается по соответствующей алгебре над частичным η-порядком. Показано, что обобщенную алгебру инцидентности можно вложить как подалгебру в соответствующее кольцо формальных матриц над тем же множеством. Изучена проблема изоморфизма и показано, что она сводится к проблеме изоморфизма для обобщенных алгебр инцидентности над частичным η-порядком. Было найдено частичное решение этой проблемы. Введена функция Мебиуса обобщенной алгебры инцидентности. Приведен аналог формулы обращения Мебиуса и показано, что основные свойства остаются верными и для обобщенной алгебры инцидентности. Особый интерес представляют обобщенные алгебры инцидентности с {0, 1}-мультипликативной системой. Есть основания полагать, что над полем они исчерпывают все обобщенные алгебры инцидентности.
The paper presents generalization of incidence algebras, which includes the case of generalized matrix rings. Constructions similar to partial ordering and quasi-ordering were introduced - η-poset and η-qoset respectively. The question of invertibility of elements of generalized incidence algebras was studied. The algorithm of finding inverse element and clear formula were found. This formula holds for incidence algebras, in particular. The case of generalized incidence algebra over a field was examined explicitly. In this case we can introduce equivalence relation on the underlying set, under which generalized incidence algebra would have block structure. As with incidence algebras, there is close connection between algebras over η-posets and η-qosets. For example, if we know sizes of equivalence classes, then we can reconstruct algebra over η-qoset by corresponding algebra over η-poset. It was shown that generalized incidence algebras can be viewed as subalgebras of some formal matrix rings of the same size as the underlying set. The problem of isomorphism was studied and it was shown that it can be reduced to the problem of isomorphism of generalized incidence algebras over η-posets. Partial solution to this problem was found. The paper introduces Mobius function of generalized incidence algebra. Analogue of Mobius inversion formula was found and it was shown that basic properties of classical Mobius function are remain to be true. Generalized incidence algebras with so-called {0, 1}-multiplicative system are of peculiar interest. There is good reason to believe that all generalized incidence algebras over a field are isomorphic to algebras with {0, 1}-multiplicative system.
The authors declare that there are no conflicts of interest present.