Maximality properties of some subsemigroups of Baer-Levi semigroups (Q1899941): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Removed claims |
||
Property / author | |||
Property / author: Eckehart Hotzel / rank | |||
Property / reviewed by | |||
Property / reviewed by: Kenneth D. jun. Magill / rank | |||
Revision as of 10:14, 11 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Maximality properties of some subsemigroups of Baer-Levi semigroups |
scientific article |
Statements
Maximality properties of some subsemigroups of Baer-Levi semigroups (English)
0 references
6 March 1996
0 references
Let \(T\) be a subset of a semigroup \(H\). The idealizer, \(\text{Id }T\), of the subset \(T\) is defined by \(\text{Id }T = \{h \in S : hT \subseteq T\) and \(Th \subseteq T\}\). The author proves a general result which tells how to find certain maximal subsemigroups of \(H\). He takes a subsemigroup \(T\) and a subset \(P\) of \(H\) which satisfy certain conditions. For each \({\mathcal J}\)-class \(Q\) of \(T\) such that \(Q \cap P \neq \emptyset\), he takes the greatest left ideal of \(H\) which is disjoint from \(Q\) and from these, he chooses an ideal \(L\) which is maximal within the collection and further satisfies \(T \subseteq \text{Id }L\). He then shows that \(\text{Id }L\) is a maximal subsemigroup of \(H\) and \(L\) is the greatest left ideal of \(H\) which is contained in \(\text{Id }L\). This result is applied repeatedly throughout the paper to find maximal subsemigroups of the Baer-Levi semigroups \(BL_X (q)\). These are semigroups of injective transformations on an infinite set. Specifically, let \(X\) be an infinite set and denote by \(M_X\) the semigroup of all injective transformations on \(X\). Choose a cardinal number \(q\) such that \(\aleph_0 \leq q \leq |X|\). The Baer-Levi semigroup \(BL_X (q)\) is defined by \(BL_X(q) = \{\varphi \in M_X : |X \setminus X\varphi|= q\}\). Among other things, it is shown that \(BL_X(q)\) has \(2^{2^{|X|}}\) maximal right simple subsemigroups.
0 references
idealizer
0 references
maximal subsemigroups
0 references
left ideal
0 references
Baer-Levi semigroups
0 references
semigroups of injective transformations
0 references
maximal right simple subsemigroups
0 references