scholarly journals Derived functors and Hilbert polynomials

2002 ◽  
Vol 132 (1) ◽  
pp. 75-88 ◽  
Author(s):  
EMANOIL THEODORESCU
Keyword(s):  
Upper Bound ◽  
Noetherian Ring ◽  
Polynomial Growth ◽  
The Other ◽  
Support Condition ◽  
Commutative Noetherian Ring ◽  
Hilbert Polynomials ◽  
Maximal Ideals ◽  
Special Assumption ◽  
Derived Functors

Let R be a commutative Noetherian ring, I an ideal, M and N finitely generated R-modules. Assume V(I) [xcap ] Supp (M) [xcap ] Supp (N) consists of finitely many maximal ideals and let λ(Exti(N/InN, M)) denote the length of Exti(N/InN, M). It is shown that λ(Exti(N/InN, M)) agrees with a polynomial in n for n [Gt ] 0, and an upper bound for its degree is given. On the other hand, a simple example shows that some special assumption such as the support condition above is necessary in order to conclude that polynomial growth holds.

Positive deissler rank and the complexity of injective modules

1988 ◽  
Vol 53 (1) ◽  
pp. 284-293 ◽  
Author(s):  
T. G. Kucera
Keyword(s):  
Prime Ideal ◽  
Lower Bounds ◽  
Upper Bound ◽  
Noetherian Ring ◽  
Krull Dimension ◽  
Primary Ideal ◽  
Prime Ideals ◽  
Commutative Noetherian Ring ◽  
Injective Modules ◽  
Primary Ideals

This is the second of two papers based on Chapter V of the author's Ph.D. thesis [K1]. For acknowledgements please refer to [K3]. In this paper I apply some of the ideas and techniques introduced in [K3] to the study of a very specific example. I obtain an upper bound for the positive Deissler rank of an injective module over a commutative Noetherian ring in terms of Krull dimension. The problem of finding lower bounds is vastly more difficult and is not addressed here, although I make a few comments and a conjecture at the end.For notation, terminology and definitions, I refer the reader to [K3]. I also use material on ideals and injective modules from [N] and [Ma]. Deissler's rank was introduced in [D].For the most part, in this paper all modules are unitary left modules over a commutative Noetherian ring Λ but in §1 I begin with a few useful results on totally transcendental modules and the relation between Deissler's rank rk and rk+.Recall that if P is a prime ideal of Λ, then an ideal I of Λ is P-primary if I ⊂ P, λ ∈ P implies that λn ∈ I for some n and if λµ ∈ I, λ ∉ P, then µ ∈ I. The intersection of finitely many P-primary ideals is again P-primary, and any P-primary ideal can be written as the intersection of finitely many irreducible P-primary ideals since Λ is Noetherian. Every irreducible ideal is P-primary for some prime ideal P. In addition, it will be important to recall that if P and Q are prime ideals, I is P-primary, J is Q-primary, and J ⊃ I, then Q ⊃ P. (All of these results can be found in [N].)

Betti Numbers and Flat Dimensions of Local Cohomology Modules

2015 ◽  
Vol 58 (3) ◽  
pp. 664-672 ◽  
Author(s):  
Alireza Vahidi
Keyword(s):  
Upper Bound ◽  
Noetherian Ring ◽  
Local Cohomology ◽  
Betti Numbers ◽  
Upper Bounds ◽  
Commutative Noetherian Ring ◽  
Flat Dimension ◽  
Local Cohomology Modules ◽  
Cohomology Modules

AbstractAssume that R is a commutative Noetherian ring with non-zero identity, 𝔞 is an ideal of R, and X is an R-module. In this paper, we first study the finiteness of Betti numbers of local cohomology modules . Then we give some inequalities between the Betti numbers of X and those of its local cohomology modules. Finally, we present many upper bounds for the flat dimension of X in terms of the flat dimensions of its local cohomology modules and an upper bound for the flat dimension of in terms of the flat dimensions of the modules , and that of X.

The first non-isomorphic local cohomology modules with respect to their ideals

2018 ◽  
Vol 17 (12) ◽  
pp. 1850230
Author(s):  
Ali Fathi
Keyword(s):  
Positive Integer ◽  
Noetherian Ring ◽  
Local Cohomology ◽  
Prime Ideals ◽  
Commutative Noetherian Ring ◽  
Direct Sum ◽  
Regular Sequences ◽  
Maximal Ideals ◽  
Local Cohomology Modules ◽  
Cohomology Modules

