MODNET
Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 1133

Preprint Number 1133

Previous Next Preprint server


1133. Albert Garreta, Alexei Miasnikov, Denis Ovchinnikov
Random nilpotent groups, polycyclic presentations, and Diophantine problems
E-mail:

Submission date: 8 December 2016

Abstract:

We introduce a model of random f.g., torsion-free, 2-step nilpotent groups (in short, τ_2-groups). To do so, we show that these are precisely the groups that admit a presentation of the form ⟨ A, C | [a_i, a_j]= ∏_t c_t^{λ_{t,i,j}}}, (i< j), [A,C]=[C,C]=1 ⟩, where A= {a_1, ... , a_n }, and C={ c_1, \dots, c_m }. Hence, one may select a random τ_2-group G by fixing A and C, and then randomly choosing exponents λ_{t,i,j} with |λ_{t,i,j}| ≤ l, for some l.
We prove that, if m ≥ n-1 ≥ 1, then the following holds asymptotically almost surely, as l → ∞:
The ring of integers Z is e-definable in G, systems of equations over Z are reducible to systems over G (and hence they are undecidable), the maximal ring of scalars of G is Z, G is indecomposable as a direct product of non-abelian factors, and Z(G)=⟨ C ⟩. If, additionally, m ≤ n(n-1)/2, then G is regular (i.e. Z(G) ≤ Is(G')). This is not the case if m > n(n-1)/2.
In the last section of the paper we introduce similar models of random polycyclic groups and random f.g. nilpotent groups of any nilpotency step, possibly with torsion. We quickly see, however, that the latter yields finite groups a.a.s.

Mathematics Subject Classification:

Keywords and phrases:

Full text arXiv 1612.02651: pdf, ps.


Last updated: December 12 2016 12:56 Please send your corrections to: