An expansion of F̃p

1989 ◽  
Vol 54 (2) ◽  
pp. 512-521
Author(s):  
Zoé Chatzidakis
Keyword(s):  
Galois Group ◽  
Cross Section ◽  
Algebraic Closure ◽  
Quantifier Elimination ◽  
Constant Term ◽  
Solutions To Equations ◽  
Galois Extensions ◽  
Valued Fields ◽  
Additive Endomorphism ◽  
Natural Way

Let K be a field of characteristic p. The map τ(X) = Xp − X is an additive endomorphism of K, with kernel Fp. The Galois extensions of K of order p are obtained by adjoining to K solutions to equations of the form Xp − X = a for some a in K. These extensions are called the Artin-Schreier extensions of K and have a cyclic Galois group.The study of Artin-Schreier extensions is very important for studying fields of characteristic p, in particular for studying valued fields of the form K((t)). An attempt at getting quantifier elimination for those fields would necessitate the adjunction to the language of fields of a cross-section for the function τ, i.e. a function σ such that τ ∘ σ is the identity on the image of τ. When K = Fp, such a cross-section is in fact definable in K((t)): it associates to τ(x) the element of {x, x + 1, …, x + p – 1} whose constant term is 0 (see [2]). When K is infinite, such a cross-section is usually not definable.The results presented in this paper originate from a question of L. van den Dries: is there a natural way of defining a cross-section σ for τ on F̃p, and is the theory of (F̃p, σ) decidable? (F̃p is the algebraic closure of Fp.)

scholarly journals SOME PROPERTIES OF ANALYTIC DIFFERENCE VALUED FIELDS

2015 ◽  
Vol 16 (3) ◽  
pp. 447-499 ◽  
Author(s):  
Silvain Rideau
Keyword(s):  
Algebraic Closure ◽  
Quantifier Elimination ◽  
Order Theory ◽  
Analytic Structure ◽  
Independence Property ◽  
Valued Fields ◽  
First Order ◽  
Witt Vectors ◽  
First Order Theory

We prove field quantifier elimination for valued fields endowed with both an analytic structure that is $\unicode[STIX]{x1D70E}$-Henselian and an automorphism that is $\unicode[STIX]{x1D70E}$-Henselian. From this result we can deduce various Ax–Kochen–Eršov type results with respect to completeness and the independence property. The main example we are interested in is the field of Witt vectors on the algebraic closure of $\mathbb{F}_{p}$ endowed with its natural analytic structure and the lifting of the Frobenius. It turns out we can give a (reasonable) axiomatization of its first-order theory and that this theory does not have the independence property.

The canonical topology on dp-minimal fields

2018 ◽  
Vol 18 (02) ◽  
pp. 1850007 ◽  
Author(s):  
Will Johnson
Keyword(s):  
Algebraic Closure ◽  
University Of California ◽  
Symbolic Logic ◽  
Valued Fields ◽  
Stepping Stone ◽  
Definable Type ◽  
Definable Sets ◽  
Type V

We construct a nontrivial definable type V field topology on any dp-minimal field [Formula: see text] that is not strongly minimal, and prove that definable subsets of [Formula: see text] have small boundary. Using this topology and its properties, we show that in any dp-minimal field [Formula: see text], dp-rank of definable sets varies definably in families, dp-rank of complete types is characterized in terms of algebraic closure, and [Formula: see text] is finite for all [Formula: see text]. Additionally, by combining the existence of the topology with results of Jahnke, Simon and Walsberg [Dp-minimal valued fields, J. Symbolic Logic 82(1) (2017) 151–165], it follows that dp-minimal fields that are neither algebraically closed nor real closed admit nontrivial definable Henselian valuations. These results are a key stepping stone toward the classification of dp-minimal fields in [Fun with fields, Ph.D. thesis, University of California, Berkeley (2016)].

More on definable sets of p-adic numbers

1988 ◽  
Vol 53 (3) ◽  
pp. 912-920 ◽  
Author(s):  
Philip Scowcroft
Keyword(s):  
Cross Section ◽  
Quantifier Elimination ◽  
Order Theory ◽  
Model Completeness ◽  
First Order ◽  
First Order Theory ◽  
Ordered Fields ◽  
Definable Sets ◽  
The Cross ◽  
Primitive Recursive

