Perfect congruences on bisimple \(\omega\)-semigroups. (Q896237)

Let \(S\) be a semigroup. A congruence \(\varepsilon\) on \(S\) is called \textit{perfect} if for any two congruence classes \(x\varepsilon\) and \(y\varepsilon\) their product as a subset of \(S\) coincides with the congruence class \((xy)\varepsilon\). Let \(G\) be a group, \(\alpha\) an endomorphism on \(G\) and \(BR(G,\alpha)=({\mathbb N}\times G\times{\mathbb N}, \cdot)\) the Bruck-Reilly extension of \(G\) determined by \(\alpha\), with \((m,g, n)\cdot (p,h,q)= (m+p-r, (g\alpha^{p-r}) (h\alpha^{n-r}) ,n+q-r)\), where \(r=\min\{n, p\}\). It is proved that every idempotent-separating congruence on \(BR(G,\alpha)\) is perfect. Let now \(N\) be an \(\alpha\)-invariant normal subgroup of \(G\), \(z\in G\) and \(k\) a nonnegative integer such that \(N(z\alpha)=Nz\) and \((\forall g\in G)g^{-1}(Nz)(g\alpha^k)=Nz\). The authors prove that for a certain normal unitary inverse subsemigroup \(U=U(N, z,k)\) of \(BR(G,\alpha)\), \(\varepsilon_U\) is perfect on \(BR(G,\alpha)\) if and only if \((\forall n\geq 1)(\forall x\in G)G\alpha^n\cap Nx\not=\emptyset\).