Subgroups of categorically closed semigroups
Abstract
Let be a class of topological semigroups. A semigroup is called (1) - if is closed in every topological semigroup containing as a discrete subsemigroup, (2) - if for any ideal in the quotient semigroup is -closed; (3) - if for any homomorphism to a topological semigroup , the image is closed in , (4) - (resp. -) if for any injective homomorphism to a topological semigroup , the image is closed (resp. discrete) in . Let be the class of Tychonoff zero-dimensional topological semigroups. For a semigroup let be the set of all viable idempotents of , i.e., idempotents such that the complement of the set is an ideal in . We prove the following results: (i) for any ideally -closed semigroup each subgroup of the center is bounded; (ii) for any -closed semigroup , each subgroup of the ideal center is bounded; (iii) for any -discrete or injectively -closed semigroup , every subgroup of is finite, (iv) for any viable idempotent in an ideally (and absolutely) -closed semigroup , the maximal subgroup is ideally (and absolutely) -closed and has bounded (and finite) center .
Cite
@article{arxiv.2209.08013,
title = {Subgroups of categorically closed semigroups},
author = {Taras Banakh and Serhii Bardyla},
journal= {arXiv preprint arXiv:2209.08013},
year = {2023}
}
Comments
15 pages. arXiv admin note: substantial text overlap with arXiv:2207.12778, arXiv:2101.06520; text overlap with arXiv:2208.00074, arXiv:2208.13050