EQUALIZERS AND FLATNESS PROPERTIES OF ACTS (Q4534150)

Let \(S\) be a monoid. The article describes flat, weakly flat, principally weakly flat and torsionfree \(S\)-acts in terms of equalizer diagrams. More precisely, let \(f,g\colon{_SM}\to{_SN}\) be \(S\)-maps and let \(E=\{m\in M\mid f(m)=g(m)\}\) with \(\iota\colon E\to M\) the equalizer map of \(f\) and \(g\). For a right \(S\)-act \(A_S\), let \(\iota'\colon E'\to A\otimes M\) be the equalizer of \(1_A\otimes f\) and \(1_A\otimes g\) in the category of sets and let \(\varphi\colon A\otimes E\to E'\) be the canonical mapping. An act \(A_S\) is said to belong to the class \([M,f,g,N]_i\) if the mapping \(\varphi\) is injective. Denote by \(\bigcap[M,N]_i\) the class of right \(S\)-acts that belong to \([M,f,g,N]_i\) for all possible choices of left acts \(_SM\), \(_SN\) and all possible choices of \(S\)-maps \(f,g\colon M\to N\). It is proved, for example, that \(A_S\) is flat if and only if \(A_S\in\bigcap[M,M]_i\). The approach developed allows the authors to define some interesting new classes of acts. There are numerous examples and problems for future research in the article as well.