Perfect congruences on bisimple -semigroups.

-semigroups determined in cite{key25} and the description of congruences on these semigroups found in cite{key20} and cite{key1}, we obtain a complete characterization of perfect congruences on all bisimple

o m e g a

-semigroups, substantially generalizing the above mentioned result of cite{key7}.

Review text

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\).

Recommendations

Cites work

Cited in

(9)

This page was built for publication: Perfect congruences on bisimple \(\omega\)-semigroups.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q896237)