Congruences on an inverse Bruck-Reilly monoid. I: Non-group congruences (Q1173961)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Congruences on an inverse Bruck-Reilly monoid. I: Non-group congruences |
scientific article |
Statements
Congruences on an inverse Bruck-Reilly monoid. I: Non-group congruences (English)
0 references
25 June 1992
0 references
Let \(T\) be an inverse monoid with group of units \(G\) and let \(\alpha: T\to G\) be a homomorphism. The Bruck-Reilly extension \(S= \text{BR} (T, \alpha)\) is again an inverse monoid. Congruences \(\rho\) on \(S\) divide naturally into group congruences (for which \(S/\rho\) is a group) and nongroup congruences. The author gives a description of the nongroup congruences on \(\text{BR} (T, \alpha)\), the key elements in the description being ``crossover \(\alpha\)-congruences'' on \(T\). A congruence \(\rho\) is called an \(\alpha\)-congruence if (\(\forall x,y\in S\)) \(x\rho y\Rightarrow x\alpha \rho y\alpha\). It is a crossover \(\alpha\)-congruence if in addition there exists a proper ideal \(I\) of \(T\) such that \(\rho\) saturates \(I\) and (\(\forall x,y\in I\)) \(x\rho y\Leftrightarrow x\alpha\rho y\alpha\).
0 references
inverse monoids
0 references
group of units
0 references
Bruck-Reilly extensions
0 references
group congruences
0 references
nongroup congruences
0 references