Abstract
Marek Kuczma asked in 1980 whether for every positive integer n, there exists a subsemigroup M of a group G, such that G is equal to the n-fold product \(M\,M^{-1} M\,M^{-1} \ldots \,M^{(-1)^{n-1}}\), but not to any proper initial subproduct of this product. We answer his question affirmatively, and prove a more general result on representing a certain sort of relation algebra by a family of subsets of a group. We also sketch several variants of the latter result.
Similar content being viewed by others
References
Gamow, G.: One, two, three...infinity. Viking Press, New York (1947)
Jónsson, B.: The theory of binary relations. In: Algebraic logic (Budapest, 1988). Colloq. Math. Soc. János Bolyai, vol. 54, pp. 245–292. North-Holland, Amsterdam (1991)
McKenzie, R.: Representations of integral relation algebras. Mich. Math. J. 17, 279–287 (1970)
Siebzehnte internationale Tagung über Funktionalgleichungen in Oberwolfach vom 17.6. bis 23.6.1979, Aequ. Math. 20, 286–315 (1980)
Wikipedia: Relation algebra. https://en.wikipedia.org/wiki/Relation_algebra
Author information
Authors and Affiliations
Corresponding author
Additional information
Presented by J.B. Nation.
To the memory of Bjarni Jónsson.
This article is part of the topical collection “In memory of Bjarni Jónsson” edited by J.B. Nation.
Work partly supported by NSF Contract MCS 80-02317. (The author apologizes for the long delay in publishing this work, most of which was done in 1981.)
http://arxiv.org/abs/1702.06088. After publication of this note, updates, errata, related references etc., if found, will be recorded at http://math.berkeley.edu/~gbergman/papers/.
Rights and permissions
About this article
Cite this article
Bergman, G.M. Submonoids of groups, and group-representability of restricted relation algebras. Algebra Univers. 79, 19 (2018). https://doi.org/10.1007/s00012-018-0488-x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00012-018-0488-x