In a previous article by two of the present authors and S. Bonzio, Lukasiewicz near semirings were introduced and it was proven that basic algebras can be represented (precisely, are term equivalent to) as near semirings. In the same work it has been shown that the variety of Lukasiewicz near semirings is congruence regular. In other words, every congruence is uniquely determined by its 0-coset. Thus, it seems natural to wonder whether it could be possible to provide a set-theoretical characterization of these cosets. This article addresses this question and shows that kernels can be neatly described in terms of two simple conditions. As an application, we obtain a concise characterization of ideals in Lukasiewicz semirings. Finally, we close this article with a rather general Cantor-Bernstein type theorem for the variety of involutive idempotent integral near semirings.
On the structure theory of Łukasiewicz near semirings
Davide Fazio;
2018-01-01
Abstract
In a previous article by two of the present authors and S. Bonzio, Lukasiewicz near semirings were introduced and it was proven that basic algebras can be represented (precisely, are term equivalent to) as near semirings. In the same work it has been shown that the variety of Lukasiewicz near semirings is congruence regular. In other words, every congruence is uniquely determined by its 0-coset. Thus, it seems natural to wonder whether it could be possible to provide a set-theoretical characterization of these cosets. This article addresses this question and shows that kernels can be neatly described in terms of two simple conditions. As an application, we obtain a concise characterization of ideals in Lukasiewicz semirings. Finally, we close this article with a rather general Cantor-Bernstein type theorem for the variety of involutive idempotent integral near semirings.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
