On the structure theory of \L ukasiewicz near semirings

TL;DR

This paper explores the structure of zukiewicz near semirings, providing a set-theoretical characterization of congruence kernels, a description of ideals, and a generalization of the Cantor-Bernstein theorem within this algebraic framework.

Contribution

It offers a set-theoretical description of congruence kernels, characterizes ideals in zukiewicz semirings, and presents a general Cantor-Bernstein theorem for involutive idempotent integral near semirings.

Findings

Kernels characterized by two simple conditions

Concise description of ideals in zukiewicz semirings

A general Cantor-Bernstein type theorem established

Abstract

In a previous article by two of the present authors and S. Bonzio, \L ukasiewicz 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 \L ukasiewicz near semirings is congruence regular. In other words, every congruence is uniquely determined by its $0$-coset. Thus, it seems natural to wonder wether 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 \L ukasiewicz semirings. Finally, we close this article with a rather general Cantor-Bernstein type theorem for the variety of involutive idempotent integral near semirings.