Related papers: Elementary properties of power series fields over …

We resolve the strong Elementary Equivalence versus Isomorphism Problem for finitely generated fields. That is, we show that for every field in this class there is a first-order sentence which characterizes this field within the class up to…

Let $\BZ_p$ be the finite field of prime order $p$ and $A$ be a subset of $\BZ_p$. We prove several sharp results about the following two basic questions: (1) When can one represent zero as a sum of distinct elements of $A$ ? (2) When can…

In this paper, we will extend the falling and rising factorial transforms \cite{ref. 1} which in this case every arbitrary function can be applied. Then, the properties of these transforms will be investigated and some corollaries will be…

Let $E_p(x)$ denote the Artin-Hasse exponential and let $\overline{E}_p(x)$ denote its reduction modulo $p$ in $\mathbb{F}_p[[x]]$. In this article we study transcendence properties of $\overline{E}_p(x)$ over $\mathbb{F}_p[x]$. We give two…

Let $K$ be a field of characteristic $p>0$ and let $f(t_1,...,t_d)$ be a power series in $d$ variables with coefficients in $K$ that is algebraic over the field of multivariate rational functions $K(t_1,...,t_d)$. We prove a generalization…

We give lower bounds for the degree of multiplicative combinations of iterates of rational functions (with certain exceptions) over a general field, establishing the multiplicative independence of said iterates. This leads to a…

In this paper we obtained several properties that the characteristic polynomials of the unit-primitive matrix satisfy. In addition, using these properties we have shown that the recurrence relation given as in the formula (1) is true. In…

For certain primes $p$, the average digit in the expansion of $1/p$ was found to have a deviation from random behaviour related to the class number of the imaginary quadratic field $\mathbb{Q}(\sqrt{-p})$ (Girstmair 1994). In this short…

Power series are introduced that are simultaneously convergent for all real and p-adic numbers. Our expansions are in some aspects similar to those of exponential, trigonometric, and hyperbolic functions. Starting from these series and…

We construct a canonical family of elements in the reduced exterior power lattices of the unit groups of global fields. We prove that this family recovers the theory of cyclotomic elements in real abelian fields and also establish detailed…

We prove field quantifier elimination for valued fields endowed with both an analytic structure and an automorphism that are $\sigma$-Henselian. From this result we can deduce various Ax-Kochen-Ersov type results with respect to…

Arthur Cohn's irreducibility criterion for polynomials with integer coefficients and its generalization connect primes to irreducibles, and integral bases to the variable $x$. As we follow this link, we find that these polynomials are ready…

Let $F$ be a field of prime characteristic $p$ containing $F_{p^n}$ as a subfield. We refer to $q(X)=X^{p^n}-X-a\in F[X]$ as a generalized Artin-Schreier polynomial. Suppose that $q(X)$ is irreducible and let $C_{q(X)}$ be the companion…

Planar functions are mappings from a finite field $\mathbb{F}_q$ to itself with an extremal differential property. Such functions give rise to finite projective planes and other combinatorial objects. There is a subtle difference between…

In this work we deduce explicit formulae for the elements of the matrices that represent the action of integro-differential operators over the coefficients of generalized Fourier series. Our formulae are obtained by performing operations on…

Let $K$ be a finite extension of $\mathbb{Q}_p$ that is totally ramified over $\mathbb{Q}_p$. The set $\mathcal{M}\mathcal{F}(K)$ consists of power series in $1+zK[[z]]$ that are solutions of differential operators in $K(z)[d/dz]$ equipped…

In this paper, we consider rational functions $f$ with some minor restrictions over the finite field $\mathbb{F}_{q^n},$ where $q=p^k$ for some prime $p$ and positive integer $k$. We establish a sufficient condition for the existence of a…

Let $q$ be a prime power of a prime $p$, $n$ a positive integer and $\mathbb F_{q^n}$ the finite field with $q^n$ elements. The $k-$normal elements over finite fields were introduced and characterized by Huczynska et al (2013). Under the…

For a prime power $q$, $\F$ denotes the finite field of order $q$, and for $m\geq 2$, $\Fm$ denotes the extension field of degree $m$. We establish a characteristic function for the set of $(r,\, n)$-free elements of finite cyclic…

We illustrate the generative power of the lifting property (orthogonality of morphisms in a category) as means of defining natural elementary mathematical concepts by giving a number of examples in various categories, in particular showing…