Abstract
This note gives an explicit construction of the one-generated free domain semiring. In particular it is proved that the elements can be represented uniquely by finite antichains in the poset of finite strictly decreasing sequences of nonnegative integers. It is also shown that this domain semiring can be represented by sets of binary relations with union, composition and relational domain as operations.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Andréka, H.: On the representation problem of distributive semilattice-ordered semigroups. Abstracts of the AMS 10(2), 174 (preprint, 1988)
Andréka, H.: Representations of distributive lattice-ordered semigroups with binary relations. Algebra Universalis 28, 12–25 (1991)
Birkhoff, G.: Lattice Theory, 3rd edn., vol. 25, pp. viii+420. AMS Colloquium Publications, AMS (1967)
Bredihin, D.A., Schein, B.M.: Representations of ordered semigroups and lattices by binary relations. Colloq. Math. 39, 1–12 (1978)
Desharnais, J., Möller, B., Struth, G.: Kleene algebra with domain. ACM Transactions on Computational Logic 7(4), 798–833 (2006)
Desharnais, J., Struth, G.: Modal Semirings Revisited, Research Report CS-08-01, Department of Computer Science, The University of Sheffield (2008)
McCune, W.: Prover9 (2007), http://www.prover9.org
Möller, B., Struth, G.: Algebras of modal operators and partial correctness. Theoretical Computer Science 351, 221–239 (2006)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Jipsen, P., Struth, G. (2008). The Structure of the One-Generated Free Domain Semiring. In: Berghammer, R., Möller, B., Struth, G. (eds) Relations and Kleene Algebra in Computer Science. RelMiCS 2008. Lecture Notes in Computer Science, vol 4988. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-78913-0_18
Download citation
DOI: https://doi.org/10.1007/978-3-540-78913-0_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-78912-3
Online ISBN: 978-3-540-78913-0
eBook Packages: Computer ScienceComputer Science (R0)