A class of maps on the torus and their vertex orbits

Abstract: A tiling (edge-to-edge) of the plane is a family of tiles that cover the plane without gaps or overlaps. Vertex figure of a vertex in a tiling to be the union of all edges incident to that vertex. A tiling is $k$-vertex-homogeneous if any two vertices with congruent vertex figures are symmetric with each other and the vertices form precisely $k$ transitivity classes with respect to the group of all symmetries of the tiling. In this article, we discuss that if a map is the quotient of a plane's $k$-vertex-homogeneous lattice ($k \ge 4$) then what would be the sharp bounds of the number of vertex orbits.

\section{Introduction}
Tilings of the plane by only regular polygons define the most symmetric tilings. Such tilings have been known since antiquity, but most of the classification results involving them have appeared only in the last two decades.
Tiling is associated with it in a natural way to vertices, edges and tiles.
The vertices, edges and tiles together of a tiling is called the elements of that tiling. Regularity of a tiling is defined by equivalence classes of elements of the tiling under the symmetry group of the tiling. In group theory, these equivalence classes are called the element's orbits under the symmetry group.
We know that there are six equilateral triangles, four squares or three regular hexagons at a vertex, yielding the three regular (flag-transitivity) tilings. If the requirement of flag-transitivity is relaxed to one of vertex-transitivity, while the condition that the tiling is edge-to-edge is kept, there are eight additional tilings possible, known as Archimedean, uniform or semiregular tilings. Similarly, the tilings may be classified by the number of orbits of vertices, edges and tiles. If there are $k$ orbits of vertices, a tiling is known as $k$-uniform or $k$-isogonal; if there are $t$ orbits of tiles, as $t$-isohedral; if there are $e$ orbits of edges, as $e$-isotoxal. Note that $k$-uniform tilings with the same vertex figures can be further identified by their wallpaper group symmetry.
We say that two vertices of the tiling are symmetric with each other if they are in the same orbit. A tiling is called \emph{$k$-vertex-homogeneous} if any two vertices with congruent vertex figures are symmetric with each other and the vertices form precisely $k$ transitivity classes with respect to the group of all symmetries of the tiling. We know from \cite{chavey89, Otto1977, GS1977, GS1981} that there are exactly $135$ distinct vertex-homogeneous tilings on the plane. Since the plane is the universal cover of the torus and the vertex-homogeneous tilings have finite fundamental domain, it is interesting to ask:  if a map on the torus is the quotient of vertex-homogeneous tilings then what would be the bounds on the vertex orbits. That is, let $E$ be a vertex-homogeneous tiling on the plane and $X = E/H$ for some fixed element free group $H$. In this article, we will discuss and determine the sharp bounds of the vertex orbits of these quotient maps $X$ on the torus.

We know from \cite{Otto1977, GS1977, GS1981} that there are $11$ $1$-vertex-homogeneous tilings, $20$ $2$-vertex-homogeneous, $39$ $3$-vertex-homogeneous, $33$ $4$-vertex-homogeneous, $15$ $5$-vertex-homogeneous, $10$ $6$-vertex-homogeneous and $7$ $7$-vertex-homogeneous non isomorphic tilings on $\mathbb{R}^2$ and there does not exist $k$-vertex-homogeneous tilings on $\mathbb{R}^2$ if $k \ge 8$ (see \cite{Otto1977}, \cite{GS1977}, \cite{GS1981}).

By a $map$, we mean a $2$-cell (called {\em faces}) decomposition of a compact connected surface. A surjective mapping $\eta \colon Y \to X$ from a map $Y$ to a map $X$ is called a $covering$ if it preserves adjacency and sends vertices, edges, faces of $Y$ to vertices, edges, faces of $X$ respectively. Let $X$ be a map on the torus and $\eta \colon Y \to X $ be a covering map. Let the vertices of $X$ form $m$ Aut$(X)$-orbits. If $Y$ is a $1$-uniform tiling on the plane then $m \le 6$ (see \cite{DM2017}, \cite{DM2018}). If $Y$ is a $2$-uniform tiling on the plane then $m \le 9$ (see \cite{DM2020}). If $Y$ is a $3$-uniform tiling on the plane then $m \le 15$ (see \cite{DM2020}). Here, we prove the following.

\begin{theorem} \label{theo1} Let $X$ be a map on the torus and $\eta \colon Y \to X $ be a covering map. Let the vertices of $X$ form $m$ ${Aut}(X)$-orbits. Let $K_i$ for $1 \le i \le 65$ (in Example \ref{exam:plane1}) denote $k$-vertex-homogeneous tilings on the plane for some $k \in \{4, 5, 6, 7\}$.\\
\smallskip
{\rm (1)} If $Y = K_{1}, K_{2}, K_{4}, K_{8}, K_{9}, K_{14}, K_{20}, K_{24}, K_{26}, K_{31}, K_{32}, K_{33}$, then, $m \le 6$.\\
\smallskip
{\rm (2)} If $Y = K_{6}, K_{7}$, then, $m = 4$.\\
\smallskip
{\rm (3)} If $Y = K_{3}, K_{30}$, then, $m \le 5$.\\
\smallskip
{\rm (4)} If $Y = K_{5}, K_{21}, K_{25}, K_{29}, K_{34}, K_{40}, K_{43}, K_{47}$, then, $m \le 7$.\\
\smallskip
{\rm (5)} If $Y = K_{22}, K_{35}, K_{39}, K_{41}, K_{42}, K_{44}$, then, $m \le 8$.\\
\smallskip
{\rm (6)} If $Y = K_{18}, K_{52}, K_{53}, K_{56}$, then, $m \le 9$.\\
\smallskip
{\rm (7)} If $Y = K_{13}, K_{54}$, then, $m \le 10$.\\
\smallskip
{\rm (8)} If $Y = K_{37}, K_{60}$, then, $m \le 11$.\\
\smallskip
{\rm (9)} If $Y = K_{19}, K_{65}$, then, $m \le 12$.\\
\smallskip
{\rm (10)} If $Y = K_{15}, K_{16}, K_{17}, K_{48}$, then, $m \le 13$.\\
\smallskip
{\rm (11)} If $Y = K_{11}, K_{12}, K_{28}$, then, $m \le 15$.\\
\smallskip
{\rm (12)} If $Y = K_{10}, K_{38}$, then, $m \le 16$.\\
\smallskip
{\rm (13)} If $Y = K_{27}, K_{46}$, then, $m \le 18$.\\
\smallskip
{\rm (14)} If $Y = K_{45}$, then, $m \le 19$.\\
\smallskip
{\rm (15)} If $Y = K_{23}, K_{57}$, then, $m \le 21$.\\
\smallskip
{\rm (16)} If $Y = K_{36}, K_{63}$, then, $m \le 22$.\\
\smallskip
{\rm (17)} If $Y = K_{49}$, then, $m \le 24$.\\
\smallskip
{\rm (18)} If $Y = K_{51}$, then, $m \le 25$.\\
\smallskip
{\rm (19)} If $Y = K_{58}$, then, $m \le 26$.\\
\smallskip
{\rm (20)} If $Y = K_{55}$, then, $m \le 27$.\\
\smallskip
{\rm (21)} If $Y = K_{64}$, then, $m \le 28$.\\
\smallskip
{\rm (22)} If $Y = K_{50}$, then, $m \le 30$.\\
\smallskip
{\rm (23)} If $Y = K_{59}, K_{61}, K_{62}$, then, $m \le 33$.\\
\smallskip
{\rm (24)} The bounds in {\rm (1)} - {\rm (23)} are sharp.
\end{theorem}

\section{$k$-vertex-homogeneous tilings on the plane, $k \ge 4$}\label{fig:kuniform}
\begin{example} \label{exam:plane1}
{\rm $K_i$ $(1\le i \le 33)$ are $4$-vertex-homogeneous, $K_i$ $(34\le i \le 48)$ are $5$-vertex-homogeneous, $K_i$ $(49\le i \le 58)$ are $6$-vertex-homogeneous and $K_i$ $(59\le i \le 65)$ are $7$-vertex-homogeneous tilings on the plane. We need these tilings in Theorems \ref{theo1}.}
\end{example}
\begin{figure}[H]
    \centering
    \includegraphics[height=2.9cm, width= 2.9cm]{K14u.pdf}
    \includegraphics[height=2.9cm, width= 2.9cm]{K24u.pdf}
    \includegraphics[height=2.9cm, width= 2.9cm]{K34u.pdf}
    \includegraphics[height=2.9cm, width= 2.9cm]{K44u.pdf}
    \includegraphics[height=2.9cm, width= 2.9cm]{K54u.pdf}
    \end{figure}
    \vspace{-7mm}
\begin{figure}[H]
    \centering
    \includegraphics[height=2.9cm, width= 2.9cm]{K64u.pdf}
    \includegraphics[height=2.9cm, width= 2.9cm]{K74u.pdf}
    \includegraphics[height=2.9cm, width= 2.9cm]{K84u.pdf}
    \includegraphics[height=2.9cm, width= 2.9cm]{K94u.pdf}
    \includegraphics[height=2.9cm, width= 2.9cm]{K104u.pdf}
     \vspace{-7mm}
\end{figure}
\begin{figure}[H]
    \centering
    \includegraphics[height=2.9cm, width= 2.9cm]{K114u.pdf}
    \includegraphics[height=2.9cm, width= 2.9cm]{K124u.pdf}
    \includegraphics[height=2.9cm, width= 2.9cm]{K134u.pdf}
    \includegraphics[height=2.9cm, width= 2.9cm]{K144u.pdf}
    \includegraphics[height=2.9cm, width= 2.9cm]{K154u.pdf}
     \vspace{-7mm}
\end{figure}
\begin{figure}[H]
    \centering
    \includegraphics[height=2.9cm, width= 2.9cm]{K164u.pdf}
    \includegraphics[height=2.9cm, width= 2.9cm]{K174u.pdf}
    \includegraphics[height=2.9cm, width= 2.9cm]{K184u.pdf}
    \includegraphics[height=2.9cm, width= 2.9cm]{K194u.pdf}
    \includegraphics[height=2.9cm, width= 2.9cm]{K204u.pdf}
     \vspace{-7mm}
\end{figure}
\begin{figure}[H]
    \centering
    \includegraphics[height=2.9cm, width= 2.9cm]{K214u.pdf}
    \includegraphics[height=2.9cm, width= 2.9cm]{K224u.pdf}
    \includegraphics[height=2.9cm, width= 2.9cm]{K234u.pdf}
    \includegraphics[height=2.9cm, width= 2.9cm]{K244u.pdf}
    \includegraphics[height=2.9cm, width= 2.9cm]{K254u.pdf}
     \vspace{-7mm}
\end{figure}
\begin{figure}[H]
    \centering
    \includegraphics[height=2.9cm, width= 2.9cm]{K264u.pdf}
    \includegraphics[height=2.9cm, width= 2.9cm]{K274u.pdf}
    \includegraphics[height=2.9cm, width= 2.9cm]{K284u.pdf}
    \includegraphics[height=2.9cm, width= 2.9cm]{K294u.pdf}
    \includegraphics[height=2.9cm, width= 2.9cm]{K304u.pdf}
     \vspace{-7mm}
\end{figure}
\begin{figure}[H]
    \centering
    \includegraphics[height=2.9cm, width= 2.9cm]{K314u.pdf}
    \includegraphics[height=2.9cm, width= 2.9cm]{K324u.pdf}
    \includegraphics[height=2.9cm, width= 2.9cm]{K334u.pdf}
    \includegraphics[height=2.9cm, width= 2.9cm]{K345u.pdf}
    \includegraphics[height=2.9cm, width= 2.9cm]{K355u.pdf}
 \vspace{-7mm}
\end{figure}
\begin{figure}[H]
    \centering
    \includegraphics[height=2.9cm, width= 2.9cm]{K365u.pdf}
    \includegraphics[height=2.9cm, width= 2.9cm]{K375u.pdf}
    \includegraphics[height=2.9cm, width= 2.9cm]{K385u.pdf}
    \includegraphics[height=2.9cm, width= 2.9cm]{K395u.pdf}
    \includegraphics[height=2.9cm, width= 2.9cm]{K405u.pdf}
    \end{figure}
     \vspace{-7mm}
\begin{figure}[H]
    \centering
    \includegraphics[height=2.9cm, width= 2.9cm]{K415u.pdf}
    \includegraphics[height=2.9cm, width= 2.9cm]{K425u.pdf}
    \includegraphics[height=2.9cm, width= 2.9cm]{K435u.pdf}
    \includegraphics[height=2.9cm, width= 2.9cm]{K445u.pdf}
    \includegraphics[height=2.9cm, width= 2.9cm]{K455u.pdf}
    \end{figure}
     \vspace{-7mm}
\begin{figure}[H]
    \centering
    \includegraphics[height=2.9cm, width= 2.9cm]{K465u.pdf}
    \includegraphics[height=2.9cm, width= 2.9cm]{K475u.pdf}
    \includegraphics[height=2.9cm, width= 2.9cm]{K485u.pdf}
    \includegraphics[height=2.9cm, width= 2.9cm]{K496u.pdf}
    \includegraphics[height=2.9cm, width= 2.9cm]{K506u.pdf}
    \end{figure}
     \vspace{-7mm}
\begin{figure}[H]
    \centering
    \includegraphics[height=2.9cm, width= 2.9cm]{K516u.pdf}
    \includegraphics[height=2.9cm, width= 2.9cm]{K526u.pdf}
    \includegraphics[height=2.9cm, width= 2.9cm]{K536u.pdf}
    \includegraphics[height=2.9cm, width= 2.9cm]{K546u.pdf}
    \includegraphics[height=2.9cm, width= 2.9cm]{K556u.pdf}
    \end{figure}
     \vspace{-7mm}
\begin{figure}[H]
    \centering
    \includegraphics[height=2.9cm, width= 2.9cm]{K566u.pdf}
    \includegraphics[height=2.9cm, width= 2.9cm]{K576u.pdf}
    \includegraphics[height=2.9cm, width= 2.9cm]{K586u.pdf}
    \includegraphics[height=2.9cm, width= 2.9cm]{K597u.pdf}
    \includegraphics[height=2.9cm, width= 2.9cm]{K607u.pdf}
    \end{figure}
     \vspace{-7mm}
\begin{figure}[H]
    \centering
    \includegraphics[height=2.9cm, width= 2.9cm]{K617u.pdf}
    \includegraphics[height=2.9cm, width= 2.9cm]{K627u.pdf}
    \includegraphics[height=2.9cm, width= 2.9cm]{K637u.pdf}
    \includegraphics[height=2.9cm, width= 2.9cm]{K647u.pdf}
    \includegraphics[height=2.9cm, width= 2.9cm]{K657u.pdf}
    \end{figure}

\section{Proof} \label{proof-1}

Gr\"{u}nbaum and G. C. Shephard \cite{GS1977, GS1981} and Kr\"{o}tenheerdt \cite{Otto1977} have discussed the existence and uniqueness of the $k$-vertex-homogeneous lattice ($k \ge 4$) $K_i$, $i =1, 2, \dots, 65$ of the plane. Thus, we have the following.

\begin{proposition}\label{prop1}
$K_{i}$ ($1 \le i \le 65$) (in Example \ref{exam:plane1}) are unique up to isomorphism.
\end{proposition}

\begin{proof}[Proof of Theorem \ref{theo1}]
Let $X_1$ be a map on the torus that is the quotient of the plane's $4$-uniform lattice $K_1$, where $K_1$ is as shown in Section \ref{fig:kuniform}. Let the vertices of $X_1$ form $m_1$ ${\rm Aut}(X_1)$-orbits and $V_{1} = V(K_1)$ be the vertex set of $K_1$. Let $H_{1}$ be the group of all the translations of $K_1$. So, $H_1 \leq {\rm Aut}(K_1)$.

