Abstract:Let $f(z)$ be in $1+z\mathbb{Q}[[z]]$ and $\mathcal{S}$ be an infinite set of prime numbers such that, for all $p\in\mathcal{S}$, we can reduce $f(z)$ modulo $p$. We let $f(z)_{\mid p}$ denote the reduction of $f(z)$ modulo $p$. Generally, when $f(z)$ is D-finite, $f(z)_{\mid p}$ is algebraic over $\mathbb{F}_p(z)$. It turns out that if $f(z)$ is a solution of a polynomial of the form $X-A_p(z)X^{p^l}$, we can use this type of equations to obtain results of transcendence and algebraic independence over $\mathbb{Q}(z)$. In the present paper, we look for conditions on the differential operators annihilating $f(z)$ to guarantee the existence of these particular equations. Suppose that $f(z)$ is solution of a differential operator $\mathcal{H}\in\mathbb{Q}(z)[d/dz]$ having a strong Frobenius structure for all $p\in\mathcal{S}$ and we also suppose that $f(z)$ annihilates a Fuchsian differential operator $\mathcal{D}\in\mathbb{Q}(z)[d/dz]$ such that zero is a regular singular point of $\mathcal{D}$ and the exponents of $\mathcal{D}$ at zero are equal to zero. Our main result states that, for almost every prime $p\in\mathcal{S}$, $f(z)_{\mid p}$ is solution of a polynomial of the form $X-A_p(z)X^{p^l}$, where $A_p(z)$ is a rational function with coefficients in $\mathbb{F}_p$ of height less than or equal to $Cp^{2l}$ with $C$ a positive constant that does not depend on $p$. We also study the algebraic independence of these power series over $\mathbb{Q}(z)$.

On maximal common divisors in Puiseux monoids

On the atomicity of power monoids of Puiseux monoids

On strongly primary monoids, with a focus on Puiseux monoids

On the Internal Sum of Puiseux Monoids

On The Set Of Betti Elements Of A Puiseux Monoid

On locally solvable maximal subgroups of the multiplicative group of a division ring

On the atomicity of one-dimensional monoid algebras

Betti graphs and atomization of Puiseux monoids

Prime ideals in infinite products of commutative rings

Irreducibility and factorizations in monoid rings

Minimal Prüfer-Dress rings and products of idempotent matrices

Maximal subrings of division rings

Rings with divisibility on descending chains of ideals

The ideal theory of intersections of prime divisors dominating a normal Noetherian local domain of dimension two

The monotone catenary degree of monoids of ideals

The Multiplicity of Powers of a Class of Non-Square-free Monomial Ideals

On common index divisors and monogenity of septic number fields defined by trinomials of type

Torsion factors of commutative monoid semirings

On common index divisors and monogenity of certain number fields defined by trinomials of type $x^{2^r}+ax^m+b$

Maximal Unipotent Monodromy, congruences "à la Lucas" and Algebraic independence

On power monoids and their automorphisms