Two congruence lattices of completely simple semigroups

For a Rees matrix semigroupS with normalized sandwich matrix and C(S), the congruence lattice ofS, we consider the lattice generated by {itpT_l, pK, pT_r, pt_l, pk, pt_r}. HerepT ₁ andpt _l are the upper and lower ends of the interval which makes up the _i -class of , _i being the left trace relation onC(S). The remaining symbols have the analogous meaning relative to the kernel and the right trace relations. We also consider the lattice generated by {T _l, K, T_r, t_l, _k, t_r} where and are the equality and the universal relations onS, respectively. In both cases, we find lattices freest relative to these lattices and represent them as distributive lattices with generators and relations.With 3 Figures