Distributive lattice decompositions of semirings with a semilattice additive reduct. (English) Zbl 1205.16039

Let \((S,+,\cdot)\) be a semiring such that \((S,+)\) is a semilattice. For \(\emptyset\neq A\subseteq S\) define \(\overline A=\{x\in S\mid x+a_1=a_2\) for some \(a_1,a_2\in A\}\) and \(\sqrt A=\{x\in S\mid x^n\in\overline A\) for some positive integer \(n\}\). Then \(S\) is called \(k\)-Archimedean if \(S=\sqrt{SaS}\) for all \(a\in S\). Moreover, for the relation \(a\sigma b\Leftrightarrow b\in\sqrt{SaS}\) for all \(a,b\in S\) let \(\varrho=\sigma^*\) denote the transitive hull of \(\sigma\) and define \(\eta=\varrho\cap\varrho^{-1}\).
It is proved that \(\eta\) is the least distributive lattice congruence on \(S\). From this fact several equivalent conditions are obtained to characterize \(S\) as a distributive lattice of \(k\)-Archimedean semirings. One of these conditions is that \(\sigma\) is transitive.


16Y60 Semirings
08A30 Subalgebras, congruence relations
Full Text: DOI


[1] Bogdanović, S., Ćirić, M.: Semilattices of Archimedean semigroups and completely {\(\pi\)}-regular semigroups I (a survey). Filomat 7, 1–40 (1993) · Zbl 0848.20052
[2] Bogdanović, S., Ćirić, M.: Chains of Archimedean semigroups (semiprimary semigroups). Indian J. Pure Appl. Math. 25(3), 229–235 (1994) · Zbl 0801.20045
[3] Ćirić, M., Bogdanović, S.: Semilattice decompositions of semigroups. Semigroup Forum 52, 119–132 (1996) · Zbl 0848.20055
[4] Clifford, A.H.: Semigroups admitting relative inverses. Ann. Math. 42, 1037–1049 (1941) · Zbl 0063.00920
[5] Hebisch, U., Weinert, H.J.: Semirings: Algebraic Theory and Applications in Computer Science. World Scientific, Singapore (1998) · Zbl 0934.16046
[6] Howie, J.M.: Fundamentals in Semigroup Theory. Clarendon, Oxford (1995) · Zbl 0835.20077
[7] Kmet, F.: Radicals and their left ideal analogues in a semigroup. Math. Slovaca 38, 139–145 (1988) · Zbl 0643.20042
[8] Mitrović, M.: Semilattices of Archimedean semigroups. University of Niš (2003) · Zbl 1086.20033
[9] Petrich, M.: The maximal semilattice decomposition of a semigroup. Math. Z. 85, 68–82 (1964) · Zbl 0124.25801
[10] Putcha, M.S.: Semilattice decomposition of semigroups. Semigroup Forum 6, 12–34 (1973) · Zbl 0256.20074
[11] Tamura, T.: Another proof of a theorem concerning the greatest semilattice decomposition of a semigroup. Proc. Jpn. Acad. 40, 777–780 (1964) · Zbl 0135.04001
[12] Tamura, T.: On Putcha’s theorem concerning semilattice of Archimedean semigroups. Semigroup Forum 4, 83–86 (1972) · Zbl 0256.20075
[13] Tamura, T.: Note on the greatest semilattice decomposition of semigroups. Semigroup Forum 4, 255–261 (1972) · Zbl 0261.20058
[14] Tamura, T., Kimura, N.: On decomposition of a commutative semigroup. Kodai Math. Semin. Rep. 4, 109–112 (1954) · Zbl 0058.01503
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.