English
Related papers

Related papers: Groups interpretable in theories of fields

200 papers

We study groups definable in existentially closed geometric fields with commuting derivations. Our main result is that such a group can be definably embedded in a group interpretable in the underlying geometric field. Compared to earlier…

Logic · Mathematics 2026-04-13 Anand Pillay , Françoise Point , Silvain Rideau-Kikuchi

In this note we show that groups with definable generics in a separably closed valued of finite imperfection degree can be embedded into groups definable in their algebraic closure.

Logic · Mathematics 2017-11-07 Silvain Rideau

We study finite-dimensional groups definable in models of the theory of real closed fields with a generic derivation (also known as CODF). We prove that any such group definably embeds in a semialgebraic group. We extend the results to…

Logic · Mathematics 2023-02-28 Ya'acov Peterzil , Anand Pillay , Francoise Point

This paper aims at developing model-theoretic tools to study interpretable fields and definably amenable groups, mainly in $\mathrm{NIP}$ or $\mathrm{NTP_2}$ settings. An abstract theorem constructing definable group homomorphisms from…

Logic · Mathematics 2025-01-07 Paul Z. Wang

We study infinite groups interpretable in three families of valued fields: $V$-minimal, power bounded $T$-convex, and $p$-adically closed fields. We show that every such group $G$ has unbounded exponent and that if $G$ is dp-minimal then it…

Logic · Mathematics 2024-04-09 Yatir Halevi , Assaf Hasson , Ya'acov Peterzil

We define general notions of coordinate geometries over fields and ordered fields, and consider coordinate geometries that are given by finitely many relations that are definable over those fields. We show that the automorphism group of…

Logic · Mathematics 2025-07-15 Judit Madarász , Mike Stannett , Gergely Székely

This paper is the ninth in a sequence on the structure of sets of solutions to systems of equations in free and hyperbolic groups, projections of such sets (Diophantine sets), and the structure of definable sets over free and hyperbolic…

Group Theory · Mathematics 2024-11-12 Zlil Sela

We present a diagram surveying equivalence or strict implication for properties of different nature (algebraic, model theoretic, topological, etc.) about groups definable in o-minimal structures. All results are well-known and an extensive…

Logic · Mathematics 2020-10-29 Annalisa Conversano

We consider interpretable topological spaces and topological groups in a $p$-adically closed field $K$. We identify a special class of "admissible topologies" with topological tameness properties like generic continuity, similar to the…

Logic · Mathematics 2022-08-23 Will Johnson

We analyze definably compact groups in o-minimal expansions of ordered groups as a combination of semi-linear groups and groups definable in o-minimal expansions of real closed fields. The analysis involves structure theorems about their…

Logic · Mathematics 2012-02-28 Pantelis Eleftheriou , Ya'acov Peterzil

Adapting a proof of Bouscaren and Delon, we show that every type-definable connected group in a given stable theory of fields embeds into an algebraic group, under a condition on the definable closure. We also present general hypotheses…

Logic · Mathematics 2025-10-29 Charlotte Bartnick

We obtain several results concerning the concept of isotypic structures. Namely we prove that any field of finite transcendence degree over a prime subfield is defined by types; then we construct isotypic but not isomorphic structures with…

Logic · Mathematics 2025-06-18 Pavel Gvozdevsky

We introduce and study a natural class of fields in which certain first-order definable sets are existentially definable, and characterise this class by a number of equivalent conditions. We show that global fields belong to this class, and…

Logic · Mathematics 2023-06-22 Philip Dittmann , Dion Leijnse

We shall define a general notion of dimension, and study groups and rings whose interpretable sets carry such a dimensio. In particular, we deduce chain conditions for groups, definability results for fields and domains, and show that…

Logic · Mathematics 2019-09-04 Frank Olaf Wagner

Rational conformal field theories produce a tower of finite-dimensional representations of surface mapping class groups, acting on the conformal blocks of the theory. We review this formalism. We show that many recent mathematical…

Quantum Algebra · Mathematics 2007-10-09 T. Gannon

This is a survey, intended both for group theorists and model theorists, concerning the structure of pseudofinite groups, that is, infinite models of the first order theory of finite groups. The focus is on concepts from stability theory…

Logic · Mathematics 2016-07-25 Dugald Macpherson

We prove that no infinite field is interpretable in the first-order theory of nonabelian free groups. We also obtain a characterization of Abelian groups interpretable in this theory.

Logic · Mathematics 2024-11-01 Rizos Sklinos

Plan of this report is given below: 1. Motivation from Physical and Mathematical Point of View; 2. Differential Calculi on Finite Groups; 3. Metrics; 4. Lagrangian Field Theory and Symplectic Structure; 5. Scalar Field Theory and Spectral…

High Energy Physics - Theory · Physics 2007-05-23 Jian Dai , Xing-Chang Song

We continue our earlier study of finite dimensional definable groups in models of the the model companion of an o-minimal L-theory T expanded by a generic derivation as in [F-K]. We generalize Buium's notion of an algebraic D-group to…

Logic · Mathematics 2023-05-29 Ya'acov Peterzil , Anand Pillay , Francoise Point

We study algebraic and model-theoretic properties of existentially closed fields with an action of a fixed finite group. Such fields turn out to be pseudo-algebraically closed in a rather strong sense. We place this work in a more general…

Logic · Mathematics 2019-05-24 Daniel Max Hoffmann , Piotr Kowalski
‹ Prev 1 2 3 10 Next ›