1: \begin{abstract}

2:   A \textit{universal sequence} for a group or semigroup $S$ is a sequence of

3:   words $w_1, w_2, \ldots$ such that for any sequence $s_1, s_2, \ldots\in S$,

4:   the equations $w_n = s_n$, $n\in \mathbb{N}$, can be solved simultaneously in

5:   $S$. For example, Galvin showed that the sequence

6:   $(a^{-1}(a^nba^{-n})b^{-1}(a^nb^{-1}a^{-n})ba)_{n\in\mathbb{N}}$ is universal

7:   for the symmetric group $\sym(X)$ when $X$ is infinite, and Sierpi\'nski showed

8:   that $(a ^ 2 b ^ 3 (abab ^ 3) ^ {n + 1} ab ^ 2 ab ^ 3)_{n\in \N}$ is

9:   universal for the monoid $X ^ X$ of functions from the infinite set $X$ to

10:   itself.

11: 

12:   In this paper, we show that under some conditions, the set of universal

13:   sequences for the symmetric group on an infinite set $X$ is independent of

14:   the cardinality of $X$.  More precisely,  we show that if $Y$ is any set such

15:   that $|Y| \geq |X|$, then every universal sequence for $\sym(X)$ is also

16:   universal for $\sym(Y)$.  If $|X| > 2 ^ {\aleph_0}$, then the converse also

17:   holds. It is shown that an analogue of this theorem holds in the context of

18:   inverse semigroups, where the role of the symmetric group is played by the

19:   symmetric inverse monoid.  In the general context of semigroups, the full

20:   transformation monoid $X ^ X$ is the natural analogue of

21:   the symmetric group and the symmetric inverse monoid. If $X$ and $Y$ are

22:   arbitrary infinite sets, then it is an open question as to whether or not

23:   every sequence that is universal for $X ^ X$ is also universal for $Y ^ Y$.

24:   However, we obtain a sufficient condition for a sequence to be universal for

25:   $X ^ X$ which does not depend on the cardinality of $X$. A large class of

26:   sequences satisfy this condition, and hence are universal for $X ^ X$ for

27:   every infinite set $X$. 

28: \end{abstract}

29: