Invariant semigroups of orthodox semigroups (Q1910643): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Amenable orders on orthodox semigroups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Naturally ordered regular semigroups with a greatest idempotent / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Amenably ordered inverse semigroups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: REGULAR SEMIGROUPS WITH INVERSE TRANSVERSALS / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Construction of regular semigroups with inverse transversals / rank | |||
Normal rank |
Revision as of 11:16, 24 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Invariant semigroups of orthodox semigroups |
scientific article |
Statements
Invariant semigroups of orthodox semigroups (English)
0 references
25 September 1996
0 references
The paper is a continuation of a previous one of these authors [J. Algebra 169, No. 1, 49-70 (1994; Zbl 0811.06015)]. An inverse transversal of a regular semigroup \(S\) is an inverse subsemigroup \(T\) with the property that, for every \(x\in S\), \(T\) contains one and only one inverse element \(x^0\) of \(x\) in \(S\). An inverse transversal \(T= S^0\) is said to be multiplicative if \(x^0 xyy^0\in E(S^0)\) for all \(x, y \in S\). A left amenable order on a regular semigroup \(S\) with an inverse transversal \(S^0\) is a compatible order \(\leq\) which coincides on the idempotents with the natural one and has the property: \(x \leq y \Rightarrow x^0 x \leq y^0 y\). A subsemigroup \(T\) of \(R(E)=\{x \in S \mid (\forall e \in E(S)) exe=xe\}\) is called \(S^0\)-invariant if \((\forall x \in S)\) \(xTx^0 \subseteq T\). The structure of \(S^0\)-invariant semigroups in connection with the structure of left amenable orders is studied for right inverse (or \(L\)-unipotent) semigroups \(S\) with a multiplicative inverse transversal \(S^0\). It is shown that every left amenable order on \(S^0\) extends to a unique left amenable order on \(S\). Using this result and duality, it is shown that the same is true for an orthodox semigroup \(S\) with a multiplicative inverse transversal \(S^0\) and amenable orders (i.e. both left and right amenable ones).
0 references
\(L\)-unipotent semigroups
0 references
inverse transversals
0 references
regular semigroups
0 references
inverse subsemigroups
0 references
idempotents
0 references
left amenable orders
0 references
orthodox semigroups
0 references