Abstract
Let \(\mathbf{W}\) denote the join of the ai-semiring variety axiomatized by \(x^2\approx x\) and the ai-semiring variety axiomatized by \(xy\approx zt\). We show that the lattice of subvarieties of \(\mathbf{W}\), \(\mathcal{L}(\mathbf{W})\), is a distributive lattice of order 312. Also, all members of this variety are finitely based and finitely generated. Thus, \(\mathbf{W}\) is hereditarily finitely based.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.References
Burris S, Sankappanavar HP (1981) A course in universal algebra. Springer, New York
Ghosh S, Pastijn F, Zhao XZ (2005) Varieties generated by ordered bands I. Order 22:109–128
Głazek K (2001) A guide to the literature on semirings and their applications in mathematics and information science. Kluwer Academic Publishers, Dordrecht
Golan JS (1992) The theory of semirings with applications in mathematics and theoretical computer science. Longman Scientific and Technical, Harlow
Howie JM (1995) Fundamentals of semigroup theory. Clarendon Press, London
Kuřil M, Polák L (2005) On varieties of semilattice-ordered semigroups. Semigroup Forum 71(1):27–48
McKenzie R, Romanowska A (1979) Varieties of \(\cdot \)-distributive bisemilattices. In: Contributions to general algebra (Proc. Klagenfurt Conf. 1978), vol 1, pp 213–218
Pastijn F (2005) Varieties generated by ordered bands II. Order 22:129–143
Pastijn F, Zhao XZ (2005) Varieties of idempotent semirings with commutative addition. Algebra Univers 54:301–321
Petrich M, Reilly NR (1999) Completely regular semigroups. Wiley, New York
Ren MM, Zhao XZ (2016) The varieties of semilattice-ordered semigroups satisfying \(x^3\approx x\) and \(xy\approx yx\). Period Math Hungar 72:158–170
Ren MM, Zhao XZ, Shao Y (2016a) On a variety of Burnside ai-semirings satisfying \(x^{n}\approx x\). Semigroup Forum 93(3):501–515
Ren MM, Zhao XZ, Volkov MV (2016b) The Burnside ai-semiring variety defined by \(x^n \approx x\), manuscript
Ren MM, Zhao XZ, Wang AF (2017) On the varieties of ai-semirings satisfying \(x^{3}\approx x\). Algebra Univers 77:395–408
Shao Y, Ren MM (2015) On the varieties generated by ai-semirings of order two. Semigroup Forum 91(1):171–184
Zhao XZ, Guo YQ, Shum KP (2002) \(\cal{D}\)-subvarieties of the variety of idempotent semirings. Algebra Colloq 9(1):15–28
Zhao XZ, Shum KP, Guo YQ (2001) \(\cal{L}\)-subvarieties of the variety of idempotent semirings. Algebra Univers 46:75–96
Acknowledgements
The authors thank the anonymous referees for an unusually careful reading of the paper that has led to a substantial improvement of this paper. The authors also thank Professor Xianzhong Zhao for discussions contributed to this paper. The authors are supported by National Natural Science Foundation of China (11701449). The first author is supported by National Natural Science Foundation of China (11571278), Natural Science Foundation of Shaanxi Province (2017JQ1033), Scientific Research Program of Shaanxi Provincial Education Department (16JK1754) and Scientific Research Foundation of Northwest University (15NW24).
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflicts of interest
All authors declare that they have no conflicts of interest
Ethical approval
This article does not contain any studies with human participants or animal.
Additional information
Communicated by A. Di Nola.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Ren, M., Zeng, L. On a hereditarily finitely based ai-semiring variety. Soft Comput 23, 6819–6825 (2019). https://doi.org/10.1007/s00500-018-03719-0
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00500-018-03719-0