Generic Types and Generic Elements in Divisible Rigid Groups

A. G. Myasnikov,N. S. Romanovskii
DOI: https://doi.org/10.1007/s10469-023-09726-x
2024-01-04
Algebra and Logic
Abstract:A group G is said to be m-rigid if it contains a normal series of the form G = G 1 > G 2 > . . . > G m > G m+ 1 = 1, whose quotients G i / G i+ 1 are Abelian and, treated as (right) Z[ G / G i ]-modules, are torsion-free. A rigid group G is said to be divisible if elements of the quotient ρ i ( G )/ ρ i+ 1 ( G ) are divisible by nonzero elements of the ring Z[ G / ρ i ( G )]. Previously, it was proved that the theory of divisible m-rigid groups is complete and ω-stable. In the present paper, we give an algebraic description of elements and types that are generic over a divisible m-rigid group G .
mathematics,logic
What problem does this paper attempt to address?