Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · math/0407492

Associated prime submodules of finitely generated modules

Kamran Divaani-Aazar·Mohammad Ali Esmkhani
View original source ↗Read source document ↗Export metadata ↓

Abstract

Let $R$ be a commutative ring with identity. For a finitely generated $R$-module $M$, the notion of associated prime submodules of $M$ is defined. It is shown that this notion inherits most of essential properties of the usual notion of associated prime ideals. In particular, it is proved that for a Noetherian multiplication module $M$, the set of associated prime submodules of $M$ coincides with the set of $M$-radicals of primary submodules of $M$ which appear in a minimal primary decomposition of the zero submodule of $M$. Also, Anderson's theorem [{\bf 2}] is extended to minimal prime submodules in a certain type of modules.

Explore related subjects

math.AC

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Kamran Divaani-Aazar, Mohammad Ali Esmkhani. 2004-07-28. Associated prime submodules of finitely generated modules. https://arxiv.org/abs/math/0407492

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

The ring of $ω$-invariant symmetric functions in characteristic 2

We provide a simple presentation by generators and relations of the ring of $ω$-invariant symmetric functions over the field $\mathbb{F}_{2}$. Here, $ω$ denotes the standard involution on the ring of symmetric functions, interchanging the elementary symmetric functions with the complete homogeneous symmetric functions. Along the way, we prove several important properties of this involution in the specific setting of characteristic 2.

math.AC↗
arXiv2026

The arithmetic rank of the residual intersections of a complete intersection ideal

The arithmetic rank of an ideal in a polynomial ring over an algebraically closed field is the smallest number of equations needed to define its vanishing locus set-theoretically. We determine the arithmetic rank of the generic $m$-residual intersection of an ideal generated by $n$ indeterminates for all $m\geq n$ and in every characteristic. We further give an explicit description of its set-theoretic generators. Our main result provides a sharp upper bound for the arithmetic rank of any residual intersection of a complete intersection ideal in any Noetherian local ring. In particular, given a complete intersection ideal of height at least two, any of its generic residual intersections -- including its generic link -- fails to be a set-theoretic complete intersection in characteristic zero.

math.AC↗
arXiv2026

Koszul cohomology of Čech cohomology modules

Let $R$ be a commutative Noetherian ring, let $\mathbf{x}=x_1,\ldots,x_n$ be an $R$-regular sequence, and let $\mathbf{y}=y_1,\ldots,y_m$ be a sequence of elements of $R$. Put $I=(\mathbf y)$. Let $\mathcal S$ be a Serre subcategory of the category of $R$-modules. We consider the double complex obtained from the Koszul co-complex with respect to $\mathbf x$ and the Čech complex with respect to $\mathbf y$. Using the two spectral sequences associated with this double complex, we prove that \[ Ext_R^i(R/(\mathbf x),H_I^j(R))\in\mathcal S \quad\text{for all }i,j\in \mathbb N_0 \] implies \[ H_I^j(R/(\mathbf x))\in\mathcal S \quad\text{for all }j\in\mathbb N_0. \]

math.AC↗