On genus and embeddings of torsion-free nilpotent groups of class two (Q1360905)

Embeddings between torsion-free nilpotent groups having isomorphic localizations are investigated. It is proved that for finitely generated torsion-free nilpotent groups of nilpotency class two, the property of having isomorphic \(P\)-localizations (where \(P\) denotes any set of primes) is equivalent to the existence of mutual embeddings of finite index not divisible by any prime in \(P\). It is shown that for a certain family \(\Gamma\) of nilpotent groups (whose Mislin genera can be identified with quotient sets of ideal class groups in quadratic fields) the multiplication of equivalence classes of groups in \(\Gamma\) induced by ideal class group structure can be described by means of certain pull-back diagrams reflecting the existence of enough embeddings between members of each Mislin genus. It is established that two groups in \(\Gamma\) with isomorphic localizations at every prime have isomorphic localizations at every finite set of primes. Some counterexamples showing that this is not true in general, neither for finitely generated torsion-free nilpotent groups of class 2 nor for torsion-free abelian groups of finite rank are supplied.