Dominions in Abelian subgroups of metabelian groups. (Q1936271): Difference between revisions

Let \(\mathcal M\) be a quasivariety of groups. If \(A\in\mathcal M\) and \(H\leq A\) then the dominion of \(H\) is \(\text{dom}_A^{\mathcal M}(H)=\{a\in A\mid\text{for all }M\in\mathcal M,\text{ for all }f,g\colon A\to M,\text{ if }f|_H=g|_H\text{ then }a^f=a^g\}\). A group is said to be absolutely closed in \(\mathcal M\) if \(H\leq A\) implies \(\text{dom}_A^{\mathcal M}(H)=H\) for all groups \(A\) in \(\mathcal M\). In this paper the author proves that a suitable free Abelian group of finite rank is not absolutely closed in the class of metabelian groups.