Axiomatizability of the class of subdirectly irreducible acts over an abelian group (Q828120)

The main result describes abelian groups over which the class of all subdirectly irreducible acts is axiomatizable as follows: The class \(SIr(G)\) of all subdirectly irreducible acts over an abelian group \(G\) is axiomatizable if and only if there exist \(k\in\omega\) and a finite set \(T\subseteq G\) such that any subdirectly irreducible group \(G/H\), where \(H\) is a subgroup of \(G\), is a cyclic group of order \(p^m \le k\) (here \(m\in\omega\), \(p\) is a prime) generated by an element \(gH\in \{tH \mid t \in T \}\). Moreover, some properties of subdirectly irreducible acts over abelian groups are studied. It is proved that all connected acts over an abelian group are subdirectly irreducible iff the group is totally ordered. Note that a group \(G\) is said to be linearly (totally) ordered if the set \(\{H \mid H \le G\}\) is linearly (totally) ordered under \(\subseteq\).