Subdirectly irreducible commutative multiplicatively idempotent semirings

Abstract

Commutative multiplicatively idempotent semirings were studied by the authors and F. Švrček, where the connections to distributive lattices and unitary Boolean rings were established. The variety of these semirings has nice algebraic properties and hence there arose the question to describe this variety, possibly by its subdirectly irreducible members. For the subvariety of so-called Boolean semirings, the subdirectly irreducible members were described by F. Guzmán. He showed that there were just two subdirectly irreducible members, which are the 2-element distributive lattice and the 2-element Boolean ring. We are going to show that although commutative multiplicatively idempotent semirings are at first glance a slight modification of Boolean semirings, for each cardinal n > 1, there exist at least two subdirectly irreducible members of cardinality n and at least 2n such members if n is infinite. For n∈{2,3,4}n∈{2,3,4} the number of subdirectly irreducible members of cardinality n is exactly 2.