scholarly journals Linearity defect and regularity over a Koszul algebra

2009 ◽  
Vol 104 (2) ◽  
pp. 205 ◽  
Author(s):  
Kohji Yanagawa

Let $A = \bigoplus_{i\in \mathsf{N}}A_i$ be a Koszul algebra over a field $K = A_0$, and $*\operatorname{mod} A$ the category of finitely generated graded left $A$-modules. The linearity defect $\mathrm{ld}_A(M)$ of $M \in *\operatorname{mod} A$ is an invariant defined by Herzog and Iyengar. An exterior algebra $E$ is a Koszul algebra which is the Koszul dual of a polynomial ring. Eisenbud et al. showed that $\mathrm{ld}_E(M) < \infty$ for all $M \in *\operatorname{mod} E$. Improving this, we show that the Koszul dual $A^!$ of a Koszul commutative algebra $A$ satisfies the following. Let $M \in *\operatorname{mod} A^!$. If $\{\dim_K M_i \mid i \in {\mathsf Z}\}$ is bounded, then $\mathrm{ld}_{A^!}(M) < \infty$. If $A$ is complete intersection, then $\mathrm{reg}_{A^!}(M) < \infty$ and $\mathrm{ld}_{A^!}(M) < \infty$ for all $M \in *\operatorname{mod} A^!$. If $E=\bigwedge \langle y_1, \ldots, y_n\rangle$ is an exterior algebra, then $\mathrm{ld}_E(M)\leq c^{n!} 2^{(n-1)!}$ for $M \in *\operatorname{mod} E$ with $c := \max \{\dim_K M_i \mid i \in{\mathsf Z}\}$.

2009 ◽  
Vol 19 (03) ◽  
pp. 287-303 ◽  
Author(s):  
ISABEL GOFFA ◽  
ERIC JESPERS ◽  
JAN OKNIŃSKI

Let A be a finitely generated commutative algebra over a field K with a presentation A = K 〈X1,…, Xn | R〉, where R is a set of monomial relations in the generators X1,…, Xn. So A = K[S], the semigroup algebra of the monoid S = 〈X1,…, Xn | R〉. We characterize, purely in terms of the defining relations, when A is an integrally closed domain, provided R contains at most two relations. Also the class group of such algebras A is calculated.


2009 ◽  
Vol 74 (3) ◽  
pp. 734-750
Author(s):  
Moshe Kamensky

AbstractWe find the model completion of the theory modules over , where is a finitely generated commutative algebra over a field K. This is done in a context where the field K and the module are represented by sorts in the theory, so that constructible sets associated with a module can be interpreted in this language. The language is expanded by additional sorts for the Grassmanians of all powers of Kn, which are necessary to achieve quantifier elimination.The result turns out to be that the model completion is the theory of a certain class of “big” injective modules. In particular, it is shown that the class of injective modules is itself elementary. We also obtain an explicit description of the types in this theory.


2012 ◽  
Vol 19 (spec01) ◽  
pp. 1161-1166
Author(s):  
Parviz Sahandi ◽  
Tirdad Sharif ◽  
Siamak Yassemi

Any finitely generated module M over a local ring R is endowed with a complete intersection dimension CI-dim RM and a Gorenstein dimension G-dim RM. The Gorenstein dimension can be extended to all modules over the ring R. This paper presents a similar extension for the complete intersection dimension, and mentions the relation between this dimension and the Gorenstein flat dimension. In addition, we show that in the intersection theorem, the flat dimension can be replaced by the complete intersection flat dimension.


1980 ◽  
Vol 32 (1) ◽  
pp. 210-218 ◽  
Author(s):  
A. V. Geramita ◽  
C. A. Weibel

Throughout this paper all rings considered will be commutative, noetherian with identity. If R is such a ring and M is a finitely generated R-module, we shall use v(M) to denote that non-negative integer with the property that M can be generated by v(M) elements but not by fewer.Since every ideal in a noetherian ring is finitely generated, it is a natural question to ask what v(I) is for a given ideal I. Hilbert's Nullstellensatz may be viewed as the first general theorem dealing with this question, answering it when I is a maximal ideal in a polynomial ring over an algebraically closed field.More recently, it has been noticed that the properties of an R-ideal I are intertwined with those of the R-module I/I2.


