English
Related papers

Related papers: $\mathbb{F}_p((X))$ is decidable as a module over …

200 papers

Let $G$ be a cyclic $p$-group for some prime number $p>0$ and let $R$ be a complete discrete valuation ring in mixed characteristic. In this paper, we present a generalization of two results that characterize $RG$-permutation modules,…

Representation Theory · Mathematics 2025-10-29 Marlon Estanislau

It is often stated that the Carlitz module is to the ring of univariate polynomials over a finite field what the multiplicative group is to the ring of integers. This analogy extends to the "rank 2" case, where Drinfeld modules play a role…

Number Theory · Mathematics 2023-06-26 Quentin Gazda , Damien Junger

Let $\mathcal{O}$ be an order, that is a commutative ring with $1$ whose additive structure is a free $\mathbb{Z}$-module of finite rank. A generalized number system (GNS for short) over $\mathcal{O}$ is a pair $(p,\mathcal{D} )$ where…

Number Theory · Mathematics 2019-03-12 Jan-Hendrik Evertse , Kálmán Győry , Attila Pethő , Jörg M. Thuswaldner

Let R be a polynomial ring over k(u), where k is a field k and u is a finite family or inderterminates. The paper introduces the specialization of an arbitrary finitely generated R-module by the substitution of u to elements of k. This…

Commutative Algebra · Mathematics 2007-05-23 Dam Van Nhi , Ngo Viet Trung

Let $k$ be a perfect field of characteristic $p>0$. Within Berthelot's theory of arithmetic $\mathcal{D}$-modules, we construct a $p$-adic formalism of Grothendieck's six operations for quasi-projective schemes over $\mathrm{Spec} k[[t]]$.

Algebraic Geometry · Mathematics 2021-03-19 Daniel Caro

Let $(K,\nu)$ be an arbitrary valued field with valuation ring $R_{\nu}$ and $L=K(\alpha)$, where $\alpha$ is a root of a monic irreducible polynomial $f\in R_{\nu}[x]$. In this paper, we characterize the integral closedness of…

Commutative Algebra · Mathematics 2022-02-02 Abdulaziz Deajim , Lhoussain El Fadil , Ahmed Najim

First we study some properties of the modular group algebra $\mathbb{F}_{p^r}[G]$ where $G$ is the additive group of a Galois ring of characteristic $p^r$ and $\mathbb{F}_{p^r}$ is the field of $p^r$ elements. Secondly a description of the…

Information Theory · Computer Science 2016-10-03 Harinaivo Andriatahiny , Vololona Harinoro Rakotomalala

Let $R$ be a commutative ring of dimension $d$, $S = R[X]$ or $R[X, 1/X]$ and $P$ a finitely generated projective $S$ module of rank $r$. Then $P$ is cancellative if $P$ has a unimodular element and $r \geq d + 1$. Moreover if $r \geq \dim…

K-Theory and Homology · Mathematics 2015-12-01 Anjan Gupta

If $R$ is a valuation domain of maximal ideal $P$ with a maximal immediate extension of finite rank it is proven that there exists a finite sequence of prime ideals $P=L_0\supset L_1\supset...\supset L_m\supseteq 0$ such that…

Rings and Algebras · Mathematics 2010-01-12 Francois Couchot

Let $K$ be a field complete with respect to a nonarchimedean real-valued norm, and let $L/K$ be an algebraic extension. We show that there is a unique norm on $L$ extending the given norm on $K$, with an explicit description. As an…

Logic in Computer Science · Computer Science 2023-07-03 María Inés de Frutos-Fernández

In this article we mainly consider the positively Z-graded polynomial ring R=F[X,Y] over an arbitrary field F and Hilbert series of finitely generated graded R-modules. The central result is an arithmetic criterion for such a series to be…

Commutative Algebra · Mathematics 2012-08-02 Julio José Moyano-Fernández , Jan Uliczka

Let R be a complete discrete valuation ring with maximal ideal generated by pi. Let f(X) in R[X] be a monic polynomial with nonzero discriminant Delta(f). Let s >= v_pi(Delta(f)) + 1. Suppose given a factorisation of f(X) in (R/pi^s R)[X]…

Commutative Algebra · Mathematics 2014-07-31 Juliane Deissler

Let $K$ be a number field and $f\in K[X]$ an irreducible monic polynomial with coefficients in $O_K$, the ring of integers of $K$. We aim to enounce an effective criterion, in terms of the Galois group of $f$ over $K$ and a linear…

Number Theory · Mathematics 2020-12-11 Dominique Bernardi , Alain Kraus

Suppose $R$ is a $\mathbb{Q}$-Gorenstein $F$-finite and $F$-pure ring of prime characteristic $p>0$. We show that if $I\subseteq R$ is a compatible ideal (with all $p^{-e}$-linear maps) then there exists a module finite extension $R\to S$…

Commutative Algebra · Mathematics 2022-11-08 Thomas Polstra , Karl Schwede

Let R be a Noetherian commutative ring of dimension n >2 and let A=R[T,T^{-1}]. Assume that the height of the Jacobson radical of R is atleast 2. Let P be a projective A-module of rank n=dim A - 1 with trivial determinant. We define an…

Commutative Algebra · Mathematics 2011-11-09 Manoj Kumar Keshari

It is known that any rational abstract numeration system is faithfully, and effectively, represented by an N-rational series. A simple proof of this result is given which yields a representation of this series which in turn allows a simple…

Discrete Mathematics · Computer Science 2011-08-30 Pierre-Yves Angrand , Jacques Sakarovitch

Many combinatorial sequences (for example, the Catalan and Motzkin numbers) may be expressed as the constant term of $P(x)^k Q(x)$, for some Laurent polynomials $P(x)$ and $Q(x)$ in the variable $x$ with integer coefficients. Denoting such…

Combinatorics · Mathematics 2015-10-01 William Y. C. Chen , Qing-Hu Hou , Doron Zeilberger

We define a class of pre-ordered abelian groups that we call finite-by-Presburger groups, and prove that their theory is model-complete. We show that certain quotients of the multiplicative group of a local field of characteristic zero are…

Logic · Mathematics 2016-03-30 Jamshid Derakhshan , Angus Macintyre

Let $\S $ be an arbitrary subset of $R^n$ where $R$ is a domain with the field of fractions $\K$. Denote the ring of polynomials in $n$ variables over $\K$ by $\K[\x].$ The ring of integer-valued polynomials over $\S,$ denoted by…

Commutative Algebra · Mathematics 2021-08-18 Devendra Prasad

Let $A$ be a Dedekind domain, $K$ the fraction field, $\p$ a non-zero prime ideal of $A$, and $K_\pp$ the completion of $K$ with respect to the $\p$-adic topology. At the input of a monic irreducible separable polynomial, $f(x)\in A[x]$,…

Number Theory · Mathematics 2012-07-24 J. Guardia , J. Montes , E. Nart