English
Related papers

Related papers: An explicit triangular integral basis for any sepa…

200 papers

We give a sufficient condition for an algebraic structure to have a computable presentation with a computable basis and a computable presentation with no computable basis. We apply the condition to differentially closed, real closed, and…

Logic · Mathematics 2015-06-11 Matthew Harrison-Trainor , Alexander Melnikov , Antonio Montalbán

An algebraic technique is presented that does not use results of model theory and makes it possible to construct a general Galois theory of arbitrary nonlinear systems of partial differential equations. The algebraic technique is based on…

Commutative Algebra · Mathematics 2010-12-30 Dima Trushin

Let $\mathcal{K}=(K,v,\ldots)$ be a dp-minimal expansion of a non-trivially valued field of characteristic $0$ and $\mathcal{F}$ an infinite field interpretable in $\mathcal{K}$. Assume that $\mathcal{K}$ is one of the following: (i)…

Logic · Mathematics 2021-09-03 Yatir Halevi , Assaf Hasson , Ya'acov Peterzil

Let $K=\mathbb Q(\theta)$ be an algebraic number field with $\theta$ a root of an irreducible trinomial $f(x)=x^6+ax+b$ belonging to $\mathbb{Z}[x]$. In this paper, for each prime number $p$ we compute the highest power of $p$ dividing the…

Number Theory · Mathematics 2020-12-01 Sumandeep Kaur , Sudesh Kaur Khanduja

We give defining equations for function fields over finite fields with many rational places. They are obtained from composita of quadratic extensions of the rational function field.

Number Theory · Mathematics 2007-05-23 Stephan Semirat

Let $F/E$ be a finite Galois extension of fields with abelian Galois group $\Gamma$. A self-dual normal basis for $F/E$ is a normal basis with the additional property that $Tr_{F/E}(g(x),h(x))=\delta_{g,h}$ for $g,h\in\Gamma$.…

Number Theory · Mathematics 2011-01-27 Erik Jarl Pickett

A triangular field of rational numbers is characterized, with relations to Stirling numbers 2nd, Hyperbolic functions, and centered Binomial distribution. A Generating function is given.

Number Theory · Mathematics 2021-02-23 Andreas B. G. Blobel

In this paper, a method for constructing a near optimal normal basis for algebraic extensions of a finite field is described. In each extension, except for the squares of basis elements, the product of two distinct normal basis elements can…

General Mathematics · Mathematics 2021-06-29 Duggirala Meher Krishna , Duggirala Ravi

We determine necessary and sufficient conditions on the ring of differential operators of a finite purely inseparable field extension of positive characteristic for determining whether the extension is modular.

Commutative Algebra · Mathematics 2013-12-03 Matt Wechter

We give a new sufficient condition for the normal extensions in an admissible Galois structure to be reflective. We then show that this condition is indeed fulfilled when X is the (protomodular) reflective subcategory of S-special objects…

Category Theory · Mathematics 2017-11-09 Andrea Montoli , Diana Rodelo , Tim Van der Linden

A Hopf Galois structure on a finite field extension $L/K$ is a pair $(H,\mu)$, where $H$ is a finite cocommutative $K$-Hopf algebra and $\mu$ a Hopf action. In this paper we present a program written in the computational algebra system…

Group Theory · Mathematics 2020-02-21 Teresa Crespo , Marta Salguero

In this paper we give a unified approach in categorical setting to the problem of finding the Galois closure of a finite cover, which includes as special cases the familiar finite separable field extensions, finite unramified covers of a…

Number Theory · Mathematics 2017-07-04 Hau-Wen Huang , Wen-Ching Winnie Li

The square integrable basis set representation of the resolvent of the asymptotic three-body Coulomb wave operator in parabolic coordinates is obtained. The resulting six-dimensional Green's function matrix is expressed as a convolution…

Mathematical Physics · Physics 2009-11-13 S. A. Zaytsev

A new efficient algorithm is proposed for factoring polynomials over an algebraic extension field. The extension field is defined by a polynomial ring modulo a maximal ideal. If the maximal ideal is given by its Groebner basis, no extra…

Symbolic Computation · Computer Science 2010-10-04 Yao Sun , Dingkang Wang

Let n be an odd number and F an imaginary quadratic field with odd discriminant. We show that there exists infinitely many cubic fields K such that the class number of K is divisible by n and the Galois closure of K contains F.

Number Theory · Mathematics 2007-05-23 Ivan Chipchakov , Kalin Kostadinov

In this paper, we establish Galois theory for partial differential systems defined over formally real differential fields with a real closed field of constants and over formally $p$-adic differential fields with a $p$-adically closed field…

Rings and Algebras · Mathematics 2021-11-01 Teresa Crespo , Zbigniew Hajto , Rouzbeh Mohseni

To each associative unitary finite-dimensional algebra over a normal base, we associative a canonical multiplicative function called its determinant. We give various properties of this construction, as well as applications to the topology…

Algebraic Geometry · Mathematics 2007-12-13 Matthieu Romagny

In this paper we first obtain the genus field of a finite abelian non-Kummer $l$--extension of a global rational function field. Then, using that the genus field of a composite of two abelian extensions of a global rational function field…

Number Theory · Mathematics 2022-04-06 Martha Rzedowski-Calderón , Gabriel Villa-Salvador

We give model theoretic accounts and proofs of the existence and uniqueness of differential Galois extensions with no new constants, for logarithmic differential equations over a differential field K, when the field C of constants of K is…

Algebraic Geometry · Mathematics 2016-04-12 Moshe Kamensky , Anand Pillay

Let $\mathcal M=\langle K;O\rangle$ be a real closed valued field and let $k$ be its residue field. We prove that every interpretable field in $\mathcal M$ is definably isomorphic to either $K$, $K(\sqrt{-1})$, $k$, or $k(\sqrt{-1})$. The…

Logic · Mathematics 2021-05-11 Assaf Hasson , Ya'acov Peterzil