Divisible Rigid Groups. II. Stability, Saturation, and Elementary Submodels

Standard

Divisible Rigid Groups. II. Stability, Saturation, and Elementary Submodels. / Myasnikov, A. G.; Romanovskii, N. S.

In: Algebra and Logic, Vol. 57, No. 1, 01.05.2018, p. 29-38.

Research output: Contribution to journal › Article › peer-review

BibTeX

@article{c260418af3b947dcb5847ad7e43914f4,

title = "Divisible Rigid Groups. II. Stability, Saturation, and Elementary Submodels",

abstract = "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, 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]. Every rigid group is embedded in a divisible one. Previously, it was stated that the theory Im of divisible m-rigid groups is complete. Here, it is proved that this theory is ω-stable. Furthermore, we describe saturated models, study elementary submodels of an arbitrary model, and find a representation for a countable saturated model in the form of a limit group in the Fra{\"i}ss{\'e} system of all finitely generated m-rigid groups. Also, it is proved that the theory Im admits quantifier elimination down to a Boolean combination of ∀∃-formulas.",

keywords = "divisible rigid group, model, saturation, stability, theory, ∀∃-formula, for all there exists-formula",

author = "Myasnikov, {A. G.} and Romanovskii, {N. S.}",

year = "2018",

month = may,

day = "1",

doi = "10.1007/s10469-018-9476-7",

language = "English",

volume = "57",

pages = "29--38",

journal = "Algebra and Logic",

issn = "0002-5232",

publisher = "Springer US",

number = "1",

}

RIS

TY - JOUR

T1 - Divisible Rigid Groups. II. Stability, Saturation, and Elementary Submodels

AU - Myasnikov, A. G.

AU - Romanovskii, N. S.

PY - 2018/5/1

Y1 - 2018/5/1

N2 - 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, 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]. Every rigid group is embedded in a divisible one. Previously, it was stated that the theory Im of divisible m-rigid groups is complete. Here, it is proved that this theory is ω-stable. Furthermore, we describe saturated models, study elementary submodels of an arbitrary model, and find a representation for a countable saturated model in the form of a limit group in the Fraïssé system of all finitely generated m-rigid groups. Also, it is proved that the theory Im admits quantifier elimination down to a Boolean combination of ∀∃-formulas.

AB - 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, 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]. Every rigid group is embedded in a divisible one. Previously, it was stated that the theory Im of divisible m-rigid groups is complete. Here, it is proved that this theory is ω-stable. Furthermore, we describe saturated models, study elementary submodels of an arbitrary model, and find a representation for a countable saturated model in the form of a limit group in the Fraïssé system of all finitely generated m-rigid groups. Also, it is proved that the theory Im admits quantifier elimination down to a Boolean combination of ∀∃-formulas.

KW - divisible rigid group

KW - model

KW - saturation

KW - stability

KW - theory

KW - ∀∃-formula

KW - for all there exists-formula

UR - http://www.scopus.com/inward/record.url?scp=85047136866&partnerID=8YFLogxK

U2 - 10.1007/s10469-018-9476-7

DO - 10.1007/s10469-018-9476-7

M3 - Article

AN - SCOPUS:85047136866

VL - 57

SP - 29

EP - 38

JO - Algebra and Logic

JF - Algebra and Logic

SN - 0002-5232

IS - 1

ER -

ID: 13488294