An $R$-module $M$ is Hopfian (co-Hopfian) if any epic (monic) endomorphism of $M$ is an automorphism. If $R$ is commutative Noetherian, we characterize the co-Hopfian injective $R$-modules, and the Hopfian injectives in the case that $R$ is also reduced. For a commutative Artinian principal ideal ring, we show that $M$ is Hopfian (co-Hopfian) if and only if $M$ is finitely generated if and only if its injective envelope $E(M)$ is Hopfian (co-Hopfian) if and only if $E(M)$ is finitely generated. We identify the obstacle to generalizing this result to arbitrary Artinian principal ideal rings.
In this paper we prove that if $R$ is a commutative, reduced, local ring, then $R$ is Hopfian if and only if the ring $R[x]$ is Hopfian. This answers a question of Varadarajan, in the case when $R$ is a reduced local ring. We provide examples of non-Noetherian Hopfian commutative domains by proving that the finite dimensional domains are Hopfian. Also, we derive some general results related to Hopfian rings.
For any commutative ring $A$ we introduce a generalization of $S$--artinian rings using a hereditary torsion theory $σ$ instead of a multiplicative closed subset $S\subseteq{A}$. It is proved that if $A$ is a totally $σ$--artinian ring, then $σ$ must be of finite type, and $A$ is totally $σ$--noetherian.
We study the conjecture that if $I,J$ are $μ-$primary in a regular local ring $(R,μ)$ with dim$(R)=n$, then $\frac{I \cap J}{IJ} \cong \Tor_1(R/I, R/J)$ needs at least $n$ generators, and a related conjecture about the number of generators of the first Koszul homology module of an Artinian local ring $(A,m)$. In this manuscript, we focus our attention on the complete intersection defect of the Artinian ring and its quotient by the Koszul elements. We prove that the number of generators of the first Koszul homology module of $x_1,...,x_n \in m$ on an Artinian local ring $(A,m)$ is at least $n+ …
In this paper, we make the notion of approximating an Artinian local ring by a Gorenstein Artin local ring precise using the concept of Gorenstein colength. We also answer the question as to when the Gorenstein colength is at most two.
In this paper we give an effective characterization of Hilbert functions and polynomials of standard algebras over an Artinian equicharacteristic local ring; the cohomological properties of such algebras are also studied. We describe algorithms to check the admissibility of a given function or polynomial as a Hilbert function or polynomial, and to produce a standard algebra with a given Hilbert function.
Let $R$ be a commutative Noetherian ring. It is shown that $R$ is Artinian if and only if every $R$-module is good, if and only if every $R$-module is representable. As a result, it follows that every nonzero submodule of any representable $R$-module is representable if and only if $R$ is Artinian. This provides an answer to a question which is investigated in [{\bf 1}].
We define a notion of compressed local Artinian ring that does not require the ring to contain a field. Let $(R,\mathfrak m)$ be a compressed local Artinian ring with odd top socle degree $s$, at least five, and $\operatorname{socle}(R)\cap \mathfrak m^{s-1}=\mathfrak m^s$. We prove that the Poincaré series of all finitely generated modules over $R$ are rational, sharing a common denominator, and that there is a Golod homomorphism from a complete intersection onto $R$.
We give a characterization of the Lefschetz elements in Artinian Gorenstein rings over a field of characteristic zero in terms of the higher Hessians. As an application, we give new examples of Artinian Gorenstein rings which do not have the strong Lefschetz property.
Let R be a commutative Noetherian ring and A an Artinian R-module. We prove that if A has finite Gorenstein injective dimension, then A possesses a Gorenstein injective envelope which is special and Artinian. This, in particular, yields that over a Gorenstein ring any Artinian module possesses a Gorenstein injective envelope which is special and Artinian.
The basic sequence of a homogeneous ideal $I\sset R=k[\seq{x}{1}{r}]$ defining an Artinian graded ring $A=R/I$ not having the weak Lefschetz property has the property that the first term of the last part is less than the last term of the penultimate part. For a general linear form $\ell$ in $\seq{x}{1}{r}$, this fact affects in a certain way the behavior of the $r-1$ square matrices in $k[\ell]$ which represent the multiplications of the elements of $A$ by $\seq{x}{1}{r-1}$ through a minimal free presentation of $A$ over $k[\ell]$. Taking advantage of it, we consider some modules over an algeb…
Let $R$ be a commutative Noetherian local ring of prime characteristic. The purpose of this paper is to provide a short proof of G. Lyubeznik's extension of a result of R. Hartshorne and R. Speiser about a module over the skew polynomial ring $R[x,f]$ (associated to $R$ and the Frobenius homomorphism $f$, in the indeterminate $x$) that is both $x$-torsion and Artinian over $R$.
Let V be a finite-dimensional vector space over a field k and let W be a 1-dimensional k-vector space. Let < , >: V x V \to W be a symmetric bilinear form. Then < , > is called anisotropic if for all nonzero v \in V we have <v,v> \neq 0. Motivated by a problem in algebraic number theory, we come up with a generalization of the concept of anisotropy to symmetric bilinear forms on finitely generated modules over artinian principal ideal rings. We will give many equivalent definitions of this concept of anisotropy. One of the definitions shows that one can check if a form is anisotropic by checki…
Fix a pair of positive integers d and n. We create a ring R and a complex G of R-modules with the following universal property. Let P be a polynomial ring in d variables over a field and let I be a grade d Gorenstein ideal in P which is generated by homogeneous forms of degree n. If the resolution of P/I by free P-modules is linear, then there exists a ring homomorphism from R to P such that P tensor G is a minimal homogeneous resolution of P/I by free P-modules. Our construction is coordinate free.
We study two subcategories of the category of artinian modules, a wide subcategory and a Serre subcategory. We prove that all wide subcategories of artinian modules are Serre subcategories. We also provide the bijection between the set of Serre subcategories and the set of specialization closed subsets of the set of closed prime ideals of some completed ring.
The class of all Artinian local rings of length at most l is A_2-elementary, axiomatised by a finite set of axioms Art_l. We show that its existentially closed models are Gorenstein, of length exactly l and their residue fields are algebraically closed, and, conversely, every existentially closed model is of this form. The theory Gor_l of all Artinian local Gorenstein rings of length l with algebraically closed residue field is model complete and the theory Art_l is companionable, with model-companion Gor_l.
Let $(R,\mathfrak{m})$ be a commutative local noetherian ring. For an artinian $R$-module $M$, we show the equality $$\mathrm{cosupp}_RM=\mathrm{Cosupp}_RM$$ using the semi-discrete linearly compactness of $R$-module $\mathrm{Hom}_R(R_\mathfrak{p},M)$ where $\mathfrak{p}$ is a prime ideal of $R$.
In a recent paper it has been established that over an Artinian ring R all two-dimensional polynomial automorphisms having Jacobian determinant one are tame if R is a Q-algebra. This is a generalization of the famous Jung-Van der Kulk Theorem, which deals with the case that R is a field (of any characteristic). Here we will show that for tameness over an Artinian ring, the Q-algebra assumption is really needed: we will give, for local Artinian rings with square-zero principal maximal ideal, a complete description of the tame automorphism subgroup. This will lead to an example of a non-tame aut…
In this paper, we study the dependence of the weak Lefschetz property of algebras defined by a special class of monomials ideals in a polynomial ring with coefficient in a field, to the characteristic of the base field.
Gerstenhaber showed in 1961 that any commuting pair of n x n matrices over a field k generates a k-algebra A of k-dimension \leq n. A well-known example shows that the corresponding statement for 4 matrices is false. The question for 3 matrices is open. Gerstenhaber's result can be looked at as a statement about the relation between the length of a 2-generator finite-dimensional commutative k-algebra A and the lengths of faithful A-modules. Wadsworth generalized this result to a larger class of commutative rings than those generated by two elements over a field. We recover his generalization, …
In this paper, we exploit some geometric-differential techniques to prove the strong Lefschetz property in degree $1$ for a complete intersection standard Artinian Gorenstein algebra of codimension $6$ presented by quadrics. We prove also some strong Lefschetz properties for the same kind of Artinian algebras in higher codimensions. Moreover, we analyze some loci that come naturally into the picture of "special" Artinian algebras: for them, we give some geometric descriptions and show a connection between the non emptiness of the so-called non-Lefschetz locus in degree $1$ and the "lifting" of…
Let $R$ be a Noetherian ring, $I$ an ideal of $R$ and $M$ an $R$-module. In this article, we examine the question of whether an arbitrary top local cohomology module, $\operatorname{H}^{\operatorname{cd}(I,M)}_I(M)$, is Artinian, or not. Several results related to this question are obtained; in particular, we prove that over a Noetherian local unique factorization domain $R$ of dimension three, for a finitely generated faithful module $M$, a top local cohomology module is Artinian if and only if $\operatorname{cd}(I,M)= 3$.
The resultant of two univariate polynomials is an invariant of great importance in commutative algebra and vastly used in computer algebra systems. Here we present an algorithm to compute it over Artinian principal rings with a modified version of the Euclidean algorithm. Using the same strategy, we show how the reduced resultant and a pair of Bézout coefficient can be computed. Particular attention is devoted to the special case of $\mathbf{Z}/n\mathbf{Z}$, where we perform a detailed analysis of the asymptotic cost of the algorithm. Finally, we illustrate how the algorithms can be exploited …
Let $(R,\mathfrak m)$ be a Noetherian local ring, $I$ an ideal of $R$ and $M$ a weakly finite or a coatomic $R$-module of dimension $n$. In this article, we resolve the Artinianness and non-Artinianness of top local cohomology modules, $H^{cd(I,M)}_I(M)$, in all cases except in the case $cd(I,M)=n-1$ and $dim(R/{I+Ann(M)})>1$ for which we have some sorter results under certain conditions.
The rank of a ring $R$ is the supremum of minimal cardinalities of generating sets of $I$ as $I$ ranges over ideals of $R$. Matson showed that every positive integer occurs as the rank of some ring $R$. Motivated by the result of Cohen and Gilmer that a ring of finite rank has Krull dimension $0$ or $1$, we give four different constructions of rings of rank $n$ (for all positive integers n). Two constructions use one-dimensional domains, and the former of these directly generalizes Matson's construction. Our third construction uses Artinian rings (dimension zero), and our last construction use…
This paper centers around Artinianness of the local cohomology of $ZD$-modules. Let $\fa$ be an ideal of a commutative Noetherian ring $R$. The notion of $\fa$-relative Goldie dimension of an $R$-module $M$, as a generalization of that of Goldie dimension is presented. Let $M$ be a $ZD$-module such that $\fa$-relative Goldie dimension of any quotient of $M$ is finite. It is shown that if $\dim R/\fa=0$, then the local cohomology modules $H^i_{\fa}(M)$ are Artinian. Also, it is proved that if $d=\dim M$ is finite, then $H^d_{\fa}(M)$ is Artinian, for any ideal $\fa$ of $R$ . These results exten…
Let $R$ be a commutative Noetherian ring and $\fa$ an ideal of $R$. We intend to establish the dual of two Faltings' Theorems for local homology modules of an Artinian module. As a consequence of this, we show that, if $A$ is an Artinian module over semi-local complete ring $R$ and $j$ is an integer such that $H_i^{\fa}(A)$ is Artinian for all $i<j$, then the set $\Coass_R(H_j^{\fa}(A))$ is finite. We also introduce the notion of the $n$th Artinianness dimension $g_n^\fa(A)=\inf\{g^{\fa R_{\fp}}(^\fp A): \fp\in\Spec(R) \ \ \text{and} \ \ \dim R/\fp\geq n\}$, for all $n\in\mathbb{N}_{0}$ and pr…
Let $M$ be a finite module over a commutative noetherian ring $R$. For ideals $\fa$ and $\fb$ of $R$, the relations between cohomological dimensions of $M$ with respect to $\fa, \fb$, $\fa\cap\fb$ and $\fa+ \fb$ are studied. When $R$ is local, it is shown that $M$ is generalized Cohen-Macaulay if there exists an ideal $\fa$ such that all local cohomology modules of $M$ with respect to $\fa$ have finite lengths. Also, when $r$ is an integer such that $0\leq r< \dim_R(M)$, any maximal element $\fq$ of the non-empty set of ideals $\{\fa$ : $\H_\fa^i(M)$ is not artinian for some $i$, $i\geq r$$\}$…
Let R be a commutative local noetherian ring, and let L and L' be R-modules. We investigate the properties of the functors Tor_i^R(L,-) and Ext^i_R(L,-). For instance, we show the following: (a) if L is artinian and L' is noetherian, then Hom_R(L,L') has finite length; (b) if L and L' are artinian, then the tensor product L \otimes_R L' has finite length; (c) if L and L' are artinian, then Tor_i^R(L,L') is artinian, and Ext^i_R(L,L') is noetherian over the completion \hat R; and (d) if L is artinian and L' is Matlis reflexive, then Ext^i_R(L,L'), Ext^i_R(L',L), and Tor_i^R(L,L') are Matlis ref…
Given positive integers e and s we consider Gorenstein Artinian local rings R of embedding dimension e whose maximal ideal $\mathfrak{m}$ satisfies $\mathfrak{m}^s\ne 0=\mathfrak{m}^{s+1}$. We say that R is a compressed Gorenstein local ring when it has maximal length among such rings. It is known that generic Gorenstein Artinian algebras are compressed. If $s\ne 3$, we prove that the Poincare series of all finitely generated modules over a compressed Gorenstein local ring are rational, sharing a common denominator. A formula for the denominator is given. When s is even this formula depends on…
Let $A$ be a noetherian ring, $\fa$ an ideal of $A$, and $M$ an $A$--module. Some uniform theorems on the artinianness of certain local cohomology modules are proven in a general situation. They generalize and imply previous results about the artinianness of some special local cohomology modules in the graded case.
Let R be a commutative ring, and let L and L' be R-modules. We investigate finiteness conditions (e.g., noetherian, artinian, mini-max, Matlis reflexive) of the modules Ext^i_R(L,L') and Tor_i^R(L,L') when L and L' satisfy combinations of these finiteness conditions. For instance, if R is noetherian, then given R-modules M and M' such that M is Matlis reflexive and M' is mini-max (e.g., noetherian or artinian), we prove that Ext^i_R(M,M'), Ext^i_R(M',M), and Tor_i^R(M,M') are Matlis reflexive over R for all i\geq 0 and that Ext^i_R(M,M')^\vee\cong Tor_i^R(M,M'^\vee) and Ext^i_R(M',M)^\vee\cong…
Let $\fa$ be an ideal of a Noetherian local ring $(R,\fm)$ and $M$ a finitely generated $R$-module. In this paper we introduce some criterions on Artinianness of formal local cohomology, in particular vanishing and finiteness of local cohomology modules. We find out the lower and upper bound for Artinianness of formal local cohomology
Let $R$ be a commutative noetherian ring, $I,J$ be two ideals of $R$, $M$ be an $R$-module, and $\mathcal{S}$ be a Serre class of $R$-modules. A positive answer to the Huneke$^,$s conjecture is given for a noetherian ring $R$ and minimax $R$-module $M$ of krull dimension less than 3, with respect to $\mathcal{S}$. There are some results on cofiniteness and artinianness of local cohomology modules with respect to a pair of ideals. For a ZD-module $M$ of finite krull dimension and an integer $n\in\mathbb{N}$, if $\lc^{i}_{I,J}(M)\in\mathcal{S}$ for all $i>n$, then $\lc^{i}_{I,J}(M)/\fa^{j}\lc^{i…
We consider vanishing of Ext and Tor, especially over Artinian rings. In particular, we prove the Auslander-Reiten conjecture for all commutative local rings in which the cube of the maximal ideal is zero.
A connected sum construction for local rings was introduced in a paper by H. Ananthnarayan, L. Avramov, and W.F. Moore. In the graded Artinian Gorenstein case, this can be viewed as an algebraic analogue of the topological construction of the same name. We give two alternative description of this algebraic connected sum: the first uses algebraic analogues of Thom classes of vector bundles and Gysin homomorphisms, the second is in terms of Macaulay dual generators. We also investigate the extent to which the connected sum construction preserves the weak or strong Lefschetz property, thus provid…
Let $(R,\mathfrak{m})$ be a commutative Noetherian local ring, $M$ be a finitely generated $R$-module and $\mathfrak{a}$, $I$ and $J$ be ideals of $R$. We investigate the structure of formal local cohomology modules of $\mathfrak{F}^i_{\mathfrak{a},I,J}(M)$ and $\check{\mathfrak{F}}^i_{\mathfrak{a},I,J}(M)$ with respect to a pair of ideals, for all $i\geq 0$. The main subject of the paper is to study the finiteness properties and Artinianness of $\mathfrak{F}^i_{\mathfrak{a},I,J}(M)$ and $\check{\mathfrak{F}}^i_{\mathfrak{a},\mathfrak{m},J}(M)$. We study the maximum and minimum integer $i\in \…
Gerko proves that if an artinian local ring $(R,\mathfrak{m}_R)$ possesses a sequence of strongly Tor-independent modules of length $n$, then $\mathfrak{m}_R^n\neq 0$. This generalizes readily to Cohen-Macaulay rings. We present a version of this result for non-Cohen-Macaulay rings.
Let GradAlg(H) be the scheme parameterizing graded quotients of R=k[x_0,...,x_n] with Hilbert function H (it is a subscheme of the Hilbert scheme of P^n if we restrict to quotients of positive dimension, see definition below). A graded quotient A=R/I of codimension c is called standard determinantal if the ideal I can be generated by the t by t minors of a homogeneous t by (t+c-1) matrix (f_{ij}). Given integers a_0\le a_1\le ...\le a_{t+c-2} and b_1\le ...\le b_t, we denote by W_s(\underline{b};\underline{a}) the stratum of GradAlg(H) of determinantal rings where f_{ij} \in R are homogeneous …
Let $R$ be a commutative ring and ${\Bbb{A}}(R)$ be the set of ideals with non-zero annihilators. The annihilating-ideal graph of $R$ is defined as the graph ${\Bbb{AG}}(R)$ with the vertex set ${\Bbb{A}}(R)^*={\Bbb{A}}\setminus\{(0)\}$ and two distinct vertices $I$ and $J$ are adjacent if and only if $IJ=(0)$. We investigate commutative rings $R$ whose annihilating-ideal graphs have positive genus $γ(\Bbb{AG}(R))$. It is shown that if $R$ is an Artinian ring such that $γ(\Bbb{AG}(R))<\infty$, then $R$ has finitely many ideals or $(R,\mathfrak{m})$ is a Gorenstein ring with maximal ideal $\mat…
Let $R$ be a commutative ring and $M$ a non-zero $R$-module. We introduce the class of \emph{pseudo strongly hollow submodules} (\emph{PS-hollow submodules}, for short) of $M$. Inspired by the theory of modules with \emph{secondary representations}, we investigate modules which can be written as \emph{finite} sums of PS-hollow submodules. In particular, we provide existence and uniqueness theorems for the existence of \emph{minimal} PS-hollow strongly representations of modules over Artinian rings.
Let $R$ be a commutative ring and let $U(R)$ be multiplicative group of unit elements of $R$. In 2012, Khashyarmanesh et al. defined generalized unit and unitary Cayley graph, $Γ(R, G, S)$, corresponding to a multiplicative subgroup $G$ of $U(R)$ and a non-empty subset $S$ of $G$ with $S^{-1}=\{s^{-1} \mid s\in S\}\subseteq S$, as the graph with vertex set $R$ and two distinct vertices $x$ and $y$ are adjacent if and only if there exists $s\in S$ such that $x+sy \in G$. In this paper, we characterize all Artinian rings $R$ whose $Γ(R,U(R), S)$ is projective. This leads to determine all Artinia…
