\({\mathcal P}\)-congruences on \({\mathcal P}\)-regular semigroups (Q1185768): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: \(\mathcal P\)-regular semigroups. / rank | |||
Normal rank |
Latest revision as of 16:19, 15 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | \({\mathcal P}\)-congruences on \({\mathcal P}\)-regular semigroups |
scientific article |
Statements
\({\mathcal P}\)-congruences on \({\mathcal P}\)-regular semigroups (English)
0 references
28 June 1992
0 references
A pair \((S,P)\) of a regular semigroup \(S\) and a subset \(P\) of the set \(E_ S\) of idempotents of \(S\) is called a \(\mathcal P\)-regular semigroup \(S(P)\) if it satisfies the following: (1) \(P^ 2\subset E_ S\), (2) \(qPq\subset P\) for all \(q\in P\), and (3) for any \(x\in S\) there exists an inverse \(x^*\) of \(x\) such that \(xP^ 1 x^*\subset P\) and \(x^*P^ 1 x\subset P\), where \(P^ 1=P\cup\{1\}\). This concept was introduced by the author and the reviewer [ibid. 39, 157-178 (1989; Zbl 0664.20039)]. Let \(S(P)\) be a \(\mathcal P\)-regular semigroup, and \(\rho\) a \(\mathcal P\)- congruence on \(S(P)\). The set of \(\rho\)-classes containing an element of \(P\) is called the \(\mathcal P\)-kernel of \(\rho\). It is shown that two \(\mathcal P\)-congruences on a \(\mathcal P\)-regular semigroup coincide if and only if they have the same \(\mathcal P\)-kernel. The main purpose of this paper is to give a characterization of the \(\mathcal P\)-kernel of a \(\mathcal P\)-congruence on a \(\mathcal P\)-regular semigroup \(S(P)\) in terms of a certain collection of subsets of \(S(P)\) called a \(\mathcal P\)-kernel normal system of \(S(P)\).
0 references
regular semigroup
0 references
idempotents
0 references
\(\mathcal P\)-regular semigroup
0 references
\(\mathcal P\)- congruences
0 references
\(\mathcal P\)-kernel normal system
0 references