Chain conditions for epsilon-strongly graded rings with applications to Leavitt path algebras
设$G$是具有中性元$e$的群,$S=\bigoplus_{g \in G}S_g$是$G$ -分次环. $S$是诺特的一个必要条件是主成分$S_e$是诺特的。下面的部分逆是众所周知的:如果$S$是强分次的,并且$G$是有限多圈群,那么$S_e$是诺特群就意味着$S$是诺特群。我们将把Noetherianity结果推广到最近引入的ε-强分次环类。我们也将给出ε-强分次环的artinianity的结果。作为我们的主要应用,我们得到了一般单位环中系数的Noether和Artinian Leavitt路代数的特征。这扩展了Steinberg最近的一个表征与系数的交换酉环和以前的表征艾布拉姆斯,阿兰达皮诺和Siles Molina的莱维特路径代数系数在一个领域的莱维特路径代数。其次,我们得到了noether和artinian单位部分交叉积的特征。
2018-08-30 math.RA
Reconstructing projective modules from its trace ideal
我们做了详细的研究幂等理想是可数生成的投射右模的痕迹。我们把这样的理想联系到一个上升链的左理想生成,对偶地,一个下降链的右理想生成的右理想。通过对第一序列的研究,我们刻画了投射模的迹理想,并证明了投射模总是可以模提升到投射模的迹理想.作为结果,我们给出了特殊类半局部环上(可数生成)投射模的一些新的分类结果。第二序列的研究使我们考虑诺特FCR-代数上的投射模;我们构造了一些非平凡的投射模,表明在这样的环上,可数生成的投射模不是可数生成的直和的行为一般来说是相当复杂的。
2013-09-19 math.RA
Unbounded derived categories of small and big modules: Is the natural functor fully faithful?
考虑从左诺特环$R$上的所有有限生成模的无界导出范畴到所有模的无界导出范畴的显函子。我们回答的自然问题,是否这个函子定义一个等价到满子范畴的复合物的生成上同调模在两个特殊情况下。如果$R$是一个整体维数为无穷的拟弗罗贝尼乌斯环,则这个函子不是满的.若$R$有有限左整体维数,则这个函子是等价的.我们还证明了左相干环,诺特计划和局部诺特Grothendieck类别后一个断言的变体。
2021-03-19 math.AG math.CT math.KT
On the rings whose injective right modules are max-projective
本文在局部环、半局部右半遗传环等更一般环类上刻画了极大QF环,证明了右几乎QF性与右极大QF性非左右对称且对商环不封闭,并由此引出对所有商环均为几乎QF和极大QF的环的研究。
2024-04-02 math.RA
Torsion-free Modules over Commutative Domains of Krull Dimension One
本研究探讨Krull维数1的交换整环上有限生成无挠模直和类的直和项封闭性,给出局部环、诺特环等情形的等价条件,分析h-局部环的局部化性质及逆命题成立的情形,并证明有限特征整环上可数生成模的同构类由亏格决定。
2025-09-04 math.AC math.RA
Big pure projective modules over commutative noetherian rings: comparison with the completion
该研究针对交换诺特环上的纯投射模分类问题,利用有限生成数据刻画无限生成直和项,拓展经典理论至无限生成情形,还研究了相关幺半群结构并得到子幺半群结论与实现结果。
2023-11-09 math.AC math.RA math.RT
Torsion classes of extended Dynkin quivers over commutative rings
本文研究了交换环上代数的 torsion classes 相容性,证明了当 $Q$ 为扩展 Dynkin quiver 且 $R$ 为 Dedekind domain 或二维 Noetherian semilocal normal ring 时,路代数 $RQ$ 满足相容性条件。
2025-04-25 math.AC math.RA math.RT
Cotorsion pairs generated by modules of bounded projective dimension
本文应用余挠对理论研究了有限投射维数模类关于直接极限运算和滤子的封闭性。我们还证明了:如果环是小有限维数0的$\aleph_0$ -诺特环Q中的一个序,则由至多投射维数为1的模生成的余扭对是有限型的当且仅当Q有大有限维数0.例如,这适用于半素Goldie环和Cohen Macaulay Noether交换环。
2007-11-09 math.RA math.RT
Regular $\mathbb{Z}$-graded local rings and Graded Isolated Singularities
本文研究正则Z-分次局部环的刻画,并用非交换射影概形的整体维数刻画分次孤立奇点,得到其与光滑性及凝聚层范畴有限整体维数的等价条件。
2025-08-08 math.AC math.AG math.RA
Hearts of t-structures in the derived category of a commutative Noetherian ring
设$R$是交换诺特环,$\mathcal D(R)$是它的(无界)导出范畴.证明了$\mathcal D(R)$中所有紧生成的t-结构都有一个Grothendieck范畴的心,该结构与Spec $(R)$的左有界过滤相关联.此外,我们确定所有的紧凑生成的t-结构在$\mathcal D(R)$的心脏是一个模块类别。作为Noether模式$\mathbb{X}$的导出范畴$\mathcal{D}(\mathbb{X})$中的紧生成t-结构$(\mathcal{U},\mathcal{U}^\perp [1])$的几何结果,我们得到:1)若序列$(\mathcal{U}[-n]\cap\mathcal{D}^{\leq 0}(\mathbb{X}))_{n\in\mathbb{N}}$是平稳的,则心脏$\mathcal{H}$是Grothendieck范畴; 2)若$\mathcal{H}$是模范畴,则对于某个仿射子模式$\mathbb{Y}\subseteq\mathbb{X}$,$\mathcal{H}$总是等价于$\text{Qcoh}(\mathbb{Y})$; 3)如果$\mathbb{X}$是连通的,则:a)当$\bigcap_{k\in\mathbb{Z}}\mathcal{U}[k]=0$时,心脏$\mathcal{H}$是模范畴当且仅当给定的t-结构是$\mathca…
2015-09-11 math.CT math.RA
On Serre dimension of monoid algebras and Segre extensions
Indian Institute of Technology Bombay(印度理工学院孟买分校)
设$R$是一个维数为$d$的交换Noether环,$M$是一个秩为$r$的交换$,$消去$,$无挠幺半群.然后是$S$-$dim(R[M]) \leq max\{1, dim(R[M])-1 \} = max\{1, d+r-1 \}$。进一步的$,$我们定义了一类幺半群$\{\mathfrak{M}_n\}_{n \geq 1}$使得如果$M \in \mathfrak{M}_n$是正规的$,$则$S$-$dim(R[M]) \leq dim(R[M]) - n= d+r-n,$其中$1 \leq n \leq r$.作为应用,我们证明了对于Segre扩张$S_{mn}(R)$ over $R,$ $S$-$dim(S_{mn}(R)) \leq dim(S_{mn}(R)) - \Big[\frac{m+n-1}{min\{m,n\}}\Big] = d+m+n-1 - \Big[\frac{m+n-1}{min\{m,n\}}\Big]$.
2022-01-17 math.AC math.RA
A semigroup-theoretical view of direct-sum decompositions and associated combinatorial problems
设$R$是一个环,$\mathcal C$是一类在有限直和、直和项和同构下闭的右$R$ -模.令$\mathcal V (\mathcal C)$表示$\mathcal C$中同构类的一组表示,对于$\mathcal C$中的任何模块$M$,令$[M]$表示$\mathcal V (\mathcal C)$中与$M$同构的唯一元素。则$\mathcal V (\mathcal C)$是一个由$[M] + [N] = [M \oplus N]$定义的带运算的约化交换半群,并且这个半群携带了$\mathcal C$中模的直和分解的全部信息.这个半群理论的观点在直和分解理论中很流行,因为它证明了如果$\operatorname{End}_R (M)$对所有$M\in \mathcal C$是半局部的,那么$\mathcal V (\mathcal C)$是Krull幺半群。假设幺半群$\mathcal V (\mathcal C)$是Krull,有一个无挠生成的类群(例如,当$\mathcal C$是无挠生成的无扭模类,而$R$是一维约化诺特局部环)。在这种情况下,我们研究的算法$\mathcal V (\mathcal C)$使用新的方法从零和理论。此外,基于Lam,Levy,Robson等人的模理论工作,我们研究了Prüfer环和遗传Noether素环上某些模类的么半群$\mathc…
2014-09-15 math.AC math.CO math.RA
Direct sums of representations as modules over their endomorphism rings
研究环$R$上不可分解模$M_i$的无限直和$\bigoplus_{i \in I} M_i$的闭结构.它集中于以下问题:如果是$S = \text{End}_R \bigl( \bigoplus_{i \in I} M_i \bigr)$,根据$\bigoplus_{i \in I} M_i$的$S$ -结构,需要多大的压力才能迫使$M_i$成为许多同构类?在$M_i$是有界的(即,有限长的自同态环),$M_i$之间的同构类的数目是有限的当且仅当$\bigoplus_{i \in I} M_i$是endo-Noether的,并且$M_i$形成右$T$ -幂零类。这是一个推论的一个更一般的定理在文件中,其特点是较弱的条件(右或左)半$T$ -零以及endosocle的一个模块。这一结果在Artin代数的情形中得到了进一步的证明,即如果$M_i$是双生成的,则直和$\bigoplus_{i \in I} M_i$是endo-Artin的当且仅当它是$Σ$ -代数紧的。
2014-07-09 math.RA math.RT
Module decompositions using pairwise comaximal ideals
本文证明了:对于具有单位元的环$R$中给定的两两共极大理想$\{X_i\}_{i\in I}$和任意具有生成集$Y$和$C(X_i)=\sum\limits_{k\in\mathbb{N}}\underline{\ell}_M(X_i^{k})$的右$R$ -模$M$,$M=\oplus_{i\in I}C(X_i)$当且仅当对每个$y\in Y$存在非空有限子集$J\subseteq I$和正整数$k_j$使得$\bigcap\limits_{j\in J}X_i^{k_j}\subseteq\underline{r}_R(yR)$ .我们研究这种分解的一般类的模块。我们的主要定理可以应用到一个大类的环,包括半局部环$R$与$R$的Jacobson根等于$R$的素根,左(或右)完美环,分段素环,环与ACC的理想和满足右AR性质的理想。这种分解将扭阿贝尔群的分解推广为它的p-分量的直和。我们还发展了一个扭理论与成对共极大理想集。
2015-08-06 math.RA
Relatively big projective modules and their applications to direct sum decompositions
本文扩展了可数生成投射模相对于迹理想总是相对大的环的例子列表,证明其包括满足多项式恒等式的右noetherian环及$h$-局部整环上的局部半完备无挠代数,并以此完整刻画了Krull维数为1的$h$-局部整环上有限生成无挠模直和项的分解性质。
2025-10-12 math.AC math.RA math.RT
Decomposition and Structure theorems for Garside-like groups with modular lattice structure
本文证明具有强序单位的模 noetherian 右 $\ell$-群可分解为 beams 的直积,并给出了维度 $\delta\geq 4$ 的 beams 的坐标化方法,从而精确描述了一大类模 Garside 群的结构。
2023-04-08 math.GR math.RA
Über die assoziierten Primideale der Vervollständigung
设$(R,\my)$是一个Noether局部环,$M$是一个$R$模,使得$\bigcap\limits_{n\geq 1} \my^n M=0.$令$\hat{M}$是$M$的完备化.我们证明了Ass $(\hat{M})=$ Koatt $(M)$在以下三种情况下成立:如果$\dim(R)\leq 1,$,如果作为$R$ -模的$\hat{M}$是平坦的,或者如果$M$是$R$ -模的直和,这些模都是连续生成的.如果$\hat{M}$中的$M$是纯的,则至少Ass $(\hat{M}) \subset $ Koatt $(M)$成立。如果A.- M.Simon关于完整的$R$ -模块有效,则有Koatt $(M)\subset $屁股$(\hat{M}).$
2012-06-20 math.AC math.RA
Gorenstein acyclic complexes and finitistic dimensions
本文研究带对偶复形的双边Noether环的大有限维数有限性问题,给出其与Gorenstein投射-无环上链复形可缩性的等价刻画,并对Artin代数证明Rickard定理的Gorenstein版本。
2023-10-08 math.RA math.RT
Sofic Mean Length
给定酉环R的R-模上的一个长度函数L,对于每个sofic群$Γ$,我们定义了每个局部L-有限$RΓ$ -模相对于更大的$RΓ$ -模的平均长度.建立了平均长度的加法公式。我们给出两个应用程序。第一个证明了对任意有单位的左诺特环R,$RΓ$是稳定直有限的.第二个证明了对任何$ZΓ$ -模M,M的Pontryagin对偶上的诱导$Γ$ -作用的平均拓扑维数与M的von Neumann-Lück秩一致.
2019-01-22 math.DS math.GR math.OA
A monoid-theoretical approach to infinite direct-sum decompositions of modules
University of Graz(格拉茨大学);Faculty of Mathematics and Physics (FMF) University of Ljubljana(卢布尔雅那大学数学与物理学院);Institute of Mathematics, Physics and Mechanics (IMFM)(数学、物理与力学研究所)
本文通过引入带κ-直和运算的κ-幺半群,研究模的无限直和分解,证明投射模的无限直和关系可由可数直和关系诱导,并刻画了遗传环及半局部诺特环上κ-幺半群的结构。
2026-10-19 math.RA
Castelnuovo-Mumford regularity for complexes and weakly Koszul modules
设A是一个Noether AS正则Koszul代数(若A是交换的,则它本质上是一个多项式环),grA是A生成的分次左A-模范畴.在Jorgensen的基础上,我们用X的局部上同调或极小投射分解定义了复形X \in D^b(grA)的Castelnuovo-Mumford正则性reg(X).让A^!是A的二次对偶环。对于Koszul对偶函子DG:D^b(grA)-> D^b(grA^!),我们有reg(X)= max {i| H^i(DG(X))\ne 0}.利用这些概念,我们研究了A^!上的弱Koszul模(=分量线性模)。作为应用,我们改进了Herzog和Roemer的结果,证明了:如果J是外代数E= \bigwedge < y_1,.的单项理想,y_d >,d \geq 3,则E/J的第(d-2)合是弱Koszul合.
2005-09-21 math.AC math.RA
On Commutative Rings Whose Prime Ideals Are Direct Sums of Cyclics
本文研究素理想为循环模直和的交换环$R$。在$R$是交换局部环的有限直积的情况下,完整地描述了这类环的结构.特别地,证明了对于局部环$(R, \cal{M})$,下列命题是等价的:(1)$R$的每个素理想是循环$R$ -模的直和;(2)${\cal{M}}=\bigoplus_{λ\in Λ}Rw_λ$和$R/{\rm Ann}(w_λ)$是每个$λ\in Λ$的主理想环;(3)$R$的每个素理想至多是$|Λ|$循环$R$ -模的直和;(4)$R$的每个素理想是循环$R$ -模的直和的和项.此外,我们建立了一个定理,其中规定,检查是否每一个素理想在诺特局部环$(R, \cal{M})$是一个直和(至多$n$)主理想,它足以测试只有极大理想$\cal{M}$。
2012-02-02 math.AC math.RA
Finitistic dimensions over commutative DG-rings
本文研究有限振幅交换诺特非正DG-环的有限维数,证明有限平坦维数DG-模的投射维数上界,构造指定投射维数的DG-模并给出大有限投射维数的上下界及可达性,还得到同调光滑代数导出Hochschild(上)同调的新零化结果。
2024-10-07 math.AC math.KT math.RA
Syzygy modules for quasi $k$-Gorenstein rings
设$Λ$是拟$k$ -Gorenstein环.对于mod $Λ$中的每个$d$次合模$M$(其中$0 \leq d \leq k-1$),我们得到了mod $Λ$中的正合序列$0 \to B \to M \bigoplus P \to C \to 0$,它具有对偶正合,$P$是投射的,$C$是$(d+1)$次合模,$B$是Ext $_Λ^{d+1}(D(M), Λ)$的$d$次合模,且$B^*$的右投射维数小于或等于$d-1$ .然后我们给出这样一个正合序列的一些应用如下。(1)我们得到了一个关于$M$的满射链,通过对偶化它,我们得到了Auslander和Bridger关于$M^*$的球面滤子. (2)对于mod $Λ^{op}$中的每一个自反模,我们得到了Auslander和Bridger的逼近定理. (3)我们证明了对于任何$0 \leq d \leq k-1$,模$Λ$中的每个$d$次合模都有一个Evans-Griffith表示.作为(3)的直接结果,我们有,如果$Λ$是一个具有有限自内射维数的交换Noether环,则对任何非负整数$d$,mod $Λ$中的每个$d$次合合模都有Evans-Griffith表示,这将Evans和Griffith的结果推广到更一般的情形.
2004-09-10 math.RA math.RT
Über die von einem Ideal $I \subset R$ erzeugten $R$-Moduln III
设$(R, \mathfrak m)$是交换Noether局部环,$I$是$R$的理想.对于每个$R$ -模块$M$,$γ_I(M) = \sum\{ \operatorname{Bi} f \,|\, f \in \operatorname{Hom}_R(I,M)\}$被称为$M$中$I$的跟踪。很容易看出PDMATHAMR总是暗示PDMATHAMS。如果第二个条件对$R$的所有理想$I$成立,我们说$M$是优的。在第一部分中,我们给出了这些模的一些条件,这些条件对于内射模是众所周知的。在第二部分中,我们研究了特殊情况$M = R$。特别是,我们证明了对于每个素理想$\mathfrak{p}$,等式$\mathfrak{p} = γ_{\mathfrak{p}}(R)$成立当且仅当$R_{\mathfrak{p}}$不是离散赋值环。由Matlis(1973)关于1维局部CM-环的结果并借助于第一邻域环$n \geq 1$,可以立即得出几乎所有$n \geq 1$都有$γ_{\mathfrak{m}^n} (R) = Λ^{-1}$。在第三部分中,我们研究了对偶结构$κ_I(M) = \bigcap \{ \operatorname{Ke} f \,|\, f\in \operatorname{Hom}_R(M,I^\circ) \}$,并通过考虑Matlis对偶$M^\circ …
2018-04-12 math.AC math.RA
Indecomposability of graded modules over a graded ring
本文证明了在 Henselian 局部环上的非负分次环及其有限型分次代数中,模的不可分解性在分次、局部化和完备化意义下等价,并给出了分次模分解的 Krull-Schmidt 唯一性定理及其在特征 p 环 FFRT 性质上的应用。
2023-06-26 math.AC math.RA