Absolutely closed nil-2 groups (Q5950781): Difference between revisions

Let \(\mathcal C\) be a variety of algebras of a fixed type, \(A\in{\mathcal C}\) and \(B\) be a subalgebra of \(A\). Then the dominion \(\text{dom}^{\mathcal C}_A(B)\) of \(B\) in \(A\) is the intersection of all equalizers containing \(B\), explicitly \(\text{dom}^{\mathcal C}_A(B)=\{a\in A; \forall f,g\colon A\to C\), if \(f|B=g|B\) then \(f(a)=g(a)\}\). An algebra \(B\in{\mathcal C}\) is called absolutely closed in \(\mathcal C\) if and only if \(\text{dom}^{\mathcal C}_A(B)=B\) for every \(A\in{\mathcal C}\) with \(B\subseteq A\). The author characterizes absolutely closed groups in the variety of nilpotent groups of class at most two and uses the general result to derive an easier characterization for some subclasses.