Etude du treillis des congruences à droite sur le monoide bicyclique (Q1068209)

Let B be the bicyclic monoïd defined by its presentation \(<a,b\); \(ab=1>\), E be the set of right-regular congruences on B. Every \(\rho\in E\) induces a congruence on \({\mathbb{N}}\) by: \(nR_ b(\rho)m\Leftrightarrow b^ n\rho b^ m\). In this paper it is shown that every \(\rho\in E\) has a decomposition \(\rho =\psi \vee \phi\) such that: \(R_ b(\rho)=\Delta_{{\mathbb{N}}}\) \((\Delta_{{\mathbb{N}}}\) being the equality relation), \(\phi\) is the coarsest \(u\in E\) such that \(R_ b(u)=R_ b(\rho)\). Moreover this decomposition is unique under certain conditions on \(\psi\), and the components can be parametrized by elements in simple lattices. The last part is devoted to using this decomposition to describe all the quotients B/\(\rho\) where \(\rho\in E\).