To eliminate quantifiers in the first-order theory of the p-adic field Qp, Ax and Kochen use a language containing a symbol for a cross-section map n → pn from the value group Z into Qp [1, pp. 48–49]. The primitive-recursive quantifier eliminations given by Cohen [2] and Weispfenning [10] also apply to a language mentioning the cross-section, but none of these authors seems entirely happy with his results. As Cohen says, “all the operations… introduced for our simple functions seem natural, with the possible exception of the map n → pn” [2, p. 146]. So all three authors show that various consequences of quantifier elimination—completeness, decidability, model-completeness—also hold for a theory of Qp not employing the cross-section [1, p. 453; 2, p. 146; 10, §4]. Macintyre directs a more specific complaint against the cross-section [5, p. 605]. Elementary formulae which use it can define infinite discrete subsets of Qp; yet infinite discrete subsets of R are not definable in the language of ordered fields, and so certain analogies between Qp and R suggested by previous model-theoretic work seem to break down.To avoid this problem, Macintyre gives up the cross-section and eliminates quantifiers in a theory of Qp written just in the usual language of fields supplemented by a predicate V for Qp's valuation ring and by predicates Pn for the sets of nth powers in Qp (for all n ≥ 2).

scholarly journals On central commutator Galois extensions of rings

2000 ◽  
Vol 24 (5) ◽  
pp. 289-294
Author(s):  
George Szeto ◽  
Lianyong Xue
Keyword(s):  
Automorphism Group ◽  
Galois Group ◽  
Group Ring ◽  
Galois Extension ◽  
Structure Theorem ◽  
Projective Group ◽  
Galois Extensions ◽  
Separable Extensions

LetBbe a ring with1,Ga finite automorphism group ofBof ordernfor some integern,BGthe set of elements inBfixed under each element inG, andΔ=VB(BG)the commutator subring ofBGinB. Then the type of central commutator Galois extensions is studied. This type includes the types of Azumaya Galois extensions and GaloisH-separable extensions. Several characterizations of a central commutator Galois extension are given. Moreover, it is shown that whenGis inner,Bis a central commutator Galois extension ofBGif and only ifBis anH-separable projective group ringBGGf. This generalizes the structure theorem for central Galois algebras with an inner Galois group proved by DeMeyer.

Un principe d'ax-kochen-ershov pour des structures intermédiates entre groupes et corps valués

1999 ◽  
Vol 64 (3) ◽  
pp. 991-1027 ◽  
Author(s):  
Françoise Delon ◽  
Patrick Simonetta
Keyword(s):  
Abelian Group ◽  
Cross Section ◽  
Additive Group ◽  
Ordered Group ◽  
Unary Predicate ◽  
Valued Fields ◽  
Valued Field ◽  
Ordered Groups ◽  
Existentially Closed ◽  
Image Position

AbstractAn Ax-Kochen-Ershov principle for intermediate structures between valued groups and valued fields.We will consider structures that we call valued B-groups and which are of the form 〈G, B, *, υ〉 where– G is an abelian group,– B is an ordered group,– υ is a valuation denned on G taking its values in B,– * is an action of B on G satisfying: ∀x ϵ G ∀ b ∈ B υ(x * b) = ν(x) · b.The analysis of Kaplanski for valued fields can be adapted to our context and allows us to formulate an Ax-Kochen-Ershov principle for valued B-groups: we axiomatise those which are in some sense existentially closed and also obtain many of their model-theoretical properties. Let us mention some applications:1. Assume that υ(x) = υ(nx) for every integer n ≠ 0 and x ϵ G, B is solvable and acts on G in such a way that, for the induced action, Z[B] ∖ {0} embeds in the automorphism group of G. Then 〈G, B, *, υ〉 is decidable if and only if B is decidable as an ordered group.2. Given a field k and an ordered group B, we consider the generalised power series field k((B)) endowed with its canonical valuation. We consider also the following structure:where k((B))+ is the additive group of k((B)), S is a unary predicate interpreting {Tb ∣ b ϵB}, and ×↾k((B))×S is the multiplication restricted to k((B)) × S, structure which is a reduct of the valued field k((B)) with its canonical cross section. Then our result implies that if B is solvable and decidable as an ordered group, then M is decidable.3. A valued B–group has a residual group and our Ax-Kochen-Ershov principle remains valid in the context of expansions of residual group and value group. In particular, by adding a residual order we obtain new examples of solvable ordered groups having a decidable theory.