Let [Formula: see text] be ideals of a commutative Noetherian ring [Formula: see text] and [Formula: see text] be a finitely generated [Formula: see text]-module. By using filter regular sequences, we show that the infimum of integers [Formula: see text] such that the local cohomology modules [Formula: see text] and [Formula: see text] are not isomorphic is equal to the infimum of the depths of [Formula: see text]-modules [Formula: see text], where [Formula: see text] runs over all prime ideals of [Formula: see text] containing only one of the ideals [Formula: see text]. In particular, these local cohomology modules are isomorphic for all integers [Formula: see text] if and only if [Formula: see text]. As an application of this result, we prove that for a positive integer [Formula: see text], [Formula: see text] is Artinian for all [Formula: see text] if and only if, it can be represented as a finite direct sum of [Formula: see text] local cohomology modules of [Formula: see text] with respect to some maximal ideals in [Formula: see text] for any [Formula: see text]. These representations are unique when they are minimal with respect to inclusion.

scholarly journals A BOUND FOR THE INDEX OF A QUADRATIC FORM AFTER SCALAR EXTENSION TO THE FUNCTION FIELD OF A QUADRIC

2018 ◽  
Vol 19 (2) ◽  
pp. 421-450 ◽  
Author(s):  
Stephen Scully
Keyword(s):  
Quadratic Form ◽  
Upper Bound ◽  
Function Field ◽  
The Other ◽  
Direct Generalization ◽  
Other Hand ◽  
General Field ◽  
The One ◽  
Anisotropic Quadratic Form

Let $q$ be an anisotropic quadratic form defined over a general field $F$. In this article, we formulate a new upper bound for the isotropy index of $q$ after scalar extension to the function field of an arbitrary quadric. On the one hand, this bound offers a refinement of an important bound established in earlier work of Karpenko–Merkurjev and Totaro; on the other hand, it is a direct generalization of Karpenko’s theorem on the possible values of the first higher isotropy index. We prove its validity in two key cases: (i) the case where $\text{char}(F)\neq 2$, and (ii) the case where $\text{char}(F)=2$ and $q$ is quasilinear (i.e., diagonalizable). The two cases are treated separately using completely different approaches, the first being algebraic–geometric, and the second being purely algebraic.

scholarly journals On connectedness of power graphs of finite groups

2018 ◽  
Vol 17 (10) ◽  
pp. 1850184 ◽  
Author(s):  
Ramesh Prasad Panda ◽  
K. V. Krishna
Keyword(s):  
Finite Groups ◽  
Upper Bound ◽  
The Other ◽  
Number Of Components ◽  
Cyclic Groups ◽  
Power Graph ◽  
Vertex Set ◽  
Proper Power

The power graph of a group [Formula: see text] is the graph whose vertex set is [Formula: see text] and two distinct vertices are adjacent if one is a power of the other. This paper investigates the minimal separating sets of power graphs of finite groups. For power graphs of finite cyclic groups, certain minimal separating sets are obtained. Consequently, a sharp upper bound for their connectivity is supplied. Further, the components of proper power graphs of [Formula: see text]-groups are studied. In particular, the number of components of that of abelian [Formula: see text]-groups are determined.

On Grothendieck's local duality theorem

1979 ◽  
Vol 85 (3) ◽  
pp. 431-437 ◽  
Author(s):  
M. H. Bijan-Zadeh ◽  
R. Y. Sharp
Keyword(s):  
Algebraic Geometry ◽  
Commutative Algebra ◽  
Noetherian Ring ◽  
Duality Theorem ◽  
Great Emphasis ◽  
Triangulated Category ◽  
Elementary Approach ◽  
Commutative Noetherian Ring ◽  
Local Duality ◽  
Dualizing Complexes

In (11) and (12), a comparatively elementary approach to the use of dualizing complexes in commutative algebra has been developed. Dualizing complexes were introduced by Grothendieck and Hartshorne in (2) for use in algebraic geometry; the approach to dualizing complexes in (11) and (12) differs from that of Grothendieck and Hartshorne in that it avoids use of the concepts of triangulated category, derived category, and localization of categories, and instead places great emphasis on the concept of quasi-isomorphism of complexes of modules over a commutative Noetherian ring.

A Yield Criterion of Porous Materials With Anisotropy Caused by Geometry or Distribution of Pores

