Inversion conjecture for uniquely 2-divisible completely regular semigroups
Inversion conjecture. Then
Finite-order injectivity conjecture for inverse semigroups
Finite-order injectivity conjecture. Then