Since $X_1$ is a map on the torus that is the quotient of the plane's $4$-uniform lattice $K_1$ (as by Proposition \ref{prop1}, $K_1$ is unique), so, we can assume that there exists a polyhedral covering map $\eta_{1} : K_1 \to X_1$, where $X_1 = K_1/\Gamma_{1}$  for some fixed element (vertex, edge or face) free subgroup $\Gamma_{1} \le {\rm Aut}(K_1)$. Hence, $\Gamma_{1}$
consists of translations and glide reflections. Since $X_1 =
K_1/\Gamma_{1}$ is orientable, $\Gamma_{1}$ does not contain any glide reflection. Thus, $\Gamma_{1} \leq H_{1}$.

 We take the middle point of the line segment joining vertices $B_{0}$ and $B_{1}$ as the origin $(0,0)$ of $K_1$. Let $\alpha_1 := B_2 - B_{0}$ and $\beta_1 := B_{2}- B_{0}$ in $K_1$. Then $$H_1 := \langle x\mapsto x+\alpha_1, x\mapsto x+\beta_1\rangle.$$ Under the action of $H_1$, vertices of $K_1$ form eleven orbits.
Consider the subgroup $G_1$ of ${\rm Aut}(K_1)$ generated by $H_1$ and the map (the half rotation) $x\mapsto -x$. So,
\begin{align*}
  G_1 & =\{ \alpha : x\mapsto \varepsilon x + m\alpha_1 + n\beta_1 \, : \, \varepsilon=\pm 1, m, n\in  \ensuremath{\mathbb{Z}}\} \cong H_1\rtimes \mathbb{Z}_2.
\end{align*}
Clearly, under the action of $G_1$, vertices of $K_1$ form six orbits. The orbits are
$
 O_1 :=\langle A_{0} \rangle, O_2 :=\langle B_0 \rangle, O_3 :=\langle C_{0} \rangle, O_4 :=\langle C_1 \rangle, O_5 :=\langle D_0 \rangle, O_6 :=\langle D_1 \rangle.
$

\begin{claim}\label{claim1}
If $S \leq H_1$ then $S \unlhd G_1$.
\end{claim}

\smallskip

Let $g \in G_1$ and $s\in S$. Then $g(x) = \varepsilon x+ma+nb$ and $s(x) = x + pa+ qb$ for some $m, n, p, q \in \mathbb{Z}$ and $\varepsilon\in\{1, -1\}$.
Therefore,
\begin{align*}
(g\circ s\circ g^{-1})(x) & = (g\circ s)(\varepsilon(x-ma-nb))\\
                          & = g(\varepsilon(x-ma-nb-rc)+pa+qb)\\
                          & =x-ma-nb+\varepsilon(pa+qb)+ma+nb\\
                          & = x+\varepsilon(pa+qb)\\
                          & =s s^{\varepsilon}(x).
\end{align*}
 Thus, $g\circ s\circ g^{-1} = s^{\varepsilon}\in S$. This completes the claim.

\smallskip

By Claim 1, $\Gamma_1$ is a normal subgroup of $G_1$. Therefore, $G_1/\Gamma_1$ acts on $X_1= K_1/\Gamma_1$.
Since
$
 O_1 :=\langle A_{0} \rangle, O_2 :=\langle B_0 \rangle, O_3 :=\langle C_{0} \rangle, O_4 :=\langle C_1 \rangle, O_5 :=\langle D_0 \rangle, O_6 :=\langle D_1 \rangle
$
 are the $G_1$-orbits, it follows that $\eta_1(O_j)$ for $j=1, 2, \dots, 6$ are the $(G_1/\Gamma_1)$-orbits. Since the vertex set of $K_1$ is $\sqcup_{j=1}^{6}\eta_1(O_j)$ and $G_1/\Gamma_1 \leq {\rm Aut}(X_1)$, it follows that the number of ${\rm Aut}(X_1)$-orbits of vertices is $\leq 6$, and hence, $m_1 \le 6$.

\medskip

Let $I_1= \{2,4,8,9,14,20,24,26,31,32,33\}$. For $i \in I_1$, let $X_{i} = K_{i}/\Gamma_{i}$ be a map on the torus, for some fixed element (vertex, edge or face) free subgroup $\Gamma_{i} \le {\rm Aut}(K_{i})$. $K_i, i \in I_1$, are given in Section \ref{fig:kuniform}. Let the vertices of $X_{i}$ form $m_{i}$ ${\rm Aut}(X_{i})$-orbits.
In $K_{2}$, we take the middle point of the line segment joining vertices $u_{2}$ and $v_{2}$ as the origin $(0,0)$ and $\alpha_{2} := b_{2} - a_{2}$, $\beta_{2} := c_{2} - a_{2}$ $\in \mathbb{R}^2$.
In $K_{4}$, we take the middle point of the line segment joining vertices $u_{4}$ and $v_{4}$ as the origin $(0,0)$ and $\alpha_{4} := b_{4} - a_{4}$, $\beta_{4} := c_{4} - a_{4}$ $\in \mathbb{R}^2$.
In $K_{8}$, we take the middle point of the line segment joining vertices $u_{8}$ and $v_{8}$ as the origin $(0,0)$ and $\alpha_{8} := b_{8} - a_{8}$, $\beta_{8} := c_{8} - a_{8}$ $\in \mathbb{R}^2$.
In $K_{9}$, we take the middle point of the line segment joining vertices $u_{9}$ and $v_{9}$ as the origin $(0,0)$ and $\alpha_{9} := b_{9} - a_{9}$, $\beta_{9} := c_{9} - a_{9}$ $\in \mathbb{R}^2$.
In $K_{14}$, we take the middle point of the line segment joining vertices $u_{14}$ and $v_{14}$ as the origin $(0,0)$ and $\alpha_{14} := b_{14} - a_{14}$, $\beta_{14} := c_{14} - a_{14}$ $\in \mathbb{R}^2$.
In $K_{20}$, we take the middle point of the line segment joining vertices $u_{20}$ and $v_{20}$ as the origin $(0,0)$ and $\alpha_{20} := b_{20} - a_{20}$, $\beta_{20} := c_{20} - a_{20}$ $\in \mathbb{R}^2$.
In $K_{24}$, we take the middle point of the line segment joining vertices $u_{24}$ and $v_{24}$ as the origin $(0,0)$ and $\alpha_{24} := b_{24} - a_{24}$, $\beta_{24} := c_{24} - a_{24}$ $\in \mathbb{R}^2$.
In $K_{26}$, we take the middle point of the line segment joining vertices $u_{26}$ and $v_{26}$ as the origin $(0,0)$ and $\alpha_{26} := b_{26} - a_{26}$, $\beta_{26} := c_{26} - a_{26}$ $\in \mathbb{R}^2$.
In $K_{31}$, we take the middle point of the line segment joining vertices $u_{31}$ and $v_{31}$ as the origin $(0,0)$ and $\alpha_{31} := b_{31} - a_{31}$, $\beta_{31} := c_{31} - a_{31}$ $\in \mathbb{R}^2$.
In $K_{32}$, we take the middle point of the line segment joining vertices $u_{32}$ and $v_{32}$ as the origin $(0,0)$ and $\alpha_{32} := b_{32} - a_{32}$, $\beta_{32} := c_{32} - a_{32}$ $\in \mathbb{R}^2$.
In $K_{33}$, we take the middle point of the line segment joining vertices $u_{33}$ and $v_{33}$ as the origin $(0,0)$ and $\alpha_{33} := b_{33} - a_{33}$, $\beta_{33} := c_{33} - a_{33}$ $\in \mathbb{R}^2$.
Similarly as done for $K_1$, we define $H_i$ and $G_i$, for $i \in I_1$. By the same arguments as above and in Claim 1, for $i \in I_1$, $\Gamma_i \unlhd G_i$ and the number of $G_i/\Gamma_i$-orbits of vertices of $X_i$ is six. Hence, $m_{i} \le 6$, for $i \in I_1$.
In $K_i$, the six vertex orbits under $G_i$ are marked by the symbol \textbf{$\ast$} respectively for $i \in I_1$.
This completes the part {\rm (1)}.

\medskip

Let $I_2= \{6,7\}$. For $i \in I_2$, let $X_{i} = K_{i}/\Gamma_{i}$ be a map on the torus, for some fixed element (vertex, edge or face) free subgroup $\Gamma_{i} \le {\rm Aut}(K_{i})$. $K_i, i \in I_2$, are given in Section \ref{fig:kuniform}. Let the vertices of $X_{i}$ form $m_{i}$ ${\rm Aut}(X_{i})$-orbits.
In $K_6$, we take the point $a_{0}$ as the origin $(0,0)$ and $\alpha_6 := b_6 - a_{6}$, $\beta_6 := c_{6} - a_{6}$, $\gamma_6 := d_{6} - a_{6}$ $\in \mathbb{R}^2$.
In $K_{7}$, we take the middle point of the line segment joining vertices $u_{7}$ and $v_{7}$ as the origin $(0,0)$ and $\alpha_{7} := b_7 - a_{7}$, $\beta_{7} := c_{7} - a_{7}$ $\in \mathbb{R}^2$.
For $K_6$, we define $H_{6} := \langle x\mapsto x+\alpha_{6}, x\mapsto x+\beta_{6}, x\mapsto x+\gamma_{6}\rangle$ and
$ G_{6} :=\{ \alpha : x\mapsto \varepsilon x + m_{6}\alpha_{6} + n_{6}\beta_{6} +r_{6}\gamma_{6}   \, : \, \varepsilon=\pm 1, m_{6}, n_{6}, r_{6} \in  \ensuremath{\mathbb{Z}}\}$. For $K_7$, we define $H_7$ and $G_7$ similarly as done for $K_1$ . By the same arguments as above and in Claim 1, for $i \in I_2$, $\Gamma_i \unlhd G_i$ and the number of $G_i/\Gamma_i$-orbits of vertices of $X_i$ is four. Hence, $m_{i} = 4$, for $i \in I_2$.
In $K_6$ and $K_7$, the four vertex orbits under $G_6$ and $G_7$ are marked by the symbol $\ast$ respectively.
This completes the part {\rm (2)}.

\medskip

Let $I_3= \{3,30\}$. For $i \in I_3$, let $X_{i} = K_{i}/\Gamma_{i}$ be a map on the torus, for some fixed element (vertex, edge or face) free subgroup $\Gamma_{i} \le {\rm Aut}(K_{i})$. $K_i, i \in I_3$, are given in Section \ref{fig:kuniform}. Let the vertices of $X_{i}$ form $m_{i}$ ${\rm Aut}(X_{i})$-orbits.
In $K_{3}$, we take the middle point of the line segment joining vertices $u_{3}$ and $v_{3}$ as the origin $(0,0)$ and $\alpha_{3} := b_{3} - a_{3}$, $\beta_{3} := c_{3} - a_{3}$ $\in \mathbb{R}^2$.
In $K_{30}$, we take the middle point of the line segment joining vertices $u_{30}$ and $v_{30}$ as the origin $(0,0)$ and $\alpha_{30} := b_{30} - a_{30}$, $\beta_{30} := c_{30} - a_{30}$ $\in \mathbb{R}^2$
Similarly as done for $K_1$, we define $H_i$ and $G_i$, for $i \in I_3$. By the same arguments as above and in Claim 1, for $i \in I_3$, $\Gamma_i \unlhd G_i$ and the number of $G_i/\Gamma_i$-orbits of vertices of $X_i$ is five. Hence, $m_{i} \le 5$, for $i \in I_3$.
In $K_i$, the five vertex orbits under $G_i$ are marked by the symbol \textbf{$\ast$} respectively for $i \in I_3$.
This completes the part {\rm (3)}.

\medskip

Let $I_4 = \{5,21,25,29,34,40,43,47\}$. For $i \in I_4$, let $X_{i} = K_{i}/\Gamma_{i}$ be a map on the torus, for some fixed element (vertex, edge or face) free subgroup $\Gamma_{i} \le {\rm Aut}(K_{i})$. $K_i, i \in I_4$, are given in Section \ref{fig:kuniform}. Let the vertices of $X_{i}$ form $m_{i}$ ${\rm Aut}(X_{i})$-orbits.
In $K_{5}$, we take the middle point of the line segment joining vertices $u_{5}$ and $v_{5}$ as the origin $(0,0)$ and $\alpha_{5} := b_{5} - a_{5}$, $\beta_{5} := c_{5} - a_{5}$ $\in \mathbb{R}^2$.
In $K_{21}$, we take the middle point of the line segment joining vertices $u_{21}$ and $v_{21}$ as the origin $(0,0)$ and $\alpha_{21} := b_{21} - a_{21}$, $\beta_{21} := c_{21} - a_{21}$ $\in \mathbb{R}^2$.
In $K_{25}$, we take the middle point of the line segment joining vertices $u_{25}$ and $v_{25}$ as the origin $(0,0)$ and $\alpha_{25} := b_{25} - a_{25}$, $\beta_{25} := c_{25} - a_{25}$ $\in \mathbb{R}^2$.
In $K_{29}$, we take the middle point of the line segment joining vertices $u_{29}$ and $v_{29}$ as the origin $(0,0)$ and $\alpha_{29} := b_{29} - a_{29}$, $\beta_{29} := c_{29} - a_{29}$ $\in \mathbb{R}^2$.
In $K_{34}$, we take the vertex $a_{34}$ as the origin $(0,0)$ and $\alpha_{34} := b_{34} - a_{34}$, $\beta_{34} := c_{34} - a_{34}$ $\in \mathbb{R}^2$.
In $K_{40}$, we take the middle point of the line segment joining vertices $u_{40}$ and $v_{40}$ as the origin $(0,0)$ and $\alpha_{40} := b_{40} - a_{40}$, $\beta_{40} := c_{40} - a_{40}$ $\in \mathbb{R}^2$.
In $K_{43}$, we take the middle point of the line segment joining vertices $u_{43}$ and $v_{40}$ as the origin $(0,0)$ and $\alpha_{43} := b_{43} - a_{43}$, $\beta_{43} := c_{43} - a_{43}$ $\in \mathbb{R}^2$.
In $K_{47}$, we take the middle point of the line segment joining vertices $u_{47}$ and $v_{47}$ as the origin $(0,0)$ and $\alpha_{47} := b_{47} - a_{47}$, $\beta_{47} := c_{47} - a_{47}$ $\in \mathbb{R}^2$.
For all $i \in I_4$, we define $H_i$ and $G_i$ similarly as done for $K_1$. By the same arguments as above and in Claim 1, for $i \in I_4$, $\Gamma_i \unlhd G_i$ and the number of $G_i/\Gamma_i$-orbits of vertices of $X_i$ is seven. Hence, $m_{i} \le 7$, for $i \in I_4$.
In $K_i$, the seven vertex orbits under $G_i$ are marked by the symbol \textbf{$\ast$} respectively for $i \in I_4$.
This completes the part {\rm (4)}.

\medskip

Let $I_5 = \{22,35,39,41,42,44\}$. For $i \in I_5$, let $X_{i} = K_{i}/\Gamma_{i}$ be a  map on the torus, for some fixed element (vertex, edge or face) free subgroup $\Gamma_{i} \le {\rm Aut}(K_{i})$. $K_i, i \in I_5$, are given in Section \ref{fig:kuniform}. Let the vertices of $X_{i}$ form $m_{i}$ ${\rm Aut}(X_{i})$-orbits.
In $K_{22}$, we take the middle point of the line segment joining vertices $u_{22}$ and $v_{22}$ as the origin $(0,0)$ and $\alpha_{22} := b_{22} - a_{22}$, $\beta_{22} := c_{22} - a_{22}$ $\in \mathbb{R}^2$.
In $K_{35}$, we take the vertex $a_{35}$ as the origin $(0,0)$ and $\alpha_{35} := b_{35} - a_{35}$, $\beta_{35} := c_{35} - a_{35}$ $\in \mathbb{R}^2$.
In $K_{39}$, we take the middle point of the line segment joining vertices $u_{39}$ and $v_{39}$ as the origin $(0,0)$ and $\alpha_{39} := b_{39} - a_{39}$, $\beta_{39} := c_{39} - a_{39}$ $\in \mathbb{R}^2$.
In $K_{41}$, we take the middle point of the line segment joining vertices $u_{41}$ and $v_{41}$ as the origin $(0,0)$ and $\alpha_{41} := b_{41} - a_{41}$, $\beta_{41} := c_{41} - a_{41}$ $\in \mathbb{R}^2$.
In $K_{42}$, we take the middle point of the line segment joining vertices $u_{42}$ and $v_{42}$ as the origin $(0,0)$ and $\alpha_{42} := b_{42} - a_{42}$, $\beta_{42} := c_{42} - a_{42}$ $\in \mathbb{R}^2$.
In $K_{44}$, we take the vertex $a_{44}$ as the origin $(0,0)$ and $\alpha_{44} := b_{44} - a_{44}$, $\beta_{44} := c_{44} - a_{44}$ $\in \mathbb{R}^2$.
For all $i \in I_5$, we define $H_i$ and $G_i$ similarly as done for $K_1$. By the same arguments as above and in Claim 1, for $i \in I_5$, $\Gamma_i \unlhd G_i$ and the number of $G_i/\Gamma_i$-orbits of vertices of $X_i$ is eight. Hence, $m_{i} \le 8$, for $i \in I_5$.
In $K_i$, the eight vertex orbits under $G_i$ are marked by the symbol \textbf{$\ast$} respectively for $i \in I_5$.
This completes the part {\rm (5)}.

