# Submonoids of groups, and group-representability of restricted relation algebras

## TL;DR

This paper affirms Marek Kuczma's 1980 question by constructing specific subsemigroups in groups that generate the entire group through a particular product pattern, and extends this to representing certain relation algebras within groups.

## Contribution

It provides a positive answer to Kuczma's question and introduces a general framework for representing relation algebras with subsets of groups.

## Key findings

- Constructed subsemigroups generating entire groups via specific products
- Extended results to broader classes of relation algebras
- Presented variants of the main representation theorem

## 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} \dots\,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 subsets of a group. We also sketch several variants of the latter result.