z-logo
open-access-imgOpen Access
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 $$Γ.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.
Having issues? You can contact us here
Accelerating Research

Address

John Eccles House
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom