Related papers: Solvability of rank one $p$-adic differential and …

We establish the solvability criteria for the equation $x^q=a$ in the field of $p$-adic numbers, for any $q$ in two cases: (i) $q$ is not divisible by $p$; (ii) $q=p$. Using these criteria we show that any $p$-adic number can be represented…

We relate the complexity of both differential and $q$-difference equations of order one and degree one and their solutions. Our point of view is to show that if the solutions are complicated, the initial equation is complicated too. In this…

We give an improved polynomial bound on the complexity of the equation solvability problem, or more generally, of finding the value sets of polynomials over finite nilpotent rings. Our proof depends on a result in additive combinatorics,…

Let $\mathbb{F}_q$ denote the finite field of $q$ elements with characteristic $p$. Let $\mathbb{Z}_q$ denote the unramified extension of the $p$-adic integers $\mathbb{Z}_p$ with residue field $\mathbb{F}_q$. In this paper, we investigate…

Criteria are given for determining whether an irreducible sextic equation with rational coefficients is algebraically solvable over the complex numbers.

We develop the theory of $p$-adic confluence of $q$-difference equations. The main result is the surprising fact that, in the $p$-adic framework, a function is solution of a differential equation if and only if it is solution of a…

In this paper we provide a solvability criterion for the monomial equation $x^q=a$ over $Q_p$ for any natural number $q$.

let $R$ be a regular local ring of a mixed characteristic $(0,p)$ where $p\neq 2$ is a prime number. Suppose that the quotient ring $R/pR$ is also regular. Fix a non-degenerate Pfister form $Q(T_{1},\ldots,T_{2^{m}})$ over $R$ and an…

Let $\mathbb{F}_q[t]$ denote the ring of polynomials over $\mathbb{F}_q$, the finite field of $q$ elements. We prove an estimate for fractional parts of polynomials over $\mathbb{F}_q[t]$ satisfying a certain divisibility condition…

An irreducible quintic equation is solvable by radicals if and only if its Galois group is solvable. In this work, we provide necessary and sufficient conditions for solvability, expressed in terms of invariants of the quintic.

For a linear difference equation with the coefficients being computable sequences, we establish algorithmic undecidability of the problem of determining the dimension of the solution space including the case when some additional prior…

We prove the existence of a critical subsolution of the Hamilton-Jacobi equation which is differentiable with Lipschitz differential, improving a previous result of Fathi and Siconolfi. This text is a consolidated version with a minor…

For a prime $p$ and a matrix $A \in \mathbb{Z}^{n \times n}$, write $A$ as $A = p (A \,\mathrm{quo}\, p) + (A \,\mathrm{rem}\, p)$ where the remainder and quotient operations are applied element-wise. Write the $p$-adic expansion of $A$ as…

Let $f$, $p$, and $q$ be Laurent polynomials with integer coefficients in one or several variables, and suppose that $f$ divides $p+q$. We establish sufficient conditions to guarantee that $f$ individually divides $p$ and $q$. These…

A Dirichlet-type problem is studied for an equation of even order with variable coefficients. A criterion for the uniqueness of a solution is given. The solution is built in the form of a Fourier series. When justifying the convergence of…

We prove that arithmetic is interpretable in any indecomposable polynomial ring (in any set of variables), and in addition we provide an alternative uniform proof of undecidability for all members in this class of rings.

In this paper we study the $p$-adic equation $x^q=a$ over the field of $p$-adic numbers. We construct an algorithm of calculation of criteria of solvability in the case of $q=p^m$ and present a computer program to compute the criteria for…

We do two things. 1. As a corollary to a stronger linearisation result (Theorem A), we prove the finite Morley rank version of the Lie-Kolchin-Malcev theorem on Lie algebras (Corollary A2). 2. We classify Lie ring actions on modules of…

We present a more general proof that cyclotomic polynomials are irreducible over Q and other number fields that meet certain conditions. The proof provides a new perspective that ties together well-known results, as well as some new…

We give a necessary condition for the existence of solutions of the Diophantine equation $p=x^{q}+ry^{q},$ with $p$, $q$, $r$ distinct odd prime natural numbers.