A note on groups definable in difference fields

DOI10.1090/S0002-9939-01-06004-XMaRDI QIDQ2750906zbMATH OpenFDO

Authors Piotr Kowalski, Anand Pillay

Publication date 21 October 2001

Published in Proceedings of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1090/S0002-9939-01-06004-X

zbMATH Keywords

\(\star\)-definable groupdefinable groupdifference fielddifferential field

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Differential and difference algebra (12H99) Model theory of fields (12L12) Applications of logic to group theory (20A15)

Review text

The paper deals with groups definable in existentially closed difference fields (i.e. models of ACFA) and differentially closed fields. In particular it is shown that any group \(G\) definable in a model \(K\) of ACFA is virtually definably embeddable in an algebraic group, in the following sense: there are a group \(H\) definable in \(K\) as a pure field (hence an algebraic group), a definable subgroup \(G'\) of \(G\) of finite index and a definable finite normal subgroup \(N'\) of \(G'\) such that \(G'/N'\) is definably embeddable into \(H\). This answers positively a question of Zoe Chatzidakis. The proof uses a generalization of the group configuration theorem to the \(\star\)-definable setting. NEWLINENEWLINENEWLINEA new improved proof of the analogous result for groups definable in differentially closed fields \(K\) is also provided. In detail, it is shown that any connected group definable in \(K\) has a definable (in \(K\)) embedding in some suitable connected group definable in the pure field \(K\). The second author gave another proof some years ago. Here the approach avoids any reference to \(\star\)-definability. NEWLINENEWLINENEWLINEFinally the paper extends to the difference field framework some results on the unipotence of definable groups on affine spaces.

Recommendations

• Definable groups in DCFA
• On subgroups of semi-abelian varieties defined by difference equations
• Groups definable in separably closed fields
• scientific article; zbMATH DE number 1789948
• Definable groups of partial automorphisms

Cites work

• Definability and definable groups in simple theories
• Groups definable in local fields and pseudo-finite fields
• scientific article; zbMATH DE number 1002918 (Why is no real title available?)
• Hyperimaginaries and automorphism groups
• Lazard's theorem for differential algebraic groups and proalgebraic groups.
• Model theory of difference fields
• MODEL THEORY OF DIFFERENCE FIELDS, II: PERIODIC IDEALS AND THE TRICHOTOMY IN ALL CHARACTERISTICS
• Pro-algebraic and differential algebraic group structures on affine spaces
• Some foundational questions concerning differential algebraic groups
• Unidimensional theories are superstable

Cited in

(16)

• Definable groups of partial automorphisms
• Interpretable groups in Mann pairs
• Model theory of endomorphisms of separably closed fields
• Almost-simple affine difference algebraic groups
• A simple criterion
• Tame expansions of \({\omega}\)-stable theories and definable groups
• Difference Galois theory of linear differential equations
• On subgroups of semi-abelian varieties defined by difference equations
• Difference algebra
• Differentially algebraic group chunks
• scientific article; zbMATH DE number 1789948 (Why is no real title available?)
• Graphons arising from graphs definable over finite fields
• Definable groups in DCFA
• On definable Galois groups and the strong canonical base property
• A remark on divisibility of definable groups
• Dimension polynomials for affine partial difference algebraic groups

This page was built for publication: A note on groups definable in difference fields

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2750906)