Some \(\alpha\)-semigroups inducing certain lattices (Q1393038): Difference between revisions
From MaRDI portal
Created a new Item |
Set profile property. |
||
(3 intermediate revisions by 2 users not shown) | |||
Property / reviewed by | |||
Property / reviewed by: Kenneth D. jun. Magill / rank | |||
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 | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 04:11, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Some \(\alpha\)-semigroups inducing certain lattices |
scientific article |
Statements
Some \(\alpha\)-semigroups inducing certain lattices (English)
0 references
25 May 1999
0 references
Let \({\mathcal T}_X\) denote the full transformation semigroup on a finite set \(X\) with more than two elements. An \(\alpha\)-semigroup is any subsemigroup of \({\mathcal T}_X\) which contains the identity map, \(id\), and all constant maps. An equivalence relation \(E\) on \(X\) is a \(T\)-equivalence relation if \((f(x),f(y))\in E\) for all \(x,y\in E\) and \(f\in T(X)\) where \(T(X)\) is an \(\alpha\)-semigroup. The collection of all \(T\)-equivalence relations forms a complete lattice which is denoted by \(T_{\text{eq}}(X)\). Denote the range of a selfmap \(f\) of \({\mathcal T}_X\) by \(\text{ran }f\). Let \(T_E'(X)\) be the \(\alpha\)-semigroup which contains all those functions \(f\) where \(\text{ran }f=\{a,b\}\) with \(a,b\in E\) and let \(T''_E(X)=\{f\in T_E(X):|\text{ran }f|\leq 2\}\cup\{id\}\). The author produces \(\alpha\)-semigroups \(T(X)\subseteq T_E'(X)\) of least possible cardinality such that \(T_{\text{eq}}(X)=\{\delta\}\cup[E,\omega]\) where \(\delta\) is the identity relation on \(X\) and \(\omega\) is the universal relation. He also produces an \(\alpha\)-semigroup \(T(X)\subseteq T''_E(X)\) of least possible cardinality such that \(T_{\text{eq}}(X)=[\delta, E]\cup\{\omega\}\). Finally, he constructs an \(\alpha\)-semigroup \(T(X)\) which is a proper subsemigroup of \(T''_E(X)\) such that \(T_{\text{eq}}(x)=\{\delta,E,\omega\}\). This answers in the negative a question asked by the author in a previous paper.
0 references
finite transformation semigroups
0 references
\(T\)-equivalence relations
0 references
\(\alpha\)-semigroups
0 references