We show that the p-adic valuation of the sequence of Fibonacci numbers is a p-regular sequence for every prime p. For p 6= 2, 5, we determine that the rank of this sequence is α(p) + 1, where α(m) is the restricted period length of the Fibonacci sequence modulo m.

Let p be a fixed prime number. Throughout this paper Zp,Qp,C, and Cp will, respectively, denote the ring of p-adic rational integers, the field of p-adic rational numbers, the complex number field, and the completion of algebraic closure of Qp. Let vp be the normalized exponential valuation of Cp with |p|p p−vp p 1/p. When one talks of q-extension, q is variously considered as an indeterminate,...

Let p be a fixed odd prime number. Throughout this paper, Zp, Qp, C, and Cp will, respectively, denote the ring of p-adic rational integers, the field of p-adic rationalnumbers, the complex number field, and the completion of the algebraic closure of Qp. Let vp be the normalized exponential valuation of Cp with |p|p p−vp p 1/p. When one talks about q-extension, q is variously considered as an i...

Throughout this paper, we always make use of the following notations: C denotes the set of complex numbers, Zp denotes the ring of p-adic rational integers, Qp denotes the field of p-adic rational numbers, and Cp denotes the completion of algebraic closure of Qp. Let νp be the normalized exponential valuation of Cp with |p|p = p−νp(p) = p−1. When one talks of q-extension, q is considered in man...

We address the problem of the stability of the computations of resultants and subresultants of polynomials defined over complete discrete valuation rings (e.g. Zp or k[[t]] where k is a field). We prove that Euclide-like algorithms are highly unstable on average and we explain, in many cases, how one can stabilize them without sacrifying the complexity. On the way, we completely determine the d...

Let p be a fixed prime number. Throughout this paper, Zp, Qp, C, and Cp will, respectively, denote the ring of p-adic rational integer, the field of p-adic rational numbers, the complex number field, and the completion of algebraic closure of Qp. Let N be the set of natural numbers and Z {0} ∪ N. Let νp be the normalized exponential valuation of Cp with |p|p p−νp p p−1. When one talks of q-exte...

In (Arch. Math. 57 (1991), pp. 446–455), R. Farré proved a positivstellensatz for real-series closed fields. Here we consider p-valued fields 〈K, vp〉 with a non-trivial valuation v which satisfies a compatibility condition between vp and v. We use this notion to establish the p-adic analogue of real-series closed fields; these fields are called henselian residually p-adically closed fields. Fir...

Let L be a number field and let E/L be an elliptic curve with potential supersingular reduction at a prime ideal ℘ of L above a rational prime p. In this article we describe a formula for the slopes of the Newton polygon associated to the multiplication-by-p map in the formal group of E, that only depends on the congruence class of p mod 12, the ℘-adic valuation of the discriminant of a model f...

For a prime number p > 2, we give a direct proof of Breuil’s classification of finite flat group schemes killed by p over the valuation ring of a p-adic field with perfect residue field. As application we establish a correspondence between finite flat group schemes and Faltings’s strict modules which respects associated Galois modules via the Fontaine-Wintenberger field-of-norms functor

In this paper we construct a natural category ~r of locally and topologically ringed spaces which contains both the category of locally noetherian formal schemes and the category of rigid analytic varieties as full subcategories. This category has applications in algebraic geometry and rigid analytic geometry. The idea of the definition of the category ~r is the following. From a formal point o...