1: \begin{abstract}

2: \noindent

3: Let $\T_X$ be the full transformation monoid over a finite set $X$, and fix some $a\in\T_X$ of rank $r$.  The variant $\T_X^a$ has underlying set $\T_X$, and operation $f\star g=fag$.  We study the congruences of the subsemigroup $P=\Reg(\T_X^a)$ consisting of all regular elements of $\T_X^a$, and the lattice $\Cong(P)$ of all such congruences.  Our main structure theorem ultimately decomposes $\Cong(P)$ as a specific subdirect product of $\Cong(\T_r)$ and the full equivalence relation lattices of certain combinatorial systems of subsets and partitions.  We use this to give an explicit classification of the congruences themselves, and we also give a formula for the height of the lattice.

4: 

5: 

6: 

7: 

8: 

9: 

10: \medskip

11: 

12: \noindent

13: \emph{Keywords}: Congruence, congruence lattice, full transformation semigroup, variant, subdirect product.

14: 

15: \medskip

16: %

17: 

18: \noindent

19: MSC (2020): 20M20, 20M10, 08A30.

20: 

21: \end{abstract}

22: