Geometrical equivalence of groups

From MaRDI portal





Two algebras \(G_1\) and \(G_2\) in some variety of algebras are called geometrically equivalent if for every free algebra \(W=W(X)\) in the given variety with a finite set \(X\) of free generators, \(\text{Cl}_{G_1}(W)=\text{Cl}_{G_2}(W)\). Here \(\text{Cl}_G(W)\) means the set of all \(G\)-closed congruences in \(W\). A congruence \(T\) in \(W\) is said to be \(G\)-closed if \(T=\bigcap_\mu\ker(\mu)\), \(\mu\in A\subset\Hom(W,G)\). It was proved previously by the first author that the algebras \(G_1\) and \(G_2\) are geometrically equivalent if and only if every finitely generated subalgebra of \(G_1\) can be approximated by subalgebras of \(G_2\) and vice versa. It is shown in the paper under review that if the algebras \(G_1\) and \(G_2\) are geometrically equivalent then they generate the same quasivarieties. Moreover, algebras \(G_1\) and \(G_2\) are geometrically equivalent if and only if they generate the same locally closed prevarieties. There are a couple of interesting results about geometrical equivalence of groups, mostly nilpotent.











This page was built for publication: Geometrical equivalence of groups

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