Related papers: A Dedekind-Mertens theorem for power series rings

We prove that an analogue of Rogers' theorem on sieving holds for an order if and only if the order is a Dedekind domain. We also prove that it holds for a finite commutative ring if and only if the ring is a direct product of local rings…

We study content ideals of polynomials and their behavior under multiplication. We give a generalization of the Lemma of Dedekind-Mertens and prove the converse under suitable dimensionality restrictions.

Let $A_1,\ldots,A_s$ be unitary commutative rings which do not have non-trivial idempotents and let $A=A_1\oplus\cdots\oplus A_s$ be their direct sum. We describe all idempotents in the $2\times 2$ matrix ring $M_2(A[[X]])$ over the ring…

Upon re-examining Arnold's established lemma for explaining his famous limit problem, we have determined that while the lemma itself is correct, there is a defect in the original geometric proof. In this paper, we prove the correctness of…

Let $R$ be a ring and $\sigma$ an endomorphism of $R$. In this note, we study the transfert of the symmetry ($\sigma$-symmetry) and reversibility ($\sigma$-reversibility) from $R$ to its skew power series ring $R[[x;\sigma]]$. Moreover, we…

We extend Latimer and MacDuffee's theorem to a general commutative domain and apply this result to study similarity of matrices over integral rings of number fields. We also conjecture similarity over discrete valuation rings can be descent…

We introduce the formalism of Coleman's power series for rank 1 Drinfeld modules and apply it to formulate and prove the analogue of Wiles' explicit reciprocity law in this setting.

In this article, the ring of polynomials is studied in a systematic way through the theory of monoid rings. As a consequence, this study provides natural and canonical approaches in order to find easy and rigorous proofs and methods for…

We prove over fields of power series the analogues of several Diophantine approximation results obtained over the field of real numbers. In particular we establish the power series analogue of Kronecker's theorem for matrices, together with…

We present a self-contained elementary and detailed exposition of Mertens' own proof of his theorem on the divergence of the series of the reciprocals of the primes and compare it with the modern proofs. His proof contains explicit…

Rational twisted power series over a (commutative) field are studied. We give several characterizations of such series, which are similar to the classical results concerning rational power series over a commutative field. In particular, we…

We prove an irreducibility criterion for polynomials with power series coefficients generalizing previous known results concerning quasi-ordinary polynomials.

A short proof of the linear nested Artin approximation property of the algebraic power series rings is given here.

In this paper, we use the idempotent decomposition to give an explicit isomorphism from an arbitrary semisimple Artinian ring to an external direct sum of finitely many full matrix rings over division rings.

We investigate properties of the group inverse in rings with unit related to products and differences of idempotents, and thus we extend some results from \cite{DENG} to more general settings. We show that most part of \cite{DENG} is easily…

Fix an odd prime $p$. The results in this paper are modeled after work of Hesselholt and Hesselholt-Madsen on the $p$-typical absolute de Rham-Witt complex in mixed characteristic. We have two primary results. The first is an exact sequence…

In this paper we prove a special case of the Lehmer inequality for Drinfeld modules. Also, based on this inequality, we prove certain Mordell-Weil type of theorems for certain infinitely generated fields.

We show that the compositions of positive integers may be interpreted in terms of powers of some power series, over arbitrary commutative ring. As consequences, several closed formulas for the compositions as well as for the generalized…

We give a necessary condition for algebraicity of finite modules over the ring of formal power series. This condition is given in terms of local zero estimates. In fact we show that this condition is also sufficient when the module is a…

We give a definition of a class of Dedekind domains which includes the rings of integers of global fields and give a proof that all rings in this class have finite ideal class group. We also prove that this class coincides with the class of…