Abstract
We study ideal-simple commutative semirings and summarize the results giving their classification, in particular when they are finitely generated. In the principal case of (para)semifields, we then consider their minimal number of generators and show that it grows linearly with the depth of an associated rooted forest.
Similar content being viewed by others
Data availability
Data sharing not applicable to this article as datasets were neither generated nor analysed.
References
Anderson, M., Feil, T.: Lattice-Ordered Groups. Reidel Texts in the Mathematical Sciences (1988)
El Bashir, R., Hurt, J., Jančařík, A., Kepka, T.: Simple commutative semirings. J. Algebra 236, 277–306 (2001)
Belluce, L.P., Di Nola, A.: Yosida type representation for perfect MV-algebras. Math. Logic Quart. 42, 551–563 (1996)
Belluce, L.P., Di Nola, A., Ferraioli, A.R.: MV-semirings and their sheaf representations. Order 30, 165–179 (2013)
Belluce, L.P., Di Nola, A., Georgescu, G.: Perfect MV-algebras and l-rings. J. Appl. Non-Classical Logics 9, 159–172 (1999)
Busaniche, M., Cabrer, L., Mundici, D.: Confluence and combinatorics in finitely generated unital lattice-ordered abelian groups. Forum Math. 24, 253–271 (2012)
Di Nola, A., Gerla, B.: Algebras of Lukasiewicz’s logic and their semiring reducts. Contemp. Math. 377, 131–144 (2005)
Droste, M., Kuich, W., Vogler, H. (eds.): Handbook of Weighted Automata. Springer (2009)
Gerla, B., Russo, C., Spada, L.: Representation of perfect and local MV-algebras. Math. Slovaca 61, 327–340 (2011)
Glass, A.M.W., Holland, W.C.: Lattice-Ordered Groups. Kluwer Academic Publishers, Dordrecht (1989)
Golan, J.S.: Semirings and Their Applications. Kluwer Academic, Dordrecht (1999)
Il’in, S.N., Katsov, Y., Nam, T.G.: Toward homological structure theory of semimodules: on semirings all of whose cyclic semimodules are projective. J. Algebra 476, 238–266 (2017)
Itenberg, I., Mikhalkin, G., Shustin, E.: Tropical Algebraic Geometry, 2nd edn. Birkhäuser, Basel (2009)
Izhakian, Z., Rowen, L.: Congruences and coordinate semirings of tropical varieties. Bull. Sci. Math. 140(3), 231–259 (2016)
Ježek, J., Kepka, T.: Finitely generated commutative division semirings. Acta Univ. Carolin. Math. Phys. 51, 3–27 (2010)
Ježek, J., Kala, V., Kepka, T.: Finitely generated algebraic structures with various divisibility conditions. Forum Math. 24, 379–397 (2012)
Kala, V.: Lattice-ordered abelian groups finitely generated as semirings. J. Commut. Alg. 9, 387–412 (2017)
Kala, V., Kepka, T.: A note on finitely generated ideal-simple commutative semirings. Comment. Math. Univ. Carol. 49, 1–9 (2008)
Kala, V., Kepka, T., Korbelář, M.: Notes on commutative parasemifields. Comment. Math. Univ. Carolin. 50, 521–533 (2009)
Kala, V., Korbelář, M.: Congruence simple subsemirings of \(\mathbb{Q} ^+\). Semigroup Forum 81, 286–296 (2010)
Kala, V., Korbelář, M.: Idempotence of finitely generated commutative semifields. Forum Math. 30, 1461–1474 (2018)
Katsov, Y., Nam, T.G., Zumbrägel, J.: On simpleness of semirings and complete semirings. J. Algebra Appl. 13, 29 (2014)
Korbelář, M., Landsmann, G.: One-generated semirings and additive divisibility. J. Algebra Appl. 16, 1750038 (2017)
Leichtnam, E.: A classification of the commutative Banach perfect semi-fields of characteristic 1. Appl. Math. Ann. 369, 653–703 (2017)
Litvinov, G.L.: The Maslov dequantization, idempotent and tropical mathematics: a brief introduction. Contemp. Math. 377, 1–17 (2005). Extended version at arXiv:math/0507014
Maze, G., Monico, C., Rosenthal, J.: Public key cryptography based on semigroup actions. Adv. Math. Commun. 1, 489–507 (2007)
Monico, C.J.: Semirings and semigroup actions in public-key cryptography. PhD Thesis, University of Notre Dame (2002)
Mundici, D.: Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus. J. Funct. Anal. 65, 15–63 (1986)
Di Nola, A., Lettieri, A.: Perfect MV-algebras are categorically equivalent to abelian \(\ell \)-groups. Studia Logica 53, 417–432 (1994)
Šíma, L.: Finitely generated semirings and semifields. Master’s thesis, Charles University (2021)
Weinert, H.J.: Über Halbringe und Halbkörper. I. Acta Math. Acad. Sci. Hungar. 13, 365–378 (1962)
Weinert, H.J., Wiegandt, R.: On the structure of semifields and lattice-ordered groups. Period. Math. Hungar. 32, 147–162 (1996)
Yang, Y.: \(\ell \)-Groups and Bézout Domains. PhD Thesis, Universität Stuttgart (2006)
Zumbrägel, J.: Public-key cryptography based on simple semirings. PhD Thesis, Universität Zürich (2008)
Acknowledgements
We thank Miroslav Korbelář and Jiří Šíma for helpful discussions and suggestions, and the anonymous referee for a number of very useful corrections and suggestions (in particular, for proposing Theorem 6.3 and its proof).
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no Conflict of interest.
Additional information
Communicated by Presented by K. A. Kearnes.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
V. K. was supported by Czech Science Foundation GAČR, Grant 21-00420M, and Charles University Research Centre program UNCE/SCI/022.
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
Kala, V., Šíma, L. On minimal semiring generating sets of finitely generated commutative parasemifields. Algebra Univers. 85, 24 (2024). https://doi.org/10.1007/s00012-024-00853-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00012-024-00853-9