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

Bhuniya, A. K.; Mondal, T. K.

Semigroup Forum 80, No. 2, 293-301 (2010).

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.

Reviewer: Udo Hebisch (Freiberg)

MSC:

16Y60	Semirings
08A30	Subalgebras, congruence relations

Keywords:

\(k\)-ideals; \(k\)-Archimedean semirings; distributive lattice congruences; distributive lattices of Archimedean semirings

References:

[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