\medskip

Let $I_6 = \{18,52,53,56\}$. For $i \in I_6$, let $X_{i} = K_{i}/\Gamma_{i}$ be a  map on the torus, for some fixed element (vertex, edge or face) free subgroup $\Gamma_{i} \le {\rm Aut}(K_{i})$. $K_i, i \in I_6$, are given in Section \ref{fig:kuniform}.
Let the vertices of $X_{i}$ form $m_{i}$ ${\rm Aut}(X_{i})$-orbits.
In $K_{18}$, we take the middle point of the line segment joining vertices $u_{18}$ and $v_{18}$ as the origin $(0,0)$ and $\alpha_{18} := b_{18} - a_{18}$, $\beta_{18} := c_{18} - a_{18}$ $\in \mathbb{R}^2$.
In $K_{52}$, we take the vertex $a_{52}$ as the origin $(0,0)$ and $\alpha_{52} := b_{52} - a_{52}$, $\beta_{52} := c_{52} - a_{52}$, $\in \mathbb{R}^2$.
In $K_{53}$, we take the middle point of the line segment joining vertices $u_{53}$ and $v_{53}$ as the origin $(0,0)$ and $\alpha_{53} := b_{53} - a_{53}$, $\beta_{53} := c_{53} - a_{53}$ $\in \mathbb{R}^2$.
In $K_{56}$, we take the vertex $a_{56}$ as the origin $(0,0)$ and $\alpha_{56} := b_{56} - a_{56}$, $\beta_{56} := c_{56} - a_{56}$ $\in \mathbb{R}^2$.
For all $i \in I_6$, we define $H_i$ and $G_i$ similarly as done for $K_1$. By the same arguments as above and in Claim 1, for $i \in I_6$, $\Gamma_i \unlhd G_i$ and the number of $G_i/\Gamma_i$-orbits of vertices of $X_i$ is nine. Hence, $m_{i} \le 9$, for $i \in I_6$.
In $K_i$, the nine vertex orbits under $G_i$ are marked by the symbol \textbf{$\ast$} respectively for $i \in I_6$.
This completes the part {\rm (6)}.

\medskip

Let $I_7 = \{13,54\}$. For $i \in I_7$, let $X_{i} = K_{i}/\Gamma_{i}$ be a  map on the torus, for some fixed element (vertex, edge or face) free subgroup $\Gamma_{i} \le {\rm Aut}(K_{i})$. $K_i, i \in I_7$, are given in Section \ref{fig:kuniform}. Let the vertices of $X_{i}$ form $m_{i}$ ${\rm Aut}(X_{i})$-orbits.
In $K_{13}$, we take the vertex $a_{13}$ as the origin $(0,0)$ and $\alpha_{} := b_{13} - a_{13}$, $\beta_{13} := c_{13} - a_{13}$, $\gamma_{13} := d_{13} - a_{13}$ $\in \mathbb{R}^2$.
In $K_{54}$, we take the middle point of the line segment joining vertices $u_{54}$ and $v_{54}$ as the origin $(0,0)$ and $\alpha_{54} := b_{54} - a_{54}$, $\beta_{54} := c_{54} - a_{54}$ $\in \mathbb{R}^2$.
For $K_{13}$, we define $H_{13}$ and $G_{13}$ in a similar way that we did for $K_6$. For $K_{54}$, we define $H_{54}$ and $G_{54}$ in a similar way that we did for $K_1$. By the same arguments as above and in Claim 1, for $i \in I_7$, $\Gamma_i \unlhd G_i$ and the number of $G_i/\Gamma_i$-orbits of vertices of $X_i$ is ten. Hence, $m_{i} \le 10$, for $i \in I_7$. In $K_i$, the ten vertex orbits under $G_i$ are marked by the symbol \textbf{$\ast$} respectively for $i \in I_7$.
This completes the part {\rm (7)}.

\medskip

Let $I_8 = \{37,60\}$. For $i \in I_8$, let $X_{i} = K_{i}/\Gamma_{i}$ be a  map on the torus, for some fixed element (vertex, edge or face) free subgroup $\Gamma_{i} \le {\rm Aut}(K_{i})$. $K_i, i \in I_8$, are given in Section \ref{fig:kuniform}. Let the vertices of $X_{i}$ form $m_{i}$ ${\rm Aut}(X_{i})$-orbits.
In $K_{37}$, we take the vertex $a_{37}$ as the origin $(0,0)$ and $\alpha_{37} := b_{37} - a_{37}$, $\beta_{37} := c_{37} - a_{37}$, $\in \mathbb{R}^2$.
In $K_{60}$, we take the middle point of the line segment joining vertices $u_{60}$ and $v_{60}$ as the origin $(0,0)$ and $\alpha_{60} := b_{60} - a_{60}$, $\beta_{60} := c_{60} - a_{60}$ $\in \mathbb{R}^2$.
For all $i \in I_8$, we define $H_i$ and $G_i$ similarly as done for $K_1$. By the same arguments as above and in Claim 1, for $i \in I_8$, $\Gamma_i \unlhd G_i$ and the number of $G_i/\Gamma_i$-orbits of vertices of $X_i$ is eleven. Hence, $m_{i} \le 11$, for $i \in I_8$.
In $K_i$, the eleven vertex orbits under $G_i$ are marked by the symbol \textbf{$\ast$} respectively for $i \in I_8$.
This completes the part {\rm (8)}.

\medskip

Let $I_9 = \{19,65\}$. For $i \in I_9$, let $X_{i} = K_{i}/\Gamma_{i}$ be a  map on the torus, for some fixed element (vertex, edge or face) free subgroup $\Gamma_{i} \le {\rm Aut}(K_{i})$. $K_i, i \in I_9$, are given in Section \ref{fig:kuniform}. Let the vertices of $X_{i}$ form $m_{i}$ ${\rm Aut}(X_{i})$-orbits.
In $K_{19}$, we take the middle point of the line segment joining vertices $u_{19}$ and $v_{19}$ as the origin $(0,0)$ and $\alpha_{19} := b_{19} - a_{19}$, $\beta_{19} := c_{19} - a_{19}$, $\in \mathbb{R}^2$.
In $K_{65}$, we take the middle point of the line segment joining vertices $u_{65}$ and $v_{65}$ as the origin $(0,0)$ and $\alpha_{65} := b_{65} - a_{65}$, $\beta_{65} := c_{65} - a_{65}$ $\in \mathbb{R}^2$.
For all $i \in I_9$, we define $H_i$ and $G_i$ similarly as done for $K_1$. By the same arguments as above and in Claim 1, for $i \in I_9$, $\Gamma_i \unlhd G_i$ and the number of $G_i/\Gamma_i$-orbits of vertices of $X_i$ is twelve. Hence, $m_{i} \le 12$, for $i \in I_9$.
In $K_i$, the twelve vertex orbits under $G_i$ are marked by the symbol \textbf{$\ast$} respectively for $i \in I_9$.
This completes the part {\rm (9)}.

\medskip

Let $I_{10} = \{15,16,17,48\}$. For $i \in I_{10}$, let $X_{i} = K_{i}/\Gamma_{i}$ be a  map on the torus, for some fixed element (vertex, edge or face) free subgroup $\Gamma_{i} \le {\rm Aut}(K_{i})$. $K_i, i \in I_{10}$, are given in Section \ref{fig:kuniform}. Let the vertices of $X_{i}$ form $m_{i}$ ${\rm Aut}(X_{i})$-orbits.
In $K_{15}$, we take the vertex $a_{15}$ as the origin $(0,0)$ and $\alpha_{15} := b_{15} - a_{15}$, $\beta_{15} := c_{15} - a_{15}$, $\gamma_{15} := d_{15} - a_{15}$ $\in \mathbb{R}^2$.
In $K_{16}$, we take the vertex $a_{16}$ as the origin $(0,0)$ and $\alpha_{16} := b_{16} - a_{16}$, $\beta_{16} := c_{16} - a_{16}$, $\gamma_{16} := d_{16} - a_{16}$ $\in \mathbb{R}^2$.
In $K_{17}$, we take the vertex $a_{17}$ as the origin $(0,0)$ and $\alpha_{17} := b_{17} - a_{17}$, $\beta_{17} := c_{17} - a_{17}$, $\gamma_{17} := d_{17} - a_{17}$ $\in \mathbb{R}^2$.
In $K_{48}$, we take the vertex $a_{48}$ as the origin $(0,0)$ and $\alpha_{48} := b_{48} - a_{48}$, $\beta_{48} := c_{48} - a_{48}$ $\in \mathbb{R}^2$.
For all $i \in I_{10}$, except for $i=48$, we define $H_i$ and $G_i$ similarly as done for $K_6$. For $K_{48}$, we define $H_{48}$ and $G_{48}$ similarly as done for $K_1$. By the same arguments as above and in Claim 1, for $i \in I_{10}$, $\Gamma_i \unlhd G_i$ and the number of $G_i/\Gamma_i$-orbits of vertices of $X_i$ is thirteen. Hence, $m_{i} \le 13$, for $i \in I_{10}$.
In $K_i$, the thirteen vertex orbits under $G_i$ are marked by the symbol \textbf{$\ast$} respectively for $i \in I_{10}$.
This completes the part {\rm (10)}.

\medskip

Let $I_{11} = \{11,12,28\}$. For $i \in I_{11}$, let $X_{i} = K_{i}/\Gamma_{i}$ be a  map on the torus, for some fixed element (vertex, edge or face) free subgroup $\Gamma_{i} \le {\rm Aut}(K_{i})$. $K_i, i \in I_{11}$, are given in Section \ref{fig:kuniform}. Let the vertices of $X_{i}$ form $m_{i}$ ${\rm Aut}(X_{i})$-orbits.
In $K_{11}$, we take the middle point of the line segment joining vertices $u_{11}$ and $v_{11}$ as the origin $(0,0)$ and $\alpha_{11} := b_{11} - a_{11}$, $\beta_{11} := c_{11} - a_{11}$ $\in \mathbb{R}^2$.
In $K_{12}$, we take the middle point of the line segment joining vertices $u_{12}$ and $v_{12}$ as the origin $(0,0)$ and $\alpha_{12} := b_{12} - a_{12}$, $\beta_{12} := c_{12} - a_{12}$, $\gamma_{12} := d_{12} - a_{12}$ $\in \mathbb{R}^2$.
In $K_{28}$, we take the middle point of the line segment joining vertices $u_{28}$ and $v_{28}$ as the origin $(0,0)$ and $\alpha_{28} := b_{28} - a_{28}$, $\beta_{28} := c_{28} - a_{28}$ $\in \mathbb{R}^2$.
For all $i \in I_{11}$, except for $i=12$, we define $H_i$ and $G_i$ similarly as done for $K_1$. For $K_{12}$, we define $H_{12}$ and $G_{12}$ similarly as done for $K_6$. By the same arguments as above and in Claim 1, for $i \in I_{11}$, $\Gamma_i \unlhd G_i$ and the number of $G_i/\Gamma_i$-orbits of vertices of $X_i$ is fifteen. Hence, $m_{i} \le 15$, for $i \in I_{11}$.
In $K_i$, the fifteen vertex orbits under $G_i$ are marked by the symbol \textbf{$\ast$} respectively for $i \in I_{11}$.
This completes the part {\rm (11)}.

\medskip

Let $I_{12} = \{10,38\}$. For $i \in I_{12}$, let $X_{i} = K_{i}/\Gamma_{i}$ be a  map on the torus, for some fixed element (vertex, edge or face) free subgroup $\Gamma_{i} \le {\rm Aut}(K_{i})$. $K_i, i \in I_{12}$, are given in Section \ref{fig:kuniform}. Let the vertices of $X_{i}$ form $m_{i}$ ${\rm Aut}(X_{i})$-orbits.
In $K_{10}$, we take the middle point of the line segment joining vertices $u_{10}$ and $v_{10}$ as the origin $(0,0)$ and $\alpha_{10} := b_{10} - a_{10}$, $\beta_{10} := c_{10} - a_{10}$ $\in \mathbb{R}^2$.
In $K_{38}$, we take the vertex $a_{38}$ as the origin $(0,0)$ and $\alpha_{38} := b_{38} - a_{38}$, $\beta_{38} := c_{38} - a_{38}$ $\in \mathbb{R}^2$.
For all $i \in I_{12}$, we define $H_i$ and $G_i$ similarly as done for $K_1$. By the same arguments as above and in Claim 1, for $i \in I_{12}$, $\Gamma_i \unlhd G_i$ and the number of $G_i/\Gamma_i$-orbits of vertices of $X_i$ is sixteen. Hence, $m_{i} \le 16$, for $i \in I_{12}$.
In $K_i$, the sixteen vertex orbits under $G_i$ are marked by the symbol \textbf{$\ast$} respectively for $i \in I_{12}$.
This completes the part {\rm (12)}.

\medskip

Let $I_{13} = \{27,46\}$. For $i \in I_{13}$, let $X_{i} = K_{i}/\Gamma_{i}$ be a  map on the torus, for some fixed element (vertex, edge or face) free subgroup $\Gamma_{i} \le {\rm Aut}(K_{i})$. $K_i, i \in I_{13}$, are given in Section \ref{fig:kuniform}. Let the vertices of $X_{i}$ form $m_{i}$ ${\rm Aut}(X_{i})$-orbits.
In $K_{27}$, we take the middle point of the line segment joining vertices $u_{27}$ and $v_{27}$ as the origin $(0,0)$ and $\alpha_{27} := b_{27} - a_{27}$, $\beta_{27} := c_{27} - a_{27}$ $\in \mathbb{R}^2$.
In $K_{46}$, we take the vertex $a_{46}$ as the origin $(0,0)$ and $\alpha_{46} := b_{46} - a_{46}$, $\beta_{46} := c_{46} - a_{46}$, $\gamma_{46} := d_{46} - a_{46}$ $\in \mathbb{R}^2$.
For $K_{27}$, we define $H_{27}$ and $G_{27}$ similarly as done for $K_1$. For $K_{46}$, we define $H_{46}$ and $G_{46}$ similarly as done for $K_6$. By the same arguments as above and in Claim 1, for $i \in I_{13}$, $\Gamma_i \unlhd G_i$ and the number of $G_i/\Gamma_i$-orbits of vertices of $X_i$ is eighteen. Hence, $m_{i} \le 18$, for $i \in I_{13}$.
In $K_i$, the eighteen vertex orbits under $G_i$ are marked by the symbol \textbf{$\ast$} respectively for $i \in I_{13}$.
This completes the part {\rm (13)}.

\medskip

Let $X_{45} = K_{45}/\Gamma_{45}$ be a  map on the torus, for some fixed element (vertex, edge or face) free subgroup $\Gamma_{45} \le {\rm Aut}(K_{45})$. $K_{45}$ is given in Section \ref{fig:kuniform}. Let the vertices of $X_{45}$ form $m_{45}$ ${\rm Aut}(X_{45})$-orbits.
In $K_{45}$, we take the vertex $a_{45}$ as the origin $(0,0)$ and $\alpha_{45} := b_{45} - a_{45}$, $\beta_{45} := c_{45} - a_{45}$, $\gamma_{45} := d_{45} - a_{45}$ $\in \mathbb{R}^2$.
We define $H_{45}$ and $G_{45}$ similarly as done for $K_6$. By the same arguments as above and in Claim 1, $\Gamma_{45} \unlhd G_{45}$ and the number of $G_{45}/\Gamma_{45}$-orbits of vertices of $X_{45}$ is ninteen. Hence, $m_{45} \le 19$.
In $K_{45}$, the ninteen vertex orbits under $G_{45}$ are marked by the symbol \textbf{$\ast$}.
This completes the part {\rm (14)}.