TORSION OF ABELIAN VARIETIES OVER LARGE ALGEBRAIC EXTENSIONS OF

2017 ◽  
Vol 234 ◽  
pp. 46-86
Author(s):  
MOSHE JARDEN ◽  
SEBASTIAN PETERSEN
Keyword(s):  
Galois Group ◽  
Abelian Variety ◽  
Haar Measure ◽  
Rational Point ◽  
Algebraic Closure ◽  
Prime Numbers ◽  
Absolute Galois Group ◽  
Finitely Generated ◽  
Fixed Field ◽  
Almost All

Let$K$be a finitely generated extension of$\mathbb{Q}$, and let$A$be a nonzero abelian variety over$K$. Let$\tilde{K}$be the algebraic closure of$K$, and let$\text{Gal}(K)=\text{Gal}(\tilde{K}/K)$be the absolute Galois group of$K$equipped with its Haar measure. For each$\unicode[STIX]{x1D70E}\in \text{Gal}(K)$, let$\tilde{K}(\unicode[STIX]{x1D70E})$be the fixed field of$\unicode[STIX]{x1D70E}$in$\tilde{K}$. We prove that for almost all$\unicode[STIX]{x1D70E}\in \text{Gal}(K)$, there exist infinitely many prime numbers$l$such that$A$has a nonzero$\tilde{K}(\unicode[STIX]{x1D70E})$-rational point of order$l$. This completes the proof of a conjecture of Geyer–Jarden from 1978 in characteristic 0.

scholarly journals Quantifier elimination for valued fields equipped with an automorphism

2015 ◽  
Vol 21 (4) ◽  
pp. 1177-1201 ◽  
Author(s):  
Salih Durhan ◽  
Gönenç Onay
Keyword(s):  
Quantifier Elimination ◽  
Valued Fields

scholarly journals ON THE MAIN INVARIANT OF ELEMENTS ALGEBRAIC OVER A HENSELIAN VALUED FIELD

2002 ◽  
Vol 45 (1) ◽  
pp. 219-227 ◽  
Author(s):  
Kamal Aghigh ◽  
Sudesh K. Khanduja
Keyword(s):  
Upper Bound ◽  
Algebraic Closure ◽  
Subject Classification ◽  
Unique Extension ◽  
Valued Fields ◽  
Valued Field ◽  
Henselian Valued Fields ◽  
Alpha Beta ◽  
Henselian Valuation

AbstractLet $v$ be a henselian valuation of a field $K$ with value group $G$, let $\bar{v}$ be the (unique) extension of $v$ to a fixed algebraic closure $\bar{K}$ of $K$ and let $(\tilde{K},\tilde{v})$ be a completion of $(K,v)$. For $\alpha\in\bar{K}\setminus K$, let $M(\alpha,K)$ denote the set $\{\bar{v}(\alpha-\beta):\beta\in\bar{K},\ [K(\beta):K] \lt [K(\alpha):K]\}$. It is known that $M(\alpha,K)$ has an upper bound in $\bar{G}$ if and only if $[K(\alpha):K]=[\tilde{K}(\alpha):\tilde{K}]$, and that the supremum of $M(\alpha,K)$, which is denoted by $\delta_{K}(\alpha)$ (usually referred to as the main invariant of $\alpha$), satisfies a principle similar to the Krasner principle. Moreover, each complete discrete rank 1 valued field $(K,v)$ has the property that $\delta_{K}(\alpha)\in M(\alpha,K)$ for every $\alpha\in\bar{K}\setminus K$. In this paper the authors give a characterization of all those henselian valued fields $(K,v)$ which have the property mentioned above.AMS 2000 Mathematics subject classification: Primary 12J10; 12J25; 13A18

Sign in / Sign up

Export Citation Format

Share Document