Interpretable groups in Mann pairs
Author(s) -
Haydar Göral
Publication year - 2017
Publication title -
archive for mathematical logic
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.618
H-Index - 32
eISSN - 1432-0665
pISSN - 0933-5846
DOI - 10.1007/s00153-017-0565-4
Subject(s) - algebraically closed field , mathematics , abelian group , group (periodic table) , multiplicative function , isogeny , multiplicative group , omega , algebraic group , quotient , combinatorics , algebraic number , semidirect product , algebraic extension , additive group , pure mathematics , discrete mathematics , mathematical analysis , differential algebraic equation , ordinary differential equation , chemistry , physics , organic chemistry , quantum mechanics , differential equation
In this paper, we study an algebraically closed field $$\Omega $$Ω expanded by two unary predicates denoting an algebraically closed proper subfield k and a multiplicative subgroup $$\Gamma $$Γ. This will be a proper expansion of algebraically closed field with a group satisfying the Mann property, and also pairs of algebraically closed fields. We first characterize the independence in the triple $$(\Omega , k, \Gamma )$$(Ω,k,Γ). This enables us to characterize the interpretable groups when $$\Gamma $$Γ is divisible. Every interpretable group H in $$(\Omega ,k, \Gamma )$$(Ω,k,Γ) is, up to isogeny, an extension of a direct sum of k-rational points of an algebraic group defined over k and an interpretable abelian group in $$\Gamma $$Γ by an interpretable group N, which is the quotient of an algebraic group by a subgroup $$N_1$$N1, which in turn is isogenous to a cartesian product of k-rational points of an algebraic group defined over k and an interpretable abelian group in $$\Gamma $$Γ.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom