On maximal subsemigroups of partial Baer-Levi semigroups.

From MaRDI portal
(Redirected from Publication:539372)





Throughout we assume that \(X\) is an infinite base set with cardinal \(p\) greater than or equal to \(q\), which is itself infinite. The authors identify maximal subsemigroups of the partial Baer-Levi semigroup \(PS(q)\) of all injective partial mappings, the complement of whose range have cardinal \(q\). When \(p\) exceeds \(q\), the maximal subsemigroups are identified as belonging to two distinct types, the first of which is all members of \(PS(q)\) the complement of the domain of which have cardinal (the gap) less than \(p\), while the second is a certain disjoint union of an ideal and a subsemigroup defined in terms of gaps and successor cardinals of gaps of mappings. (This reduces the question to finding maximal subsemigroups of another particular type of subsemigroup.) For the \(p=q\) case, the maximal subsemigroup of the full Baer-Levi semigroup identified by Levi and Wood is extended to find three types of maximal subsemigroups for \(PS(q)\).











This page was built for publication: On maximal subsemigroups of partial Baer-Levi semigroups.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q539372)