1991 ◽  
Vol 113 (4) ◽  
pp. 425-429 ◽  
Author(s):  
T. Hisatsune ◽  
T. Tabata ◽  
S. Masaki
Keyword(s):  
Velocity Field ◽  
Porous Materials ◽  
Upper Bound ◽  
Volume Fraction ◽  
Yield Criterion ◽  
Longitudinal Direction ◽  
Axisymmetric Deformation ◽  
The Other ◽  
The Matrix ◽  
Spherical Cells

Axisymmetric deformation of anisotropic porous materials caused by geometry of pores or by distribution of pores is analyzed. Two models of the materials are proposed: one consists of spherical cells each of which has a concentric ellipsoidal pore; and the other consists of ellipsoidal cells each of which has a concentric spherical pore. The velocity field in the matrix is assumed and the upper bound approach is attempted. Yield criteria are expressed as ellipses on the σm σ3 plane which are longer in longitudinal direction with increasing anisotropy and smaller with increasing volume fraction of the pore. Furthermore, the axes rotate about the origin at an angle α from the σm-axis, while the axis for isotropic porous materials is on the σm-axis.

On the SL(2, C)-representation rings of free abelian groups

2018 ◽  
Vol 167 (02) ◽  
pp. 229-247
Author(s):  
TAKAO SATOH
Keyword(s):  
Abelian Group ◽  
Upper Bound ◽  
Automorphism Groups ◽  
Free Abelian Group ◽  
Abelian Groups ◽  
Free Groups ◽  
The Other ◽  
Subsequent Research ◽  
Representation Rings ◽  
Free Abelian Groups

AbstractIn this paper, we study “the ring of component functions” of SL(2, C)-representations of free abelian groups. This is a subsequent research of our previous work [11] for free groups. We introduce some descending filtration of the ring, and determine the structure of its graded quotients.Then we give two applications. In [30], we constructed the generalized Johnson homomorphisms. We give an upper bound on their images with the graded quotients. The other application is to construct a certain crossed homomorphisms of the automorphism groups of free groups. We show that our crossed homomorphism induces Morita's 1-cocycle defined in [22]. In other words, we give another construction of Morita's 1-cocyle with the SL(2, C)-representations of the free abelian group.

Primary decomposition of homogeneous ideal in idealization of a module

2018 ◽  
Vol 55 (3) ◽  
pp. 345-352
Author(s):  
Tran Nguyen An
Keyword(s):  
Noetherian Ring ◽  
Primary Decomposition ◽  
Associated Primes ◽  
Homogeneous Ideal ◽  
Finitely Generated ◽  
Commutative Noetherian Ring ◽  
Irreducible Decomposition

Let R be a commutative Noetherian ring, M a finitely generated R-module, I an ideal of R and N a submodule of M such that IM ⫅ N. In this paper, the primary decomposition and irreducible decomposition of ideal I × N in the idealization of module R ⋉ M are given. From theses we get the formula for associated primes of R ⋉ M and the index of irreducibility of 0R ⋉ M.

scholarly journals Proregular sequences, local cohomology, and completion

2003 ◽  
Vol 92 (2) ◽  
pp. 161 ◽  
Author(s):  
Peter Schenzel
Keyword(s):  
Noetherian Ring ◽  
Local Cohomology ◽  
Čech Complex ◽  
Regular Sequences ◽  
Local Cohomology Modules ◽  
Derived Functors ◽  
Adic Completion ◽  
Cech Complex ◽  
Cohomology Modules ◽  
The Ideal

As a certain generalization of regular sequences there is an investigation of weakly proregular sequences. Let $M$ denote an arbitrary $R$-module. As the main result it is shown that a system of elements $\underline x$ with bounded torsion is a weakly proregular sequence if and only if the cohomology of the Čech complex $\check C_{\underline x} \otimes M$ is naturally isomorphic to the local cohomology modules $H_{\mathfrak a}^i(M)$ and if and only if the homology of the co-Čech complex $\mathrm{RHom} (\check C_{\underline x}, M)$ is naturally isomorphic to $\mathrm{L}_i \Lambda^{\mathfrak a}(M),$ the left derived functors of the $\mathfrak a$-adic completion, where $\mathfrak a$ denotes the ideal generated by the elements $\underline x$. This extends results known in the case of $R$ a Noetherian ring, where any system of elements forms a weakly proregular sequence of bounded torsion. Moreover, these statements correct results previously known in the literature for proregular sequences.

Sign in / Sign up

Export Citation Format

Share Document