Abstract
We study some varieties of flat nil-semirings and provide a sufficient condition for a finite flat semiring to be nonfinitely based. As applications, we show that a finite flat nil-semiring of the form \(S_c(W)\) is finitely based if and only if W consists of cubes of letters and words of length at most 2. Also, we prove that the finite flat nil-semirings S(W) are nonfinitely based for some sets W of special words in \(X^+\). This affirmatively answers two problems raised by Jackson et al. (J Algebra 611:211–245, 2022).
Similar content being viewed by others
References
Ham, L., Jackson, M.: Axiomatisability and hardness for universal Horn classes of hypergraphs. Algebra Universalis 79, 30 (2018)
Jackson, M.: Flat algebras and the translation of universal Horn logic to equational logic. J. Symb. Logic 73, 90–128 (2008)
Jackson, M., Ren, M.M., Zhao, X.Z.: Nonfinitely based ai-semirings with finitely based semigroup reducts. J. Algebra 611, 211–245 (2022)
Kun, G., Vértesi, V.: The membership problem in finite flat hypergraph algebras. Int. J. Algebra Comput. 17(3), 449–459 (2007)
McKenzie, R., Romanowska, A.: Varieties of \(\cdot \)-distributive bisemilattices. In: Contributions to General Algebra (Proceedings of the Klagenfurt Conference, Klagenfurt, 1978), pp. 213–218. Heyn, Klagenfurt (1979)
Pastijn, F.: Varieties generated by ordered bands II. Order 22, 129–143 (2005)
Pastijn, F., Zhao, X.Z.: Varieties of idempotent semirings with commutative addition. Algebra Universalis 54, 301–321 (2005)
Ren, M.M., Jackson, M., Zhao, X.Z., Lei, D.L.: Flat extensions of groups and limit varieties of ai-semirings. Preprint arXiv:2208.13973 (2022)
Ren, M.M., Zhao, X.Z.: On free Burnside ai-semirings. Semigroup Forum 90(1), 174–183 (2015)
Ren, M.M., Zhao, X.Z., Shao, Y.: On a variety of Burnside ai-semirings satisfying \(x^{n}\approx x\). Semigroup Forum 93(3), 501–515 (2016)
Ren, M.M., Zhao, X.Z., Wang, A.F.: On the varieties of ai-semirings satisfying \(x^{3}\approx x\). Algebra Universalis 77, 395–408 (2017)
Sapir, M.V.: Combinatorial Algebra: Syntax and Semantics. Springer, Cham (2014)
Schein, B.M.: Homomorphisms and subdirect decompositions of semigroups. Pac. J. Math. 17, 529–547 (1966)
Székély, Z.: Computational complexity of the finite membership problem for varieties. Int. J. Algebra Comput. 12, 811–823 (2002)
Volkov, M.V.: Semiring identities of the Brandt monoid. Algebra Universalis 82, 42 (2021)
Willard, R.: On McKenzie’s method. Period. Math. Hung. 32, 149–165 (1996)
Zhao, X., Ren, M., Crvenković, S., Shao, Y., Dapić, P.: The variety generated by an AI-semiring of order three. Ural Math. J. 6, 117–132 (2020)
Zhao, X.Z.: Idempotent semirings with a commutative additive reduct. Semigroup Forum 64, 289–296 (2002)
Zhao, X.Z., Shum, K.P., Guo, Y.Q.: \({\cal{L} }\)-subvarieties of the variety of idempotent semirings. Algebra Universalis 46, 75–96 (2001)
Acknowledgements
The authors would like to thank Prof. Marcel Jackson for his valuable suggestions and for helping to prepare the final version of this paper. The authors also thank the anonymous referee for an unusually careful reading of the paper that has led to a substantial improvement of this paper. This paper is supported by National Natural Science Foundation of China (11971383, 11571278) and Natural Science Foundation of Shaanxi Province (2022 JM-009).
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Mikhail Volkov.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Wu, Y.N., Zhao, X.Z. & Ren, M.M. On varieties of flat nil-semirings. Semigroup Forum 106, 271–284 (2023). https://doi.org/10.1007/s00233-023-10337-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00233-023-10337-2