The infinite alternating semigroup (Q1362893)

Let \(N\) denote the collection of all natural numbers. An injective partial transformation on \(N\) is referred to as a chart and the symmetric inverse semigroup of all charts on \(N\) is denoted by \(C_\omega\). A transpositional is either a transposition \((ij)\) or the restriction of \((ij)\) to \(N\setminus\{j\}\). A chart is even if it factors into an even number of transpositionals. The infinite alternating semigroup of all even charts on \(N\) is denoted by \(A^c_\omega\) and the semigroup of all charts that fix all but a finite number of points of \(N\) is denoted by \(F_\omega\). Evidently \(A^c_\omega\subseteq F_\omega\subseteq C_\omega\). The author investigates the inverse semigroups \(A^c_\omega\) and \(F_\omega\). For example, he shows that each idempotent of \(F_\omega\) belongs to \(A^c_\omega\) and \(\alpha^{-1}A^c_\omega\alpha\subseteq A^c_\omega\) for each \(\alpha\in F_\omega\). He then determines Green's relations for the semigroup \(A^c_\omega\) and he goes on to investigate the congruences on this semigroup.