Related papers: Existentially generated subfields of large fields

In this paper we find the genus field of finite abelian extensions of the global rational function field. We introduce the term conductor of constants for these extensions and determine it in terms of other invariants. We study the…

An expansion of a definably complete field either defines a discrete subring, or the image of a definable discrete set under a definable map is nowhere dense. As an application we show a definable version of Lebesgue's differentiation…

We investigate what henselian valuations on ordered fields are definable in the language of ordered rings. This leads towards a systematic study of the class of ordered fields which are dense in their real closure. Some results have…

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.

We develop the foundations of effective ultraproducts of fields and their Galois groups using the methods of computability theory. These computability-theoretic analogs of ultraproducts are called cohesive products, since the role of an…

In the hyperalgebra of the $r$-th Frobenius kernel of a universal Chevalley group over a field of characteristic $p>0$, we study some subsets and the subalgebras generated by them and give some results. We are particularly interested in the…

We initiate the study of definable V-topolgies and show that there is at most one such V-topology on a t-henselian NIP field. Equivalently, we show that if $(K,v_1,v_2)$ is a bi-valued NIP field with $v_1$ henselian (resp. t-henselian) then…

Let $L$ be the function field of a projective space ${\mathbb P}^n_k$ over an algebraically closed field $k$ of characteristic zero, and $H$ be the group of projective transformations. An $H$-sheaf ${\mathcal V}$ on ${\mathbb P}^n_k$ is a…

We show that a finite-dimensional tame division algebra D over a Henselian field F has a maximal subfield Galois over F if and only if its residue division algebra has a maximal subfield Galois over the residue field of F. This generalizes…

We study the classical and quantum $G$ extended superconformal algebras from the hamiltonian reduction of affine Lie superalgebras, with even subalgebras $G\oplus sl(2)$. At the classical level we obtain generic formulas for the Poisson…

We study the following natural variation on the classical universality problem: given a language $L(M)$ represented by $M$ (e.g., a DFA/RE/NFA/PDA), does there exist an integer $\ell \geq 0$ such that $\Sigma^\ell \subseteq L(M)$? In the…

For the polynomial ring over an arbitrary field with twelve variables, there exists a prime ideal whose symbolic Rees algebra is not finitely generated.

Building on work of J. Robinson and A. Shlapentokh, we develop a general framework to obtain definability and decidability results of large classes of infinite algebraic extensions of $\mathbb{F}_p(t)$. As an application, we show that for…

Let $K/k$ be a finite extension of a global field. Such an extension can be generated over $k$ by a single element. The aim of this article is to prove the existence of a "small" generator in the function field case. This answers the…

Pre-$H$-fields are ordered valued differential fields satisfying some basic axioms coming from transseries and Hardy fields. We study pre-$H$-fields that are differential-Hensel-Liouville closed, that is, differential-henselian, real…

In this article we prove some interesting results on field generated by division points of several formal groups of same height, already implicit in the treatment in appendix-A of my M.Sc thesis (Points of Small Height in Certain Nonabelian…

We propose several techniques to construct complete permutation polynomials of finite fields by virtue of complete permutations of subfields. In some special cases, any complete permutation polynomials over a finite field can be used to…

In this note we give a negative answer to Abraham Robinson's question whether a finitely generated extension of an undecidable field is always undecidable. We construct 'natural' undecidable fields of transcendence degree 1 over Q all of…

In the first part of this note, we introduce Tietze transformations for $L$-presentations. These transformations enable us to generalize Tietze's theorem for finitely presented groups to invariantly finitely $L$-presented groups. Moreover,…

Let $U/L$ be a finite abelian extension of number fields. We first construct a universal primitive generator of $U$ over $L$ whose relative trace to any intermediate field $F$ becomes a generator of $F$ over $L$, too. We also develop a…