No Access

IDEMPOTENT DISTRIBUTIVE SEMIRINGS WITH INVOLUTION

IGOR DOLINKA

Department of Mathematics and Informatics, University of Novi Sad, Trg Dositeja Obradovića 4, 21000 Novi Sad, Serbia and Montenegro

Search for more papers by this author

https://doi.org/10.1142/S0218196703001614Cited by:2 (Source: Crossref)

Abstract

A semiring with involution is a semiring equipped with an involutorial antiasutomorphism as a fundamental operation. The aim of the present paper is to determine the lattice of all varieties of idempotent and distributive semirings with involution. We start with the description of their structure, which is followed by a complete list of all subdirectly irreducibles. We make a heavy use of general results obtained recently by Dolinka and Vinčić [11] on involutorial Płonka sums. Applying these results and some further structural theorems, we construct the considered lattice. It turns out that it has exactly 64 elements.

Keywords:

AMSC: 08B15, 16Y60

References

C. L. Adair, J. Algebra 75, 297 (1982), DOI: 10.1016/0021-8693(82)90042-4. Crossref, Web of Science, Google Scholar
A. P. Biryukov, Algebra i Logika 9, 255 (1970). Google Scholar
S. L. Bloom, Z. Ésik and Gh. Stefanescu, Algebra Universalis 33, 98 (1995), DOI: 10.1007/BF01190768. Crossref, Web of Science, Google Scholar
S. Crvenković, I. Dolinka and Z. Ésik, Theoret. Comput. Sci. 230, 235 (2000), DOI: 10.1016/S0304-3975(99)00079-1. Crossref, Web of Science, Google Scholar
S. Crvenković, I. Dolinka and M. Vinčić, Studia Sci. Math. Hung. 36, 423 (2000). Google Scholar
I. Dolinka, Comm. Algebra 28, 2837 (2000), DOI: 10.1080/00927870008826995. Crossref, Web of Science, Google Scholar
I. Dolinka, Semigroup Forum 62, 438 (2001). Crossref, Web of Science, Google Scholar
I. Dolinka, Period. Math. Hungar. 40, 109 (2000), DOI: 10.1023/A:1010379324510. Crossref, Web of Science, Google Scholar
I. Dolinka, Algebra Universalis 44, 143 (2000), DOI: 10.1007/s000120050176. Crossref, Web of Science, Google Scholar
I. Dolinka, Acta Sci. Math. (Szeged) 67, 535 (2001). Google Scholar
I. Dolinka and M. Vinčić, Period. Math. Hungar. 46, 17 (2003), DOI: 10.1023/A:1025797422998. Crossref, Web of Science, Google Scholar
J. Dudek and E. Graczyńska, Bull. Acad. Pol. Sci. (Ser. Sci. Math.) 29, 337 (1981). Google Scholar
Z. Ésik and L. Bernátsky, Theor. Comput. Sci. 137, 237 (1995), DOI: 10.1016/0304-3975(94)00041-G. Crossref, Web of Science, Google Scholar
C. F. Fennemore, All varieties of bands. I, Math. Nachr. 48 (1971), 237–252. II, Math. Nachr, 253–262 . Google Scholar
D. J. Foulis, Proc. Amer. Math. Soc. 11, 648 (1960). Web of Science, Google Scholar
J. A. Gerhard, J. Algebra 15, 195 (1970), DOI: 10.1016/0021-8693(70)90073-6. Crossref, Web of Science, Google Scholar
J. S. Golan , The Theory of Semirings with Applications in Mathematics and Theoretical Computer Science ( Longman Scientific and Technical , New York , 1993 ) . Google Scholar
D. Hobby and R. McKenzie , Contemporary Mathematics Series , The structure of finite algebras 76 ( AMS , Providence , 1988 ) . Google Scholar
J. M. Howie , Fundamentals of Semigroup Theory ( Oxford Univ. Press , 1995 ) . Crossref, Google Scholar
B. Jónsson, Algebraic Logic, The theory of binary relations 54 (North-Holland, Amsterdam, 1991) pp. 245–292. Google Scholar
J. A. Kalman, Fund. Math. 71, 161 (1971). Crossref, Google Scholar
W. Kuich and A. Salomaa , EATCS Monographs on Theoretical Computer Science , Semirings, automata and languages ( Springer-Verlag , New York , 1986 ) . Google Scholar
M. Kuřil and L. Polák, On varieties of semilattice ordered semigroups, Manuscript, 23 pp . Google Scholar
H. Lakser, R. Padmanabhan and C. R. Platt, Duke Math. J. 39, 485 (1972), DOI: 10.1215/S0012-7094-72-03954-3. Crossref, Web of Science, Google Scholar
R. McKenzie, Algebra and Logic, An algebraic version of categorical equivalence for varieties and more general algebraic categories 180 (Marcel Dekker, New York, 1996) pp. 211–243. Google Scholar
R. McKenzie , G. McNulty and W. Taylor , Algebras, Lattices, Varieties 1 ( Wadsworth & Brooks/Cole , Monterey , 1987 ) . Google Scholar
R. McKenzie and A. Romanowska, Contributions to General Algebra, Varieties of ·-distributive bisemilattices (J. Heyn, Klagenfurt, 1979) pp. 213–218. Google Scholar
T. E. Nordahl and H. E. Scheiblich, Semigroup Forum 16, 369 (1978), DOI: 10.1007/BF02194636. Crossref, Google Scholar
F. Pastijn, Semigroup Forum 26, 151 (1983), DOI: 10.1007/BF02572828. Crossref, Web of Science, Google Scholar
F. Pastijn and Y. Q. Guo, Sci. China A 42, 785 (1999), DOI: 10.1007/BF02884266. Crossref, Web of Science, Google Scholar
F. Pastijn and A. Romanowska, Acta Sci. Math. (Szeged) 44, 239 (1982). Web of Science, Google Scholar
F. Pastijn and X. Zhao, Arch. Math. (Brno) 36, 77 (2000). Google Scholar
J. Płonka, Fund. Math. 60, 191 (1967). Crossref, Google Scholar
J. Płonka, Fund. Math. 61, 183 (1967). Crossref, Google Scholar
J. Płonka, Fund. Math. 64, 241 (1969). Crossref, Google Scholar
J. Płonka and A. Romanowska, Universal Algebra and Quasigroup Theory, Semilattice sums (Heldermann Verlag, Berlin, 1992) pp. 123–158. Google Scholar
A. Romanowska, Math. Japonica 27, 467 (1982). Web of Science, Google Scholar
A. Romanowska, Math. Japonica 27, 483 (1982). Web of Science, Google Scholar
A. Romanowska and J. D. H. Smith, J. Algebra 70, 78 (1981), DOI: 10.1016/0021-8693(81)90244-1. Crossref, Web of Science, Google Scholar
A. Romanowska and J. D. H. Smith, J. Algebra 120, 247 (1989), DOI: 10.1016/0021-8693(89)90197-X. Crossref, Web of Science, Google Scholar
A. Romanowska and J. D. H. Smith, J. Algebra 120, 263 (1989), DOI: 10.1016/0021-8693(89)90198-1. Crossref, Web of Science, Google Scholar
V. V. Wagner, Uč. Zap. Saratov. Univ. Meh.-Mat. 70, 25 (1961). Google Scholar