Definable groups in DCFA

DOI10.15517/RMTA.V26I2.33639MaRDI QIDQ5132911zbMATH OpenOpenAlexFDO

Authors Ronald F. Bustamante Medina

Publication date 12 November 2020

Published in Revista de Matemática: Teoría y Aplicaciones (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International

Full work available at URL https://arxiv.org/abs/1904.11586

zbMATH Keywords

abelian groupsdefinable goupsdifference-differential fieldsmodel theory of fieldssupersimple theories

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Model-theoretic algebra (03C60) Model theory (number-theoretic aspects) (11U09) Differential algebra (12H05) Difference algebra (12H10)

Abstract: E. Hrushovski proved that the theory of difference-differential fields of characteristic zero has a model-companion. We denote it DCFA. In this paper we study definable groups in a model of DCFA. First we prove that such a group is embeds on an algebraic group. Then we study 1-basedeness, stability and stable embeddability of abelian definable groups.

Recommendations

• A note on groups definable in difference fields
• Definable groups of partial automorphisms
• Automorphism groups of differentially closed fields
• scientific article; zbMATH DE number 1064589
• Differentially algebraic group chunks

Cited in

(8)

• A note on groups definable in difference fields
• Interpretable groups are definable
• On subgroups of semi-abelian varieties defined by difference equations
• Differentially algebraic group chunks
• scientific article; zbMATH DE number 1064589 (Why is no real title available?)
• Rank and dimension in difference-differential fields
• Contracting endomorphisms of valued fields (with an appendix by Itay Kaplan)
• Simplicity of the automorphism group of fields with operators

This page was built for publication: Definable groups in DCFA

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