3 deleted 12 characters in body

Let $\textbf{BG}$ be the pseudovariety of block groups, also known as $\textbf{EJ}, \textbf{PG},\ldots,\text{etc.}$(see [1]), and let $\textbf{R}$ be the pseudovariety of R-trivial monoids, by the Green's R relation.

Is the pseudovariety $\textbf{BG}\cap\textbf{R}$ well known in the field of semigroup&monoid theory? Is there somewhere in the literature a concrete characterization of this pseudovariety (hopefully) in terms of formal languages recognized by it's syntactic monoids? See [2].

All I already know is that this pseudovariety is defined by pseudoidentities $[(xy)^{\omega}x = (xy)^w$, $(x^{\omega}y^{\omega})^{\omega}=(y^{\omega}x^{\omega})^{\omega}]$.

[1] JE Pin, BG=PG: A Success Story

[2] Carlo Comin (mathoverflow.net/users/16758), Finite variation and idempotent languages and automata., http://mathoverflow.net/questions/71935

2 edited title

1

# Block Groups and R-trivial (finite) monoids.

Let $\textbf{BG}$ be the pseudovariety of block groups, also known as $\textbf{EJ}, \textbf{PG},\ldots,\text{etc.}$(see [1]), and let $\textbf{R}$ be the pseudovariety of R-trivial monoids, by the Green's R relation.

Is the pseudovariety $\textbf{BG}\cap\textbf{R}$ well known in the field of semigroup&monoid theory? Is there somewhere in the literature a concrete characterization of this pseudovariety (hopefully) in terms of formal languages recognized by it's syntactic monoids? See [2].

All I already know is that this pseudovariety is defined by pseudoidentities $[(xy)^{\omega}x = (xy)^w$, $(x^{\omega}y^{\omega})^{\omega}=(y^{\omega}x^{\omega})^{\omega}]$.

[1] JE Pin, BG=PG: A Success Story

[2] Carlo Comin (mathoverflow.net/users/16758), Finite variation and idempotent languages and automata., http://mathoverflow.net/questions/71935