On fully dense acts
Let \(A\) be a right \(S\)-act and \(B\) a subact of \(A\). The \textit{trace} of \(B\) in \(A\) is defined to be \N\[\N\mathrm{Tr}(B,A):= \bigcup_{\varphi\in\mathrm{Hom}(B,A)}\varphi(B). \N\]\NOne says that \(B\) is \textit{dense} in \(A\), if \(\mathrm{Tr}(B,A)=A\). An \(S\)-act is \textit{(cyclically) fully dense} if every (cyclic) subact of \(A\) is dense in \(A\). A monoid \(S\) is said to be (cyclically) fully dense, if the regular right \(S\)-act \(S_S\) is (cyclically) fully dense.\N\NIn the first part of the paper, the authors study properties of (cyclically) fully dense \(S\)-acts focusing on coproducts and then show that (cyclically) fully dense monoids are exactly those monoids over which all the free or projective \(S\)-acts are fully dense.\N\NAn \(S\)-act \(A\) is called \textit{strongly faithful} if \N\[\N\forall s,t\in S,\ \forall a\in A:\ as = at\Rightarrow s = t. \N\]\NGiven \(a\in A\), define \[ \mathrm{ann}(a):=\{(s, t) \in S \times S: as = at\}. \] Then set \(\mathrm{ann}(A):=\bigcap_{a\in A}\mathrm{ann}(a)\). An \(S\)-act \(A\) is said to be \textit{strongly prime}, if \(\mathrm{ann}(a)=\mathrm{ann}(b)\) for all \(a, b \in A\). Furthermore, \(A\) is said to be \textit{prime}, if \(\mathrm{ann}(B) = \mathrm{ann}(A)\) for any subact \(B\) of \(A\).\N\NIn the second part of the paper, some general properties of prime and strongly prime \(S\)-acts, as well as their relationship with (cyclically) fully dense \(S\)-acts, are investigated. In particular, whenever \(S\) is commutative, the classes of prime, strongly prime and cyclically fully dense \(S\)-acts coincide.
This page was built for publication: On fully dense acts
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6984911)
