Related papers: Wiles defect for modules and criteria for freeness

This paper gives an elementary proof of an improved version of the algebraic Local B\'ezout Theorem (given by the authors in JSC 45 (2010) 975--985). Here we remove some ad hoc hypotheses and obtain an optimal algebraic version of the…

Yet another proof of the result asserting that a morphism of commutative rings is an effective descent morphism for modules if and only if it is pure is given. Moreover, it is shown that this result cannot be derived from Moerdijk's descent…

Let $(R,\fm)$ be a local ring and $\fa$ be an ideal of $R$. The inequalities $$\begin{array}{ll} \ \Ht(\fa) \leq \cd(\fa,R) \leq \ara(\fa) \leq l(\fa) \leq \mu(\fa) \end{array}$$ are known. It is an interesting and long-standing problem to…

It is well-known that a ring R is semiperfect if and only if R as a left (or as a right) R-module is a supplemented module. Considering weak supplements instead of supplements we show that weakly supplemented modules M are semilocal (i.e.,…

We prove, e.g., that if lambda=chi^+=2^chi and S subseteq {delta<lambda:cf(delta) neq cf(chi)} is stationary then diamondsuit_lambda holds true.

In this note, we provide a different proof of Hill's criterion of freeness for abelian groups. Our proof hinges on the construction of suitable families of subgroups of the links in Hill's theorem and, ultimately, on the construction of…

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…

In this article we prove that the Buchsbaum-Rim multiplicity $e(F/N)$ of a parameter module $N$ in a free module $F=A^r$ is bounded above by the colength $\ell_A(F/N)$. Moreover, we prove that once the equality $\ell_A(F/N)=e(F/N)$ holds…

In this paper, we explore the implications of the finiteness of complete intersection dimensions for RHom complexes and Ext modules. We prove various stability results and criteria for detecting finite complete intersection homological…

Over a commutative Noetherian ring, we show that the Auslander-Reiten conjecture holds true for the class of (finitely generated) modules whose dual has finite complete intersection dimension. We provide another result that validates the…

We define the Frobenius limit of a module over a ring of prime characteristic to be the limit of the normalized Frobenius direct images in a certain Grothendieck group. When a finite group acts on a polynomial ring, we calculate this limit…

Recently, many authors have embraced the study of certain properties of modules such as projectivity, injectivity and flatness from an alternative point of view. Rather than saying a module has a certain property or not, each module is…

Let A be a noetherian commutative ring, and let I be an ideal in A. We study questions of flatness and I-adic completeness for infinitely generated A-modules. This is done using the notions of decaying function and I-adically free A-module.

We deal with the combinatorial principle Weak Diamond, showing that we always either a local version is not saturated or we can increase the number of colours. Then we point out a model theoretic consequence of Weak Diamond.

Let $M$ be a perfect module of projective dimension 3 in a Gorenstein, local or graded ring $R$. We denote by $\FF$ the minimal free resolution of $M$. Using the generic ring associated to the format of $\FF$ we define higher structure…

We prove model completeness for the theory of addition and the Frobenius map for certain subrings of rational functions in positive characteristic. More precisely: Let $p$ be a prime number, $\mathbb{F}_{p}$ the prime field with $p$…

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…

In this paper we develop a theory of convexity for a free Abelian group M (the lattice of integer points), which we call theory of discrete convexity. We characterize those subsets X of the group M that could be call "convex". One property…

This work concerns finite free complexes with finite length homology over a commutative noetherian local ring $R$. The focus is on complexes that have length $\mathrm{dim}\, R$, which is the smallest possible value, and in particular on…

We present a variant of the Peskine--Szpiro Acyclicity Lemma, and hence a way to certify exactness of a complex of finite modules over a large class of (possibly) noncommutative rings. Specifically, over the class of Auslander regular…