Transformation semigroup diagram and the \({\mathcal J}\)-relation (Q1318957): Difference between revisions
From MaRDI portal
Removed claim: reviewed by (P1447): Item:Q233325 |
ReferenceBot (talk | contribs) Changed an Item |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / reviewed by | |||
Property / reviewed by: Kenneth D. jun. Magill / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3848243 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The semigroup of one-to-one transformations with finite defects / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3361047 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Normal semigroups of partial one-to-one transformations. II / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Injective endomorphisms of \({\mathcal G}_ X\)-normal semigroups: Infinite defects / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4285255 / rank | |||
Normal rank |
Latest revision as of 14:26, 22 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Transformation semigroup diagram and the \({\mathcal J}\)-relation |
scientific article |
Statements
Transformation semigroup diagram and the \({\mathcal J}\)-relation (English)
0 references
11 October 1994
0 references
A semigroup \(S\) of one-to-one partial transformations on a nonempty set \(X\) is said to be \({\mathcal G}_ X\)-normal if \(h^{-1}Sh \subseteq S\) for each bijection \(h\) on \(X\). The domain and range of a transformation \(f \in S\) are denoted by \(D(f)\) and \(R(f)\) respectively. Let \(\nabla f = | X\setminus D(f)|\) and \(\Delta f = | X \setminus R(f)|\). The semigroups under investigation here are those \({\mathcal G}_ X\)-normal semigroups where \(\nabla f\) and \(\Delta f\) are both infinite and \(| R(f)| = | X|\) for all \(f \in S\). The diagram referred to in the title is the set \(G(S) = \{(\nabla f,\Delta f): f \in S\}\). An equivalence relation \({\mathcal J}_ G\) on \(G(S)\) is defined by \((\alpha_ 1,\beta_ 1){\mathcal J}_ G(\alpha_ 2,\beta_ 2)\) if for all \(f,g \in S\) with \(\nabla f = \alpha_ 1\), \(\Delta f = \beta_ 1\), \(\nabla g = \alpha_ 2\) and \(\Delta g = \beta_ 2\), one has \(f{\mathcal J} g\) where, as usual, \(f {\mathcal J}g\) means that \(f\) and \(g\) generate the same principal ideal. The problem of describing the \(\mathcal J\)-relation on \(S\) is reduced to that of describing the \({\mathcal J}_ G\)-relation on \(G(S)\) and the author does this.
0 references
Green's relations
0 references
semigroup of one-to-one partial transformations
0 references
\({\mathcal G}_ X\)-normal semigroups
0 references
equivalence relation
0 references