Two-sided expansions of monoids

TL;DR

This paper introduces a new framework for expanding monoids into two-sided restriction monoids, generalizing prefix group expansions and linking their structure to inverse monoids via partial action products.

Contribution

It defines the free two-sided restriction monoid generated by a monoid with relations, and shows how to construct it using partial action products related to inverse monoids.

Findings

${ m ext{FR}}_R(M)$ can be constructed from $M$ and the idempotent semilattice of ${ m ext{FI}}_R(M)$

The semilattice of projections of ${ m ext{FR}}_R(M)$ is isomorphic to that of ${ m ext{FI}}_R(M)$

The structure of ${ m ext{FR}}_R(M)$ reflects properties of $M$, such as cancellativity and embeddability into a group.

Abstract

We initiate the study of expansions of monoids in the class of two-sided restriction monoids and show that generalizations of the Birget-Rhodes prefix group expansion, despite the absence of involution, have rich structure close to that of respective relatively free inverse monoids. For a monoid $M$, we define ${\mathcal{FR}}_R(M)$ to be the freest two-sided restriction monoid generated by a bijective copy, $M'$, of the underlying set of $M$, such that the inclusion map $\iota\colon M\to {\mathcal{FR}}_R(M)$ is determined by a set of relations, $R$, so that $\iota$ is a premorphism which is weaker than a homomorphism. Our main result states that ${\mathcal{FR}}_R(M)$ can be constructed, by means of a partial action product construction, from $M$ and the idempotent semilattice of ${\mathcal{FI}}_R(M)$, the free $M'$-generated inverse monoid subject to relations $R$. In particular, the semilattice of projections of ${\mathcal{FR}}_R(M)$ is isomorphic to the idempotent semilattice of ${\mathcal{FI}}_R(M)$. The result by Fountain, Gomes and Gould on the structure of the free two-sided restriction monoid is recovered as a special case of our result. We show that important properties of ${\mathcal{FR}}_R(M)$ are well agreed with suitable properties of $M$, such as being cancellative or embeddable into a group. We observe that if $M$ is an inverse monoid, then ${\mathcal{FI}}_s(M)$, the free inverse monoid with respect to strong premorphisms, is isomorphic to the Lawson-Margolis-Steinberg generalized prefix expansion $M^{pr}$. This gives a presentation of $M^{pr}$ and leads to a model for ${\mathcal{FR}}_s(M)$ in terms of the known model for $M^{pr}$.