A group G is said to be rigid if it contains a normal series G = G1 > G2 > … > Gm > Gm+1 = 1, whose quotients Gi/Gi+1 are Abelian and, when treated as right ℤ[G/Gi]-modules, are torsion-free. A rigid group G is divisible if elements of the quotient Gi/Gi+1 are divisible by nonzero elements of the ring ℤ[G/Gi]. We describe subgroups of a divisible rigid group which are definable in the signature of the theory of groups without parameters and with parameters.
Similar content being viewed by others
References
N. S. Romanovskii, “Divisible rigid groups. Algebraic closedness and elementary theory,” Algebra and Logic, 56, No. 5, 395-408 (2017).
A. G. Myasnikov and N. S. Romanovskii, “Divisible rigid groups. II. Stability, saturation, and elementary submodels,” Algebra and Logic, 57, No. 1, 29-38 (2018).
N. S. Romanovskii, “Divisible rigid groups. III. Homogeneity and quantifier elimination,” Algebra and Logic, 57, No. 6, 478-489 (2018).
N. S. Romanovskii, “Equational Noetherianness of rigid soluble groups,” Algebra and Logic, 48, No. 2, 147-160 (2009).
N. S. Romanovskii, “Irreducible algebraic sets over divisible decomposed rigid groups,” Algebra and Logic, 48, No. 6, 449-464 (2009).
N. S. Romanovskii, “Irreducibility of an affine space in algebraic geometry over a group,” Algebra and Logic, 52, No. 3, 262-265 (2013).
Yu. L. Ershov and E. A. Palyutin, Mathematical Logic [in Russian], 6th edn., Fizmatlit, Moscow (2011).
Author information
Authors and Affiliations
Corresponding author
Additional information
Translated from Algebra i Logika, Vol. 59, No. 3, pp. 344-366, May-June, 2020. Russian https://doi.org/10.33048/alglog.2020.59.305.
N. S. Romanovskii is supported by Russian Science Foundation, project No. 19-11-00039.
Rights and permissions
About this article
Cite this article
Romanovskii, N.S. Divisible Rigid Groups. IV. Definable Subgroups. Algebra Logic 59, 237–252 (2020). https://doi.org/10.1007/s10469-020-09596-7
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10469-020-09596-7