\section{ Introduction
Epicomplete objects are interesting objects in each category. Many researches studied this object in the category of lattice ordered groups ($\ell$-group). Pedersen \cite{pedersen} defined the concept of an $a$-epimorphism in this category. It is an $\ell$-homomorphism which is also an epimorphism in the category of all torsion free Abelian groups.
Anderson and Conrad \cite{Anderson}  proved that each epimorphism in the category of Abelian
$\ell$-groups is an $a$-epimorphism. They showed that an Abelian $\ell$-group $G$ is epicomplete if and only if
it is divisible. They also studied epicomplete objects in some subcategories of Abelian $\ell$-groups.
In particular, they proved that epicomplete objects in the category of Abelian $o$-groups (linearly ordered groups)
with complete $o$-homomorphisms are the Hahn groups.
Darnel \cite{Darnel} continued to study these objects and showed that any completely distributive epicomplete object in
the category $\mathcal C$ of Abelian $\ell$-groups with complete $\ell$-homomorphisms is $V(\Gamma,\mathbb R)$ for some root system $\Gamma$, where $V(\Gamma,\mathbb R)$ is the set of functions $v: \Gamma \to \mathbb R$ whose support satisfies the ascending chain condition with a special order (see \cite[Prop 51.2]{2}).

He verified a new subcategory of $\mathcal{C}$ containing completely-distributive Abelian $\ell$-groups with complete $\ell$-homomorphisms and proved the converse. That is, the only epicomplete objects in this category are of the form $V(\Gamma,\mathbb R)$. Ton \cite{ton} studied epicomplete archimedean $\ell$-groups  and proved that
epicomplete objects in this category are $\ell$-isomorphic to a semicomplete subdirect sum of real groups.
Many other references can be found in \cite{Ball1,Ball2}.
Recently, Hager \cite{Hager} posed a question on the category of Archimedean $\ell$-groups  ``Does the epicompleteness imply the existence of a compatible reduced $f$-ring multiplication? ''.  His answer to this question was ``No'' and he tried to find a partial positive answer for it.

$MV$-algebras were defined by Chang \cite{Cha} as an algebraic counterpart of many-valued reasoning. The principal result of theory of $MV$-algebras is a representation theorem by Mundici \cite{Mun} saying that there is a categorical equivalence between the category of MV-algebras and the category of unital Abelian $\ell$-groups. Today theory of $MV$-algebras is very deep and has many interesting connections with other parts of mathematics with many important applications to different areas. For more details on $MV$-algebras, we recommend the monographs \cite{mundici 1, mundici 2}.

In the present paper, epicomplete objects in $\mathcal{MV}$, the category of $MV$-algebras, are studied. The concept of an $a$-extension in $\mathcal{MV}$ is introduced to obtain a condition on minimal prime ideals of an $MV$-algebra $M$ under which  $M$ is epicomplete. Some relations between injective, divisible and epicomplete $MV$-algebras are found. In the final section, we introduce a completion for an $MV$-algebra which is epicomplete and has the universal mapping property. We called it the epicompletion and we show that any $MV$-algebra has an epicompletion.

\section{ Preliminaries
In the section, we gather some basic notions relevant to $MV$-algebras and
$\ell$-groups which will be needed in the next sections. For more details, we recommend to consult the books \cite{Anderson1, 2} for theory of $\ell$-groups and \cite{Di Nola,mundici 1, mundici 2} for $MV$-algebras.

We say that an $MV$-{\it algebra} is an algebra $(M;\oplus,',0,1)$ (and we will write simply $M=(M;\oplus,',0,1)$) of type $(2,1,0,0)$, where $(M;\oplus,0)$ is a
commutative monoid with the neutral element $0$ and, for all $x,y\in M$, we have:
\begin{enumerate}
	\item[(i)] $x''=x$;

	\item[(ii)] $x\oplus 1=1$;

	\item[(iii)] $x\oplus (x\oplus y')'=y\oplus (y\oplus x')'$.
\end{enumerate}

In any $MV$-algebra $(M;\oplus,',0,1)$,
we can define the following further operations:
$$
x\odot y:=(x'\oplus y')',\quad x\ominus y:=(x'\oplus y)'.
$$

In addition, let $x \in M$. For any integer $n\ge 0$, we set
$$0.x=0,\quad 1.x=x,\quad n.x=(n-1).x\oplus x, \ n\ge 2,$$
and
$$x^0=1,\quad x^1 =1, \quad x^n=x^{n-1}\odot x, \ n\ge 2.$$

Moreover, the relation $x\leq y \Leftrightarrow x'\oplus y=1$ is a partial order on $M$ and $(M;\leq)$ is a lattice, where
$x\vee y=(x\ominus y)\oplus y$ and $x\wedge y=x\odot (x'\oplus y)$.
We use $\mathcal{MV}$ to denote the category of $MV$-algebras whose objects are $MV$-algebras and morphisms are $MV$-homomorphisms.
A non-empty subset $I$ of an $MV$-algebra $(M;\oplus,',0,1)$ is called an {\it ideal} of $M$ if $I$ is a down set which is closed under $\oplus$.
The set of all ideals of $M$ is denoted by $\mi(M)$.
For each ideal $I$ of $M$, the relation $\theta_I$ on $M$ defined by $(x,y)\in\theta_I$ if and only if $x\ominus y,y\ominus x\in I$ is a congruence relation on $M$, and $x/I$ and $M/I$ will denote $\{y\in M\mid (x,y)\in\theta_I\}$ and $\{x/I\mid x\in M\}$, respectively. A {\it prime} ideal is a proper ideal $I$ of $M$ such that $M/I$ is a linearly ordered $MV$-algebra, or equivalently, for all $x,y \in M$, $x\ominus y \in I$ or $y\ominus x\in I$. The set of all minimal prime ideals of $M$ is denoted by $Min(M)$. If $M_1$ is a subalgebra of an $MV$-algebra $M_2$, we write $M_1\leq M_2$.

\begin{rmk}
Let $M_1$ be a subalgebra of an $MV$-algebra $M_2$. For any ideal $I$ of $M_2$, the set $\bigcup_{x\in M_1}x/I$ is a subalgebra of $M_2$
containing $I$ which is denoted by $M_1+I$ for simplicity.
\end{rmk}

An element $a$ of an $MV$-algebra  $(M;\oplus,',0,1)$ is called a
{\it boolean} element if $a'':=(a')'=a$. The set of all boolean elements of $M$ is denoted by $B(M)$. An ideal $I$ of $M$
is called a {\it stonean} ideal if  there is a subset $S\s B(M)$ such that
$I=\downarrow S$, where $\downarrow S=\{x\in M\mid x\leq a\mbox{ for some $a\in S$ }\}$.
An element $x\in M$ is called {\it archimedean} if there is a integer $n\in\mathbb{N}$ such that $n.x$ is boolean.
An $MV$-algebra $M$ is said to be {\it hyperarchimedean} if all its elements are archimedean.  For more details about
hyperarchimedean $MV$-algebra see \cite[Chap 6]{mundici 1}

A group $(G;+,0)$ is said to be {\it partially ordered} if it is equipped with a partial order relation $\leq$ that is compatible with $+$, that is,
$a\leq b$ implies  $x+a+y\leq x+b+y$ for all $x,y\in G$. An element $x\in G$ is called {\it positive} if $0\leq x$.
A partially ordered group $(G;+,0)$ is called a {\it lattice ordered group} or simply an $\ell$-{\it group}
if $G$ with its partially order relation is a lattice.
The {\it lexicographic product} of two po-groups $(G_1;+,0)$ and $(G_2;+,0)$ is the direct product $G_1\times G_2$ endowed with the lexicographic ordering $\le$ such that $(g_1,h_1) \le (g_2,h_2)$ iff $g_1<g_2$ or $g_1=g_2$ and $h_1\le h_2$ for $(g_1,h_1), (g_2,h_2)\in G_1\times G_2$.
The lexicographic product of po-groups $G_1$ and $G_2$ is denoted by $G_1\,\overrightarrow{\times}\, G_2$.

An element $u$ of an $\ell$-group $(G;+,0)$ is called a {\it strong unit} if, for each $g\in G$, there exists $n\in \mathbb{N}$ such
that $g\leq nu$. A  couple $(G,u)$, where $G$ is an $\ell$-group and $u$ is a fixed strong unit for $G$, is said to be a {\it unital} $\ell$-{\it group}.

If $(G;+,0)$ is an Abelian $\ell$-group with strong unit $u$, then the interval $[0,u]:=\{g \in G \mid 0\leq g \leq u\}$ with the operations $x\oplus y:=(x+y)\wedge u$ and $x':=u-x$ forms
an $MV$-algebra, which is denoted by $\Gamma(G,u)=([0,u];\oplus,',0,u)$. Moreover, if $(M;\oplus,0,1)$ is an $MV$-algebra, then according to the famous theorem by Mundici, \cite{Mun}, there exists a unique (up to isomorphism)  unital Abelian $\ell$-group
$(G,u)$ with strong $u$ such that $\Gamma(G,u)$ and $(M;\oplus,0,1)$ are isomorphic (as $MV$-algebras).
Let $\mathcal{A}$ be the category of unital Abelian $\ell$-groups whose objects are unital $\ell$-groups and morphisms are unital $\ell$-group morphisms (i.e. homomorphisms of $\ell$-groups preserving fixed strong units). It is important to note that $\mathcal{MV}$ is a variety whereas $\mathcal A$ not because it is not closed under infinite products.  Then $\Gamma: \mathcal{A}\ra \mathcal{MV}$ is a functor between these categories. Moreover, there is another functor from the category of $MV$-algebras to $\mathcal{A}$ sending $M$ to a Chang $\ell$-group induced by good sequences of the $MV$-algebra $M$, which is
denoted by $\Xi:\mathcal{MV}\ra \mathcal{A}$. For more details relevant to these functors, please see \cite[Chaps 2 and 7]{mundici 1}.

\begin{thm}{\rm\cite[Thms 7.1.2, 7.1.7]{mundici 1}}\label{functor}
The composite functors $\Gamma\Xi$ and $\Xi\Gamma$ are naturally equivalent to the identity functors of
$\mathcal{MV}$ and $\mathcal{A}$, respectively. Therefore, the categories $\mathcal{A}$ and $\mathcal{MV}$ are categorically equivalent.
\end{thm}

\noindent
Next theorem states that $\mathcal{MV}$ satisfies the amalgamation property.

\begin{thm}\label{amalgam} \em{\cite[Thm 2.20]{mundici 2}} Given one-to-one homomorphisms
$A\xleftarrow{\alpha} Z\xrightarrow{\beta} B$ of $MV$-algebras, there is an $MV$-algebra $D$ together
with one-to-one homomorphisms $A\xrightarrow{\mu} D\xleftarrow{\nu} B$ such that $\mu\circ \alpha=\nu\circ \beta$.
\end{thm}

\noindent
An $MV$-algebra $(M;\oplus,',0,1)$ is called {\it divisible} if, for all $a\in M$ and all $n\in\mathbb{N}$, there exists $x\in M$ such that
\begin{itemize}
\item  $n.x=a$.
\item $a'\oplus ((n-1).x)=x'$.
\end{itemize}

Let $(M;\oplus,',0,1)$ be an $MV$-algebra and $(G,u)$ be the unital Abelian $\ell$-group
corresponding to $M$, that is $M=\Gamma(G,u)$. It can be easily seen that $M$ is divisible if and only if, for all $a\in M$ and
for all $n\in\mathbb{N}$, there exists $x\in M$ such that the group element $nx$ is defined in $M$ and $nx=a$. Moreover, $M$ is divisible if and only if
$G$ is divisible (see \cite[Lem. 2.3]{Di Nola} or \cite[Prop 2.13]{16}).
It is possible to show that if $nx=a=ny$, then $x=y$ (see \cite{Dvu2}).
If $(G(M),u)$ is the unital $\ell$-group corresponding to an $MV$-algebra $M$ and $G(M)^d$ is the divisible hull of the
$\ell$-group $G(M)$, then $G(M)^d$ is an $\ell$-group with strong unit $u$ and we use $M^d$ to denote the $MV$-algebra $\Gamma(G(M)^d,u)$.
By \cite{Dvu2}, $M^d$ is a divisible $MV$-algebra containing $M$; we call $M^d$ the {\it divisible hull} of $M$. For more details about divisible $MV$-algebras we recommend to see
\cite{Dvu2,Di Nola,lapenta}.

\begin{defn}\cite{16}\label{injective}
	An $MV$-algebra $A$ is {\it injective} if each $MV$-homomorphism $h:C\ra A$ from every $MV$-subalgebra $C$ of an $MV$-algebra $B$ into $A$ can be
	extended to an $MV$-homomorphism from $B$ into $A$.
\end{defn}

\begin{defn}\cite{Dvu1}\label{summand}
An ideal $I$ of an $MV$-algebra $M$ is called a {\it summand-ideal} if there exists an ideal $J$ of $M$ such that $\langle I\cup J\rangle=M$ and $I\cap J=\{0\}$,
where $\langle I\cup J\rangle$ is the ideal of $M$ generated by $I\cup J$.
In this case, we write $M=I\boxplus J$. The set of all summand-ideals of $M$ is denoted by $\mathfrak{Sum}(M)$. Evidently, $\{0\}, M \in \mathfrak{Sum}(M)$.
\end{defn}
\section{ Epimorphisms on class of MV-algebras

In this section, epicomplete objects and an epimorphism in the category of $MV$-algebras are established and their properties are studied. Some
relations between epicomplete $MV$-algebras, $a$-extensions of $MV$-algebras and divisible $MV$-algebras are obtained. We show that any
injective $MV$-algebra is epicomplete. Finally, we prove that an $MV$-algebra is epicomplete if and only if it is divisible.

Recall that a morphism $f:M_1\ra M_2$ of $\mathcal{MV}$ is called an {\it epimorphism} if, for each
$MV$-algebra $M_3$ and all $MV$-homomorphisms $\alpha:M_2\ra M_3$ and $\beta:M_2\ra M_3$,
the condition $\alpha\circ f=\beta\circ f$
implies that $\alpha=\beta$.
An object $M$ of $\mathcal{MV}$ is called {\it epicomplete} if,
for each $MV$-algebra $A$ and for each epimorphism $\alpha:M\ra A$ in $\mathcal{MV}$,
we get $\alpha$ is a surjection.
An {\it epi-extension} for $M$ is an epicomplete object containing $M$ epically.
That is, the inclusion map $i:M\ra E$ is an epimorphism and $E$ is an epicomplete $MV$-algebra.

\begin{defn}\label{2.1}
	Let $M_1$ be a subalgebra of an $MV$-algebra $M_2$. Then $M_2$ is an {\it $a$-extension} of $M_1$ if the map $f: \mathcal I(M_2)\ra \mathcal I(M_1)$ defined by	 $f(J)= J\cap M_1$, $J \in \mathcal I(M_2)$, is a lattice isomorphism. An $MV$-algebra is called {\it $a$-closed} if it has no proper $a$-extension.
\end{defn}

It can be easily seen that $M_2$ is an $a$-extension for $M_1$ if and only if for all $0<y\in M_2$ there are $n\in\mathbb{N}$ and
$0<x\in M_1$ such that $y< n.x$ and $x< n.y$.

\begin{prop}\label{2.2}
	If $f:M_1\ra M_2$ is an epimorphism, then $M_2$ is an $a$-extension for $f(M_1)$.
\end{prop}

\begin{proof}
Let $I$ and $J$ be two ideals of $M_2$ such that $I\cap f(M_1)=J\cap f(M_1)$. Then by the Third Isomorphism Theorem \cite[Thm 6.18]{burris}, we get that
\begin{eqnarray}\label{R2.1}
\frac{M_2}{J}\supseteq\frac{f(M_1)+J}{J}\cong \frac{f(M_1)}{J\cap f(M_1)}=\frac{f(M_1)}{I\cap f(M_1)}\cong \frac{f(M_1)+I}{I}\s \frac{M_2}{I}.
\end{eqnarray}
Let $\alpha_I:\frac{f(M_1)}{I\cap f(M_1)}\ra \frac{M_2}{I}$ and $\alpha_J:\frac{f(M_1)}{J\cap f(M_1)}\ra \frac{M_2}{J}$  be the canonical morphisms induced from (\ref{R2.1}). Then by the amalgamation property (Theorem \ref{amalgam}), there exist an $MV$-algebra $A$ and homomorphisms $\beta_I:\frac{M_2}{I}\ra A$ and  $\beta_J:\frac{M_2}{J}\ra A$ such that  $\beta_I\circ\alpha_I=\beta_J\circ\alpha_J$. Consider the
following maps
\begin{eqnarray*}
\mu_I:M_2\xrightarrow{\pi_I}\frac{M_2}{I}\xrightarrow{\beta_I}A,\quad
\mu_J:M_2\xrightarrow{\pi_J}\frac{M_2}{J}\xrightarrow{\beta_J}A,
\end{eqnarray*}
where $\pi_I$ and $\pi_J$ are the natural projection homomorphisms. For all $x\in M_1$,
\begin{eqnarray*}
\mu_I(f(x))=\beta_I(\frac{f(x)}{I})=\beta_I(\alpha_I(\frac{f(x)}{I\cap f(M_1)}))=\beta_J(\alpha_J(\frac{f(x)}{J\cap f(M_1)}))=\beta_J(\frac{f(x)}{J})=\mu_J(f(x)).
\end{eqnarray*}
It follows that $\mu_I\circ f=\mu_J\circ f$ and so by the assumption $\mu_I=\mu_J$, which implies that $I=J$.
Therefore, $M_2$ is an $a$-extension for $f(M_1)$.
\end{proof}

\noindent
The next theorem helps us to prove Corollaries \ref{2.3.0} and \ref{2.3.1}.

\begin{thm}\label{2.3}
Let $M_1$ be a subalgebra of an $MV$-algebra $(M_2;\oplus,',0,1)$ such that $M_2$ is an $a$-extension of $M_1$ and $M_1+I=M_2$ for all $I\in Min(M_2)$. Then $M_1=M_2$.
\end{thm}

\begin{proof}
Choose $b\in M_2 \setminus M_1$ and set $S:=\{x\ominus b\mid x\in M_1,~ x\vee b\in M_1~ and ~ x\ominus b>0 \}$.
 Clearly, $S\neq\emptyset$ and  $0\notin S$.
First we show that $S$ is closed under $\wedge$.
Let $x,y\in M_1$ be such that $x\ominus b,y\ominus b\in S$. Then $x\vee b,y\vee b\in M_1$ and $x\ominus b,y\ominus b>0$. We claim that $(x\wedge y)\ominus b>0$. From \cite[Props 1.15, 1.16, 1.21, 1.22]{georgescu}
it follows that $(x\wedge y)\ominus b=(x\ominus b)\wedge (y\ominus b)$.

If $(x\wedge y)\ominus b=0$, then
\begin{eqnarray*}
x\wedge y\leq b\Rightarrow (x\wedge y)\vee b=b\Rightarrow (x\vee b)\wedge (y\vee b)=b
\end{eqnarray*}
but $(x\vee b)\wedge (y\vee b)\in M_1$(since $x\vee b,y\vee b\in M_1$), which is a contradiction. So $0<(x\wedge y)\ominus b$.
Similarly, we can show that $(x\wedge y)\vee b\in M_1$.
Hence $(x\ominus b)\wedge (y\ominus b)\in S$. It follows that
there is a proper lattice filter of $M_1$ containing $S$ which implies that  there exists a maximal lattice filter of $M_1$ containing
$S$, say $\overline{S}$, whence $\overline{S}=M_1\setminus P$ for some minimal prime lattice filter $P$ of $M_1$.
By \cite[Cor 6.1.4]{mundici 1}, $P$ is a minimal prime filter of $M_1$, and so there exists $Q\in Min(M_2)$ such that $P=Q\cap M_1$.
By the assumption and by the Third Isomorphism Theorem,
$$
\frac{M_1}{Q\cap M_1}\cong \frac{M_1+Q}{Q}\cong \dfrac{M_2}{Q}.
$$
Then there exists $a\in M_1$ such that  $a/Q=b/Q$, so $b\ominus a,a\ominus b\in Q$. Clearly, $(b\ominus a)\vee (a\ominus b)\neq 0$
(otherwise, $b=a\in M_1$ which is a contradiction).

\noindent
(i) If  $a\ominus b=0$, then $b\ominus a>0$. Let $0<b\ominus a=t\in Q$. Then there are $n\in\mathbb{N}$ and $z\in M_1$
such that $t<n.z$ and $z<n.t$, so $z,n.z\in Q$ which implies that $n.z\in Q\cap M_1$. From $b\ominus a\leq n.z$, we have
$b\leq a\oplus n.z$. Clearly, $b<a\oplus n.z$ (since $a\oplus n.z\in M_1$). Thus $(a\oplus n.z)\ominus b>0$ and
$(a\oplus n.z)\vee b=a\oplus n.z\in M_1$ and hence by definition
\begin{eqnarray}
\label{R 2.2}(a\oplus n.z)\ominus b\in S.
\end{eqnarray}
On the other hand, in view of
$\frac{(a\oplus n.z)\ominus b}{Q}=(\frac{a}{Q}\oplus \frac{n.z}{Q})\ominus \frac{b}{Q}=
\frac{a}{Q}\ominus \frac{b}{Q}=\frac{0}{Q}$, we get
\begin{eqnarray}
\label{R 2.3}(a\oplus n.z)\ominus b\in Q.
\end{eqnarray}
From relations (\ref{R 2.2}) and (\ref{R 2.3}) it follows that $(a\oplus n.z)\ominus b\in S\cap Q$ which is a contradiction.

(ii) If $b\ominus a=0$, then $b\leq a$ and $a\ominus b>0$, so $a\ominus b\in S\cap Q$
(note that $b\vee a=a\in M_1$) which is a contradiction.

(iii) If $b\ominus a>0$ and $a\ominus b>0$, then $a\ominus b=t\in Q$, so similarly to (i)
there are $n\in\mathbb{N}$ and $z\in M_1$  such that $a\ominus b<n.z\in Q\cap M_1$.
It follows that $a\ominus n.z\leq b$. Since $a\ominus n.z\in M_1$, we have $a\ominus n.z<b$. Hence, $(a\ominus n.z)\ominus b=0$,
$\frac{a\ominus n.z}{Q\cap M_1}=\frac{a}{Q\cap M_1}$ and $\frac{a\ominus n.z}{P}=\frac{b}{P}$.
Now, we return to (i) and replace $a$ with $a\ominus n.z$. Then we get another contradiction.
Therefore, the assumption was incorrect and there is no $b\in M_2\setminus M_1$. That is, $M_2=M_1$.
\end{proof}

\begin{cor}\label{2.3.0}
An $MV$-algebra $(A;\oplus,',0,1)$ is epicomplete if and only if for each epimorphism $f:A\ra B$, we have $ \mathrm{Im} (f)+I=B$ for all $I\in Min(B)$.
\end{cor}

\begin{proof}
The proof is straightforward by Proposition \ref{2.2} and Theorem \ref{2.3}.
\end{proof}

\begin{cor}\label{2.3.1}
An $MV$-algebra $(M;\oplus,',0,1)$ is divisible if and only if $M/P$ is divisible for each $P\in Min(M)$.
\end{cor}

\begin{proof}
Consider the divisible hull  $M^d$ of the $MV$-algebra $M$. For each $n\in \mathbb{N}$ and
each $y\in M^d$, there exists $x\in X$ such that $n.x=y$. It entails that $y<(n+1).x$ and
$x<(n+1).y$. So, $M^d$ is an $a$-extension for $M$. It follows that $Min(M)=\{P\cap M\mid P\in Min(M^d)\}$.
Moreover, for each $P\in Min(M^d)$, we have
$\frac{M}{P\cap M}=\frac{P+M}{P}\subseteq \frac{M^d}{P}$ and so by the assumption $\frac{P+M}{P}$ is
divisible. It follows that $\frac{P+M}{P}=\frac{M^d}{P}$ (since $\frac{M^d}{P}$ is a divisible extension of
$\frac{P+M}{P}$), hence $P+M=M^d$. Now, by Theorem \ref{2.3},  we conclude that $M=M^d$. Therefore,
$M$ is divisible. The proof of the converse is straightforward.
\end{proof}

In Theorem \ref{2.5},
we show a condition  under which an $MV$-algebra is $a$-closed.

\begin{rmk}\label{2.4}
If $M_2$ is an $a$-extension for $MV$-algebra $M_1$, then for all $I\in I(M_2)$, the $MV$-algebra $\frac{M_2}{I}$ is an
$a$-extension for the $MV$-algebra $\frac{M_1+I}{I}$.
\end{rmk}

\begin{defn}\label{2.6}
	An ideal $I$ of an $MV$-algebra $(M;\oplus,',0,1)$ is called an $a$-ideal if $\frac{M}{I}$ is an $a$-closed $MV$-algebra. Clearly, $M$ is an $a$-closed ideal of $M$. Moreover, $M$ is $a$-closed if and only if $\{0\}$ is an $a$-closed ideal.
\end{defn}

\begin{thm}\label{2.5}
If every minimal prime ideal of an $MV$-algebra $(M;\oplus,',0,1)$ is $a$-closed, then $M$ is $a$-closed.
\end{thm}

\begin{proof}
Let $A$ be an $a$-extension for $M$. For each $P\in Min(A)$, we have $\frac{M}{P\cap M}\cong \frac{M+P}{P}\xrightarrow{\s} \frac{A}{P}$. By the above remark,
$\frac{A}{P}$ is an $a$-extension for $\frac{M+P}{P}$. Since $\frac{M+P}{P}$ is $a$-closed, then $\frac{M+P}{P}=\frac{A}{P}$. Now, from Theorem \ref{2.3},
it follows that $M=A$.
\end{proof}

Clearly, the converse of Theorem \ref{2.5} is true, when $M$ is linearly ordered. Indeed, if $M$ is a chain, $\{0\}$ is the only minimal
prime ideal of $M$ and so $M\cong \frac{M}{\{0\}}$ is $a$-closed. In the following proposition and corollary,
we try to find a better condition under which the converse of Theorem \ref{2.5} is true.

\begin{prop}\label{2.7}
If $I$ is a summand ideal of an $a$-closed $MV$-algebra $(M;\oplus,',0,1)$, then $\frac{M}{I}$ is $a$-closed.
\end{prop}

\begin{proof}
Let $M$ be an $a$-closed $MV$-algebra and $I$ be a summand ideal of $M$. By \cite[Cor 3.5]{Dvu1},
there exists $a\in B(M)$ such that $I=\downarrow a$, $I^{\bot}=\downarrow a'$ and $M=\downarrow a\oplus \downarrow a' :=\{x\oplus y \mid x\in \downarrow a, \, y \in \downarrow a'\}$. Moreover, for each
$x\in M$, there are $x_1\leq a$ and $x_2\leq a'$ such that $x=x_1\oplus x_2$ and so $x/I=x_2/I$. Hence for each $x,y\in M$,
\begin{eqnarray*}
x/I=y/I&\Leftrightarrow & x_2/I=y_2/I\Leftrightarrow x_2\ominus y_2,y_2\ominus x_2\in I \\
&\Rightarrow & x_2\ominus y_2\leq x_2\in I^{\bot},\  y_2\ominus x_2\leq y_2\in I^{\bot}\\
&\Rightarrow & x_2\ominus y_2,y_2\ominus x_2\in I\cap I^{\bot}=\{0\} \Rightarrow x_2=y_2.
\end{eqnarray*}
That is, $\frac{M}{I}=\{x/I|\ x\in I^{\bot}\}$. Now, we define the operations $\boxplus$ and $*$ on $\downarrow a'$ by $x\boxplus y=x\oplus y$ and $x^{*}=t$, where $t$ is the second component of $x'$ in $\downarrow a\oplus \downarrow a'$. It can be easily seen that $I^\bot$ with these operations and $0$ and $a'$ as the least and greatest elements, respectively, is an $MV$-algebra. Moreover, $\frac{M}{I}\cong I^{\bot}$. Similarly, $\frac{M}{I^\bot}$ is an $MV$-algebra and $I=\downarrow a\cong \frac{M}{I^\bot}$. Now, let $A$ be an $a$-extension for the $MV$-algebra $\frac{M}{I}$. Then
\begin{eqnarray*}
\phi: M\xrightarrow{x\mapsto x_1\oplus x_2}\downarrow a\oplus \downarrow a'\xrightarrow{x\oplus y\mapsto (x/I,y/I^\bot)}  \frac{M}{I}\times \frac{M}{I^\bot}\xrightarrow{\s} A\times \frac{M}{I^\bot}.
\end{eqnarray*}
(1) Since $M\cong \frac{M}{I} \times \frac{M}{I^\bot}$, then $\frac{M}{I}\times \frac{M}{I^\bot}$ is $a$-closed.

\noindent
(2)  $A\times \frac{M}{I^\bot}$ is an $a$-extension for $\frac{M}{I}\times \frac{M}{I^\bot}$.

It follows that $\frac{M}{I}\times \frac{M}{I^\bot}=A\times \frac{M}{I^\bot}$ and so $A=\frac{M}{I^\bot}$.
In a similar way, we can show that $M/I$ is $a$-closed.
\end{proof}

\begin{cor}\label{2.8}
Let $(M;\oplus,',0,1)$ be a closed hyperarchimedean $MV$-algebra.
By {\rm \cite[Thm 6.3.2]{mundici 1}} every principal ideal of $M$ is a stonean ideal.
Hence by {\rm \cite[Cor 3.5(iii)]{Dvu1}}, we get that every principal ideal of $M$ is a summand ideal of $M$ and so $\frac{M}{I}$ is $a$-closed for each principal ideal $I$ of $M$. That is, each principal ideal of $M$ is an $a$-ideal.
\end{cor}

We note that an $MV$-algebra $M$ is {\it simple} if $\mathcal I(M)=\{\{0\},M\}$.

\begin{exm}\label{2.9}
(1)  Consider the $MV$-algebra of the real unit interval $A=[0,1]$.  Let $B$ be an $a$-extension for $A$. Then $B$ is a simple $MV$-algebra
(since $[0,1]$ is simple and $\mathcal{I}(A)\cong \mathcal{I}(B)$).  By \cite[Thm 3.5.1]{mundici 1}, $B$ is isomorphic to a subalgebra
of $[0,1]$. Let $f:B\ra [0,1]$ be a one-to-one $MV$-algebra homomorphism. Let $h:[0,1]\ra [0,1]$ be the map $h=f\circ i$,
where $i:A\ra B$ is the inclusion map. By Theorem \ref{functor}, $H:=\Xi(h):(\mathbb{R},1)\ra (\mathbb{R},1)$ is
the unital $\ell$-group homomorphism relevant to $h$. Since $H(1)=1$, it can be easily seen that $H$ is the identity map on $\mathbb{R}$.
Indeed, clearly $H(x)=x$ for all $x\in\mathbb{Q}$. Let $x_0\in \mathbb{R}$. For all $\epsilon>0$, let $\delta>0$ be an element of $\mathbb{Q}$ such that $\delta<\epsilon$. Then for  all $x\in\mathbb{R}$ with
$|x-x_0|\leq \delta$, we have $0\leq x-x_0\leq\delta$ or $0\leq x_0-x\leq \delta$. In each case, we have
$|H(x)-H(x_0)|=|H(x-x_0)|\leq H(\delta)=\delta\leq\epsilon$ (note that $H$ is order preserving). That is, $H$ is a continuous map. So clearly,  $H=Id_{\mathbb{R}}$ (since $\mathbb{Q}$ is dense in $\mathbb{R}$). It follows that $h=Id_A$, hence
$f$ is an isomorphism, and  $f$ is the identity map. Thus $B=[0,1]$. Therefore, $A$ is $a$-closed.

(2) Let $A$ be a subalgebra of the real interval $MV$-algebra $[0,1]=\Gamma(\mathbb R,1)$. Then $A$ is $a$-closed if and only if $A=[0,1]$. Indeed, one direction was proved in the forgoing case (1). Now let $A$ be a proper subalgebra of $[0,1]$. Then the $MV$-algebra $[0,1]$ is an $a$-extension of $A$ such that $A\ne [0,1]$.

(3) {\it A simple $MV$-algebra $A$ is $a$-closed if and only if $A$ is isomorphic to the $MV$-algebra $[0,1]$.}

Let $B$ be any $a$-extension of $A$. Then $B$ has to be a simple $MV$-algebra, and by \cite[Thm 3.5.1]{mundici 1}, $B$ is isomorphic to some subalgebra $\overline{B}$ of the $MV$-algebra $[0,1]$. Let $f:B\to \overline{B}\subseteq [0,1]$ be such an $MV$-isomorphism. Then $\overline{A}:=f(A)$ is a subalgebra of both $\overline{B}$ and $[0,1]$. Let $g:A\to [0,1]$ be any injective  $MV$-homomorphism. By \cite[Cor 7.2.6]{mundici 1}, $g(A)=f(A)$. Hence, if $A$ is isomorphic to $[0,1]$, then $[0,1]=\overline{A} \subseteq \overline{B}\subseteq [0,1]$ which yields $A=B$ and $A$ is $a$-closed.

Let $A$ be not isomorphic to $[0,1]$ and let $A=\Gamma(G,u)$ for some unital Abelian linearly ordered group $(G,u)$, in addition, $G$ is Archimedean.  There is a subgroup $R$ of the group $\mathbb R$ of reals, $1 \in R$, $R \ne \mathbb R$, such that $A\cong \Gamma(R,1)\varsubsetneq \Gamma(\mathbb R,1)$. By \cite[Lem 4.21]{Goo}, $R$ is either cyclic or dense in $\mathbb R$. If $R$ is cyclic, then $R =\frac{1}{n}\mathbb Z$, where $\mathbb Z$ is the group of integers and $n\ge 1$ is an integer. Then $\frac{1}{n}\mathbb Z \varsubsetneq \frac{1}{2n}\mathbb Z$, which yields $\Gamma(\frac{1}{n}\mathbb Z,1) \varsubsetneq \Gamma(\frac{1}{2n}\mathbb Z,1)$.

Let $G^d$ be the divisible hull of $G$. Define $\frac{1}{2}G:=\{\frac{1}{2}g \mid g \in G\}$. Then $(G,u) \varsubsetneq (\frac{1}{2}G,u) \subseteq (G^d,u)$. If we set $B=\Gamma(\frac{1}{2}G,u)$, then $A \varsubsetneq B\cong \Gamma(\frac{1}{2n}\mathbb Z,1)$, $B$ is simple (because $\Gamma(\frac{1}{2n}\mathbb Z,1)$ is simple), and $B$ is a proper $a$-extension of $A$, so that $A$ is not $a$-closed.

Now let $R$ be not cyclic, so it is dense in $\mathbb R$. Since $G$ is Archimedean, it has the Dedekind--MacNeille completion $G^\diamondsuit$ which is a conditionally complete $\ell$-group such that, for every $h\in G^\diamondsuit$, $h = \bigvee \{g\in G \mid g \le h\}$, and if $H$ is any complete $\ell$-group with these properties, there exists a unique $\ell$-isomorphism $\phi:G^\diamondsuit \to H$ such that $\phi(g)=g$ for all $g \in G$, see \cite[Thm 1.1]{CoMc}. Whereas the Dedekind--MacNeille completion of $R$ is the whole group $\mathbb R$, we have $G \hookrightarrow G^\diamondsuit\cong \mathbb R$. Hence, if we set $B=\Gamma(G^\diamondsuit,u)$, then $B$ is a simple MV-algebra containing $A$ as its subalgebra, and $B$ is a proper $a$-extension, proving $A$ is not $a$-closed.
\end{exm}

\begin{thm}\label{2.10}
Every injective $MV$-algebra is epicomplete.
\end{thm}
\begin{proof}
Let $(E;\oplus,',0,1)$ be an $MV$-algebra, $(M;\oplus,',0,1)$ be an injective $MV$-algebra and $f:M\ra E$ be an epimorphism.
Consider the maps given in  Figure \ref{Fig1}.
\setlength{\unitlength}{1mm}
\begin{figure}[!ht]
\begin{center}
\begin{picture}(40,27)
\put(12,25){\vector(2,0){12}}
\put(8,22){\vector(0,-1){12}}
\put(30,24){\vector(1,0){12}}
\put(30,26){\vector(1,0){12}}
\put(5,6){\makebox(4,2){{ $M$}}}
\put(5,24){\makebox(4,2){{ $M$}}}
\put(25,24){\makebox(4,2){{ $E$}}}
\put(42,24){\makebox(4,2){{ $E$}}}
\put(15,27){\makebox(4,2){{ $f$}}}
\put(1,15){\makebox(4,2){{$Id_{_M}$}}}
\put(33,28){\makebox(4,2){{$Id_{_E}$}}}
\put(33,20){\makebox(4,2){{$g$}}}
\end{picture}
\caption{\label{Fig1}
\end{center}
\end{figure}\\
Then there exists a homomorphism $h:E\ra M$ such that  $h\circ f=Id_{_M}$.
Let $g:E\ra E$ be defined by $g=f\circ h$. Then for each $x\in M$,
$Id_{_E}\circ f(x)=f(x)=f(h\circ f(x))=(f\circ h)\circ f(x)=g\circ f(x)$ which implies that $g=Id_{_E}$ (see the latter diagram). Therefore,
$f$ is onto. That is, $M$ is epicomplete.
\end{proof}

It is well known that divisible and complete $MV$-algebras coincide with  injective $MV$-algebras (see \cite[Thm 1]{lacava} and \cite[Thm 2.14]{16}). So we have the following result.

\begin{cor}\label{2.11}
Every complete and divisible $MV$-algebra is epicomplete.
\end{cor}

Let $(M;\oplus,',0,1)$ be an $MV$-algebra and $(G,u)$ be a unital $\ell$-group such that $M=\Gamma(G,u)$.
Set $M^{d}=\Gamma(G^d,u)$, where $G^d$ is the divisible hull of $G$. Let $i: M\ra M^d$ be the inclusion map. Then
$i$ is an epimorphism. Indeed, if $A$ is another $MV$-algebra and $\alpha,\beta:M^d\ra A$ be $MV$-homomorphisms
such that $\alpha\circ i=\beta\circ i$, then by Theorem \ref{functor}, we have the following homomorphisms in $\mathcal{A}$
$$\Xi(i):(G,u)\mapsto (G^d,u),\quad \Xi(\alpha),\Xi(\beta):\Xi(M^d,u)\mapsto (\Xi(A),v),$$
where $v$ is a strong unit of $\Xi(A)$ such that $\Gamma(\Xi(A),v)=A$.
Since $\Xi$ is a functor from $\mathcal{MV}$ to $\mathcal{A}$, then we have
$\Xi(\alpha)\circ \Xi(i)=\Xi(\alpha\circ i)=\Xi(\beta\circ i)=\Xi(\beta)\circ \Xi(i)$.
By \cite[Sec 2]{Anderson}, we know that the inclusion map $\Xi(i):(G,u)\ra (G^d,u)$ is
an epimorphism, so $\Xi(\alpha)=\Xi(\beta)$, which implies that $\alpha=\beta$.
Therefore,  $i: M\ra M^d$ is an epimorphism in $\mathcal{MV}$ and so we have the following theorem:

\begin{thm}\label{2.10.0}
Epicomplete $MV$-algebras are divisible.
\end{thm}

\begin{thm}\label{2.12}
Let $(M;\oplus,',0,1)$ be an $MV$-algebra. Then $M$ is epicomplete if and only if each epimorphism of $M$ into a linearly ordered $MV$-algebra is onto.
\end{thm}

\begin{proof}
Suppose that each epimorphism of $M$ into a linearly ordered $MV$-algebra $H$ is onto.
If $f:M\ra H$ is an epimorphism, then for each $P\in Min(H)$, the map $M\xrightarrow{f}H\xrightarrow{\pi_P}\frac{H}{P}$ is
an epimorphism, where $\pi_P$ is the natural homomorphism. Since $\frac{H}{P}$ is a linearly ordered $MV$-algebra,
then by the assumption, $\pi_{P}\circ f$ is onto and so $\frac{f(M)}{P}=\frac{H}{P}$ or equivalently, $\bigcup_{x\in M}f(x)/P=H$.
Hence $f(M)+P=H$ for all $P\in Min(H)$. By Proposition \ref{2.2}, we know that $H$ is an $a$-extension for $f(M)$ and so
by Theorem \ref{2.3}, $f(M)=H$. Therefore, $M$ is epicomplete. The proof of the other direction is clear.
\end{proof}

\begin{defn}\label{Alg1}
Let $(M_1;\oplus,',0,1)$, $(M_2;\oplus,',0,1)$ and $(M_3;\oplus,',0,1)$ be $MV$-algebras such that $M_1\leq M_2$ and $M_1\leq M_3$. An element
$b\in M_2$ is {\it equivalent}  to an element $c\in M_3$ if there exists an isomorphism $f$ between $\langle M_1\cup\{b\}\rangle_{_{M_2}}$ and
$\langle M_1\cup\{c\}\rangle_{_{M_3}}$ such that $f|_{_{M_1}}=Id_{_{M_1}}$, where $\langle M_1\cup\{b\}\rangle_{_{M_2}}$ is the $MV$-subalgebra of
$M_2$ generated by $M_1\cup\{b\}$. The element $b$ is called {\it algebraic over} $M_1$ if no extension of $M_1$
contains two elements equivalent to $b$. Moreover, $M_2$ is an {\it algebraic extension} of $M_1$ if every element of
$M_2$ is algebraic over $M_1$.
\end{defn}

\begin{prop}\label{Alg2}
Let $(M_1,\oplus,',0,1)$ and $(M_2,\oplus,',0,1)$ be two $MV$-algebras such that $M_1\leq M_2$. Then $y\in M_2$ is
algebraic over $M_1$ if and only if the inclusion map $i:M_1\ra \langle M_1\cup \{y\}\rangle_{M_2}$ is an epimorphism.
\end{prop}

\begin{proof}
Let $y\in M_2$ be algebraic over $M_1$. If $i:M_1\ra \langle M_1\cup \{y\}\rangle$ is not an epimorphism, then
there exist an $MV$-algebra $M_3$ and two homomorphisms $\alpha,\beta:\langle M_1\cup \{y\}\rangle\ra M_3$
such that $\alpha\circ i=\beta\circ i$ and $\alpha\neq \beta$. Then $\alpha(y)\neq \beta(y)$ (otherwise, $\alpha=\beta$). Consider
the maps $\lambda,\mu:\langle M_1\cup\{y\}\rangle_{_{M_2}}\ra M_3\times \langle M_1\cup\{y\}\rangle_{_{M_2}}$ defined by
$\lambda(x)=(\alpha(x),x)$ and $\mu(x)=(\beta(x),x)$ for all $x\in \langle M_1\cup\{y\}\rangle_{_{M_2}}$.
Clearly, $\lambda$ and $\mu$ are one-to-one homomorphisms.
We have $\lambda(M_1)=\{(\alpha(x),x)\mid x\in M_1 \}=\mu(M_1)$ and $M_1\cong \lambda(M_1)\cong \mu(M_1)$.
Set $M=M_3\times \langle M_1\cup\{y\}\rangle_{_{M_2}}$.
We identify $M_1$ with its image in $M$ under $\lambda$. Then $M$ is an extension for $M_1$.  Since
$\lambda:\langle M_1\cup \{y\}\rangle_{_{M_2}}\ra \langle M_1\cup \{(\alpha(y),y)\}\rangle_{_M}$ and
$\mu:\langle M_1\cup \{y\}\rangle_{_{M_2}}\ra \langle M_1\cup \{(\beta(y),y)\}\rangle_{_M}$ are isomorphisms, then
$y$ is equivalent to $(\alpha(y),y)$ and $(\beta(y),y)$, which is a contradiction. Therefore,
$i:M_1\ra \langle M_1\cup \{y\}\rangle$ is an epimorphism. The proof of the converse is clear.
\end{proof}

Corollary \ref{2.11} showed that complete and divisible $MV$-algebras are epicomplete. In the sequel,
we will use the same argument as in the proof of \cite[Thm 2.1]{Anderson} with a little modification to show that
every divisible $MV$-algebra is epicomplete.

\begin{thm}\label{2.13}
	Let $(M;\oplus,',0,1)$ be an $MV$-algebra.
	\begin{itemize}
		\item[\em{(i)}]  If $(L;\oplus,',0,1)$ is a linearly ordered $MV$-algebra and $f:M\ra L$ is an epimorphism, then $L\s f(M)^d$.
		\item[\em{(ii)}]  If $M$ is divisible, then it is epicomplete.
	\end{itemize}
\end{thm}

\begin{proof}
(i) Let $(G,u)$ and $(H,v)$ be the unital $\ell$-groups such that $\Gamma(G,u)=M$ and $\Gamma(H,v)=L$.
By Theorem \ref{functor}, $\Xi(f):G\ra H$ is a unital $\ell$-group homomorphism.
Let $K=B/Im(\Xi(f))$ be the torsion subgroup of $H/Im(\Xi(f))$
(clearly $B$ is a subgroup of $G$ and $x\in B \Leftrightarrow nx\in Im(\Xi(f))$ for some $n\in\mathbb{N}$).
Since $H/B\cong \frac{H/Im(\Xi(f))}{B/Im(\Xi(f))}$ is torsion free,
by \cite[Prop 1.1.7]{Anderson1}, $H/B$ admits a linearly ordered group structure.
By \cite[Exm 3]{Glass}, $(H/B)\,\overrightarrow{\times}\, H$ is an $\ell$-group.
Since $v$ is a strong unit of an $\ell$-group $H$,
for each $(x+B,y)\in (H/B)\,\overrightarrow{\times}\, H$, there exists $n\in\mathbb{N}$ such that $x,y<nv$ and so $(x+B,y)<n(v+B,v)$. It follows that
$w:=(v+B,v)$ is a strong unit for the $\ell$-group $(H/B)\,\overrightarrow{\times}\, H$. Let $\alpha,\beta:L\ra \Gamma((H/B)\,\overrightarrow{\times}\, H,w)$ be
defined by $\alpha(x)=(B,x)$ and $\beta(x)=(x+B,x)$ for all $x\in L$ (both of them are $MV$-homomorphisms). We have
$\alpha\circ f(x)=(B,f(x))=\beta\circ f(x)$ for all $x\in L$. Since $f$ is an epimorphism, then $\alpha=\beta$, hence
for all $x\in L=\Gamma(H,v)$, we have $x\in B$ and so there is $n\in\mathbb{N}$ such that $nx\in Im(\Xi(f))$.
That is, $x$ belongs to the divisible hull of $Im(\Xi(f))$. Since $x\leq v$, then $x\in \Gamma((Im(\Xi(f)))^d,v)=f(M)^d$.
Therefore, $L\s f(M)^d$.

(ii)  Let $M$ be divisible. We use Theorem \ref{2.12} to show that $M$ is epicomplete.
Let $(A;\oplus,',0,1)$ be a linearly ordered $MV$-algebra and $f:M\ra A$ be an epimorphism into $A$.
By (i), $f(M)\s L\s (f(M))^d$. Clearly, $f(M)$ is divisible, so $f(M)=L=(f(M))^d$. It follows from Theorem \ref{2.12}
that $M$ is epicomplete.
\end{proof}

Concerning the proof of (i) in the latter theorem, we note that since $f:M\ra f(M)$ is onto, by \cite[Lem. 7.2.1]{Mun}, $\Xi(f):\Xi(M)\ra \Xi(f(M))$ is onto ($\Xi(M)=G$),
so $Im(\Xi(f))=\Xi(f(M))$. It follows that $f(M)^d=\Gamma((\Xi(f(M)))^d,v)=\Gamma((Im(\Xi(f)))^d,v)$.

\section{Epicompletion of  $MV$-algebras}

The main purpose of the section is to introduce an epicompletion for an $MV$-algebra and to discuss about conditions when an $MV$-algebra has an epicompletion. First we introduce an epicompletion in $\mathcal{MV}$.
An epicompletion for an $MV$-algebra $A$ is an $MV$-algebra
$M$ epically containing $A$ with the universal property.
Then we use some results of the second section and prove that any $MV$-algebra has an epicompletion.
Indeed, the epicompletion of $A$ is $A^d$.

\begin{defn}\label{4.1}
	Let $(A;\oplus,',0,1)$ be an $MV$-algebra.
	\begin{itemize}
		\item[{\rm (i)}]  A pair $(\overline{A},\alpha)$, where $\overline{A}$ is an $MV$-algebra and $\alpha:A\ra \overline{A}$ is a
	one-to-one epimorphism (epiembedding for short), is called an {\it $e$-extension} for $A$.

	\item[{\rm (ii)}] An $e$-extension $(E,\alpha)$ for $A$ is called an {\it epicompletion} for $A$ if, for each epimorphism $f:A\ra B$,
	there is an $e$-extension $(\overline{B},\beta)$ for $B$ and a surjective homomorphism ${\bf f}: E\ra \overline{B}$ such that
	$\beta\circ f={\bf f}\circ \alpha$, or equivalently, the diagram given by Figure \ref{dig 4} commutes.
	\begin{figure}[!ht]
	\begin{eqnarray*}
	\begin{array}{ll}
	\begin{tabular}{ccccc}
	& $A$ & $\xrightarrow{ \quad  f\circ \alpha \quad  }$ & $B$\\
	 \scriptsize$\alpha$\!\!\!\!\!\!\!\!\!\! & $\Big\downarrow$ & & $\Big\downarrow$ &\!\!\!\!\!\!\!\!\!\! \scriptsize$\beta$ \\
	& $E$& $\xrightarrow{\quad {\bf f} \quad }$ & $\overline{B}$ &
	\end{tabular}
	\end{array}
	\end{eqnarray*}
	\caption{\label{dig 4}}
	\end{figure}
\end{itemize}

\end{defn}

\begin{prop}\label{4.2}
Let $(A;\oplus,',0,1)$ be an $MV$-algebra.
\begin{itemize}
\item[{\em (i)}] Each epicompletion of $A$ is epicomplete.
\item[{\em (ii)}] If $A$ has an epicompletion, then it is unique up to isomorphism.
\end{itemize}
\end{prop}

\begin{proof}
(i) Let $(\overline{A},\alpha)$ be an epicompletion for $A$ and $f:\overline{A}\ra B$ be an epimorphism.
Then $f\circ \alpha:A\ra B$ is an epimorphism and so there exists an $e$-extension $(\overline{B},\beta)$ for $B$
and an onto morphism $h:\overline{A}\ra \overline{B}$ such that the diagram in Figure \ref{dig 5} commutes.
\begin{figure}[!ht]
	\begin{eqnarray*}
	\begin{tabular}{ccccc}
	& $A$& $\xrightarrow{ \quad  f \quad  }$ & $B$ &\\
	\scriptsize$\alpha$\!\!\!\!\!\!\!\!\!\! & $\Big\downarrow$ & & $\Big\downarrow$ &\!\!\!\!\!\!\!\!\!\! \scriptsize$\beta$ \\
	& $\overline{A}$& $\xrightarrow{\quad h \quad }$ & $\overline{B}$ &
	\end{tabular}
	\end{eqnarray*}
	\caption{\label{dig 5}}
	\end{figure}

From $h\circ \alpha=\beta\circ f\circ \alpha$ it follows that $h=\beta\circ f$, whence $\beta\circ f$ is onto.
Hence $\beta(f(\overline{A}))=\overline{B}$. Also, $\beta(f(\overline{A}))\s \beta(B)\s \overline{B}$, so
$\beta(f(\overline{A}))=\beta(\overline{B})$. Since $\beta$ is one-to-one, $f$ must be onto.
Therefore, $\overline{A}$ is epicomplete.

(ii) Let $(\overline{A},\alpha)$ and $(A',\beta)$ be two epicompletions for $A$. Since $\alpha:A\ra \overline{A}$
is an epiembedding, then by Proposition \ref{2.2}, $\overline{A}$ is an $a$-extension for $f(A)\cong A$.
By (i) and Theorem \ref{2.10.0},  $\overline{A}$ is divisible.  Consider the functor $\Xi$ from Theorem \ref{functor}.
Let $(G(A),u)$ and $(G(\overline{A}),v)$ be the unital $\ell$-groups induced from $MV$-algebras $A$ and $\overline{A}$, respectively. Since there is an epiembedding $A \hookrightarrow \overline{A}$, we have $u=v$.
We have an embedding $\Xi(\alpha):G(A)\ra G(\overline{A})$, and $G(\overline{A})$ is divisible
(see \cite{Dvu2}).
Also, $G(\overline{A})$ is an $a$-extension
for the $\ell$-group $G(A)$ (since there is a one-to-one correspondence between the lattice of ideals of $A$ and
the lattice of convex $\ell$-subgroups of $G(A)$, see \cite[Thm 1.2]{CiTo}), so by \cite[Chap 1, Thm 20]{griffith}, $G(\overline{A})\cong (G(A))^d$.
In a similar way, $G(A')\cong (G(A))^d$. Therefore, $G(\overline{A})\cong G(A')$.
We note that the final isomorphism is an extension for the identity map on $G$, so it preserves the strong units of
$G(\overline{A})$ and $G(A')$, which is a strong unit of $G(A)$, too. Using the functor $\Gamma$, it follows that
$\overline{A}\cong A'$.
\end{proof}

Let $(A;\oplus,',0,1)$ be an $MV$-algebra. By the last proposition if $A$ has an epicompletion, then it is unique up to isomorphic image; this epicompletion is denoted by $(A^e,\alpha)$.

\begin{cor}\label{4.3}
	Let $(A^e,\alpha)$ be an epicompletion for an $MV$-algebra $(A;\oplus,',0,1)$. Then the epicompletion of $A^e$ is equal to $A^e$.
\end{cor}

\begin{proof}
	It follows from Proposition \ref{4.2}(i).
\end{proof}

Now, we try to answer to a question ``whether does an $MV$-algebra have an epicompletion''. First we simply use Theorem \ref{2.13}(i) to show that each linearly ordered $MV$-algebra has an epicompletion.  Then we prove it for
any $MV$-algebra.
For this purpose we try to extend the result of
\cite[Cor 1]{pedersen}. We show that each $\ell$-group has an epicompletion. Then we use this result and we show that
any $MV$-algebra has an epicompletion.

\begin{prop}\label{4.3.0}
Let $(A;\oplus,',0,1)$ be a linearly ordered $MV$-algebra. Then $A$ has an epicompletion.
\end{prop}

\begin{proof}
Let $f:A\ra B$ be an epimorphism.
Since $A$ is a chain, $f(A)$ is also a chain and so, $\mathcal{I}(f(M))$ is a chain. It follows from Proposition \ref{2.2} that
$\mathcal{I}(B)$ is a chain and so $B$ is a linearly ordered $MV$-algebra. Hence by Theorem \ref{2.13}(i),
$B\s (f(A))^d$ (thus $B^d=(f(A))^d$). By \cite[Prop 5]{pedersen} and Theorem \ref{functor}, there is a homomorphism
 $g:A^d\ra B^d$ such that the  diagram in Figure \ref{dig 6}  commutes.
 \begin{figure}[!ht]
	\begin{eqnarray*}
	\begin{tabular}{ccccc}
	& $A$& $\xrightarrow{ \quad  f \quad  }$ & $B$ &\\
	\scriptsize$\s$\!\!\!\!\!\!\!\!\!\!& $\Big\downarrow$ & & $\Big\downarrow$ &\!\!\!\!\!\!\!\!\!\!\!\!\! \scriptsize$\s$ \\
	& $A^d$& $\xrightarrow{\quad g \quad }$ & $B^d$ &
	\end{tabular}
	\end{eqnarray*}
	\caption{\label{dig 6}}
	\end{figure}
$g(A^d)\s B^d$ is a divisible $MV$-algebra containing $B$, so $g$ is onto. Therefore, $A^d$ is an epicompletion for
the $MV$-algebra $A$.
\end{proof}

\begin{rmk}\label{4.4}
Let $G$ and $H$ be two $\ell$-groups and $f:G\ra H$ be an epimorphism. Let $G^d$ and $H^d$ be the divisible hull of $G$ and $H$,
respectively. By \cite[p. 230]{Anderson}, there is a unique extension of $f$ to an epimorphism $\overline{f}:G^d\ra H^d$.
Clearly, if $G$ and $H$ are unital $\ell$-groups and $f$ is a unital $\ell$-group morphism, then so is $\overline{f}$
(for more details see \cite{Anderson} the paragraph after Theorem 2.1 and \cite[Prop 5]{pedersen}). We know that the inclusion maps
$i:G\ra G^d$ and $j:H\ra H^d$ are epimorphisms (by the corollary of \cite[Thm 2.1]{Anderson}),
hence we have the following
commutative diagram (Figure \ref{dig 7}).
\begin{figure}[!ht]
	\begin{eqnarray*}
	\begin{tabular}{ccccc}
	& $G$& $\xrightarrow{ \quad  i \quad  }$ & $G^d$ &\\
	\scriptsize$f$ \!\!\!\!\!\!\!\!\!\!\!\!\!&$\Big\downarrow$ & & $\Big\downarrow$ &\!\!\!\!\!\!\!\!\!\!\!\! \scriptsize$\overline{f}$ \\
	& $H$& $\xrightarrow{\quad j \quad }$ & $H^d$ &
	\end{tabular}
	\end{eqnarray*}
	\caption{\label{dig 7}}
	\end{figure}

Since $\overline{f}:G^d\ra H^d$ is an epimorphism and $G^d$ is epicomplete (by \cite[Thm 2.1]{Anderson}), then
$\overline{f}$ is onto and so $G^d$ is an epicompletion for $G$.
\end{rmk}

\begin{thm}\label{4.5}
Any $MV$-algebra has an epicompletion.
\end{thm}

\begin{proof}
Let $(A;\oplus,',0,1)$ be an $MV$-algebra and $f:A\ra B$ be an epimorphism. Then
$\Xi(f):\Xi(A)\ra \Xi(B)$ is a homomorphism of unital $\ell$-groups. By Remark \ref{4.4},
we have the commutative diagram in Figure \ref{dig 1},
where $\overline{\Xi(f)}$ is the unique extension of $\Xi(f)$.
\begin{figure}[!ht]
\begin{eqnarray*}
\begin{tabular}{ccccc}
 &$\Xi(A)$& $\xrightarrow{ \quad  \Xi(f) \quad  }$ & $\Xi(B)$ &\\
\scriptsize$\s$\hspace{-1.3cm} & $\Big\downarrow$ & & $\Big\downarrow$ &\hspace{-1.3cm}\scriptsize$\s$ \\
&$(\Xi(A))^d$& $\xrightarrow{\quad \overline{\Xi(f)} \quad }$ & $(\Xi(B))^d$ &
\end{tabular}
\end{eqnarray*}
\caption{\label{dig 1}}
\end{figure}
Applying the functor $\Gamma$ to diagram in Figure \ref{dig 1}, we get the commutative diagram in Figure \ref{dig 2} on $\mathcal{MV}$.
\begin{figure}[!ht]
\begin{eqnarray*}
\begin{tabular}{ccccc}
&$A$& $\xrightarrow{ \quad \quad f \quad\quad  }$ & $B$&\\
\scriptsize$\s$\hspace{-.7cm} &$\Big\downarrow$ & & $\Big\downarrow$& \hspace{-.7cm}\scriptsize$\s$  \\
&$A^d$& $\xrightarrow{\quad \Gamma(\overline{\Xi(f)}) \quad }$ & $B^d$&
\end{tabular}
\end{eqnarray*}
\caption{\label{dig 2}}
\end{figure}
Set $F:=\Gamma(\overline{\Xi(f)}) $. We claim that $F:A^d\ra B^d$ is an epimorphism. Let $\alpha,\beta:B^d\ra C$ be two
homomorphisms of MV-algebras such that $\alpha\circ F=\beta\circ F$. Then clearly, $\alpha|_{_B}\circ F=\beta|_{_B}\circ F$,
so by the assumption $\alpha|_{_B}=\beta|_{_B}$, which implies that $\Xi(\alpha|_{_B})=\Xi(\beta|_{_B})$. Thus by
\cite{Anderson}, $\overline{\Xi(\alpha|_{_B})}=\overline{\Xi(\beta|_{_B})}$, where
$\overline{\Xi(\alpha|_{_B})},\overline{\Xi(\beta|_{_B})}:(\Xi(B))^d\ra (\Xi(C))^d$ are the unique extensions of $\Xi(\alpha|_{_B})$ and
$\Xi(\beta|_{_B})$, respectively. It can be easily seen that the  diagrams in Figure \ref{dig 3} are commutative.
\begin{figure}[!ht]
\begin{eqnarray*}
\begin{array}{ll}
\begin{tabular}{ccccc}
&$\Xi(B)$& $\xrightarrow{ \quad  \Xi(\alpha|_{_B}) \quad  }$ & $\Xi(C)$ & \\
\scriptsize$\s$\hspace{-1.5cm} &$\Big\downarrow$ & & $\Big\downarrow$ &
\hspace{-1.3cm}\scriptsize$\s$ \\
&$(\Xi(B))^d$& $\xrightarrow{\quad \overline{\Xi(\alpha|_{_B})} \quad }$ & $(\Xi(C))^d$&
\end{tabular}
\end{array}
\hspace{1cm}
\begin{array}{ll}
\begin{tabular}{ccccc}
&$\Xi(B)$& $\xrightarrow{  \Xi(\alpha|_{_B}) \quad  }$ & $\Xi(C)$&\\
\scriptsize$\s$\hspace{-1.4cm} & $\Big\downarrow$ & & $\Big\downarrow$ &
\hspace{-1.4cm} \scriptsize$\s$ \\
&$(\Xi(B))^d$& $\xrightarrow{\quad \Xi(\alpha) \quad }$ & $(\Xi(C))^d$&
\end{tabular}
\end{array}
\end{eqnarray*}
\caption{\label{dig 3}}
\end{figure}
So by the uniqueness of the extension of $\Xi(\alpha|_{B}):\Xi(B)\ra \Xi(C)$ to a map $(\Xi(B))^d\ra (\Xi(C))^d$,  we get that
$\Xi(\alpha)=\overline{\Xi(\alpha|_{_B})}$. In a similar way, $\Xi(\beta)=\overline{\Xi(\beta|_{_B})}$ and so
$\Xi(\alpha)=\Xi(\beta)$. It follows that $\alpha=\Gamma(\Xi(\alpha))=\Gamma(\Xi(\beta))=\beta$. Therefore, $F$ is an
epimorphism. Since $A^d$ is divisible, by Corollary \ref{2.11}, it is epicomplete and so $F$ is onto. That is,
$A^d$ is an epicompletion for $A$. Therefore, any $MV$-algebra has an epicompletion.
\end{proof}


\section{Introduction}

We let $\ben$ be the set of positive integers and
$\omega=\ben\cup\{0\}$.
We shall be concerned throughout this paper with
matrices (finite or infinite) that have rational
entries and finitely many nonzero entries per row. We shall
also assume that every matrix that we consider has this property.
(However, elements of $\beq^{\omega}$ are not assumed to
have finitely many nonzero entries.)

For consistency of treatment between
the finite and infinite cases, we shall treat $u\in\ben$ as an ordinal.
Consequently $u=\ohat{u-1}$ and $\omega=\{0,1,2,\ldots\}$ is the first infinite ordinal.
Thus, if $u,v\in\ben\cup \{\omega \}$, and $A$ is a $u\times v$ matrix,
the rows and columns of $A$ will be indexed by $u=\{i:i<u\}$ and
$v=\{i:i<v\}$, respectively. (See \cite{J} for an
introduction to ordinals.)

As is standard in Ramsey Theory, a {\it finite colouring\/} of a
set $X$ is a function whose domain is $X$ and whose range is finite.
Given a colouring $f$ of $X$, a subset $B$ of $X$ is {\it monochromatic\/}
if and only if $f$ is constant on $B$.

\begin{definition}\label{defiprkpr} Let $u,v\in\ben\cup\{\omega\}$,
let $A$ be a $u\times v$ matrix,  let $S$ be a nontrivial subsemigroup
of $(\beq,+)$, and let $G$ be the subgroup of $\beq$ generated by $S$.
\begin{itemize}
\item[(a)] The matrix $A$ is {\it kernel partition regular over $S$\/}
if and only if whenever $S\setminus\{0\}$ is finitely coloured,
there exists $\vec x\in (S\setminus\{0\})^v$ such that
$A\vec x=\vec 0$ and the entries of $\vec x$ are monochromatic.
\item[(b)] The matrix $A$ is {\it image partition regular over $S$\/}
if and only if whenever $S\setminus\{0\}$ is finitely coloured,
there exists $\vec x\in (S\setminus\{0\})^v$ such that
the entries of $A\vec x$ are monochromatic.
\item[(c)] The matrix $A$ is {\it weakly image partition regular over $S$\/}
if and only if whenever $S\setminus\{0\}$ is finitely coloured,
there exists $\vec x\in G^v$ such that
the entries of $A\vec x$ are monochromatic.
\end{itemize}\end{definition}

Notice that, since it is $S\setminus\{0\}$ that is being coloured, the
monochromatic entry which is guaranteed has no zero entries.

Many of the classical theorems of Ramsey Theory assert that certain
matrices are kernel partition regular.  For example,
Schur's Theorem is the assertion that the matrix
$\left(\begin{array}{ccc}1&1&-1\end{array}\right)$ is
kernel partition regular over $\ben$.  It is also the assertion that
the matrix $\left(\begin{array}{cc}1&0\\
0&1\\ 1&1\end{array}\right)$ is image partition regular over $\ben$.

For another example, the
instance of van der Waerden's Theorem that says that whenever
$\ben$ is finitely coloured, there is a monochromatic length $4$
arithmetic progression, is the assertion that
the matrix
$$\left(\begin{array}{cc}
1&0\\
1&1\\
1&2\\
1&3\end{array}\right)$$
is image partition regular over $\ben$.
The strengthened version that asks that the increment also be the
same colour is the assertion that the matrix
$$\left(\begin{array}{ccccc}
1&-2&1&0&0\\
0&1&-2&1&0\\
1&-1&0&0&1\end{array}\right)$$
is kernel partition regular over $\ben$.  (There is no kernel partition regular
matrix whose kernels consist exactly of length $4$ arithmetic
progressions.  See \cite[Theorem 2.6]{H}.  Also see \cite{H} for
more background on partition regularity.)

In 1933 R. Rado \cite{R} characterised those finite matrices that
are kernel partition regular over $\ben$.  Rado proved that
a finite matrix with entries from $\beq$ is kernel partition regular
over $\ben$ if and only if it satisfies the {\it columns
condition\/} and that the same requirement was necessary and sufficient
for kernel partition regularity over $\beq$ and also
necessary and sufficient
for kernel partition regularity over $\bez$.

\begin{definition}\label{defcc} Let $u,v\in\ben$ and let $A$ be a $u\times v$ matrix with entries
from $\beq$.  Denote the columns of $A$ by $\langle\vec c_i\rangle_{i=0}^{v-1}$.
  The matrix $A$ satisfies the {\it columns condition\/} if and only if
there exist $m\in\nhat{v}$ and a partition $\langle I_t\rangle_{t=0}^{m-1}$ of
$\ohat{v-1}$ such that
\begin{itemize}
  \item[(1)] $\sum_{i\in I_0}\vec c_i \ = \ \vec 0$ and
  \item[(2)] for each $t\in \nhat{m-1}$, if any, $\sum_{i\in I_t}\vec c_i$ is a
linear combination with coefficients from $\beq$ of $\{\vec c_i:i\in\bigcup_{j=0}^{t-1}I_j\}$.
\end{itemize}
\end{definition}

 Call a set $X\subseteq\ben$
{\it large\/} if whenever $A$ is kernel partition regular over $\ben$,
there must exist $\vec x$ with entries in $X$ such that
$A\vec x=\vec 0$.  Rado conjectured that if a large set is finitely
coloured, there must exist a monochromatic large subset.
Rado's conjecture was proved in 1973 by W. Deuber \cite{D}.  For the
proof, Deuber used a certain collection of image partition regular
matrices, whose images he called {\it $(m,p,c)$-sets\/}.

\begin{definition}\label{defmpc} Let $m,p,c\in \ben$. A matrix
$A$ is an {\it $(m,p,c)$ matrix\/} if and only if $A$ has
$m$ columns and all rows of the form
$\vec r=\left(\begin{array}{cccc}
r_0&r_1&\ldots&r_{m-1}\end{array}\right)$ such that
each $r_i\in\{-p,-p+1,\ldots,p-1,p\}$ and
the first nonzero entry $r_i=c$.\end{definition}

Deuber's proof used three key facts.  First \cite[Satz 2.1]{D},
if $B$ is any finite kernel partition regular matrix, there
exist $m,p,c\in\ben$ such that, if $A$ is an $(m,p,c)$ matrix,
$\vec x\in\ben^m$, and the entries of $A\vec x$ are nonzero, then the set of entries
of $A\vec x$ contain the entries of a vector $\vec y$ such that
$B\vec y=\vec 0$.  Second \cite[Satz 2.2]{D},
if $m,p,c\in\ben$ and $A$ is an $(m,p,c)$ matrix, then there
exists a kernel partition regular matrix $B$ such that, if $\vec y$ has nonzero
entries and $B\vec y=\vec 0$, then the set of entries of $\vec y$ contains
the entries of $A\vec x$ for some $\vec x\in(\bez\setminus\{0\})^m$.
And finally \cite[Satz 3.1]{D}, if a set $X\subseteq\ben$ contains an image
of every $(m,p,c)$-matrix and $X$ is finitely coloured, then there
is a monochromatic $Y$ that contains an image
of every $(m,p,c)$-matrix.  (When we write ``contains an image'' we really
mean ``contains every entry of an image''.)

In this paper we present  versions of Deuber's duality
between kernel partition regular and image partition regular matrices.
In these results we show in Theorem \ref{BgetsC} that, given a matrix $B$ that
is kernel partition regular over a nontrivial subsemigroup $S$ of $\beq$,  there is a matrix $C$ that is image
partition regular over $S$ such that
the set of relevant images of $C$ is exactly equal to the set of relevant kernel elements
of $B$.  And, we show in Theorem \ref{AgetsB} that, given a matrix $A$ that is weakly image partition regular over $\beq$, there is
a matrix $B$ that is kernel partition regular over $\beq$ such that the set of relevant kernel elements of
$B$ is exactly equal to the set of relevant images of $A$. (Here ``relevant" means those vectors that could be
involved in kernel or image partition regularity.)  We also show that the latter result does
not work for proper subgroups of $\beq$.

There are several questions that we are unable to resolve. These are listed at various points.

It is of particular interest that most of our results make no distinction between finite and infinite
matrices.  This is highly unusual.  For example many characterisations of
finite image partition regular matrices are known, and Rado's characterisation of
finite kernel partition regular matrices is computable.  By way of contrast,
nothing resembling characterisations of infinite kernel or image partition
regular matrices is known.  See the survey \cite{H} for information on
this point.

We mention in passing that very few infinite partition regular systems are known.
One example is the Finite Sums Theorem \cite{Hb}, which states that whenever the positive
integers are finitely coloured, there exists a sequence $\langle x_n\rangle_{n=0}^\infty$
such that $\{\sum_{n\in F}\,x_n:F$ is a finite nonempty subset of $\omega\}$ is
monochromatic. For other examples see \cite{HLS} and \cite{BHL}.

Also, Rado's conjecture is not valid for
infinite matrices; there exist infinite image partition regular
matrices $A$ and $B$ and a colouring of $\beq\setminus\{0\}$ in two
colours so that neither colour class contains an image of both $A$ and $B$,
\cite{HSb}.
(And, as noted in \cite{HLS}, the corresponding
statement applies to infinite kernel partition regular matrices. This fact
also follows from Theorem \ref{AgetsB} below.)

We note that {\it duality\/} is not quite the correct word for our results, as there are
three notions involved, namely kernel partition regularity, image partition regularity, and
weak image partition regularity. However, in the course of the preparation of this paper we
noticed the following simple fact, which says that the relationship between
image partition regularity and weak image partition regularity is much stronger
than we had realised.  Notice that if $v=\omega$, then the matrix $C$ in the
following theorem is a $u\times\omega$ matrix.  We follow the convention of
denoting the entries of a matrix by the lower case letter whose upper case
letter is the name of the matrix.

The content of the following two theorems is probably best understood by
supposing that $C$ is $\left(\begin{array}{cc}A&-A\end{array}\right)$.  We
write it the way we do because, if $v=\omega$, then $2\cdot v=\omega$ so the
dimensions of $C$ are identical with those of $A$.

\begin{theorem}\label{ipreqwipr} Let $u,v\in\ben\cup\{\omega\}$ and
let $A$ be a $u\times v$ matrix with entries from $\beq$. Define a $u\times (2\cdot v)$ matrix $C$ by, for
$i<u$ and $j<v$, $c_{i,2\cdot j}=a_{i,j}$ and $c_{i,2\cdot j+1}=-a_{i,j}$.
Then
$$\{A\vec x:\vec x\in \beq^v\}=\{C\vec y:\vec y\in(\beq\setminus\{0\})^{2\cdot v}\}\,.$$
Also $A$ is weakly image partition regular over $\beq$ if and only if $C$ is image partition
regular over $\beq$.
\end{theorem}

\begin{proof} Except for the fact that we allow the entries of $A$ to come from
$\beq$, this is a special case of the following much more general theorem. And the
proof of that theorem is unchanged as long as multiplication by rationals makes sense.
\end{proof}

The various notions of partition regularity are defined for arbitrary commutative
and cancellative semigroups in exact analogy with Definition \ref{defiprkpr}.

\begin{theorem}\label{ipreqwiprgen} Let $(S,+)$ be a commutative cancellative semigroup
with at least three elements and let $G=S-S$. Let $u,v\in\ben\cup\{\omega\}$ and
let $A$ be a $u\times v$ matrix with entries from $\bez$. Define a $u\times (2\cdot v)$ matrix $C$ by, for
$i<u$ and $j<v$, $c_{i,2\cdot j}=a_{i,j}$ and $c_{i,2\cdot j+1}=-a_{i,j}$.  Then
$$\{A\vec x:\vec x\in G^v\}=\{C\vec y:\vec y\in(S\setminus\{0\})^{2\cdot v}\}\,.$$
Also $A$ is weakly image partition regular over $S$ if and only if $C$ is image partition
regular over $S$.
\end{theorem}

\begin{proof} Given $\vec y\in(S\setminus\{0\})^{2\cdot v}$,
define $\vec x\in G^v$ by $x_j=y_{2\cdot j}-y_{2\cdot j+1}$ for $j<v$.  Then $A\vec x=C\vec y$.

Note that, since $S$ has at least three elements, for each $x\in G$ there is some $s\in S\setminus\{0\}$
such that $x+s\in S\setminus\{0\}$.
Given $\vec x\in G^v$, define $\vec y\in(S\setminus\{0\})^{2\cdot v}$ as follows.
Given $j<v$ pick $s_j\in S\setminus\{0\}$ such that $x_j+s_j\in S\setminus\{0\}$,
define $y_{2\cdot j}=s_j+x_j$ and $y_{2\cdot v+1}=s_j$. Then $A\vec x=C\vec y$.

The fact that $C$ is image partition regular over $S$ if and only if
$A$ is weakly image partition regular over $S$ follows from the displayed
equation. \end{proof}

The requirement that $|S|\geq 3$ in Theorem \ref{ipreqwiprgen} is needed.
Indeed, if $G=S=\bez_2$ and $A$ is the $2\times 2$ identity matrix,
then there do not exist $w\in\ben\cup\{\omega\}$
and a $u\times w$ matrix $C$ such that
$$\{A\vec x:\vec x\in G^2\}=\{C\vec y:\vec y\in(S\setminus\{0\})^w\}$$
because there are four elements of $\{A\vec x:\vec x\in G^2\}$ and only one
element of $\{C\vec y:\vec y\in(S\setminus\{0\})^w\}$.  However, from the
point of view of image partition regularity and weak image partition regularity,
what one cares about is the images all of whose entries are in $S\setminus\{0\}$.
For this if $A$ is a $u\times v$ matrix that is weakly image partition regular
over $S$, and $C$ is the $u\times u$ identity matrix, one does have that
$$\{A\vec x:\vec x\in G^v\}\cap(S\setminus\{0\})^u=\{C\vec y:\vec y\in(S\setminus\{0\})^u\}
\cap(S\setminus\{0\})^u\,,$$
for the trivial reason that $(S\setminus\{0\})^u$ is a singleton.

\section{Duality for finite and infinite matrices}

In this section, we prove several theorems for matrices over $\beq$. Although these are only
stated for matrices over $\beq$, we observe that the proofs are valid for matrices over arbitrary fields.

\begin{definition}\label{dewfKR} If $u,v\in\ben\cup\{\omega\}$ and if
$B$ is a $u\times v$ matrix with rational entries, we put
$K(B)=\{\vec x\in \beq^v:B\vec x=\vec 0\}$, the kernel of $B$,
and $R(B)=\{B\vec x:\vec x\in\beq^v\}$, the range of $B$.
\end{definition}

In this paper we make use of many standard facts from linear algebra. For the sake of
completeness, we give proofs when these facts may be less well known. For general background
in linear algebra, including a discussion of many related results, see for example \cite{C} or
\cite{Hal}.

\begin{lemma}\label{xinkernel}  Let $u,v\in\ben\cup\{\omega\}$ and let
$B$ be a $u\times v$ matrix with rational entries. Assume that
the kernel $K=K(B)$ is nontrivial. Let $V$ be the vector space over $\beq$ of all linear
transformations from $K$ to $\beq$. For $i<v$ define $\pi_i\in V$ by, for $\vec x\in K$,
$\pi_i(\vec x)=x_i$. Let $T\subseteq v$ be maximal subject to the
requirement that $\{\pi_i:i\in T\}$ is linearly independent.
For each $i<v$ pick $\langle d_{i,j}\rangle_{j\in T}$ in $\beq$
such that $\pi_i=\sum_{j\in T}d_{i,j}\pi_j$.
\begin{itemize}
\item[(1)] If $i,j\in T$, then $d_{i,j}=0$ if $i\neq j$ and $d_{i,j}=1$ if $i=j$.
\item[(2)] If $B$ has no row identically zero, then, for each $k<u$ there is some $l\in v\setminus T$ such that
$b_{k,l}\neq 0$.
\item[(3)]  For each $\vec x\in\beq^v$, the
following statements are equivalent.
\begin{itemize}
\item[(a)] For all $i\in v$, $x_i=\sum_{j\in T}d_{i,j}x_j$.
\item[(b)] For all $i\in v\setminus T$, $x_i=\sum_{j\in T}d_{i,j}x_j$.
\item[(c)] $\vec x\in K$.
\end{itemize}\end{itemize}\end{lemma}

\begin{proof}  Conclusion (1) is immediate.

For the second conclusion, let $k<u$ and suppose that
for all $l\in v\setminus T$, $b_{k,l}=0$. Then for
each $\vec x\in K$, $0=\sum_{j<v}b_{k,j}x_j=\sum_{j\in T}b_{k,j}x_j
=\sum_{j\in T}b_{k,j}\pi_j(\vec x)$, so
$\overline 0=\sum_{j\in T}b_{k,j}\pi_j$, where $\overline 0$ is the constant
linear transformation.  But  we are assuming that no row of $B$ consists entirely of zeroes.
So for some $j\in T$, $b_{k,j}\neq 0$ and thus
$\{\pi_i:i\in T\}$ is not linearly independent, a contradiction.

For the third conclusion, let $\vec x\in \beq^v$. The fact that (c) implies (a) is trivial
as is the fact that (a) implies (b).
So assume that for all $i\in v\setminus T$, $x_i=\sum_{j\in T}d_{i,j}x_j$.
By conclusion (1) we have that for all $i<v$, $x_i=\sum_{j\in T}d_{i,j}x_j$.

For any $k<u$
$$\textstyle \overline 0=\sum_{i<v}b_{k,i}\pi_i=\sum_{i<v}b_{k,i}\sum_{j\in T}d_{i,j}\pi_j
=\sum_{j\in T}(\sum_{i<v}b_{k,i}d_{i,j})\pi_j\,.$$ Since $\{\pi_i:i\in T\}$ is
linearly independent, we have that for each $k<u$ and each $j\in T$, $\sum_{i<v}b_{k,i}d_{i,j}=0$.
Therefore $$\textstyle\sum_{i<v}b_{k,i}x_i=\sum_{i<v}b_{k,i}\sum_{j\in T}d_{i,j}x_j=
\sum_{j\in T}(\sum_{i<v}b_{k,i}d_{i,j})x_j=0\,.$$
\end{proof}

\begin{lemma}\label{MatrixC}  Let $u,v\in\ben\cup\{\omega\}$ and let
$B$ be a $u\times v$ matrix with rational entries. There exists a
$v\times v$ matrix $C$ with rational entries such that the following statements hold.
\begin{itemize}
\item[(1)] For every $\vec x\in \beq^v$, $B\vec x=\vec 0$ if and only if
$C\vec x=\vec x$.
\item[(2)] $BC$ is the $u\times v$ matrix with all entries equal to $0$.
\item[(3)] $K(B)=R(C)$.
\item[(4)] $C^2=C$.
\item[(5)] If $S$ is a nontrivial subsemigroup of $\beq$, then the following
statements are equivalent.
\begin{itemize}
\item[(a)] $B$ is kernel partition regular over $S$.
\item[(b)] $C$ is image partition regular over $S$.
\item[(c)] $C$ is weakly image partition regular over $S$.
\end{itemize}\end{itemize}
\end{lemma}

\begin{proof} If the kernel of $B$ is trivial, our lemma holds with $C={\bf O}$, the $v\times v$ matrix with
all entries equal to $0$. So we may suppose that the kernel of $B$ is nontrivial, and hence
that the hypotheses of Lemma \ref{xinkernel} are satisfied. We define $T$ and $d_{i,j}$ for $i<v$ and $j\in T$ as in
Lemma \ref{xinkernel}.   Let $C$ be the $v\times v$ matrix such that, for
$i,j<v$, $c_{i,j}=\left\{\begin{array}{cl}d_{i,j}&\hbox{if }j\in T\\
0&\hbox{if }j\notin T\,. \end{array}\right.$
It follows from Lemma \ref{xinkernel}(3) that for each $\vec x\in\beq^v$, $B\vec x=\vec 0$ if and only if $C\vec x=\vec x$.

Let ${\bf O}$ be the $u\times v$ matrix all of whose entries are $0$.  To see that
$BC={\bf O}$ we need that each column of $C$ is in $K(B)$. If $t\in v\setminus T$,
it is trivial that column $t$ of $C$ is in $K(B)$, so let $t\in T$ and for
$j<v$, let $x_j=c_{j,t}$.  By Lemma \ref{xinkernel}(3), we need to show that
for each $i<v$, $x_i=\sum_{j\in T}c_{i,j}x_j$. So let
$i<v$ be given. Then $\sum_{j\in T}c_{i,j}x_j=\sum_{j\in T}c_{i,j}c_{j,t}=c_{i,t}=x_i$.

Since $BC={\bf O}$, we have $R(C)\subseteq K(B)$. And if $\vec x\in K(B)$, then
$C\vec x=\vec x$ so $\vec x\in R(C)$.  To see that $C^2=C$, let $\vec y\in\beq^v$ and
let $\vec x=C\vec y$.  Then $B\vec x=BC\vec y=\vec 0$ so $C\vec x=\vec x$.

Finally, assume that $S$ is a nontrivial subsemigroup of $\beq$. That (a) implies (b) follows
from conclusion (1) and the fact that (b) implies (c) is trivial. To see that (c) implies (a),
let $S\setminus\{0\}$ be finitely colored and pick $\vec y\in \beq^v$ such that
the entries of $\vec x=C\vec y$ are monochromatic.  By conclusion (4) $C\vec x=\vec x$ so
by conclusion (1), $B\vec x=\vec 0$.
\end{proof}

The first part of our duality is valid for arbitrary nontrivial subsemigroups of $\beq$.
Notice that, as a consequence of this theorem, if $S\setminus\{0\}$ is finitely
coloured, then the sets of monochromatic kernel elements of $B$ and monochromatic images
of $C$ are equal.

\begin{theorem}\label{BgetsC} Let $u,v\in\ben\cup\{\omega\}$, let $S$ be a nontrivial subsemigroup of $\beq$, and let
$B$ be a $u\times v$ matrix with rational entries. Then there is a $v\times v$ matrix $C$ with
rational entries such that
$$\{\vec x\in (S\setminus\{0\})^v:B\vec x=\vec 0\}=\{C\vec y:\vec y\in (S\setminus\{0\})^v\}\cap(S\setminus\{0\})^v\,.$$
Further $B$ is kernel partition regular over $S$ if and only if $C$ is image partition regular over $S$.
\end{theorem}

\begin{proof}
 Let  $C$ be as in Lemma \ref{MatrixC}. For every $x\in \beq^v$, $B\vec x=\vec 0$ implies
$C\vec x=\vec x$, and so
$\{\vec x\in (S\setminus\{0\})^v:B\vec x=\vec 0\}\subseteq\{C\vec y:y\in (S\setminus\{0\})^v\}\cap(S\setminus\{0\})^v$.
For the reverse inclusion, let $\vec z\in (S\setminus\{0\})^v$ and assume that $\vec z=C\vec y$ for some $y\in S^v$.
Then $B\vec z=\vec 0$. The final assertion of the theorem is immediate. \end{proof}

If $v$ is finite, the following lemma is a standard result in linear
algebra. This lemma is \cite[Lemma 3.5]{HSa}, but the proof given here is much
easier. In this lemma, $\bigoplus_{i<v}\beq$ is the direct sum of $v$ copies
of $\beq$, that is members of the Cartesian product $\bigtimes_{i<v}\beq$
with finitely many nonzero entries.

\begin{lemma}\label{span} Let $v\in\ben\cup\{\omega\}$, let $W=\bigoplus_{i<v}\beq$,
let $L\subseteq v$, let $\langle \vec r_i\rangle_{i\in L}$ be a sequence
of linearly independent members of $W$, and let $\langle y_i\rangle_{i\in L}$
be an arbitrary sequence in $\beq$.  Then there exists $\vec x\in\beq^v$ such that
for all $i\in L$, $\vec r_i\cdot\vec x=y_i$.\end{lemma}

\begin{proof} If $v=\omega$, we may presume that $v\setminus L$ is infinite
because then $\bigoplus_{i<v}\beq$ is isomorphic to $\bigoplus_{i<v}\beq\oplus\bigoplus_{i<v}\beq$.
For $i<v$, let $\vec e_i\in W$ be the usual basis vector
defined by
$$\vec e_i(j)=\left\{\begin{array}{cl}1&\hbox{if }j=i\\
0&\hbox{if }j\neq i\,.\end{array}\right.$$
If $\langle \vec r_i\rangle_{i\in L}$ spans $W$, let $J=L$. Otherwise,
pick $J\subseteq v$ such that $L\subseteq J$ and
pick $\langle \vec r_i\rangle_{i\in J\setminus L}$ such that
$\langle \vec r_i\rangle_{i\in J}$ is a basis for $W$. (If $v=\omega$, this is possible
because $v\setminus L$ is infinite.)

Define a linear transformation $f:W\to\beq$ by, for $i\in J$,
$$f(\vec r_i)=\left\{\begin{array}{cl}y_i&\hbox{if }i\in L\\
0&\hbox{if }i\in J\setminus L\,.\end{array}\right.$$
For each $i\in v$ let $x_i=f(\vec e_i)$. Define a linear
transformation $g:W\to\beq$ by, for $\vec z\in W$,
$g(\vec z)=\vec z\cdot\vec x$.  Then for each
$i<v$, $g(\vec e_i)=\vec e_i\cdot \vec x=x_i=f(\vec e_i)$.
Since $f$ and $g$ agree on a basis for $W$, they are equal.
Therefore, for $i\in L$, $y_i=f(\vec r_i)=g(\vec r_i)=\vec r_i\cdot\vec x$.
\end{proof}

For finite matrices, the matrix $B$ in the following lemma was introduced in \cite[Theorem 2.2]{HL}.

\begin{lemma}\label{matrixB}  Let $u,v\in\ben\cup\{\omega\}$ and let
$A$ be a $u\times v$ matrix with rational entries such that the rows of
$A$ are linearly dependent over $\beq$. For $i<u$, let $\vec r_i$ be the $i^{\hbox{\smallrm th}}$
row of $A$.  Let $L$ be a subset of $u$ that is maximal with respect to the property
that $\{\vec r_i:i\in L\}$ is linearly independent without repeated rows and let
$J=u\setminus L$. For $i\in J$, let $\langle b_{i,t}\rangle_{t\in L}$ be the
rational numbers such that $\vec r_i=\sum_{t\in L}b_{i,t}\vec r_t$ and for
$i$ and $t$ in $J$, let $b_{i,t}=0$ if $i\neq t$ and $b_{i,t}=-1$ if $i=t$.
Let $B$ be the $J\times u$ matrix whose entry in row $i$ and column $t$ is
$b_{i,t}$. Then $BA={\bf O}$, where ${\bf O}$ is the $J\times v$ matrix with all
zero entries. Furthermore, $K(B)=R(A)$.
\end{lemma}

\begin{proof} For every $i\in J$, the $i^{\hbox{\smallrm th}}$ row of $BA$ is
$-\vec r_i+\sum_{t\in L}b_{i,t}\vec r_t=\vec 0$, and so $BA={\bf O}$.

Clearly, $R(A)\subseteq K(B)$.
To see that $K(B)\subseteq R(A)$, let $\vec y\in K(B)$. Then, for every $i\in J$,
$y_i=\sum_{t\in L}b_{i,t}y_t$. By Lemma \ref{span}, there exists $\vec x\in \beq^v$
such that $\vec r_i\cdot \vec x=y_i$ for every $i\in L$. Hence, for every $i\in J$,
$\vec r_i\cdot \vec x=(\sum_{t\in L} b_{i,t}\vec r_t)\cdot\vec x=\sum_{t\in L}b_{i,t}y_t=y_i$ and so $\vec y=A\vec x\in R(A)$.
\end{proof}

Notice that if the rows of $A$ are linearly independent and $B$ is any matrix with
$u$ columns and all entries equal to $0$, then all entries of $BA$ are $0$ and
$K(B)=R(A)$.

\begin{corollary}\label{stronglyIPR}  Let $u,v\in\ben\cup\{\omega\}$, let $S$ be a nontrivial subsemigroup of $\beq$, and let
$A$ be a $u\times v$ matrix with rational entries that is weakly image partition regular over $S$. Then there is
a $u\times u$ matrix $C$ with rational entries that is image partition regular over $S$ for which $R(C)=R(A)$ and $C^2=C$.
\end{corollary}
\begin{proof} If the rows of $A$ are linearly independent, we may let $C$ be the
$u\times u$ identity matrix, so assume that the rows of $A$ are linearly dependent.
Let $B$ be the matrix associated with $A$ by Lemma \ref{matrixB}, and let
$C$ be the matrix associated with $B$ by Lemma \ref{MatrixC}. Then $B$ is kernel partition regular over $S$
and $C$ is image partition regular over $S$. Since $R(A)=K(B)$ and $R(C)=K(B)$, it follows that
$R(C)=R(A)$.
\end{proof}

The next theorem is the second half of our duality.

\begin{theorem}\label{AgetsB}
  Let $u,v\in\ben\cup\{\omega\}$, let
$A$ be a $u\times v$ matrix with rational entries.  Then there exist $J\subseteq u$ and a $J\times u$ matrix
$B$ such that
$$\{\vec y\in (\beq\setminus\{0\})^u:B\vec y=\vec 0\}=
\{A\vec x:\vec x\in\beq^v\}\cap(\beq\setminus\{0\})^u\,.$$
Further, $A$ is weakly image partition regular over $\beq$ if and only if $B$ is kernel
partition regular over $\beq$.\end{theorem}

\begin{proof}
If the rows of $A$ are linearly independent, we may let $B$ be the $u\times u$ matrix with all
zero entries, so
assume that the rows of $A$ are linearly dependent.
Let $J$ and $B$ be as in Lemma \ref{matrixB}.  Since $K(B)=R(A)$, the conclusions follow.\end{proof}

In contrast with Theorem \ref{BgetsC}, we see that there is no nontrivial proper
subgroup of $\beq^+=\{x\in\beq:x>0\}$ to which Theorem \ref{AgetsB} extends, even if the
hypothesis is strengthened to require $A$ to be image partition regular, not
just weakly image partition regular.

\begin{theorem}\label{notG} Let $S$ be a nontrivial proper subsemigroup of
$\beq^+$ or a nontrivial proper subgroup of $\beq$.  Then there is a $3\times 2$ matrix $A$ that is image partition regular
over $S$ (whose rows are necessarily linearly dependent) and has the property that
there do not exist $k\in\ben$ and a $k\times 3$ matrix $B$
such that
$$\{\vec y\in (S\setminus\{0\})^3:B\vec y=\vec 0\}=
\{A\vec x:\vec x\in S^2\}\cap(S\setminus\{0\})^3\,.$$
In fact, there do not exist $k\in\ben$ and a $k\times 3$ matrix $B$
such that
$$\begin{array}{rcl}\{A\vec x:\vec x\in (S\setminus\{0\})^2\}\cap(S\setminus\{0\})^3&\subseteq
&\{\vec y\in (S\setminus\{0\})^3:B\vec y=\vec 0\}\\&\subseteq&
\{A\vec x:\vec x\in S^2\}\cap(S\setminus\{0\})^3\,.\end{array}$$ \end{theorem}

\begin{proof} If $S$ is a nontrivial proper subgroup of $\beq$, then
$\{x\in S:x>0\}$ is a nontrivial proper subsemigroup of $\beq^+$ so $\{x\in\beq:x>0\}\setminus S\neq\emp$.

Assume first that $1\notin S$ and let
$d=\min(S\cap \ben)$.  Let
$A=\left(\begin{array}{cc} d&0\\ 0&d\\
d&d\end{array}\right)\,.$
To see that $A$ is image partition regular over $S$, let
$\varphi$ be a finite colouring of $S$ and define a finite colouring $\psi$
of $\ben$ by, for $x\in\ben$, $\psi(x)=\varphi(d^2x)$.  Pick by Schur's
Theorem $x_0$ and $x_1$ in $\ben$ such that $\psi(x_0)=\psi(x_1)=\psi(x_0+x_1)$.
Then $\vec x=\left(\begin{array}{c}dx_0\\ dx_1\end{array}\right)\in (S\setminus\{0\})^2$
and $A\vec x$ is monochromatic with respect to $\varphi$.

Suppose we have $k\in\ben$ and a $k\times 3$ matrix $B$
such that $$\begin{array}{rcl}\{A\vec x:\vec x\in (S\setminus\{0\})^2\}\cap(S\setminus\{0\})^3&\subseteq&
\{\vec y\in (S\setminus\{0\})^3:B\vec y=\vec 0\}\\&\subseteq&
\{A\vec x:\vec x\in S^2\}\cap(S\setminus\{0\})^3\,.\end{array}$$

Since $A\left(\begin{array}{c}d\\ d\end{array}\right)=
\left(\begin{array}{c}d^2\\ d^2\\ 2d^2\end{array}\right)$, we have
that $B\left(\begin{array}{c}d^2\\ d^2\\ 2d^2\end{array}\right)=\vec 0$
and therefore $B\left(\begin{array}{c}d\\ d\\ 2d\end{array}\right)=\vec 0$.
Consequently there is some $\vec x\in S^2$ such that
$A\vec x=\left(\begin{array}{c}d\\ d\\2d \end{array}\right)$.
But then $\vec x=\left(\begin{array}{c}1\\ 1\end{array}\right)\notin S^2$.

Now assume that $1\in S$ and pick some $d\in\ben$ such that $\frac{1}{d}\notin S$. Let
$A=\left(\begin{array}{cc} 0&1\\ d&1\\d&2\end{array}\right)\,.$
Since $A$ is a first entries matrix, by \cite[Theorem 3.1]{HL} $A$ is image partition regular over $\ben$ and therefore
over $S$.
Suppose we have $k\in\ben$ and a $k\times 3$ matrix $B$
such that $$\begin{array}{rcl}\{A\vec x:\vec x\in (S\setminus\{0\})^2\}\cap(S\setminus\{0\})^3&\subseteq&
\{\vec y\in (S\setminus\{0\})^3:B\vec y=\vec 0\}\\&\subseteq&
\{A\vec x:\vec x\in S^2\}\cap(S\setminus\{0\})^3\,.\end{array}$$

Since $A\left(\begin{array}{c}1\\ d\end{array}\right)=
\left(\begin{array}{c}d\\ 2d\\ 3d\end{array}\right)$, we have
that $B\left(\begin{array}{c}d\\ 2d\\ 3d\end{array}\right)=\vec 0$
and therefore $B\left(\begin{array}{c}1\\ 2\\ 3\end{array}\right)=\vec 0$.
Consequently there is some $\vec x\in S^2$ such that
$A\vec x=\left(\begin{array}{c}1\\ 2\\ 3\end{array}\right)$.
But then $\vec x=\left(\begin{array}{c}1/d\\ 1\end{array}\right)\notin S^2$.
\end{proof}

It is well known, and was essentially a part of Deuber's proof of Rado's
conjecture, that if $u,v\in\ben$ and $A$ is a $u\times v$ matrix that is
weakly image partition regular over $\bez$, then
there is a matrix $D$ that is kernel partition
regular over $\bez$ such that if $\vec y$ has nonzero
entries and $D\vec y=\vec 0$, then the set of entries of $\vec y$ contains
the entries of $A\vec x$ for some $\vec x\in \bez^v\setminus\{\vec 0\}$.

We show in Theorem \ref{imgcontained} that the corresponding statement is
true for a finite matrix that is weakly image partition regular over any nontrivial
subgroup of $(\beq,+)$.

\begin{lemma}\label{lemDkpr} Let $S$ be a nontrivial subgroup of $\beq$, let $j,u\in\ben$,
let $B$ be a $j\times u$ matrix with rational entries that is kernel partition regular
over $\beq$, let ${\bf O}$ be the $j\times u$ matrix with all entries equal to $0$,
let $I$ be the $u\times u$ identity matrix, let $c\in S$, and let
$$D=\left(\begin{array}{ccc}B&{\bf O}&{\bf O}\\
I&cI&-cI\end{array}\right)\,.$$
Then $D$ is kernel partition regular over $S$.\end{lemma}

\begin{proof} Since $B$ is kernel partition
regular over $\beq$, it satisfies the columns condition.  Let $m$ and a partition
$\langle I_t\rangle_{t=0}^{m-1}$ of $\ohat{u-1}$ be as guaranteed by the columns
condition for $B$.

Let $I_0'=\{u,u+1,\ldots,3u-1\}$ and for $t\in\nhat{m}$, let $I_t'=I_{t-1}$.
Then $\langle I_t'\rangle_{t=0}^{m}$ is a partition of $\ohat{3u-1}$. It is
routine to verify that with this partition, $D$ satisfies the columns condition.
Therefore, $D$ is kernel partition regular over $\bez$.  Let $d=\min(S\cap \ben)$.
To see that $D$ is kernel partition regular over $S$, let $\varphi$ be a
finite colouring of $S\setminus\{0\}$.  Define $\psi$ on $\bez$ by
$\psi(x)=\varphi(dx)$. If $\vec x$ is monochromatic with respect to
$\psi$ and $D\vec x=\vec 0$, then $d\vec x$ is monochromatic with respect
to $\varphi$ and $Dd\vec x=\vec 0$.
\end{proof}

\begin{theorem}\label{imgcontained} Let $S$ be a nontrivial proper subgroup of
$\beq$, let $u,v\in\ben$, and let $A$ be a $u\times v$  matrix with rational entries
that is weakly image partition regular over $S$ and has linearly dependent rows.
Then there exists $j<u$ and a $(j+u)\times 3u$ matrix $D$ that is kernel partition
regular over $S$ such that, whenever $\vec s\in (S\setminus\{0\})^{3u}$ and
$D\vec s=\vec 0$, there exists $\vec y\in S^v\setminus\{\vec 0\}$ such that
all entries of $A\vec y$ are entries of $\vec s$.
\end{theorem}

\begin{proof} We first show that it suffices to assume that the entries of
$A$ are in $S\cap\bez$. To see this pick $d\in\ben$ such that all entries
of $dA$ are in $S\cap\bez$. (One can take $d$ to be the product of a common multiple
of the denominators of entries of $A$ with the minimum of $S\cap \ben$.)
Then $dA$ is weakly image partition regular over $S$. (If $\varphi$ is a finite
colouring of $S\setminus\{0\}$, we define $\psi$ on $S\setminus\{0\}$
by $\psi(x)=\varphi(dx)$. If the entries of $A\vec x$ are monochromatic
with respect to $\psi$, then the entries of $dA\vec x$ are monochromatic
with respect to $\varphi$.)  Assume that we have
$j<u$ and a $(j+u)\times 3u$ matrix $D$ that is kernel partition
regular over $S$ such that, whenever $\vec s\in (S\setminus\{0\})^{3u}$ and
$D\vec s=\vec 0$, there exists $\vec y\in S^v\setminus\{\vec 0\}$ such that
all entries of $dA\vec y$ are entries of $\vec s$. If the entries
of $dA\vec y$ are entries of $\vec s$ and $\vec z=d\vec y$, then the entries
of $A\vec z$ are entries of $\vec s$.

Thus we assume that the entries of $A$ are in $S\cap\bez$.  Let $l=\rank(A)$.
By rearranging rows and columns, we may assume that the upper left
$l\times l$ corner $A^*$ of $A$ has linearly independent rows.
Let $c$ be the absolute value of $\det(A^*)$.

Since $A$ is weakly image partition regular over $S$ it is weakly image partition
regular over $\beq$.  Let $B$ be as in Lemma \ref{matrixB} with $L=\ohat{l-1}$ so that
$J=\{l,l+1,\ldots,u-1\}$.  Let $j=u-l$ and let $B'$ be the $j\times u$ matrix
whose entry in row $t$ and column $i$ is $b_{t,i}'=b_{l+t,i}$.  Since
$B'A={\bf O}$, we have that $B'$ is kernel partition regular over $\beq$.

Let ${\bf O}$ be the $j\times u$ matrix with all entries equal to $0$,
let $I$ be the $u\times u$ identity matrix, and let
$$D=\left(\begin{array}{ccc}B'&{\bf O}&{\bf O}\\
I&cI&-cI\end{array}\right)\,.$$
By Lemma \ref{lemDkpr}, $D$ is kernel partition regular over $S$.

Let $\vec s\in (S\setminus\{0\})^{3u}$ such that
$D\vec s=\vec 0$.  Let $\vec x\in (S\setminus\{0\})^{u}$ and
$\vec r\in (S\setminus\{0\})^{2u}$ such that $\vec s=\left(\begin{array}{c} \vec x\\
\vec r\end{array}\right)$. Then for $i\in\ohat{u-1}$,
$x_i=c(r_{u+i}-r_{i})$.  Letting $z_i=r_{u+i}-r_{i}$ we have
that each $z_i\in S$. Let $\vec z\,'$ be the first $l$ entries of $\vec z$.
Let $\vec w$ be the member of $\beq^l$ such that
$A^*\vec w=\vec z\,'$.  Then by Cramer's rule, we have
that for each $i\in\ohat{l-1}$, $cw_i\in S$.

For $i\in\ohat{l-1}$, let $y_i=cw_i$ and for
$i\in\{l,l+1,\ldots,v\}$, let $y_i=0$.
Then a routine computation establishes that $A\vec y=\vec x$.
\end{proof}

We ask now whether some version of Theorem \ref{imgcontained} applies
to matrices with infinitely many rows.  (Our proof of Lemma \ref{lemDkpr}
uses Rado's Theorem, so is inherently finite.)

\begin{question}\label{qimage} Let $v\in\ben\cup\{\omega\}$ and
let $A$ be an $\omega\times v$ matrix with rational entries.
Is it true that for some or all nontrivial proper subgroups $S$ of $\beq$,
if $A$ is weakly image partition regular over $S$, then there
is a kernel partition regular matrix $D$ such that whenever
$\vec s$ is in the kernel of $D$ with entries in $S\setminus \{0\}$
there must exist $\vec y\in S^v$ such that all entries of $A\vec y$ are
entries of $\vec s$? \end{question}

We note that if $\beq$ is given any reasonable topology (more
precisely, any topology in which $0$ has a neighbourhood distinct from $\beq$)
and $\beq^u$ and $\beq^v$ have
the product topology, it is routine to establish that for any $u,v\in\ben\cup\{\omega\}$, the
$u\times v$ matrices with finitely many non-zero entries in each row
correspond precisely to the continuous linear transformations from $\beq^v$ to $\beq^u$.
(One uses the fact that for each $a\in \beq\setminus\{0\}$, there is some
$t\in\beq$ such that $at\notin U$.)

We also remark that the theorems in this section, when proved in the context of an arbitrary
field $F$, provide us with information about continuous linear maps from $F^v$ to $F^u$.
For example, Lemma \ref{matrixB} implies that the range of every such map is closed.

\section{Image partition regularity and weak image\\ partition regularity over $\beq$}

We saw in Theorem \ref{ipreqwipr} that for any commutative cancellative
semigroup $S$ with at least three elements and any $u\times v$ matrix
$A$ that is weakly image partition regular over $S$ there is a
$u\times (2\cdot v)$ matrix that is image partition regular over $S$ and
has exactly the same images as $A$. The following corollary of the
results of Section 2 shows that for $S=\beq$, one need not add
additional columns to at least get the same images with entries in
$S\setminus\{0\}$.

\begin{corollary}\label{AgetsC}   Let $u,v\in\ben\cup\{\omega\}$ and let
$A$ be a $u\times v$ matrix with rational entries that is weakly image partition regular over $\beq$.
Then there exist a set $T\subseteq u$ and a $u\times T$ matrix $D$ that is image partition regular over
$\beq$ such that $|T|\leq v$ and
$$\{A\vec x:\vec x\in\beq^v\}\cap(\beq\setminus\{0\})^u=
\{D\vec y:\vec y\in (\beq\setminus\{0\})^T\}\cap(\beq\setminus\{0\})^u\,.$$
\end{corollary}

\begin{proof} Assume first that the rows of $A$ are linearly independent. Then $u\leq v$ and
by Lemma \ref{span},
$\{A\vec x:\vec x\in\beq^v\}\cap(\beq\setminus\{0\})^u=(\beq\setminus\{0\})^u$
so one may let $C$ be the $u\times u$ identity matrix.

So assume that the rows of $A$ are linearly dependent over $\beq$.
By Theorem \ref{AgetsB} pick
$J\subseteq u$ and a $J\times u$ matrix
$B$ such that $B$ is kernel partition regular over $\beq$ and
$\{\vec w\in (\beq\setminus\{0\})^u:B\vec w=\vec 0\}=
\{A\vec x:\vec x\in\beq^v\}\cap(\beq\setminus\{0\})^u$.
Since $B$ is kernel partition regular over $\beq$, the kernel
of $B$ is nontrivial so the proof of Lemma \ref{MatrixC} produces
a $u\times u$ matrix $C$, a set $T\subseteq u$, and $d_{i,j}$ in $\beq$
for $i<u$ and $j\in T$ such that $|T|$ is the dimension of the
kernel of $B$ and for $i,j<u$, $c_{i,j}=\left\{\begin{array}{cl}d_{i,j}&\hbox{if }j\in T\\
0&\hbox{if }j\notin T\,. \end{array}\right.$  Let $D$ be the $u\times T$
matrix with entries $d_{i,j}$ for $i<u$ and $j\in T$.  As we saw in the proof of
Theorem \ref{BgetsC},
$$\{\vec x\in (\beq\setminus\{0\})^u:B\vec x=\vec 0\}=\{C\vec y:\vec y\in (\beq\setminus\{0\})^u\}\cap(\beq\setminus\{0\})^u\,,$$
and trivially $\{C\vec y:\vec y\in (\beq\setminus\{0\})^u\}=\{D\vec y:\vec y\in (\beq\setminus\{0\})^T\}$.

Checking the proof of Theorem \ref{AgetsB}, we see that $J=u\setminus L$ where $|L|$ is the
rank of $A$.  And we also see that $B$ is of the form $\left(\begin{array}{cc}E&-I_J\end{array}\right)$,
where $E$ is a $J\times L$ matrix and $I_J$ is the $J\times J$ identity matrix so that the
rank of $B$ is $|J|$.  And we have seen that $|T|$ is the
dimension of the kernel of $B$, which is $|u\setminus J|=|L|\leq v$.
\end{proof}

We saw in Theorem \ref{notG} that Theorem \ref{AgetsB} does not
extend to any proper subsemigroup of $\beq^+$ or any proper subgroup
of $\beq$.

In Theorem \ref{notIPRG} we will show that Corollary \ref{AgetsC} does not
extend to any proper subgroup of $\beq$.

\begin{lemma}\label{kcl} Let $G$ be a proper subgroup of $\beq$.  If
$1\in G$, pick $d\in \ben$ such that $\frac{1}{d}\notin G$ and let
$p=1$. If $1\notin G$, pick $d\in\ben\cap G$ and let $p=d$.
Let $A=\left(\begin{array}{cc}1&0\\ 1&d\\ 1&2d\\ \vdots&\vdots\end{array}\right)$.
Assume that $C$ is an $\omega\times 2$ matrix with rational entries such that
$\{A\vec x:\vec x\in G^2\}\cap(G\setminus\{0\})^\omega\subseteq\{C\vec y:y\in(G\setminus\{0\})^2\}$.
Then there exist $x_0,x_1$ in $G\setminus\{0\}$, $m\neq n$ in $\omega$, and $k\in\beq$
such that $k=dx_0x_1(m-n)$ and for all $l<\omega$,
$kc_{l,0}=pdx_1(l-n)$ and $kc_{l,1}=pdx_0(m-l)$.\end{lemma}

\begin{proof} We have that $\overline p=A\left(\begin{array}{c} p\\ 0\end{array}\right)$, where
$\overline p$ is the vector all of whose entries are $p$. So pick
$x_0$ and $x_1$ in $G\setminus\{0\}$ such that for all $l<\omega$,
$x_0c_{l,0}+x_1c_{l,1}=p$. Also $A\left(\begin{array}{c} p\\ p\end{array}\right)\in
\{A\vec z:\vec z\in G^2\}\cap (G\setminus\{0\})^\omega$ so pick
$y_0$ and $y_1$ in $G\setminus\{0\}$ such that for all $l<\omega$,
$y_0c_{l,0}+y_1c_{l,1}=p+lpd$.

Let $k=x_1y_0-x_0y_1$.  Then for each $l<\omega$,
$kc_{l,0}=x_1(p+pld-y_1c_{l,1})-x_0y_1c_{l,0}=p(x_1-y_1)+x_1pld$ and
$kc_{l,1}=p(y_0-x_0)-x_0pld$.  Since the values change with $l$, we
have that $k\neq 0$.

We claim that there is some $m<\omega$ such that
$y_0=(1+md)x_0$.  To see this, suppose not and let
$a=x_0-y_0$ and $b=x_0$. Then for $l<\omega$, entry $l$ of
$A\left(\begin{array}{c}a\\ b\end{array}\right)$ is
$x_0-y_0+ldx_0\in G\setminus\{0\}$, so pick
$u$ and $v$ in $G\setminus\{0\}$ such that
$A\left(\begin{array}{c}a\\ b\end{array}\right)=C\left(\begin{array}{c}u\\ v\end{array}\right)$.
Then $kA\left(\begin{array}{c}a\\ b\end{array}\right)=kC\left(\begin{array}{c}u\\ v\end{array}\right)$
so $ka=p(x_1-y_1)u+p(y_0-x_0)v$ and $ka+kbd=p(x_1-y_1)u+x_1pdu+p(y_0-x_0)v-x_0pdv$.
Solving these equations for $u$ and $v$ we get $u=\frac{1}{p}(ax_0+by_0-bx_0)$ and
$v=\frac{1}{p}(ax_1+by_1-bx_1)$.  But then
$u=\frac{1}{p}(x_0(x_0-y_0)+(y_0-x_0)x_0)=0$, a contradiction.
Similarly, we have some $n<\omega$ such that $y_1=(1+nd)x_1$.

Now $k=x_1y_0-y_1x_0=dx_0x_1(m-n)$ and since $k\neq 0$, $m\neq n$.
Also for $l<\omega$, $kc_{l,0}=p(x_1-y_1)+pldx_1=pdx_1(l-n)$ and $kc_{l,1}=pdx_0(m-l)$.
\end{proof}

\begin{theorem}\label{notIPRG} Let $G$ be a proper subgroup of $\beq$.  There is an
$\omega\times 2$ matrix $A$ that is weakly image partition regular over $G$, but there
does not exist an $\omega\times 2$ matrix $C$ with rational entries such that
$$\{A\vec x:\vec x\in G^2\}\cap(G\setminus\{0\})^\omega=
\{C\vec y:\vec y\in (G\setminus\{0\})^2\}\cap(G\setminus\{0\})^\omega\,.$$
\end{theorem}

\begin{proof} If
$1\in G$, pick $d\in \ben$ such that $\frac{1}{d}\notin G$ and let
$p=1$. If $1\notin G$, pick $d\in\ben\cap G$ and let $p=d$.
Let $A=\left(\begin{array}{cc}1&0\\ 1&d\\ 1&2d\\ \vdots&\vdots\end{array}\right)$.
Note that $A$ is weakly image partition regular over $G$ since
$A\left(\begin{array}{c}d\\ 0\end{array}\right)=\overline d$.
Suppose we have an $\omega\times 2$ matrix $C$ with rational entries such that
$$\{A\vec x:\vec x\in G^2\}\cap(G\setminus\{0\})^\omega=
\{C\vec y:\vec y\in (G\setminus\{0\})^2\}\cap(G\setminus\{0\})^\omega\,.$$
Pick $x_0$, $x_1$, $m$, $n$, and $k$ as guaranteed by Lemma \ref{kcl}.
Let $u=(m+1)x_0$ and $v=(n+1)x_1$.  Then given $l<\omega$, entry $l$ of
$kC\left(\begin{array}{c}u\\ v\end{array}\right)$ is
$kc_{l,0}u+kc_{l,1}v=pdx_0x_1(m-n)(l+1)=kp(l+1)$ so entry $l$ of
$C\left(\begin{array}{c}u\\ v\end{array}\right)$ is $p(l+1)\in G\setminus\{0\}$.
Pick $a$ and $b$ in $G$ such that
$A\left(\begin{array}{c}a\\ b\end{array}\right)=C\left(\begin{array}{c}u\\ v\end{array}\right)$.
Then $a=p$ and $a+db=2p$ so $db=p$.  If $p=1$, this says $b=\frac{1}{d}\notin G$.
If $p=d$, this says $b=1\notin G$.
\end{proof}

We do not know whether the result of Corollary \ref{AgetsC} extends to
arbitrary proper subsemigroups of $\beq^+$, or even whether it extends to $\ben$.
We know that the proof of Theorem \ref{notIPRG} does not work to show that it does
not extend to $\ben$ and the proof of Corollary \ref{AgetsC} does not work
to show that it does extend to $\ben$.

To see that the proof of Theorem \ref{notIPRG} does not work for $\ben$,
let $d\in\ben\setminus\{1\}$ so that
$$A=\left(\begin{array}{cc}1&0\\
1&d\\
1&2d\\
\vdots&\vdots\end{array}\right)\,.$$
Let
$$C=\left(\begin{array}{cc}1&-1\\
1-d&-1+2d\\
1-2d&-1+4d\\
\vdots&\vdots\end{array}\right)\,.$$
Then
$\{A\vec x:\vec x\in \bez^2\}\cap\ben^\omega=
\{C\vec y:\vec y\in \ben^2\}\cap\ben^\omega$. (If $A\left(\begin{array}{c}a\\ b\end{array}\right)\in\ben^\omega$,
then $a\in\ben$, $b\in\omega$, and
$A\left(\begin{array}{c}a\\ b\end{array}\right)=C\left(\begin{array}{c}2a+b\\ a+b\end{array}\right)$. And for any
$u$ and $v$ in $\ben$,
$A\left(\begin{array}{c}u-v\\ 2v-u\end{array}\right)=C\left(\begin{array}{c}u\\ v\end{array}\right)$.)

To see that the proof of Corollary \ref{AgetsC} does not work for $\ben$,
let
$$A=\left(\begin{array}{cc}1&0\\
1&2\\
1&4\\
\vdots&\vdots\end{array}\right)\,.$$
 The matrix $B$ produced by
 Lemma \ref{matrixB} is
$$B=\left(\begin{array}{ccccccc}
-1&2&-1&0&0&0&\ldots\\
-2&3&0&-1&0&0&\ldots\\
-3&4&0&0&-1&0&\ldots\\
\vdots&\vdots&\vdots&\vdots&\vdots&\vdots&\ddots
\end{array}\right)\,.$$
This matrix is kernel partition regular over $\ben$ since $B\overline 1=\overline 0$.
Then the matrix $C$ produced by Theorem \ref{BgetsC} is
$$C=\left(\begin{array}{cc} 1&0\\
0&1\\
-1&2\\
-2&3\\
-3&4\\
\vdots&\vdots\end{array}\right)\,.$$
If $A\vec x=C\left(\begin{array}{c}1\\ 2\end{array}\right)$,
then $x_0=1$ and $x_1=\frac{1}{2}$.

\begin{question}\label{qanysg} Let $S$ be a nontrivial proper subsemigroup of $\beq^+$ and
let $G$ be the subgroup of $\beq$ generated by $S$. Let
$u,v\in\ben\cup\{\omega\}$ and let
$A$ be a $u\times v$ matrix with rational entries that is weakly image partition regular over $S$.
Must there exist $w\leq v$ and a $u\times w$ matrix $C$ such that
$$\{A\vec x:\vec x\in G^v\}\cap(S\setminus\{0\})^u=
\{C\vec y:\vec y\in (S\setminus\{0\})^w\}\cap(S\setminus\{0\})^u\,?$$
\end{question}

A matrix produced in answer to this question would necessarily be image partition regular over $S$.

Notice that, by Theorem \ref{ipreqwipr}, Question \ref{qanysg} has an affirmative answer if
$v=\omega$, so we are concerned with Question \ref{qanysg} when $v\in\ben$.
In Theorem \ref{almost} we give a partial answer, not for every subsemigroup of $\beq^+$, but
for subsemigroups of $\beq^+$ that are the intersection of the group they generate with $\beq^+$.
This partial answer is strong enough
for us to conclude that for any matrix $A$ that is weakly image partition regular over such a semigroup, there
is an image partition regular matrix $C$ every relevant image of which is an image of $A$.

We recall the definition of the sign function.

\begin{definition}\label{defsgn} Let $x\in\ber$.
$$\sgn(x)=\left\{\begin{array}{cl}1&\hbox{if }x>0\\
0&\hbox{if }x=0\\
-1&\hbox{if }x<0\,.\end{array}\right.$$
\end{definition}

\begin{lemma}\label{onezerominus} Let $S$ be a nontrivial proper subsemigroup of $\beq$ and
let $G$ be the subgroup of $\beq$ generated by $S$, let
$u\in\ben\cup\{\omega\}$, let $v\in\ben$, and let
$A$ be a $u\times v$ matrix with rational entries that is weakly image partition regular over $S$.
Then there exists $\vec a\in\{-1,0,1\}^v$ such that whenever $S\setminus\{0\}$ is finitely coloured, there exists
$\vec x\in G^v$ such that the entries of $A\vec x$ are monochromatic and for every $i<v$,
$\sgn(x_i)=a_i$.  Further $\vec a\neq\vec 0$.
\end{lemma}

\begin{proof} Suppose not and for each $\vec a\in\{-1,0,1\}^v$ pick a finite colouring
$\varphi_{\vec a}$ of $S\setminus\{0\}$ such that whenever $\vec x\in G^v$ and the entries of $A\vec x$ are
monochromatic with respect to $\varphi_{\vec a}$, there is some $i<v$ such that $\sgn(x_i)\neq a_i$.
Let $\psi$ be a finite coloring of $S\setminus\{0\}$ such that for $x,y\in S$, $\psi(x)=\psi(y)$
if and only if for every $\vec a\in\{-1,0,1\}^v$, $\varphi_{\vec a}(x)=\varphi_{\vec a}(y)$.
Pick $\vec x\in G^v$ such that the entries of $A\vec x$ are monochromatic with respect to
$\psi$. Letting $\vec a_i=\sgn(x_i)$ for each $i<v$ yields a contradiction. Trivially
$\vec a\neq\vec 0$.
\end{proof}

\begin{theorem}\label{almost}  Let $G$ be a nontrivial subgroup of $\beq$, let
$S=G\cap\beq^+$, let
$u\in\ben\cup\{\omega\}$, let $v\in\ben$, and let
$A$ be a $u\times v$ matrix with rational entries that is weakly image partition regular over $S$.
Then there exists a $u\times v$ matrix $C$ with rational entries (whose entries are in the subgroup of
$\beq$ generated by the entries of $A$) such that
\begin{itemize}
\item[(1)] $\{C\vec y:\vec y\in S^v\}\subseteq \{A\vec x:x\in G^v\}$ and
\item[(2)] whenever $S$ is finitely coloured, there exists $\vec x\in G^v$ such that
the entries of $A\vec x$ are monochromatic and there is some $\vec y\in S^v$
such that $C\vec y=A\vec x$.
\end{itemize}
\end{theorem}

\begin{proof} Pick $\vec a$ as guaranteed by Lemma \ref{onezerominus}. Since
$\vec a\neq \vec 0$ we may presume (by permuting the columns of $A$) that
$a_0\neq 0$. Define a $v\times v$ matrix $E$ as follows.  For
$j<v$, $e_{j,0}=a_0$ and for $i\in\nhat{v-1}$, let $e_{0,i}=0$.  For $j\in\nhat{v-1}$ and $i<v$,
$$e_{j,i}=\left\{\begin{array}{cl} 1&\hbox{if }i=j\hbox{ and }a_i\geq 0\\
-1&\hbox{if }i=j\hbox{ and }a_i< 0\\
0&\hbox{otherwise.}\end{array}\right.$$
Then $E$ is a lower triangular matrix whose diagonal entries are all
$1$ or $-1$ so $\det(A)=\pm 1$.  Thus $E$ is invertible and its
inverse has integer entries.  (In fact, all entries of $E^{-1}$ are $0$, $1$, or
$-1$.)  Let $C=AE^{-1}$.  Conclusion (1) is immediate.

To verify (2), let $S$ be finitely coloured and pick $\vec x\in G^v$
such that the entries of $A\vec x$ are monochromatic and for every
$i<v$, $a_i=\sgn(x_i)$.  Let $y=E\vec x$. Then $C\vec y=A\vec x$ so
it suffices to show that the entries of $\vec y$ are positive.
We have that $y_0=a_0x_0>0$.  For $j>0$, $y_j=a_0x_0$ if $x_j=0$ and
otherwise $y_j=a_0x_0+a_jx_j>0$.
\end{proof}

\begin{corollary}\label{wiprIPR}  Let $G$ be a nontrivial subgroup of $\beq$, let
$S=G\cap\beq^+$, let
$u,v\in\ben\cup\{\omega\}$, and let
$A$ be a $u\times v$ matrix with rational entries. Then $A$ is
weakly image partition regular over $S$ if and only if there
is a $u\times v$ matrix $C$ with rational entries that is
image partition regular over $S$ and for every $\vec y\in S^v$,
there exists $\vec x\in G^v$ such that $A\vec x=C\vec y$.
\end{corollary}

\begin{proof} The sufficiency is trivial. For the necessity we can
invoke Theorem \ref{ipreqwipr} if $v=\omega$, so assume that
$v\in\ben$.  Pick $C$ as guaranteed by Theorem \ref{almost}.
One has immediately that for every $\vec y\in S^v$,
there exists $\vec x\in G^v$ such that $A\vec x=C\vec y$.

To see that $C$ is image partition regular over $S$, let
$S$ be finitely coloured. Pick $\vec x$ as guaranteed by
Theorem \ref{almost}(2) and pick $\vec y\in S^v$
such that $C\vec y=A\vec x$.
\end{proof}

\bibliographystyle{plain}