\medskip

Let $I_{14} = \{23,57\}$. For $i \in I_{14}$, let $X_{i} = K_{i}/\Gamma_{i}$ be a  map on the torus, for some fixed element (vertex, edge or face) free subgroup $\Gamma_{i} \le {\rm Aut}(K_{i})$. $K_i, i \in I_{14}$, are given in Section \ref{fig:kuniform}. Let the vertices of $X_{i}$ form $m_{i}$ ${\rm Aut}(X_{i})$-orbits.
In $K_{23}$, we take the middle point of the line segment joining vertices $u_{23}$ and $v_{23}$ as the origin $(0,0)$ and $\alpha_{23} := b_{23} - a_{23}$, $\beta_{23} := c_{23} - a_{23}$ $\in \mathbb{R}^2$.
In $K_{57}$, we take the middle point of the line segment joining vertices $u_{57}$ and $v_{57}$ as the origin $(0,0)$ and $\alpha_{57} := b_{57} - a_{57}$, $\beta_{57} := c_{57} - a_{57}$, $\in \mathbb{R}^2$.
For all $i \in I_{14}$, we define $H_i$ and $G_i$ similarly as done for $K_1$. By the same arguments as above and in Claim 1, for $i \in I_{14}$, $\Gamma_i \unlhd G_i$ and the number of $G_i/\Gamma_i$-orbits of vertices of $X_i$ is twenty-one. Hence, $m_{i} \le 21$, for $i \in I_{14}$.
In $K_i$, the twenty-one vertex orbits under $G_i$ are marked by the symbol \textbf{$\ast$} respectively for $i \in I_{14}$.
This completes the part {\rm (15)}.

\medskip

Let $I_{15} = \{36,63\}$. For $i \in I_{15}$, let $X_{i} = K_{i}/\Gamma_{i}$ be a  map on the torus, for some fixed element (vertex, edge or face) free subgroup $\Gamma_{i} \le {\rm Aut}(K_{i})$. $K_i, i \in I_{15}$, are given in Section \ref{fig:kuniform}. Let the vertices of $X_{i}$ form $m_{i}$ ${\rm Aut}(X_{i})$-orbits.
In $K_{36}$, we take the middle point of the line segment joining vertices $u_{36}$ and $v_{36}$ as the origin $(0,0)$ and $\alpha_{36} := b_{36} - a_{36}$, $\beta_{36} := c_{36} - a_{36}$ $\in \mathbb{R}^2$.
In $K_{63}$, we take the vertex $a_{63}$ as the origin $(0,0)$ and $\alpha_{63} := b_{63} - a_{63}$, $\beta_{63} := c_{63} - a_{63}$, $\in \mathbb{R}^2$.
For all $i \in I_{15}$, we define $H_i$ and $G_i$ similarly as done for $K_1$. By the same arguments as above and in Claim 1, for $i \in I_{15}$, $\Gamma_i \unlhd G_i$ and the number of $G_i/\Gamma_i$-orbits of vertices of $X_i$ is twenty-two. Hence, $m_{i} \le 22$, for $i \in I_{15}$.
In $K_i$, the twenty-two vertex orbits under $G_i$ are marked by the symbol \textbf{$\ast$} respectively for $i \in I_{15}$.
This completes the part {\rm (16)}.

\medskip

Let $X_{49} = K_{49}/\Gamma_{49}$ be a  map on the torus, for some fixed element (vertex, edge or face) free subgroup $\Gamma_{49} \le {\rm Aut}(K_{49})$. $K_{49}$ is given in Section \ref{fig:kuniform}. Let the vertices of $X_{49}$ form $m_{49}$ ${\rm Aut}(X_{49})$-orbits.
In $K_{49}$, we take the middle point of the line segment joining vertices $u_{49}$ and $v_{49}$ as the origin $(0,0)$ and $\alpha_{49} := b_{49} - a_{49}$, $\beta_{49} := c_{49} - a_{49}$ $\in \mathbb{R}^2$.
We define $H_{49}$ and $G_{49}$ similarly as done for $K_1$. By the same arguments as above and in Claim 1, $\Gamma_{49} \unlhd G_{49}$ and the number of $G_{49}/\Gamma_{49}$-orbits of vertices of $X_{49}$ is twenty-four. Hence, $m_{49} \le 24$.
In $K_{49}$, the twenty-four vertex orbits under $G_{49}$ are marked by the symbol \textbf{$\ast$}.
This completes the part {\rm (17)}.

\medskip

Let $X_{51} = K_{51}/\Gamma_{51}$ be a  map on the torus, for some fixed element (vertex, edge or face) free subgroup $\Gamma_{51} \le {\rm Aut}(K_{51})$. $K_{51}$ is given in Section \ref{fig:kuniform}. Let the vertices of $X_{51}$ form $m_{51}$ ${\rm Aut}(X_{51})$-orbits.
In $K_{51}$, we take the vertex $a_{51}$ as the origin $(0,0)$ and $\alpha_{51} := b_{51} - a_{51}$, $\beta_{51} := c_{51} - a_{51}$ $\in \mathbb{R}^2$.
We define $H_{51}$ and $G_{51}$ similarly as done for $K_1$. By the same arguments as above and in Claim 1, $\Gamma_{51} \unlhd G_{51}$ and the number of $G_{51}/\Gamma_{51}$-orbits of vertices of $X_{51}$ is twenty-five. Hence, $m_{51} \le 25$.
In $K_{51}$, the twenty-five vertex orbits under $G_{51}$ are marked by the symbol \textbf{$\ast$}.
This completes the part {\rm (18)}.

\medskip

Let $X_{58} = K_{58}/\Gamma_{58}$ be a  map on the torus, for some fixed element (vertex, edge or face) free subgroup $\Gamma_{58} \le {\rm Aut}(K_{58})$. $K_{58}$ is given in Section \ref{fig:kuniform}. Let the vertices of $X_{58}$ form $m_{58}$ ${\rm Aut}(X_{58})$-orbits.
In $K_{58}$, we take the middle point of the line segment joining vertices $u_{58}$ and $v_{58}$ as the origin $(0,0)$ and $\alpha_{58} := b_{58} - a_{58}$, $\beta_{58} := c_{58} - a_{58}$, $\gamma_{58} := d_{58} - a_{58}$ $\in \mathbb{R}^2$.
We define $H_{58}$ and $G_{58}$ similarly as done for $K_6$. By the same arguments as above and in Claim 1, $\Gamma_{58} \unlhd G_{58}$ and the number of $G_{58}/\Gamma_{58}$-orbits of vertices of $X_{58}$ is twenty-six. Hence, $m_{58} \le 26$.
In $K_{58}$, the twenty-six vertex orbits under $G_{58}$ are marked by the symbol \textbf{$\ast$}.
This completes the part {\rm (19)}.

\medskip

Let $X_{55} = K_{55}/\Gamma_{55}$ be a  map on the torus, for some fixed element (vertex, edge or face) free subgroup $\Gamma_{55} \le {\rm Aut}(K_{55})$. $K_{55}$ is given in Section \ref{fig:kuniform}. Let the vertices of $X_{55}$ form $m_{55}$ ${\rm Aut}(X_{55})$-orbits.
In $K_{55}$, we take the middle point of the line segment joining vertices $u_{55}$ and $v_{55}$ as the origin $(0,0)$ and $\alpha_{55} := b_{55} - a_{55}$, $\beta_{55} := c_{55} - a_{55}$, $\gamma_{55} := d_{55} - a_{55}$ $\in \mathbb{R}^2$.
We define $H_{55}$ and $G_{55}$ similarly as done for $K_6$. By the same arguments as above and in Claim 1, $\Gamma_{55} \unlhd G_{55}$ and the number of $G_{55}/\Gamma_{55}$-orbits of vertices of $X_{55}$ is twenty-seven. Hence, $m_{55} \le 27$.
In $K_{55}$, the twenty-seven vertex orbits under $G_{55}$ are marked by the symbol \textbf{$\ast$}.
This completes the part {\rm (20)}.

\medskip

Let $X_{64} = K_{64}/\Gamma_{64}$ be a  map on the torus, for some fixed element (vertex, edge or face) free subgroup $\Gamma_{64} \le {\rm Aut}(K_{64})$. $K_{64}$ is given in Section \ref{fig:kuniform}. Let the vertices of $X_{64}$ form $m_{64}$ ${\rm Aut}(X_{64})$-orbits.
In $K_{64}$, we take the middle point of the line segment joining vertices $u_{64}$ and $v_{64}$ as the origin $(0,0)$ and $\alpha_{64} := b_{64} - a_{64}$, $\beta_{64} := c_{64} - a_{64}$ $\in \mathbb{R}^2$.
We define $H_{64}$ and $G_{64}$ similarly as done for $K_1$. By the same arguments as above and in Claim 1, $\Gamma_{64} \unlhd G_{64}$ and the number of $G_{64}/\Gamma_{64}$-orbits of vertices of $X_{64}$ is twenty-eight. Hence, $m_{64} \le 28$.
In $K_{64}$, the twenty-eight vertex orbits under $G_{64}$ are marked by the symbol \textbf{$\ast$}.
This completes the part {\rm (21)}.

\medskip

Let $X_{50} = K_{50}/\Gamma_{50}$ be a  map on the torus, for some fixed element (vertex, edge or face) free subgroup $\Gamma_{50} \le {\rm Aut}(K_{50})$. $K_{50}$ is given in Section \ref{fig:kuniform}. Let the vertices of $X_{50}$ form $m_{50}$ ${\rm Aut}(X_{50})$-orbits.
In $K_{50}$, we take the middle point of the line segment joining vertices $u_{50}$ and $v_{50}$ as the origin $(0,0)$ and $\alpha_{50} := b_{50} - a_{50}$, $\beta_{50} := c_{50} - a_{50}$, $\gamma_{50} := d_{50} - a_{50}$ $\in \mathbb{R}^2$.
We define $H_{50}$ and $G_{50}$ similarly as done for $K_6$. By the same arguments as above and in Claim 1, $\Gamma_{50} \unlhd G_{50}$ and the number of $G_{50}/\Gamma_{50}$-orbits of vertices of $X_{50}$ is thirty. Hence, $m_{50} \le 30$.
In $K_{50}$, the thirty vertex orbits under $G_{50}$ are marked by the symbol \textbf{$\ast$}.
This completes the part {\rm (22)}.

\medskip

Let $I_{16} = \{59,61,62\}$. For $i \in I_{16}$, let $X_{i} = K_{i}/\Gamma_{i}$ be a  map on the torus, for some fixed element (vertex, edge or face) free subgroup $\Gamma_{i} \le {\rm Aut}(K_{i})$. $K_i, i \in I_{16}$, are given in Section \ref{fig:kuniform}. Let the vertices of $X_{i}$ form $m_{i}$ ${\rm Aut}(X_{i})$-orbits.
In $K_{59}$, we take the middle point of the line segment joining vertices $u_{59}$ and $v_{59}$ as the origin $(0,0)$ and $\alpha_{59} := b_{59} - a_{59}$, $\beta_{59} := c_{59} - a_{59}$, $\gamma_{59} := d_{59} - a_{59}$ $\in \mathbb{R}^2$.
In $K_{61}$, we take the middle point of the line segment joining vertices $u_{61}$ and $v_{61}$ as the origin $(0,0)$ and $\alpha_{61} := b_{61} - a_{61}$, $\beta_{61} := c_{61} - a_{61}$ $\in \mathbb{R}^2$.
In $K_{62}$, we take the middle point of the line segment joining vertices $u_{62}$ and $v_{62}$ as the origin $(0,0)$ and $\alpha_{62} := b_{62} - a_{62}$, $\beta_{62} := c_{62} - a_{62}$ $\in \mathbb{R}^2$.
For all $i \in I_{16}$, except for $i=59$, we define $H_i$ and $G_i$ similarly as done for $K_1$. For $K_{59}$, we define $H_{59}$ and $G_{59}$ similarly as done for $K_6$. By the same arguments as above and in Claim 1, for $i \in I_{16}$, $\Gamma_i \unlhd G_i$ and the number of $G_i/\Gamma_i$-orbits of vertices of $X_i$ is thirty-three. Hence, $m_{i} \le 33$, for $i \in I_{16}$.
In $K_i$, the thirty-three vertex orbits under $G_i$ are marked by the symbol \textbf{$\ast$} respectively for $i \in I_{16}$.
This completes the part {\rm (23)}.
\\
Now we show the existence of a toroidal map $K_1/\Gamma_1$ with $m_1=6$. Let $X_1=K_1/\Gamma_1$ for some discrete fixed point free subgroup $\Gamma_1$ of Aut($K_1$). Aut($X_1$)$=$ Nor($\Gamma_1$)/$\Gamma_1$. Now $V(X_1)$ has $6$ $G_1/\Gamma_1$-orbits ($G_1$ defined in part (1)). If we can show that there exists some $\Gamma_1 \le H_1$ such that Nor($\Gamma_1$)$=G_1$ then we are done. Let $\alpha_1, \beta_1$ be the translations defined as in part (1).
Consider $\Gamma_1=\langle A_1^7,B_1^5 \rangle$ where $A_1^7$ and $B_1^5$ are translations by the vectors $7\alpha_1$ and $5\beta_1$ respectively.
Nor$(\Gamma_1)=\{\gamma \in $ Aut$(K_1) \mid \gamma A_1^7\gamma^{-1},\gamma B_1^5\gamma^{-1}\in \Gamma_1 \} = \{\gamma \in$ Aut$(K_1) \mid \gamma(7\alpha_1), \gamma(5\beta_1) \in \ZZ7\alpha_1+\ZZ5\beta_1 \}$. Clearly $G_1 \le $ Nor$(\Gamma_1)$. Clearly, rotations and reflection about a line does not belong to Nor$(\Gamma_1)$. Hence Nor$(\Gamma_1) = G_1$. With this same method one can see that other bounds in part(1) - (23) are also sharp. This proves part {(24)}.\\
This completes the proof.
\end{proof}

\section{Acknowledgements}

Marbarisha M. Kharkongor is supported by University Grants Commission (UGC) (1182/(CSIR-UGC NET JUNE 2019)) and Dipendu Maity is supported by Science and Engineering Research Board (SERB), DST, India (SRG/2021/000055 dated 03 December, 2021).

\section{Conflicts of Interest Statement}
On behalf of all authors, the corresponding author states that there is no conflict of interest.

