Definitions

Two groups, and more generally two structures, M,N
are elementarily equivalent if they satisfy the same first-order
sentences, or equivalently, if they have isomorphic ultrapowers. We say
that M is an elementary submodel of N, or that N is an elementary
extension of M, if M is a substructure of N and if M and N satisfy the
same first-order sentences with parameters in M. For each integer n,
the sentences with n alternations of quantifiers are the sentences
(Q(1)v(1))...(Q(r)v(r))φ with φ a quantifier-free formula,
Q(1),...,Q(r) quantifiers and v(1),...,v(r) variables, for which
there exist n integers i such that Q(i)≠Q(i+1).

A group G is torsion-free if, for each xЄG and each integer n≥1, x^n=1 implies x=1.

For each group G, consider the subgroups Z(k,G) with Z(0,G)={1} and Z(k+1,G)/Z(k,G) center of G/Z(k,G) for k≥1. Then G is nilpotent of class c≥1 if we have Z(c,G)=G and Z(c-1,G)≠G.

A group G is polycyclic if there exists a sequence of subgroups {1}=G(0)≤G(1)≤ ...≤G(n)=G with G(i) normal in G(i+1) and G(i+1)/G(i) cyclic for 0≤i≤n-1. Any finitely generated nilpotent group is polycyclic.

For any properties P,Q, a group G is P-by-Q if there exists a normal subgroup H of G which satisfies P and such that G/H satisfies Q. Any finitely generated finite-by-abelian group is abelian-by-finite, and any finitely generated finite-by-nilpotent group is nilpotent-by-finite.

A group G is torsion-free if, for each xЄG and each integer n≥1, x^n=1 implies x=1.

For each group G, consider the subgroups Z(k,G) with Z(0,G)={1} and Z(k+1,G)/Z(k,G) center of G/Z(k,G) for k≥1. Then G is nilpotent of class c≥1 if we have Z(c,G)=G and Z(c-1,G)≠G.

A group G is polycyclic if there exists a sequence of subgroups {1}=G(0)≤G(1)≤ ...≤G(n)=G with G(i) normal in G(i+1) and G(i+1)/G(i) cyclic for 0≤i≤n-1. Any finitely generated nilpotent group is polycyclic.

For any properties P,Q, a group G is P-by-Q if there exists a normal subgroup H of G which satisfies P and such that G/H satisfies Q. Any finitely generated finite-by-abelian group is abelian-by-finite, and any finitely generated finite-by-nilpotent group is nilpotent-by-finite.