2015 ◽  
Vol 219 ◽  
pp. 113-125
Author(s):  
Olgur Celikbas ◽  
Srikanth B. Iyengar ◽  
Greg Piepmeyer ◽  
Roger Wiegand

AbstractTensor products usually have nonzero torsion. This is a central theme of Auslander's 1961 paper; the theme continues in the work of Huneke and Wiegand in the 1990s. The main focus in this article is on tensor powers of a finitely generated module over a local ring. Also, we study torsion-free modulesNwith the property thatM ⊗RNhas nonzero torsion unlessMis very special. An important example of such a moduleNis the Frobenius powerpeRover a complete intersection domainRof characteristicp&gt; 0.


2019 ◽  
Vol 71 (1) ◽  
pp. 53-71
Author(s):  
Peter Mayr ◽  
Nik Ruškuc

Abstract Let $K$ be a commutative Noetherian ring with identity, let $A$ be a $K$-algebra and let $B$ be a subalgebra of $A$ such that $A/B$ is finitely generated as a $K$-module. The main result of the paper is that $A$ is finitely presented (resp. finitely generated) if and only if $B$ is finitely presented (resp. finitely generated). As corollaries, we obtain: a subring of finite index in a finitely presented ring is finitely presented; a subalgebra of finite co-dimension in a finitely presented algebra over a field is finitely presented (already shown by Voden in 2009). We also discuss the role of the Noetherian assumption on $K$ and show that for finite generation it can be replaced by a weaker condition that the module $A/B$ be finitely presented. Finally, we demonstrate that the results do not readily extend to non-associative algebras, by exhibiting an ideal of co-dimension $1$ of the free Lie algebra of rank 2 which is not finitely generated as a Lie algebra.


1988 ◽  
Vol 110 ◽  
pp. 113-128 ◽  
Author(s):  
Lê Tuân Hoa

Let N denote the set of non-negative integers. An affine semigroup is a finitely generated submonoid S of the additive monoid Nm for some positive integer m. Let k[S] denote the semigroup ring of S over a field k. Then one can identify k[S] with the subring of a polynomial ring k[t1, …, tm] generated by the monomials .


2018 ◽  
Vol 17 (02) ◽  
pp. 1850023 ◽  
Author(s):  
L. Izelgue ◽  
O. Ouzzaouit

Let [Formula: see text] and [Formula: see text] be two rings, [Formula: see text] an ideal of [Formula: see text] and [Formula: see text] be a ring homomorphism. The ring [Formula: see text] is called the amalgamation of [Formula: see text] with [Formula: see text] along [Formula: see text] with respect to [Formula: see text]. It was proposed by D’anna and Fontana [Amalgamated algebras along an ideal, Commutative Algebra and Applications (W. de Gruyter Publisher, Berlin, 2009), pp. 155–172], as an extension for the Nagata’s idealization, which was originally introduced in [Nagata, Local Rings (Interscience, New York, 1962)]. In this paper, we establish necessary and sufficient conditions under which [Formula: see text], and some related constructions, is either a Hilbert ring, a [Formula: see text]-domain or a [Formula: see text]-ring in the sense of Adams [Rings with a finitely generated total quotient ring, Canad. Math. Bull. 17(1) (1974)]. By the way, we investigate the transfer of the [Formula: see text]-property among pairs of domains sharing an ideal. Our results provide original illustrating examples.


2015 ◽  
Vol 14 (04) ◽  
pp. 1550055
Author(s):  
Thomas Hüttemann ◽  
David Quinn

Let C be a bounded cochain complex of finitely generated free modules over the Laurent polynomial ring L = R[x, x-1, y, y-1]. The complex C is called R-finitely dominated if it is homotopy equivalent over R to a bounded complex of finitely generated projective R-modules. Our main result characterizes R-finitely dominated complexes in terms of Novikov cohomology: C is R-finitely dominated if and only if eight complexes derived from C are acyclic; these complexes are C ⊗L R〚x, y〛[(xy)-1] and C ⊗L R[x, x-1]〚y〛[y-1], and their variants obtained by swapping x and y, and replacing either indeterminate by its inverse.


Sign in / Sign up

Export Citation Format

Share Document