Absolutely closed nil-2 groups

From MaRDI portal



Abstract: Using the description of dominions in the variety of nilpotent groups of class at most two, we give a characterization of which groups are absolutely closed in this variety. We use the general result to derive an easier characterization for some subclasses; e.g. an abelian group G is absolutely closed in calN2 if and only if G/pG is cyclic for every prime p.


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.











This page was built for publication: Absolutely closed nil-2 groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5950781)