4
$\begingroup$

Suppose $S$ is a semigroup (or a monoid, or a category), and $X$ is an $S$-set -- that is, a set with an action of $S$. Say that a sub-$S$-set $Y$ is "downward closed" (or maybe "well-generated") if for any $x \in X$ such that $sx \in Y$ for some $s \in S$, we have $x \in Y$.

Has this notion been defined before? I'm really mostly wondering because I'd like to give this a good name.

Notice that if $S$ is a group, this just collapses to any sub-$S$-set since we have inverses. On the other hand, the analogous notion for a module would be the following: a submodule $N$ of $M$ is downward closed if whenever $rm \in N$, $m \in N$. This is related to the notion of a dense submodule, but distinct.

$\endgroup$
5
  • 4
    $\begingroup$ Saturated maybe? $\endgroup$ Oct 8, 2015 at 4:25
  • $\begingroup$ @GabrielC.Drummond-Cole Great! That looks like the right term at least for modules. It also looks like it's at least used for the action of $\mathbb{N}$ on a semigroup. I can't find any references for its use in the general context of semigroup actions, but absent other names I think I'll go with that. $\endgroup$ Oct 8, 2015 at 4:54
  • $\begingroup$ If I understand what you mean, the analogous notion for modules is degenerate because $0\cdot m$ is in $N$ for every $m\in M$. $\endgroup$ Oct 8, 2015 at 17:13
  • 1
    $\begingroup$ The mention of saturated reminds me of the question blip that was MO 126742... $\endgroup$ Oct 8, 2015 at 23:58
  • $\begingroup$ @JulianRosen Sorry, I was too brief in my answer: the right analogue for a module should be only for $r$ a regular element, i.e. not a zero-divisor. So an equivalent definition would be that $M/N$ is torsion-free. This is apparently what people call a saturated submodule. $\endgroup$ Oct 9, 2015 at 19:14

1 Answer 1

1
$\begingroup$

People have thought about it. I don't know if it has a name. If S is a semigroup acting on a set X, then consider the least equivalence relation on X such that x is equivalent to sx for all x in X and s in S. In my paper http://www.combinatorics.org/ojs/index.php/eljc/article/download/v17i1r164/pdf I call the equivalence classes for this relations the weak orbits of S on X. Clearly your closed sets are precisely those which are unions of weak orbits.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.