{\small

Combinatorics (math.CO); Geometric Topology (math.GT)


Automatic structures for semigroup constructions

Abstract: We survey results concerning automatic structures for semigroup constructions, providing references and describing the corresponding automatic structures. The constructions we consider are: free products, direct products, Rees matrix semigroups, Bruck-Reilly extensions and wreath products.

\section{Introduction}

The notion of ``automaticity'' has been widely studied in groups
(see \cite{AGA} and \cite{WPG} for example), and some progress has
been made in understanding the notion in the wider context of
semigroups. Many results about automatic semigroups concern
automaticity of standard semigroups constructions. We survey these
results for free products, direct products, Rees matrix
semigroups, Bruck-Reilly extensions and wreath products.

Some references on automatic semigroups are \cite{AutSem}
(introduction), \cite{SilvaGeo} (geometric aspects and
p-automaticity), \cite{otto2}, \cite{otto3}, \cite{otto1}
(computational and decidability aspects), \cite{DirProd}, \cite{RMAS},
\cite{AutMonCG} (semigroup constructions), \cite{Hoffmann}
(other notions of ``automaticity'' for semigroups) and
\cite{paperbimon}, \cite{ComNA} (examples).

We start by introducing the definitions we require. Given a non empty finite
set $A$, which we call an {\it alphabet}, we denote by $A^+$ the
free semigroup generated by $A$ consisting of finite sequences of
elements of $A$, which we call {\it words}, under the
concatenation; and  by $A^*$ the free monoid generated by $A$
consisting of $A^+$ together with the empty word $\epsilon$, the identity in $A^*$.
Let
$S$ be a semigroup and $\psi : A \rightarrow S$ a mapping. We say
that $A$ is a {\it finite generating set for $S$ with respect to
$\psi$} if the unique extension of $\psi$ to a semigroup
homomorphism $\psi: A^+ \rightarrow S$ is surjective. For $u,v \in
A^+$ we write $u \equiv v$ to mean that $u$ and $v$ are equal as
words and $u = v$ to mean that $u$ and $v$ represent the same
element in the semigroup i.e. that $u \psi = v \psi$. We say that
a subset $L$ of $A^*$, usually called a {\it language}, is {\it
regular} if there is a finite state automaton accepting $L$. To be
able to deal with automata that accept pairs of words and to
define automatic semigroups we need to define the set $A(2,\$)=
((A \cup\{\$\})\times(A\cup \{\$\})) \backslash \{(\$,\$)\}$ where
$\$$ is a symbol not in $A$ (called the {\em padding symbol}) and
the function $\delta_A: A^* \times A^* \rightarrow A(2,\$)^*$
defined by
\begin{equation*}
(a_1\ldots a_m,b_1\ldots b_n ) \delta_A = \left\{
\begin{array}{ll}
\epsilon & \mbox{ if } 0 = m = n \\
(a_1,b_1)\ldots(a_m,b_m) & \mbox{ if } 0 < m = n \\
(a_1,b_1)\ldots(a_m,b_m)(\$,b_{m+1})\ldots(\$,b_n) &
    \mbox{ if } 0 \le m < n \\
(a_1,b_1)\ldots(a_n,b_n)(a_{n+1},\$) \ldots (a_m,\$) &
    \mbox{ if } m > n \ge 0.
\end{array}
\right.
\end{equation*}

Let $S$ be a semigroup and $A$ a finite generating set for $S$
with respect to $\psi : A^+ \rightarrow S$. The pair $(A,L)$ is an
{\it automatic structure for $S$ (with respect to $\psi$)} if
\begin{itemize}
\item $L$ is a regular subset of $A^+$ and $L \psi = S$, \item
$L_= = \{(\alpha,\beta): \alpha,\beta \in L, \alpha = \beta\}
\delta_A \mbox{ is regular in } A(2,\$)^+, \mbox{ and}$ \item $L_a
= \{(\alpha,\beta):\alpha,\beta \in L, \alpha a = \beta \}
\delta_A \mbox{ is regular in } A(2,\$)^+ \mbox{ for each } a \in
A.$
\end{itemize}
We say that a semigroup is {\it automatic} if it has an automatic
structure.

We say that the pair $(A,L)$ is an {\it automatic structure with uniqueness} (with respect to $\psi$) for a semigroup $S$, if it
is an automatic structure and each element in $S$ is represented by an unique word in $L$ (the restriction of $\psi$ to $L$ is a bijection).
It is known (see \cite{AutSem}) that,
any automatic semigroup admits an
automatic structure with uniqueness.

We say that a semigroup is {\it prefix-automatic} or
{\it p-automatic} if it has an automatic
structure $(A,L)$ such that the set
$$
L_=^\prime = \{ (w_1,w_2) \delta_A: w_1 \in L, w_2 \in \mbox{{\rm Pref}}(L), w_1 = w_2 \}
$$
is also regular, where
$$\mbox{{\rm Pref}}(L) = \{w \in A^+: w w^\prime \in L \mbox{ for some }
w^\prime \in A^* \}.
$$

We will now present a result from \cite{FinReesInd} useful
to obtain automatic structures for the constructions considered in
the sections following.

We say that $T$ is a {\it subsemigroup of $S$ of finite Rees index} if
the set $S-T$ is finite.

\begin{prop}
\label{finite_rees_index} Let $S$ be a semigroup with a
subsemigroup $T$ of finite Rees index. Then $S$ is automatic if
and only if $T$ is automatic.
\end{prop}

From an automatic structure $(A,L)$ for $T$, an automatic
structure for $S$ can be easily obtained. Take $C$ to be a
finite set of new symbols in bijection with the elements of $S-T$,
$A^\prime = A \cup C$ and $L^\prime = L \cup C$. The pair
$(A^\prime,L^\prime)$ is an automatic structure for $S$.

The converse is not so trivial. We start from an automatic
structure with uniqueness $(A,L)$ for $S$. It was shown in
\cite{FinReesInd} that there exists a constant $k$ such that every
element of the set $\{ \a \in \mbox{sub}(L) : \ k \leq |\a| < 2k
\} $ maps to an element of $T$. The generating set $B$ for $S$
is
$$\{ b_\a : \a \in \mbox{sub}(L), k \leq |\a| < 2k \} \cup
\{ c_\a : \a \in L, |\a| < k, \a \in T \}$$
where the $b_{\a}$ and $c_{\a}$ are new symbols such that each
$b_\a$ and each $c_\a$ maps to the same element of $T$ as the
corresponding $\a$. The regular language $K$ is obtained as follows.
We take $U = \{ \a \in L : \a \mbox{ represents an
element of } T \}$ and let $\phi : U \to B^*$ be defined by
$$ \a \phi = \left\{ \begin{array}{ll}
        c_\a & \mbox{ for } |\a| < k \\
        b_{a_1 \dots a_k} b_{a_{k+1} \dots a_{2k} } \dots
b_{a_{(l-1)k+1} \dots a_{lk} }
  b_{a_{lk+1} \dots a_r} & \mbox{ for } |\a| \geq k
        \end{array} \right.
$$
with $k \leq r-lk < 2k$ and $\a \id a_1a_2\dots a_r$. Note that
 $\a \phi = \a$ in $T$. Taking $K = U
\phi$, the pair $(B, K)$ is an automatic structure for $T$.

In sections two, three and four we present results
about automaticy for free products, direct products and Rees
matrix semigroups, respectively. We omit the proofs and just
describe briefly how to obtain the corresponding automatic structures.
In sections five and six we present results from
\cite{LuisThesis} about automaticity of Bruck-Reilly extensions
and wreath products, respectively.

\section{Free Products}

If $S_1$ and $S_2$ are semigroups with presentations
$\langle A_1 | R_1 \rangle $ and $\langle A_2 | R_2 \rangle $ respectively
(where $A_1 \cap A_2 = \emptyset$),
then their free product $S_1 \ast S_2$ is the semigroup defined by
the presentation $\langle A_1 \cup A_2 | R_1 \cup R_2 \rangle $. The elements
of the product can bee seen as sequences $s_1\ldots s_m$ of elements of $S_1 \cup S_2$ such that two consecutive elements
do not belong to the same factor. The product of sequences $s_1\ldots s_m$, $s^\prime_1\ldots s^\prime_n$ is the concatenation
$s_1\ldots s_m s^\prime_1\ldots s^\prime_n$ if $s_m$ and $s^\prime_1$ do not belong to the same factor; otherwise it
is $s_1\ldots s_{m-1} s s^\prime_2\ldots s^\prime_n$, where $s$ is the product of $s_m$ by $s^\prime_1$ in their common factor.

Free products of semigroups and monoids were considered in \cite{AutSem}. For semigroups the following was
shown:

\begin{thm}
\label{free-products}
Let $S_1$ and $S_2$ be semigroups. Then $S_1 \ast S_2$ is automatic if
and only if both $S_1$ and $S_2$ are automatic.
\end{thm}

The proof of this theorem give us the automatic structures.
Suppose that $S_1$ and $S_2$ are automatic semigroups, with
automatic structures with uniqueness, say $(A_1, L_1)$ and $(A_2,
L_2)$ respectively, with $A_1$ and $A_2$ disjoint sets. Taking $A = A_1 \cup A_2$ and
$$L ~ = ~ (L_1 \cup \lbrace \epsilon \rbrace)(L_2 L_1)^\ast (L_2 \cup \lbrace \epsilon \rbrace) ~ - ~
\lbrace \epsilon \rbrace,$$
we obtain a pair $(A,L)$ which is an automatic structure for the
semigroup free product $S_1 * S_2$.
Conversely, suppose that $S_1 \ast S_2$ is automatic with an
automatic structure $(A, L)$. Letting
$$B = \lbrace a \in A : a \mbox{ represents an element of } S_1 \rbrace,$$
the pair $(B, L \cap B^+)$ is an automatic structure for $S_1$.

The monoid free product is not the same as the semigroup free product.
It is the same as the group free product and can be seen as the
semigroup free product with the identity subgroups amalgamated.
For monoids we have the following:

\begin{thm}
\label{free-products-2}
The monoid free product $M = M_1 * M_2$ is automatic if and only if both
monoids $M_1$ and $M_2$ are automatic.
\end{thm}

One implication was proved in \cite{AutSem}.
Suppose that $(A_1, L_1)$ and $(A_2, L_2)$ are automatic
structures with uniqueness for $M_1$ and $M_2$ respectively, with
$A_1 \cap A_2 = \lbrace e \rbrace$, $e$ representing the identity
element of each $M_i$, $e \in L_i$ $(i = 1, 2)$, and
$\overline{L}_i = L_i - \lbrace e \rbrace \subseteq (A_i - \lbrace
e \rbrace )^+$ $(i = 1, 2)$. Taking $A = A_1 \cup A_2$ and
$$L ~ = ~ \lbrace e \rbrace ( \overline{L}_1 \cup \lbrace \epsilon \rbrace )( \overline{L}_2 \overline{L}_1 )^\ast
(\overline{L}_2 \cup \lbrace \epsilon \rbrace ),$$
the pair $(A, L)$ is an automatic structure for $M$.

The converse was shown in \cite{AutMonCG}, answering a question
formalized in \cite{AutSem}. Finite generating sets $A_i$ for $M_i$, $i=1,2$, give us a finite
generating set $A= A_1 \cup A_2$ for $M$ with respect to an
homomorphism $\psi$. It is possible to obtain an automatic
structure $(A,L)$ for $M$ such that every element of $S$ is
represented by a unique element of $L$. The pair $(A,L(M_i))$,
where $L(M_i)=\{w\in L\,:\,w \psi \in M_i\}$, is an automatic
structure for $M_i$, $i=1,2$.

\section{Direct products}

The first result about direct products was obtained for monoids in
\cite{AutSem} where the authors have shown:

\begin{thm}
\label{Monoid-Direct-Product}
If $M_1$ and $M_2$ are automatic monoids, then their direct product
$M_1 \times M_2$ is automatic.
\end{thm}
Since we have the identities, an automatic structure for the
product can be obtained from automatic structures for the factors
in a natural way. We can start from automatic structures with
uniqueness $(A_1, L_1)$ and $(A_2, L_2)$ for $M_1$ and $M_2$
respectively, with $A_1 \cap A_2 = \emptyset$, $e_i \in A_i$,
$e_i$ representing the identity element of $M_i$, $e_i \in L_i$,
and $L_i - \lbrace e_i \rbrace \subseteq (A_i - \lbrace e_i
\rbrace )^+$ $(i = 1, 2)$. Let $\overline{L}_i$ denote $L_i -
\lbrace e_i \rbrace$ and let $A = A_1 \cup A_2$. For words $\a
\equiv a_1 \ldots a_n \in L_1$ and $\b \id b_1 \ldots b_m \in
L_2$, we define the word $\a \op \b \in A^+$ by
$$\a \op \b =
\left\{ \begin{array}{ll}
 a_1 b_1 \ldots a_n b_n
                                & \mbox{if } n = m, \\
 a_1 b_1 \ldots a_n b_n e_1 b_{n+1} \ldots e_1 b_m
                                & \mbox{if } n < m, \\
 a_1 b_1 \ldots a_m b_m a_{m+1} e_2 \ldots a_n e_2
                                & \mbox{if } n > m.
\end{array} \right.$$
If $\s : A(2, \pad)^\ast \to A^\ast$ is the homomorphism defined
by
$$(a, b) \mapsto a b, ~ ~ (a, \pad) \mapsto a e_2, ~ ~ (\pad, b)
\mapsto e_1 b,$$
then $\a \op \b = (\a, \b) \dA \s$. Let
$$L = \lbrace \a \op \b : \a \in L_1, \b \in L_2 \rbrace =
(L_1 \times L_2) \dA \s.$$
The pair $(A, L)$ is an automatic structure for $M = M_1 \times
M_2$.

Semigroups were then considered in \cite{DirProd} where the
authors have proved the following:
\begin{thm}
Let $S$ and $T$ be automatic semigroups.
\begin{romlist}
\item If $S$ and $T$ are infinite, then $S \times T$ is automatic
if and only if $S^2= S$ and $T^2 = T$. \item If $S$ is finite and
$T$ is infinite, then $S \times T$ is automatic if and only if
$S^2 = S$.
\end{romlist}
\label{autdirprod}
\end{thm}

In \cite{GRDP}, there were established necessary and
sufficient conditions for the direct product of semigroups to be
finitely generated:

\begin{prop}
Let $S$ and $T$ be two semigroups. If both $S$ and $T$ are
infinite then $S\times T$ is finitely generated if and only if
both $S$ and $T$ are finitely generated, $S^2 = S$ and $T^2 = T$.
If $S$ is finite and $T$ is infinite then $S \times T$ is finitely
generated if and only if $S^2 = S$ and $T$ is finitely generated.
\end{prop}

Using this result, Theorem \ref{autdirprod} has the
following equivalent formulation:

\begin{thm}
The direct product of automatic semigroups is automatic if and
only if it is finitely generated.
\end{thm}

The answer to the following converse question is not known even
for groups: If the direct product $G_1 \times G_2$ is automatic
are both factors $G_1$ and $G_2$ necessarily automatic?

Without the identities it is still possible to obtain automatic structures for
the product, starting from automatic structures for the factors, although the method is not
so natural.

For case (i) in Theorem \ref{autdirprod}, the general ideia is to start from two
automatic structures, say $(A,L)$ and $(B,K)$, for the factors $S$ and $T$ and then modify them,
using the fact that $S^2=S$ (and $T^2=T$) to control the length of the words in the languages,
in order to obtain new automatic structures. From the modified automatic structures,
say $(A^\prime,L^\prime)$ and $(B^\prime,K^\prime)$, an
automatic structure $(X,J)$ for the product $S \times T$ can be obtained by just taking
$X = A^\prime \times B^\prime$ and $J=\{(u_1,v_1),\ldots,(u_p,v_p): (u_i,v_i)\in X, u_1\ldots u_p \in L^\prime, v_1\ldots v_p \in K^\prime\}$.

For case (ii) we can assume that $S=\{s_1,\ldots,s_m\}$ and take an alphabet
$A=\{a_1,\ldots,a_m\}$ to represent the elements in $S$. Given an automatic structure
$(B,K)$ for $T$, the set $X = A \times B$ is a generating set for $S\times T$. Now, taking
$J=\{(u_1,v_1)\ldots(u_p,v_v): (u_i,v_i)\in X, v_1 \ldots v_p\in K\}$, the pair $(X,J)$ is an automatic
structure for the product $S \times T$ (the details can be found in \cite{DirProd}).

\section{Rees matrix semigroups}

The {\it Rees matrix semigroup} $S = \mathcal{M}[U;I,J;P]$ over the
semigroup $U$, with $P = (p_{j i})_{j \in J, i \in I}$ a matrix with
entries in $U$,
is the semigroup with the support set $I \times U
\times J$ and multiplication defined by $(l_1,s_1,r_1)(l_2,s_2,r_2)
= (l_1,s_1 p_{r_1 l_2} s_2, r_2)$ where $(l_1,s_1,r_1),(l_2,s_2,r_2)
\in I \times U \times J$.
We say that $U$ is the {\em base
semigroup} of the Rees matrix semigroup $S$.

We can obtain an automatic structure for a Rees matrix semigroup
$S$ by using the automatic structure for its base semigroup $U$,
as shown in \cite{RMAS}. We observe that the case where $U$ is a group, was
firstly considered in \cite{AutSimple}.
\begin{thm}
Let $S=\mathcal{M}[U;I,J;P]$ be a Rees matrix semigroup. If $U$ is
an automatic semigroup and if $S$ is finitely generated then $S$
is automatic.
\end{thm}

This theorem has the following equivalent formulation:

\begin{thm}
Let $S=\mathcal{M}[U;I,J;P]$ be a Rees matrix semigroup, where
$I,J$ are finite sets and $U \backslash V$ is finite, where $V$ is
the ideal of $U$ generated by the entries of the matrix $P$. If
$U$ is an automatic semigroup then $S$ is automatic. \label{thm1}
\end{thm}

In fact, it is described in \cite{RMAS} how to obtain an automatic
structure for the semigroup $S_1 = \mathcal{M}[U^1;I,J;P]$ from an
automatic structure with uniqueness for $V$ ($U^1$ stands for the monoid
obtained from $U$ by adding an identity). But note that, since
$S$ is finitely generated, $I$, $J$ and $U-V$ are finite, and so,
using Proposition \ref{finite_rees_index}, an automatic structure
for $S$ can then be obtained from an automatic structure for $U$.

We start from an automatic structure with uniqueness $(B,K)$ for
$V$, where $B = \{b_1,\ldots,b_n\}$ is a set of semigroup
generators for $V$. Then we write each $b_h\ (h \in N =
\{1,\ldots,n\})$ as $b_h = s_h p_{\rho_h \lambda_h} s_h^\prime$
where $s_h,s_h^\prime \in U^1, \rho_h \in J, \lambda_h \in I$. Let
$S_1 = \mathcal{M}[U^1;I,J;P]$. Given $(l,s,r) \in I \times V
\times J$ we can write $s = b_{\alpha_1}\ldots b_{\alpha_h}$ where
$b_{\alpha_1}\ldots b_{\alpha_h}$ is a word in $K$. So we can
write
$$
(l,s,r) = (l,s_{\alpha_1},\rho_{\alpha_1})
(\lambda_{\alpha_1},s_{\alpha_1}^\prime
s_{\alpha_2},\rho_{\alpha_2}) \ldots
(\lambda_{\alpha_h},s_{\alpha_h}^\prime,r).
$$
Since $U^1 \backslash V$ is finite and non empty we can write $U^1
\backslash V = \{x_1,\ldots,x_m\}$ with $m \ge 1$. We define a set
$A = C \cup D$ of semigroup generators for $S_1$ by
\begin{eqnarray}
& C = \{ c_{l i} : l \in I, i \in N \} \cup \{ d_{i j}: i,j \in N
\} \cup
\{ e_{j r} : j \in N, r \in J \},& \nonumber \\
 & D = \{f_{l h r}: l \in I, h \in \{1,\ldots,m\}, r \in J\} \nonumber &
\end{eqnarray}
with
$$
\begin{array}{lll}
\psi : A^+ \rightarrow S_1,\ & c_{l i}\mapsto (l,s_i,\rho_i), &
d_{i j} \mapsto (\lambda_i,s_i^\prime s_j, \rho_j),\\
&e_{j r} \mapsto  (\lambda_j,s_j^\prime,r), & f_{l h r} \mapsto
(l,x_h,r).
\end{array}
$$
Defining the language $L = L_1 \cup D$ to represent the elements
of $S_1$ with
$$
L_1 = \{ c_{l \alpha_1} d_{\alpha_1 \alpha_2} \ldots
d_{\alpha_{h-1} \alpha_h} e_{\alpha_h r}: b_{\alpha_1} \ldots
b_{\alpha_h} \in K, h \ge 1, l \in I, r \in J \},
$$
the pair $(A,L)$ is an automatic structure for $S_1$.

It was also shown in \cite{RMAS} that, in some particular
situations, it is possible to obtain an automatic structure for
the base semigroup, from the automatic structure for the
construction.

\begin{thm}
Let $S=\mathcal{M}[U;I,J;P]$ be a semigroup, and suppose that
there is an entry $p$ in the matrix $P$ such that $p U^1 = U$. If
$S$ is automatic then $U$ is automatic. \label{thm2}
\end{thm}

We start from an automatic structure with uniqueness $(A,L)$ for
the semigroup $S_1 = \mathcal{M}[U^1;I,J;P]$, where $A = \{ a_1,
\ldots, a_n \}$ is a generating set for $S_1$ with respect to
$$
\psi : A^+ \rightarrow S_1,\ a_h \mapsto (i_h,s_h,j_h)\ (h =
1,\ldots,n).
$$
The set $$B = \{ b_1,\ldots,b_n\} \cup \{c_{j i}: j \in J, i \in
I\}$$ is a generating set for $U^1$ with respect to
$$
\phi : B^+ \rightarrow U^1 ; b_h \mapsto s_h, c_{j i} \mapsto p_{j
i}\  (h = 1,\ldots,n, \ j \in J, i \in I).
$$
Without loss of generality we can assume that $p_{1 1} = p$. Let
$$L_{1 1} = L \cap (\{1\} \times U^1 \times \{1\}) \psi^{-1}.$$
Let
$$
f : A^+ \rightarrow B^+;
 a_{\alpha_1}  a_{\alpha_2} \ldots
a_{\alpha_h} \mapsto
 b_{\alpha_1}
c_{j_{\alpha_1} i_{\alpha_2}} b_{\alpha_2} \ldots
c_{j_{\alpha_{h-1}} i_{\alpha_h}} b_{\alpha_h} .
$$
Taking $K = L_{1 1} f$, the pair $(B,K)$ is an automatic structure
with uniqueness for $U^1$ with respect to $\phi$.

\begin{thm}
Let $S=\mathcal{M}[U;I,J;P]$ be a Rees matrix semigroup. If $S$ is
prefix-automatic then $U$ is automatic. \label{thm3}
\end{thm}

We start from a prefix-automatic structure with uniqueness $(A,L)$
for $S$ (see \cite{SilvaGeo}). We define $A,\psi,B,\phi,L_{1
1},f$ and $K$ as above just replacing $U^1$ by $U$ and
$S_1$ by $S$ in the definitions, and assume that $\psi
\restriction_A$ is injective. The pair $(B,K)$ is a
(prefix-)automatic structure with uniqueness for $U$ with respect
to $\phi$.

\section{Bruck-Reilly extensions}

Let $T$ be a monoid and $\theta: T \mapsto T$ be a monoid
homomorphism. The set $$\nat_0 \times T \times \nat_0$$ with the
operation defined by $$(m,t_1,n)(p,t_2,q) = (m-n+k, (t_1
\theta^{k-n})(t_2 \theta^{k-p}),q-p+k)\ (k = max\{n,p\}),$$ where
$\theta^0$ denotes the identity map on $M$, is called the
Bruck--Reilly extension of $T$ determined by $\theta$ and is
denoted by ${\rm BR}(T,\theta)$. The semigroup ${\rm
BR}(T,\theta)$ is a monoid with identity $(0,1_T,0)$, denoting by
$1_T$ the identity of $T$. This is a generalization of the
constructions from \cite{Bruck, Munn, Reilly}, also considered in
\cite{Isabel}.

\begin{thm}
If $T$ is a finite monoid, then any Bruck--Reilly extension of T
is automatic. \label{BRTfin}
\end{thm}
\proof Let $T = \{t_1,\ldots,t_l\}$ and let $\overline{T} =
\{\overline{t_1},\ldots,\overline{t_l}\}$ be an alphabet in bijection with
$T$. We define the alphabet $A = \{b,c\} \cup \overline{T}$ and the
regular language $$ L = \{c^m \overline{t} b^n: m,n \ge 0, \overline{t} \in
\overline{T}\} $$ on $A$. Defining the homomorphism $$ \psi: A^+
\rightarrow  {\rm BR}(T,\theta);\  \overline{t} \mapsto (0,t,0),\ c
\mapsto (1,1_T,0),\  b \mapsto (0,1_T,1) $$ it is clear that $A$
is a generating set for ${\rm BR}(T,\theta)$ with respect to
$\psi$ and, in fact, given an element $(m,t,n) \in \nat_0 \times T
\times \nat_0$, the unique word in $L$ representing it is $c^m
\overline{t} b^n$.

In order to prove that $(A,L)$ is an automatic structure with
uniqueness for $BR(T,\theta)$ we only have to prove that, for each
generator $a \in A$, the language $L_a$ is regular. To prove that
$L_b$ is regular we observe that $$(c^m \overline{t_i} b^n) b = (m, t_i,
n) (0,1_T,1) = (m,t_i,n+1) = c^m \overline{t_i} b^{n+1}$$ and so we can
write $$
\begin{array}{lll}
L_{b} & = & \displaystyle{\bigcup_{i=1}^{l}}  \{(c^m \overline{t_i}
b^n,c^m \overline{t_i} b^{n+1})\delta_A: n,m \in \nat_0\}\\ & = &
\displaystyle{\bigcup_{i=1}^{l}}(\{(c,c)\}^* \cdot
\{(\overline{t_i},\overline{t_i})\} \cdot \{(b,b)\}^* \cdot \{(\$,b)\})
\end{array}
$$ which is a finite union of regular languages and so is regular.
With respect to $L_c$ we have $$
\begin{array}{ll}
(c^m \overline{t}) c = (m,t,0)(1,1_T,0) = (m+1, t \theta,0) = c^{m+1}
\overline{t \theta},\\ (c^m \overline{t} b^{n+1}) c = (m, t, n+1) (1,1_T,0) =
(m, t, n) = c^m \overline{t} b^n\ (n,m \in \nat_0; \overline{t} \in \overline{T})
\end{array}
$$ and so we can write $$
\begin{array}{lll}
L_c & = & \displaystyle{\bigcup_{i = 1}^{l}} \{(c^m
\overline{t_i},c^{m+1} \overline{t_i \theta} )\delta_A: m \in \nat_0\} \cup \\
 & &  \displaystyle{\bigcup_{i = 1}^{l}} \{(c^m \overline{t_i} b^{n+1}, c^m
 \overline{t_i} b^n)\delta_A : m,n \in \nat_0 \}\\
& = & \displaystyle{\bigcup_{i=1}^{l}} (\{(c,c)\}^* \cdot
\{(\overline{t_i},c)(\$, \overline{t_i \theta})\}) \cup \\ & &
\displaystyle{\bigcup_{i=1}^{l}} (\{c,c)\}^* \cdot
\{(\overline{t_i},\overline{t_i})\} \cdot \{(b,b)\}^* \cdot \{(b,\$)\})
\end{array}
$$ and we conclude that $L_c$ is a regular language as well.

We now fix an arbitrary $\overline{t} \in \overline{T}$ and prove that
$L_{\overline{t}}$ is regular. For any words $c^m \overline{t_{\alpha}} b^n,
c^p \overline{t_{\beta}}b^q \in L$ we have $$ c^m \overline{t_{\alpha}} b^n
\overline{t} = c^p \overline{t_{\beta}}b^q $$ if and only if $m = p, n = q$,
and $t_{\alpha} (t \theta^n) = t_{\beta}$, because
$$ c^m
\overline{t_{\alpha}} b^n \overline{t} = (m,t_{\alpha},n)(0,t,0) = (m,
t_{\alpha} (t \theta^n), n). $$ Since $T$ is finite the set $\{ t
\theta^n: n \in \nat_0\}$ is finite as well. Taking $j$ to be
minimum such that the set $C_j = \{k \ge j: t \theta^j = t
\theta^{k+1}\}$ is non empty and $k$ to be the minimum element of
$C_j$, we will now show that
$$\{ t \theta^n: n \in \nat_0\} = \{t,
t \theta,\ldots, t \theta^j,\ldots, t \theta^{k}\}.$$ Given $n \ge
j$ we have $n = j + h$ with $h \ge 0$ and, dividing $h$ by
$k+1-j$, we obtain $n = j + q(k+1-j)+r$ with $q \ge 0$ and $0 \le
r < k+1 -j$. We now prove, by induction on $q$, that $t \theta^{j
+r + q(k+1-j)} = t \theta^{j+r}$ for $q \ge 0$. For $q=0$ it holds
trivially and for $q > 0$ we have
$$
\begin{array}{ll}
t \theta^{j +r + q(k+1-j)} & = t \theta^{j+r+k+1-j+(q-1)(k+1-j)}
= (t \theta^r)(t \theta^{k+1})(t \theta^{(q-1)(k+1-j)}) \\
 & = (t \theta^r)(t \theta^j)(t \theta^{(q-1)(k+1-j)}) =
t \theta^{j+r+(q-1)(k+1-j)}.
\end{array}
$$
We can then write
$$
\begin{array}{lll}
L_{\overline{t}} & = &  \displaystyle{\bigcup_{n=0}^{j-1}} \{(c^m
\overline{t_{\alpha}} b^n, c^m \overline{t_{\alpha} (t \theta^n)} b^n)\delta_A
:m \in \nat_0, t_{\alpha} \in T\} \cup \\
& & \displaystyle{\bigcup_{n=j}^k} \{(c^m \overline{t_{\alpha}}
b^{n+q(k+1-j)}, c^m \overline{t_{\alpha} (t \theta^n)}
b^{n+q(k+1-j)})\delta_A: m,q \in \nat_0, t_{\alpha} \in T \} \\
& = & \displaystyle{\bigcup_{n=0}^{j-1}} (\{(c,c)\}^* \cdot
\{(\overline{t_{\alpha}},\overline{t_{\alpha} (t \theta^n)}): t_{\alpha} \in
T\} \cdot \{(b,b)\}^*) \cup\\
&  & \displaystyle{\bigcup_{n=j}^k} (\{(c,c)\}^* \cdot
\{(\overline{t_{\alpha}},\overline{t_{\alpha} (t \theta^n)}): t_{\alpha} \in
T\} \cdot \{(b,b)^n\} \cdot \{(b,b)^{k+1-j}\}^*)
\end{array}
$$ and since all sets in this union are regular we conclude that
$L_{\overline{t}}$ is regular as well. \qed

From now on we assume that $T$ is an automatic monoid and we fix
an automatic structure $(X,K)$ with uniqueness for $T$, where $X =
\{x_1,\ldots,x_n\}$ is a set of semigroup generators for $T$ with
respect to the homomorphism
$$\phi : X^+ \rightarrow T.$$
We define the alphabet
\begin{equation}
A = \{b,c\} \cup X \label{eqA}
\end{equation}
to be a set of semigroup generators for ${\rm BR}(T,\theta)$ with
respect to the homomorphism $$ \psi: A^+  \rightarrow  {\rm
BR}(T,\theta),  x_i \mapsto (0,x_i \phi,0), c \mapsto (1,1_T,0), b
\mapsto (0,1_T,1), $$ and the regular language
\begin{equation}
L = \{ c^i w b^j: w \in K; i,j \in \nat_0\} \label{eqL}
\end{equation}
on $A^+$, which is a set of unique normal forms for
 ${\rm BR}(T,\theta)$, since we have $(c^i w b^j)\psi = (i, w\phi,j)$
for $w \in K$, $i,j \in \nat_0$. As usual, to simplify notation,
we will avoid explicit use of the homomorphisms $\psi$ and $\phi$,
associated with the generating sets, and it will be clear from the
context whenever a word $w \in X^+$ is being identified with an
element of $T$, with an element of ${\rm BR}(T,\theta)$ or
considered as a word. In particular, for a word $w \in X^+$ we
write $w \theta$ instead of $(w \phi) \theta$, seeing $\theta$
also as a homomorphism $\theta: X^+ \rightarrow T$, and we will
often write $(i,w,j)$ instead of $(i,w \phi,j)$ for $i,j \in
\nat_0$.

For $(A,L)$ to be an automatic structure for ${\rm BR}(T,\theta)$
the languages $$
\begin{array}{lll}
L_b = & \{(c^i w b^j,c^i w b^{j+1})\delta_A: w \in K; i,j \in
\nat_0\}, \\ L_c = & \{(c^i w b^{j+1},c^i w b^j)\delta_A: w \in K;
i,j \in \nat_0\} \cup \\ & \{(c^i w_1,c^{i+1} w_2)\delta_A:
w_1,w_2 \in K; i \in \nat_0; w_2 = w_1 \theta \}, \\ L_{x_r} = &
\{(c^i w_1 b^j,c^i w_2 b^j) \delta_A: (w_1,w_2)\delta_X \in K_{x_r
\theta^j}; i,j \in \nat_0 \}\ (x_r \in X),
\end{array}
$$ must be regular. The language $L_b$ is regular, since we have
$$L_b = \{(c,c)\}^* \cdot \{(w,w)\delta_X: w \in K\} \cdot
\{(b,b)\}^* \cdot \{(\$,b)\},$$ but there is no obvious reason why
the languages $L_c$ and $L_{x_r}$ should also be regular. We will
consider particular situations where $(A,L)$ is an automatic
structure for ${\rm BR}(T,\theta)$.

\begin{thm}
If $T$ is an automatic monoid and $\theta: T \rightarrow T;\ t
\mapsto 1_T$ then ${\rm BR}(T,\theta)$ is automatic.
\label{thmmapsto1}
\end{thm}

To show this we use the notion of {\it padded product of languages} and an
auxiliary result whose proof can be found in \cite{LuisThesis}.
Fixing an alphabet $A$, and given two regular languages $M,N$ in $(A^* \times A^*)\delta$,
the {\it padded product of languages} $M$ and $N$ is
$$
M \odot N = \{ (w_1 w_1^\prime, w_2 w_2^\prime)\delta:
(w_1,w_2) \delta \in M, (w_1^\prime, w_2^\prime)\delta \in N\}
$$
The result is the following:

\begin{lem}
Let $A$ be an alphabet and let $M,N$ be regular languages on
$(A^* \times A^*)\delta$.
If there exists a constant $C$ such that, for any two
words $w_1, w_2 \in A^*$ we have
$$
(w_1,w_2) \delta \in M \; \Rightarrow \; | |w_1| - |w_2|| \le C,
$$
then the language $M \odot N$ is regular.
\label{thmconcat}
\end{lem}

{{\sc Proof. of Theorem \ref{thmmapsto1}\ }} To show that the pair $(A,L)$ defined by (\ref{eqA}) and
(\ref{eqL}) is an automatic structure for ${\rm BR}(T,\theta)$ we
just have to prove that the languages $L_c$ and $L_{x_r}\ (x_r \in
X)$ are regular. But now, denoting by $w_{1_T}$ the unique word in
$K$ representing $1_T$, we have
$$
\begin{array}{lll}
L_c & = &  \{(c^i w b^{j+1},c^i w b^j)\delta_A: w \in K; i,j \in
\nat_0\}
 \cup \{(c^i w,c^{i+1} w_{1_T})\delta_A: w \in K; i \in \nat_0 \} \\
& = & (\{(c,c)\}^* \cdot \{(w,w)\delta_X: w \in K\} \cdot
\{(b,b)\}^* \cdot \{(b,\$)\}) \cup \\ & & ((\{(c,c)\}^* \cdot
\{(\$,c)\}) \odot (K \times \{w_{1_t}\})\delta_X ),
\end{array}
$$
which is a regular language by Lemma
\ref{thmconcat}. We have
$$
\begin{array}{lll}
L_{x_r} & = & \{(c^i w b^j,c^i w b^j) \delta_A: w \in K,i \in
\nat_0, j\in \nat \} \cup \\ & & \{(c^i w_1,c^i w_2)\delta_A :
(w_1,w_2)\delta_X \in K_{x_r}; i \in \nat_0 \} \\ & = &
(\{(c,c)\}^* \cdot \{(w,w)\delta_X: w \in K\} \cdot \{(b,b)\}^+)
\cup \\ & & (\{(c,c)\}^* \cdot K_{x_r})
\end{array}
$$ because, for any $c^i w b^j \in L$ with $j \ge 1$, we have
$$(c^i w b^j) x_r = (i,w,j)(0,x_r,0) = (i,w (x_r \theta^j), j) =
(i, w, j) = c^i w b^j$$ and for $c^i w \in L$  we have $$(c^i w)
x_r = (i,w,0)(0,x_r,0) = (i,w x_r,0).$$ Therefore $L_{x_r}$ is
also a regular language and so ${\rm BR}(T,\theta)$ is automatic.
\qed

\begin{thm}
If $T$ is an automatic monoid and $\theta$ is the identity in $T$
then ${\rm BR}(T,\theta)$ is automatic.
\end{thm}
\proof We use the generating set $A$ defined by equation
(\ref{eqA}) but we now define $L = \{c^i b^j w : w \in K \}$
observing that, since $\theta$ is the identity, for any $x_r \in
X$, we have $$
\begin{array}{ll}
x_r c = (0,x_r,0)(1,1_T,0) = (1, x_r \theta, 0)=
   (1, x_r, 0) = (1, 1_T, 0)(0, x_r, 0) = c x_r,\\
x_r b = (0, x_r, 0) (0, 1_T, 1) = (0, x_r, 1) =
   (0, x_r \theta, 1) = (0, 1_T, 1) (0, x_r, 0) = b x_r.
\end{array}
$$
The language $L$ is regular and it is a set of unique normal forms
for ${\rm BR}(T,\theta)$. Also the languages $$
\begin{array}{lll}
L_b & = & \{(c^i b^j w, c^i b^{j+1} w)\delta_A: w \in K; i,j \in
\nat_0\} \\
 & = & (\{(c,c)\}^* \cdot \{(b,b)\}^* \cdot \{(\$,b)\}) \odot
       \{(w,w)\delta_X: w \in K\}, \\
L_c & = & \{(c^i b^{j+1} w, c^i b^j w)\delta_A: w \in K; i,j \in
\nat_0\} \cup \\ & & \{(c^i w,c^{i+1} w)\delta_A: i \in \nat_0,
w\in K\} \\ & = & ((\{(c,c)\}^* \cdot \{(b,b)\}^* \cdot
\{(b,\$)\}) \odot \{(w,w)\delta_X: w \in K\}) \cup \\ & &
((\{(c,c)\}^* \cdot  \{(\$,c)\}) \odot \{(w,w)\delta_X: w \in
K\}),\\ L_{x_r} & = & \{(c^i b^j w_1,c^i b^j w_2)\delta_A:
 (w_1,w_2) \delta_X \in K_{x_r} \} \\
 & = & (\{(c,c)\}^* \cdot \{(b,b)\}^*) \cdot K_{x_r}
\end{array}
$$ are regular, by Lemma \ref{thmconcat}, and so $(A,L)$ is an
automatic structure for ${\rm BR}(T,\theta)$. \qed

We say that a semigroup $T$ is of {\it finite geometrical type}
(fgt) (see \cite{SilvaGeo}) if for every $t_1 \in T$, there
exists $k \in \nat$ such that the equation
$$x t_1 = t_2$$
has at most $k$ solutions for every $t_2 \in M$.

To prove next theorem we will use the following two auxiliary results from \cite{LuisThesis}:

\begin{lem}
Let $T$ be a {\rm fgt} monoid with an automatic structure with
uniqueness $(X,K)$. Then for every $w \in X^+$ there is a constant
$C$ such that $(w_1,w_2)\delta_X \in K_w$ implies $||w_1| -|w_2||
< C$. \label{lemfgt}
\end{lem}

\begin{lem}
\label{FiniteReg}
Let $S$ be a finite semigroup, $X$ be a finite set and $\psi: X^+
\rightarrow S$ be a surjective homomorphism. For any $s \in S$ the
set $s \psi^{-1}$ is a regular language.
\end{lem}

\begin{thm}
Let $T$ be a {\it fgt} automatic monoid and let $\theta: T
\rightarrow T$ be a monoid homomorphism. If $T \theta$ is finite
then ${\rm BR}(T,\theta)$ is automatic.
\end{thm}
\proof We will prove that the pair $(A,L)$ defined by (\ref{eqA})
and (\ref{eqL}) is an automatic structure for ${\rm
BR}(T,\theta)$. We have $$
\begin{array}{ll}
L_c =  & \{(c^i w b^{j+1},c^i w b^j)\delta_A: w \in K; i,j \in
\nat_0\} \cup \\
 & \{(c^i w_1,c^{i+1} w_2)\delta_A: w_1,w_2 \in K;
i \in \nat_0; w_2 = w_1 \theta \}
\end{array}
$$
and, since the language
$$
\begin{array}{l}
\{(c^i w b^{j+1},c^i w b^j)\delta_A: w
\in K; i,j \in \nat_0\} =\\
 \{(c,c)^i\}^* \cdot \{(w,w)\delta_X: w
\in K\} \cdot \{(b,b)\}^* \cdot \{(b,\$)\}
\end{array}
$$
is regular, we just have to prove that the language
$$M = \{(c^i w_1,c^{i+1}
w_2)\delta_A: w_1,w_2 \in K; i \in \nat_0; w_2 = w_1 \theta \}$$
is also regular. For any $t \in T \theta$ let $w_t$ be the unique
word in $K$ representing $t$. Let $$
\begin{array}{lll}
N = & \{(w_1,w_2)\delta_X: w_1,w_2 \in K; w_2 = w_1 \theta \} = \\
& \displaystyle{\bigcup_{t \in T \theta}} \{(w_1,w_2)\delta_X:
w_1,w_2 \in K; w_2 = w_1 \theta = t\} = \\ &
\displaystyle{\bigcup_{t \in T \theta}} \{(w_1,w_t)\delta_X: w_1
\in K; w_1 \in
 (t \theta^{-1}) \phi^{-1} \} = \\
& \displaystyle{\bigcup_{t \in T \theta}} ( ((t \theta^{-1})
\phi^{-1} \cap K ) \times \{w_t\}) \delta_X.
\end{array}
$$
We can define $\psi: X^+ \rightarrow T \theta;\ w \mapsto w \phi
\theta$ and, since $T \theta$ is finite, for any $t \in T \theta$,
we can apply Lemma \ref{FiniteReg} and conclude that $(t
\theta^{-1}) \phi^{-1} = t \psi^{-1}$ is regular. Therefore, $N$ is
a regular language and, since we have $$
\begin{array}{ll}
M = & \{(c^i w_1,c^{i+1} w_2)\delta_A: (w_1,w_2)\delta_X \in N; i
\in \nat_0\} = \\ & (\{(c,c)\}^* \cdot \{(\$,c)\}) \odot N,
\end{array}
$$ by Lemma \ref{thmconcat}, $M$ is a regular language as well. We
will now prove that the language $$L_{x_r} = \{(c^i w_1 b^j,c^i
w_2 b^j) \delta_A: (w_1,w_2)\delta_X \in K_{x_r \theta^j}; i,j \in
\nat_0 \}$$ is regular. Since $T \theta$ is finite we can, as in
the proof of Lemma \ref{BRTfin}, take $j,k$ to be minimum with
$x_r \theta^j = x_r \theta^{k+1}$ and $j \le k$, and we have $x_r
\theta^{j+r+q(k+1-j)} = x_r \theta^{j+r}$ for $j \le j+r < k+1$
and $q \ge 0$. Therefore, we can write
$$
\begin{array}{llll}
L_{x_r} & = & \displaystyle{\bigcup_{n=0}^{j-1}} & \{(c^i w_1
b^n,c^i w_2 b^n)\delta_A:
              (w_1,w_2)\delta_X \in K_{x_r \theta^n}; i \in \nat_0\} \cup\\
        & & \displaystyle{\bigcup_{n=j}^k} & \{(c^i w_1 b^{n+q(k+1-j)},
          c^i w_2 b^{n+q(k+1-j)})\delta_A : (w_1,w_2)\delta_X \in K_{x_r
          \theta^n}; i,q \in \nat_0\}\\
& = & \displaystyle{\bigcup_{n=0}^{j-1}} & (\{(c,c)\}^* \cdot
(K_{x_r \theta^n} \odot \{(b,b)\}^*)) \cup\\ &  &
\displaystyle{\bigcup_{n=j}^k}& (\{(c,c)\}^* \cdot (K_{x_r
\theta^n} \odot (\{(b,b)^n\} \cdot \{(b,b)^{k+1-j}\}^*))).
\end{array}
$$
Since $T$ is fgt, by Lemma \ref{lemfgt} there is a constant $C$
such that
$$(w_1,w_2)\delta_X \in K_{x_r \theta^n} \; \Rightarrow \;
||w_1|-|w_2|| < C$$ for any $n =0,\ldots,k$, and therefore we can
apply Lemma \ref{thmconcat} and we conclude that $L_{x_r}$ is a
regular language. \qed

Since automatic groups are characterized by the fellow traveller
property and Bruck--Reilly extensions of groups are somehow
``almost groups'' the following is a natural question:
Is a Bruck--Reilly extension of a group automatic if and only if
it has the fellow traveller property?

\section{Wreath products}

We consider the automaticity of the wreath product of semigroups,
$\wre{S}{T}$, in the case where $T$ is a finite semigroup. We
start by giving the necessary and sufficient conditions, obtained
in \cite{FGWP}, for the wreath product, to be finitely
generated, when $T$ is finite. Finite generation of the wreath product is related to
finite generation of the diagonal $S$-act. We use the conditions
obtained for the case where the diagonal $S$-act is not finitely
generated to prove that, in this case, the wreath product
$\wre{S}{T}$ is automatic whenever it is finitely generated and
$S$ is an automatic semigroup.

We start by giving the definitions we require. If $S$ is a
semigroup and $X$ is a set, then the set $S^X$ of all mappings $X
\rightarrow S$ forms a semigroup under {\it component-wise}
multiplication of mappings: for $f,g \in S^X$, $fg: X \rightarrow
S;\ x \mapsto (xf)(xg)$; this semigroup is called the {\it
Cartesian power} of $S$ by $X$. If $S$ has a distinguished
idempotent $e$, then the {\it support} of $f \in S^X$ relative to
$e$ is defined by $$ {\rm supp}_e(f)= \{x \in X: x f \neq e\}. $$
The set $$ S^{(X)_e} = \{f \in S^X: |\supp_e( f)| < \infty \} $$
is a subsemigroup of $S^X$; it is called the {\it direct power} of
$S$ relative to $e$ (the subscript $e$ is usually omitted).
If $X$ is finite of size $n$
then $S^X$ and $S^{(X)_e}$ coincide, and they are isomorphic to
the semigroup $S^{(n)}$ consisting of $n$-tuples of elements of
$S$ under the component-wise multiplication. In this context, we
write $S^{(X)_e}$ even if $S$ has no idempotents; we can think of
this as computing supports with respect to an identity adjoined to
$S$.

The {\it unrestricted wreath product} $\Wre{S }{ T}$ of two
semigroups is the set $S^T \times T$ under multiplication $$
(f,t)(g,u) = (f \ls{t}{g}, t u), $$ where $\ls{t}{g} \in S^T$ is
defined by $$ (x) \ls{t}{g} = (x t) g. $$ Let $e \in S$ be a
distinguished idempotent. The {\it (restricted) wreath product}
$\wre{S_e}{T}$ (with respect to $e$) is the subsemigroup of
$\Wre{S}{T}$ generated by the set $\{(f,t) \in \Wre{S}{T}: |
\supp_e(f)| < \infty \}$ (again the subscript $e$ is often
omitted).

The wreath product $\wre{S}{T}$ coincides with the unrestricted
wreath product $\Wre{S}{T}$ in the case where $T$ is finite, as
observed in \cite[Chapter 3]{Rob}.

An {\it action} of a semigroup $S$ on a set $X$ is a mapping $X
\times S \rightarrow X$, $(x,s) \mapsto x s$, satisfying $(x
s_1)s_2 = x (s_1 s_2)$. The set $X$, together with an action, is
called an {\it S-act}. It is said to be generated by a set $U
\subseteq X$ if $U S^1 = X$, and {\it finitely generated} if there
exists a finite such $U$.

The {\it diagonal act} of a semigroup $S$ is the set $S\times S$
with the action $(s_1,s_2)s = (s_1 s,s_2 s)$. The
diagonal acts of infinite groups, free semigroups, free
commutative semigroups and completely simple semigroups are not
finitely generated. On the other hand, the diagonal act of the full transformation
monoid $T_\nat$ on positive integers can be generated by a single
element; see \cite{Bulman}. In \cite{DAMon} the authors give an
example of an infinite, finitely presented monoid with a finitely
generated diagonal act.

We will only state the conditions obtained in \cite{FGWP} for the
case where $T$ is finite and $S$ is infinite.

\begin{prop}
Let $S$ be an infinite semigroup and let $T$ be a finite
non-trivial semigroup. If the diagonal $S$-act is finitely
generated then $\wre{S}{T}$ is finitely generated if and only if
the following conditions are satisfied:
\begin{romlist}
\item $S^2 = S$ and $T^2 = T$; \item $S$ is finitely generated.
\end{romlist}
If the diagonal $S$-act is not finitely generated then
$\wre{S}{T}$ is finitely generated if and only if the following
conditions are satisfied:
\begin{romlist}
\item $S^2 = S$; \item $S$ is finitely generated; \item every
element of $T$ is contained in the principal right ideal generated
by a right identity.
\end{romlist}
\label{proprob}
\end{prop}

We will now consider the automaticity of the wreath product
$\wre{S}{T}$ in the case where $T$ is finite. In the case where
$S$ is also finite, $\wre{S}{T}$ is finite as well, and, in
particular, it is automatic. We will consider the case where $S$
is infinite and the diagonal $S$-act is not finitely generated.

\begin{thm}
If $S$ and $T$ are semigroups satisfying the following conditions:
\begin{romlist}
\item $T$ is finite; \item $S$ is automatic; \item the diagonal
$S$-act is not finitely generated; \item the wreath product
$\wre{S}{T}$ is finitely generated;
\end{romlist}
then $\wre{S}{T}$ is automatic. \label{thmwr}
\end{thm}

To prove this theorem we will need some notation and a result from
\cite{RMAS}. A {\it generalized sequential machine} (gsm for
short) is a six-tuple $\mathcal{A} = (Q,A,B,$ $\mu,q_0,T)$ where
$Q$, $A$ and $B$ are finite sets, (called the {\it states}, the
{\it input alphabet} and the {\it output alphabet} respectively),
$\mu$ is a (partial) function from $Q \times A$ to finite subsets
of $Q \times B^+$, $q_0\in Q$ is the {\it initial state} and
$T\subseteq Q$ is the {\it set of terminal states}. We can read
$(q^\prime,u)\in (q,a)\mu $ in the following way: if $\mathcal{A}$ is in state $q$ and receives input $a$,
then it can move into state $q^\prime$ and output $u$.

We can interpret $\mathcal{A}$ as a directed labelled graph with vertices $Q$,
and an edge $q\xrightarrow{(a,u)} q^\prime$ for every
pair $ (q^\prime,u)\in (q,a)\mu$.
For a path
$$
\pi\::\: q_1\xrightarrow{(a_1,u_1)} q_2\xrightarrow{(a_2,u_2)} q_3\ldots
\xrightarrow{(a_n,u_n)} q_{n+1}
$$
we define
$$
\Phi(\pi)=a_1a_2\ldots a_n,\ \Sigma(\pi)=u_1u_2\ldots u_n.
$$
For $q,q^\prime\in Q$, $u\in A^+$ and $v\in B^+$ we write
$q\xrightarrow{(u,v)}_+ q^\prime$ to mean that there exists
a path $\pi$ from $q$ to $q^\prime$ such that $\Phi(\pi)\equiv u$
and $\Sigma(\pi)\equiv v$, and we say that $(u,v)$ is the
{\it label} of the path. We say that a path is {\it successful}
if it has the form $q\xrightarrow{(u,v)}_+ t$ with $t \in T$.

The gsm $\mathcal{A}$ induces a mapping
$\eta_{\mathcal{A}}\::\: {\mathcal{P}}(A^+)\longrightarrow
{\mathcal{P}}(B^+)$ from subsets of $A^+$ into subsets of $B^+$
defined by
$$
X\eta_{\mathcal{A}}=\{ v\in B^+\::\: (\exists u\in X)(\exists t\in T)
(q_0\xrightarrow{(u,v)}_+ t)\}.
$$
It is well known that if $X$ is regular then so is $X\eta_{\mathcal{A}}$;
see \cite{ForLang}.
Similarly, $\mathcal{A}$ induces a mapping $\zeta_{\mathcal{A}}\::\:
{\mathcal{P}}(A^+\times A^+)\longrightarrow {\mathcal{P}}(B^+\times B^+)$
defined by
$$
Y\zeta_{\mathcal{A}}=\{ (w,z)\in B^+\times B^+\::\:
(\exists (u,v)\in Y)(w\in u\eta_{\mathcal{A}}\ \&\ z\in v\eta_{\mathcal{A}})\}.
$$

The next lemma asserts that, under certain conditions, this
mapping also preserves regularity.

\begin{lem}
Let
$\mathcal{A} = (Q,A,B,\mu,q_0,T)$ be a {\rm gsm},
and let $\pi_A\::\: (A^\ast\times A^\ast)\delta_A\longrightarrow
A^\ast\times A^\ast$ be the inverse of $\delta_A$.
Suppose that there is a constant $C$ such that for any two paths
$\alpha_1, \alpha_2$ in $\mathcal{A}$, we have
\begin{equation}
| \Phi(\alpha_1) | = | \Phi(\alpha_2)| \Longrightarrow
||\Sigma(\alpha_1)| - | \Sigma(\alpha_2)|| \le C.\label{pre}
\end{equation}
If $M\subseteq (A^+\times A^+)\delta_A$ is a regular language in $A(2,\$)^+$
then
$N = M \pi_A \zeta_{\mathcal{A}} \delta_B$ is a regular
language in $B(2,\$)^+$. \label{thmgsm}
\end{lem}

Also the following simple fact, from \cite{LuisThesis}, will be
used in our proof.

\begin{lem}
\label{thmsses}
Let $S$ be an automatic semigroup such that $S^2 = S$. Then $S$
has an automatic structure with uniqueness
$(A,K)$ such that $K \cap A = \emptyset$.
\end{lem}

{{\sc Proof of Theorem \ref{thmwr}.}}  We assume, without loss of generality,
that $T = \{t_1,\ldots,t_m\}$ with $m > 1$. By
using Proposition \ref{proprob} we know that $S$ is finitely
generated and $S^2 = S$. So, by Theorem \ref{autdirprod}, we
conclude that the direct product $S^{|T|}$ is automatic. Let
$(F,K)$ be an automatic structure for $S^{|T|}$ with uniqueness
with $F = \{f_1,\ldots,f_k\}$. Since $S^2 =S$, we can use Lemma
\ref{thmsses}, and assume that $K$ does not have words of length
1. Given $t \in T$, using again Proposition \ref{proprob}, there
is a right identity $e \in T$ such that $t = e q$ for some $q \in
T$. So we can define a generating set
$$Y = \{e_1,\ldots,e_m\} \cup \{q_1,\ldots,q_m\}$$
for $T$ such that $t_i = e_i q_i$ for $i=1,\ldots,m$ and
$e_1,\ldots,e_m$ represent (not necessarily distinct) right
identities in $T$. We define a new alphabet $A$ by $$A =
\{(f,e_i): f \in F, i = 1, \ldots, m\} \cup \{(f,q_i):f \in F,
i=1,\ldots,m\}$$ and a language $L$ on $A$ by $$L =
\bigcup_{i=1,\ldots,m}{\{(f_{\alpha_1},e_i)\ldots(f_{\alpha_{n-1}},e_i)
(f_{\alpha_n},q_i): f_{\alpha_1} \ldots f_{\alpha_n} \in K\}}.$$
We will prove that the pair $(A,L)$ is an automatic structure for
$\wre{S}{T}$ (with uniqueness). To see that $A$ generates
$\wre{S}{T}$ and that $L$ is a set of unique representatives for
$\wre{S}{T}$ we observe that, given $(f,t_i) \in \wre{S}{T}$ there
is only one word $f_{\alpha_1}\ldots f_{\alpha_n}$ in $K$ such
that $f = f_{\alpha_1}\ldots f_{\alpha_n}$. So there is only one
word in $L$ representing $(f,t_i)$ which is
$$(f_{\alpha_1},e_i)\ldots(f_{\alpha_{n-1}},e_i)
(f_{\alpha_n},q_i).$$ To prove that $L$ is a regular language we
now define a gsm $\mathcal{A}$ such that $K \eta_{\mathcal{A}} =
L$. Let
$$\mathcal{A} = (Q,F,A,\mu,q_0,\{\chi\})$$
with $Q = \{q_0,\ldots,q_m\} \cup \{\chi\}$, where $q_0$ is the
initial state, $\chi$ is the only final state and $\mu$ is a
partial function from $Q \times F$ to finite subsets of $Q \times
A^+$ defined by: $$
\begin{array}{rcl}
(q_0,f) \mu & = & \{(q_i,(f,e_i)) \}\ (i = 1,\ldots,m), \\ (q_i,f)
\mu  & = & \{(q_i,(f,e_i)),(\chi,(f,q_i))) \}\ (i=1,\ldots,m ).
\end{array}
$$
We will now prove that $L_{(f,e_r)}$ is a regular language, for
$(f,e_r)\in A$. If we define
$$L_{(f,e_r)}^{(i)} = L_{(f,e_r)} \cap (A^+ \cdot \{(f,q_i):f \in
F\} \times A^+) \delta_A\ (i = 1, \ldots, m)$$ then we can write
$$L_{(f,e_r)} = \bigcup_{i=1,\ldots,m}{L_{(f,e_r)}^{(i)}}$$ and it
suffices to prove that, for each $i \in \{1,\ldots,m\}$, the
language $L_{(f,e_r)}^{(i)}$ is regular. To achieve that, we will
use Lemma \ref{thmgsm}. We start by showing that
$$L_{(f,e_r)}^{(i)} = K_{\bar{w}} \pi_F \zeta_{\mathcal{A}}
\delta_A \cap (A^+ \cdot \{(f,q_i): f\in F\} \times A^+ \cdot
\{(f,q_i): f\in F\})\delta_A$$ where $\bar{w}$ is the word in $K$
that represents $\ls{q_i}{f} \in S^{|T|}$. Let
$$(f_{\alpha_1},e_i) \ldots
(f_{\alpha_{n-1}},e_i)(f_{\alpha_n},q_i), (f_{\beta_1},e_j) \ldots
(f_{\beta_{s-1}},e_j)(f_{\beta_s},q_j) \in L.$$ Then
$$
\begin{array}{ll}
& ((f_{\alpha_1},e_i) \ldots
(f_{\alpha_{n-1}},e_i)(f_{\alpha_n},q_i), (f_{\beta_1},e_j) \ldots
(f_{\beta_{s-1}},e_j)(f_{\beta_s},q_j))\delta_A \in
L_{(f,e_r)}^{(i)} \\
\Leftrightarrow\; & f_{\alpha_1}\ldots f_{\alpha_{n}}
\ls{q_i}{f} = f_{\beta_1} \ldots f_{\beta_s}\ \&\
e_i q_i e_r = e_j q_j \\
\Leftrightarrow\; & f_{\alpha_1}\ldots f_{\alpha_{n}}
\ls{q_i}{f} = f_{\beta_1} \ldots f_{\beta_s}\ \&\
e_i q_i = e_j q_j \\
\Leftrightarrow\; & f_{\alpha_1}\ldots f_{\alpha_{n}}
\ls{q_i}{f} = f_{\beta_1} \ldots f_{\beta_s}\ \&\
t_i = t_j\\
\Leftrightarrow\; & (f_{\alpha_1}\ldots
f_{\alpha_{n}},f_{\beta_1} \ldots f_{\beta_s})\delta_F \in
K_{\bar{w}} \ \&\ i = j \\
\Leftrightarrow\; & ((f_{\alpha_1},e_i) \ldots
(f_{\alpha_{n-1}},e_i)(f_{\alpha_n},q_i), (f_{\beta_1},e_j) \ldots
(f_{\beta_{s-1}},e_j)(f_{\beta_s},q_j))\delta_A \in \\
& K_{\bar{w}} \pi_F \zeta_{\mathcal{A}} \delta_A \cap (A^+ \cdot
\{(f,q_i): f\in F\} \times A^+ \cdot \{(f,q_i): f\in F\})\delta_A
\end{array}
$$
We conclude, by Lemma \ref{thmgsm}, that $L_{(f,e_r)}^{(i)}$ is
a regular language. For a generator $(f,q_r) \in A$ will we prove
that $L_{(f,q_r)}$ is regular in a similar way. We can write
$$L_{(f,q_r)} = \bigcup_{i=1,\ldots,m}{L_{(f,q_r)}^{(i)}}$$ where
$$L_{(f,q_r)}^{(i)} = L_{(f,q_r)} \cap (A^+ \cdot \{(f,q_i):f \in
F\} \times A^+) \delta_A\ (i = 1,\ldots ,m).$$ We let $i \in
\{1,\ldots, m\}$ arbitrary and we will prove that
$L_{(f,q_r)}^{(i)}$ is a regular language. Let $j$ the unique
element in $\{1,\ldots, m\}$ such that $e_i q_i q_r = e_j q_j$ and
let $\bar{w}$ be the word in $K$ that represents $\ls{q_i}{f} \in
S^{|T|}$. Let
$$(f_{\alpha_1},e_i) \ldots
(f_{\alpha_{n-1}},e_i)(f_{\alpha_n},q_i), (f_{\beta_1},e_k) \ldots
(f_{\beta_{s-1}},e_k)(f_{\beta_s},q_k) \in L.$$ Then
$$
\begin{array}{ll}
& ((f_{\alpha_1},e_i) \ldots
(f_{\alpha_{n-1}},e_i)(f_{\alpha_n},q_i), (f_{\beta_1},e_k) \ldots
(f_{\beta_{s-1}},e_k)(f_{\beta_s},q_k))\delta_A \in
L_{(f,q_r)}^{(i)} \\
\Leftrightarrow\; & f_{\alpha_1}\ldots f_{\alpha_{n}}
\ls{q_i}{f} = f_{\beta_1} \ldots f_{\beta_s}\ \&\
e_i q_i q_r = e_k q_k \\
\Leftrightarrow\; & (f_{\alpha_1}\ldots
f_{\alpha_{n}},f_{\beta_1} \ldots f_{\beta_s})\delta_F \in
K_{\bar{w}} \ \&\ e_i q_i q_r = e_k q_k\ \&\ k = j \\
\Leftrightarrow\; & ((f_{\alpha_1},e_i) \ldots
(f_{\alpha_{n-1}},e_i)(f_{\alpha_n},q_i), (f_{\beta_1},e_k) \ldots
(f_{\beta_{s-1}},e_k)(f_{\beta_s},q_k))\delta_A \in \\
& K_{\bar{w}} \pi_F \zeta_{\mathcal{A}} \delta_A \cap (A^+ \cdot
\{(f,q_i): f\in F\} \times A^+ \cdot \{(f,q_j): f\in F\})\delta_A
\end{array}
$$
We can use again Lemma \ref{thmgsm} to conclude that, for each
$i$, the language
$$L_{(f,q_r)}^{(i)}
= K_{\bar{w}} \pi_F \zeta_{\mathcal{A}} \delta_A \cap (A^+ \cdot
\{(f,q_i): f\in F\} \times A^+ \cdot \{(f,q_j): f\in
F\})\delta_A$$ is regular. \qed

In the case where the semigroups $S$ and $T$ are monoids,
necessary and sufficient conditions for the wreath product
$\wre{S}{T}$ to be finitely generated are given in \cite{FGwpM}.

\begin{prop}
\label{propwpM} Let $S$ and $T$ be monoids, and let $G$ be the
group of units of $T$. Then the wreath product $\wre{S}{T}$ is
finitely generated if and only if both $S$ and $T$ are finitely
generated, and either $S$ is trivial, or $T = VG$ for some finite
subset $V$ of $T$.
\end{prop}

By using this result, our theorem has the following consequence:

\begin{cor}
Let $S$ be an automatic monoid and $T$ be a finite monoid. Then
the wreath product $\wre{S}{T}$ is automatic.
\end{cor}
\proof We assume that $S$ is not trivial. We can apply Proposition
\ref{propwpM}, with $V = T$, and so $\wre{S}{T}$ is finitely
generated. Moreover, the three conditions in Proposition
\ref{proprob}, for the case where the diagonal $S$-act is not
finitely generated, hold trivially since $S$ and $T$ are monoids.
The proof of our theorem is based on these conditions and
therefore the wreath product $\wre{S}{T}$ is automatic. \qed

It is still an open question whether or not the wreath product
$\wre{S}{T}$ is automatic when it is finitely generated. Of
course, from the above result, it only remains to consider
the case where the diagonal $S$-act is finitely generated. In
\cite{FGwpM} and \cite{Rob} we can find some examples of wreath
products with finitely generated diagonal $S$-act which, as the
authors observe, is in some way the less common case. Another
interesting problem is that of the automaticity of the wreath
product in the case where the semigroup $T$ is also infinite. A
natural starting point here is to use Proposition \ref{propwpM}
and investigate the case where $S$ and $T$ are monoids.

\newpage
\providecommand{\bysame}{\leavevmode\hbox to3em{\hrulefill}\thinspace}
\providecommand{\MR}{\relax\ifhmode\unskip\space\fi MR }
\providecommand{\MRhref}[2]{%
  \href{http://www.ams.org/mathscinet-getitem?mr=#1}{#2}
}
\providecommand{\href}[2]{#2}