On \(\rho\)-irreducible \(S\)-subsets of an \(S\)-set (Q687643)

Let \(S\) be a semigroup with zero. Each (right) \(S\)-set \(M_ S\) is assumed to be centered, by a zero \(\Theta\). The collection of all \(S\)- subsets of \(M\) is denoted by \(\Gamma(M)\). Let \(\rho\) be a map of \(\Gamma(M)\) to \(\Gamma(M)\). An \(S\)-subset \(N\) of \(M\) is said to be \(\rho\)-closed if \(\rho(N) = N\). The collection of all \(\rho\)-closed \(S\)- subsets of \(M\) is denoted by \(\Gamma_ \rho(M)\). \(M\) is \(\rho\)- noetherian if \(\Gamma_ \rho(M)\) satisfies the ascending chain condition. \(N \in \Gamma_ \rho(M)\) is \(\rho\)-irreducible if \(N\neq M\) and for any \(K_ 1,K_ 2 \in \Gamma_ \rho(M)\), \(K_ 1 \cap K_ 2 \subseteq N\) implies either \(K_ 1 \subseteq N\) or \(K_ 2 \subseteq N\). A map \(\rho: \Gamma(M) \to \Gamma(M)\) is said to be (a) additive if \(\rho(N_ 1 \cup N_ 2) = \rho(N_ 1) \cup \rho(N_ 2)\) for all \(N_ 1,N_ 2 \in \Gamma(M)\); (b) multiplicative if \(\rho(N_ 1 \cap N_ 2) = \rho(N_ 1) \cap \rho(N_ 2)\) for all \(N_ 1,N_ 2 \in \Gamma(M)\); (c) a swelling map on \(\Gamma(M)\) if 1) for any \(N \in \Gamma(M)\), \(N\subseteq \rho(N)\) and \(\rho(N) = \rho\rho(N)\) and 2) for any chain \(\Lambda \subseteq \Gamma_ \rho(M)\), \(\bigcup\{N\mid N \in \Lambda\}\) is \(\rho\)-closed. It is proved that if \(M\) is a noetherian \(S\)-set such that \(\rho(\Theta) \neq M\), where \(\rho\) is an additive or multiplicative swelling map on \(\Gamma(M)\), then there exist only finitely many minimal \(\rho\)-irreducible \(S\)-subsets of \(M\), and their intersection equals \(\rho(\Theta)\). The Jacobson \(\rho\)-radical \(\text{Rad}(M)\) of \(M\) is defined as the intersection of all maximal \(\rho\)-closed \(S\)-subsets of \(M\). Further, some properties of \(\text{Rad}(M)\) are found and some examples of swelling maps are presented.