Prefer a chat interface with context about you and your work?
Top-heavy phenomena for transformations
Let S be a transformation semigroup acting on a set Ω. The action of S on Ω can be naturally extended to be an action on all subsets of Ω. We say that S is ℓ-homogeneous provided it can send A to B for any two (not necessarily distinct) ℓ-subsets …