Gorenstein injective dimension and Tor-depth of modules

The main aim of this paper is to obtain a dual result to the now well known Auslander-Bridger formula for G-dimension. We will show that if R is a complete Cohen-Macaulay ring with residue field k, and M is a non-injective h-divisible Ext-finite R-module of finite Gorenstein injective dimension such that for each i 3 1i \geq 1 Extⁱ (E,M) = 0 for all indecomposable injective R-modules E 1 E(k)E \neq E(k), then the depth of the ring is equal to the sum of the Gorenstein injective dimension and Tor-depth of M. As a consequence, we get that this formula holds over a d-dimensional Gorenstein local ring for every nonzero cosyzygy of a finitely generated R-module and thus in particular each such n^th cosyzygy has its Tor-depth equal to the depth of the ring whenever n 3 dn \geq d.     

First,Second, and Third Change of Rings Theorems for Gorenstein Homological dimensions

In this article, we investigate the change of rings theorems for the Gorenstein dimensions over arbitrary rings. Namely, by the use of the notion of strongly Gorenstein modules, we extend the well-known first, second, and third change of rings theorems for the classical projective and injective dimensions to the Gorenstein projective and injective dimensions, respectively. Each of the results established in this article for the Gorenstein projective dimension is a generalization of a G-dimension of a finitely generated module M over a noetherian ring R.     

Auto-equivalences of derived categories acting on cohomology

Let A be a k-algebra which is projective as a k-module, let M be an A-module whose endomorphisms are given by multiplication by central elements of A, and let TrPic_k(A) be the group of standard self-equivalences of the derived category of bounded complexes of A-modules. Then we define an action of the stabilizer of M in TrPic_k(A) on the Ext-algebra of M. In case M is the trivial module for the group algebra kG = A, this defines an action on the cohomology ring of G which extends the well-known action of the automorphism group of G on the cohomology group.     

On Copure Projective Modules and Copure Projective Dimensions

Let R be any ring. A right R-module M is called n-copure projective if Ext¹(M, N) = 0 for any right R-module N with fd(N) ≤ n, and M is said to be strongly copure projective if Ext ⁱ (M, F) = 0 for all flat right R-modules F and all i ≥ 1. In this article, firstly, we present some general properties of n-copure projective modules and strongly copure projective modules. Then we define and investigate copure projective dimensions of modules and rings. Finally, more properties and applications of n-copure projective modules, strongly copure projective modules and copure projective dimensions are given over coherent rings with finite self-FP-injective dimension.     

On the binomial arithmetical rank

The binomial arithmetical rank of a binomial ideal I is the smallest integer s for which there exist binomials f₁,..., f_s in I such that rad (I) = rad (f₁,..., f_s). We completely determine the binomial arithmetical rank for the ideals of monomial curves in P_KⁿP_K^n. In particular we prove that, if the characteristic of the field K is zero, then bar (I(C)) = n - 1 if C is complete intersection, otherwise bar (I(C)) = n. While it is known that if the characteristic of the field K is positive, then bar (I(C)) = n - 1 always.     

On matrix near-rings

Let R be a right near-ring with identity and M_n(R) be the near-ring of n 2 n matrices over R in the sense of Meldrum and Van der Walt. In this paper, M_n(R) is said to be s\sigma-generated if every n 2 n matrix A over R can be expressed as a sum of elements of X_n(R), where X_n(R)={f_ij^r | 1\leqq i, j\leqq n, r ? R}X_n(R)=\{f_{ij}^r\,|\,1\leqq i, j\leqq n, r\in R\}, is the generating set of M_n(R). We say that R is s\sigma-generated if M_n(R) is s\sigma-generated for every natural number n. The class of s\sigma-generated near-rings contains distributively generated and abstract affine near-rings. It is shown that this class admits homomorphic images. For abelian near-rings R, we prove that the zerosymmetric part of R is a ring, so the class of zerosymmetric abelian s\sigma-generated near-rings coincides with the class of rings. Further, for every n, there is a bijection between the two-sided subgroups of R and those of M_n(R).     

Gorenstein injective envelopes and covers over two sided noetherian rings

We prove that the class of Gorenstein injective modules is both enveloping and covering over a two sided noetherian ring such that the character modules of Gorenstein injective modules are Gorenstein flat. In the second part of the paper we consider the connection between the Gorenstein injective modules and the strongly cotorsion modules. We prove that when the ring R is commutative noetherian of finite Krull dimension, the class of Gorenstein injective modules coincides with that of strongly cotorsion modules if and only if the ring R is in fact Gorenstein.     

Relative copure injective and copure flat modules

Let R be a ring, n a fixed nonnegative integer and I_n (F_n) the class of all left (right) R-modules of injective (flat) dimension at most n. A left R-module M (resp., right R-module F) is called n-copure injective (resp., n-copure flat) if (resp., ) for any N∈I_n. It is shown that a left R-module M over any ring R is n-copure injective if and only if M is a kernel of an I_n-precover f:A→B of a left R-module B with A injective. For a left coherent ring R, it is proven that every right R-module has an F_n-preenvelope, and a finitely presented right R-module M is n-copure flat if and only if M is a cokernel of an F_n-preenvelope K→F of a right R-module K with F flat. These classes of modules are also used to construct cotorsion theories and to characterize the global dimension of a ring under suitable conditions.     

Projective modules over the real algebraic sphere of dimension 3

Let A be a commutative noetherian ring of Krull dimension 3. We give a necessary and sufficient condition for A-projective modules of rank 2 to be free. Using this, we show that all the finitely generated projective modules over the algebraic real 3-sphere are free.     

The 2-Pebbling Property and a Conjecture of Graham's

The pebbling number of a graph G, f(G), is the least m such that, however m pebbles are placed on the vertices of G, we can move a pebble to any vertex by a sequence of moves, each move taking two pebbles off one vertex and placing one on an adjacent vertex. It is conjectured that for all graphs G and H, f(G 2H)hf(G)f(H).¶Let C_m and C_n be cycles. We prove that f(C_m 2C_n)hf(C_m) f(C_n) for all but a finite number of possible cases. We also prove that f(G2T)hf(G) f(T) when G has the 2-pebbling property and T is any tree.     

Answer to a conjecture of J.M. Cohen

The origin of Gelfand rings comes from [9] where the Jacobson topology and the weak topology are compared. The equivalence of these topologies defines a regular Banach algebra. One of the interests of these rings resides in the fact that we have an equivalence of categories between vector bundles over a compact manifold and finitely generated projective modules over C(M), the ring of continuous real functions on M [17].These rings have been studied by R. Bkouche (soft rings [3]) C.J. Mulvey (Gelfand rings [15]) and S. Teleman (harmonic rings [19]).Firstly we study these rings geometrically (by sheaves of modules (Theorem 2.5)) and then introduce the ?ech covering dimension of their maximal spectrums. This allows us to study the stable rank of such a ring A (Theorem 6.1), the nilpotence of the nilideal of K₀(A) - The Grothendieck group of the category of finitely generated projective A-modules - (Theorem 9.3), and an upper limit on the maximal number of generators of a finitely generated A-module as a function of the afore-mentioned dimension (Theorem 4.4).Moreover theorems of stability are established for the group K₀(A), depending on the stable rank (Theorems 8.1 and 8.2). They can be compared to those for vector bundles over a finite dimensional paracompact space [18].Thus there is an analogy between finitely generated projective modules over Gelfand rings and ?ech dimension, and finitely generated projective modules over noetherian rings and Krull dimension.     

Integral Lie powers of a lattice for the cyclic group of order 2

Let L_n denote the n-th homogeneous component of the free Lie ring L(W) on a given \Bbb ZC₂{{\Bbb Z}}C_{2}-lattice W. This paper gives explicit formulae for the multiplicities of the three indecomposable \Bbb ZC₂{{\Bbb Z}}C_{2}-lattices in a Krull-Schmidt decomposition of L_n. In the case where W is a free \Bbb ZC₂{{\Bbb Z}}C_{2}-lattice, L_n is shown to have no non-zero direct summand on which C₂ acts trivially - this extends a result of R. M. Bryant for the special case where W is the regular \Bbb ZC₂{{\Bbb Z}}C_{2}-lattice. As an application, the structure of the higher dimensional modules associated to a non-cyclic free presentation of C₂ is determined.     

Group Connectivity of 3-Edge-Connected Chordal Graphs

Let A be a finite abelian group and G be a digraph. The boundary of a function f: E(G)ZA is a function ‘f: V(G)ZA given by ‘f(v)=~_{e leaving v}f(e)m~_{e entering v}f(e). The graph G is A-connected if for every b: V(G)ZA with ~_{v] V(G)} b(v)=0, there is a function f: E(G)ZA{0} such that ‘f=b. In [J. Combinatorial Theory, Ser. B 56 (1992) 165-182], Jaeger et al showed that every 3-edge-connected graph is A-connected, for every abelian group A with |A|̈́. It is conjectured that every 3-edge-connected graph is A-connected, for every abelian group A with |A|̓ and that every 5-edge-connected graph is A-connected, for every abelian group A with |A|́.¶ In this note, we investigate the group connectivity of 3-edge-connected chordal graphs and characterize 3-edge-connected chordal graphs that are A-connected for every finite abelian group A with |A|́.     

INJECTIVE RESOLVENTS AND PREENVELOPES

Abstract

Let R be a noetherian ring, and denote the full subcategories of R-modules L such that Extⁱ(E,L)=0 for all injective R-modules E for 1?i?n and O?i?n by C_n, and C′_n respectively. Then LεC_n, if and only if every injective resolution of L is an injective resolvent of the nth cosyzygy. In this case, L is not injective if and only if its injective dimension is greater than n. If LεC′_n and idN?n. then Hom(N,L)=0 for all R-modules N. As an application, let K_n be the nth syzygy of an injective resolvent of the nth cosyzygy of an R-module N, then there exists a homomorphism φ:N → K such that ((φ,i_N), K_n ? E(N)) and (φ,K_n) are preenvelopes of N for C_s and C′_s respectively, for s≥n. If the global dimension of R is at most 2, then C′₁ is reflective in the category of R-modules.     

On the existence of certain measures appearing in distance geometry

Abstract. We prove the following result: Let X be a compact connected Hausdorff space and f be a continuous function on X x X. There exists some regular Borel probability measure m\mu on X such that the value of¶¶ ò\limit _X f(x,y)dm(y)\int\limit _X f(x,y)d\mu (y) is independent of the choice of x in X if and only if the following assertion holds: For each positive integer n and for all (not necessarily distinct) x₁,x₂,...,x_n,y₁,y₂,...,y_n in X, there exists an x in X such that¶¶ ?_i=1ⁿ f(x_i,x)=?_i=1ⁿ f(y_i,x).\sum\limits _{i=1}^n f(x_i,x)=\sum\limits _{i=1}^n f(y_i,x).     

Noetherian rings with almost injective simple modules

We characterize right Noetherian rings over which all simple modules are almost injective. It is proved that R is such a ring, if and only if, the complements of semisimple submodules of every R-module M are direct summands of M, if and only if, R is a finite direct sum of right ideals I_r, where I_r is either a Noetherian V-module with zero socle, or a simple module, or an injective module of length 2. A commutative Noetherian ring for which all simple modules are almost injective is precisely a finite direct product of rings R_i, where R_i is either a field or a quasi-Frobenius ring of length 2. We show that for commutative rings whose all simple modules are almost injective, the properties of Kasch, (semi)perfect, semilocal, quasi-Frobenius, Artinian, and Noetherian coincide.     

On co-Hopficity of Injective Envelopes

A right R-module M is called co-Hopfian if injective endomorphisms of M _R are surjective. It is shown that E(M _R ) is co-Hopfian if and only if M _R does not contain an infinite direct sum ?_{i ? \mathbbN}W_i{{\oplus_{i \in \mathbb{N}}W_{i}}} of submodules such that each W _i+1 essentially embeds in W _i . For many modules M _R , including modules over a right FBN or right duo ring with Krull dimension, it is proved that E(M _R ) is co-Hopfian if and only if (\mathbbN){(\mathbb{N})} ↪̸ M _R for every non-zero X _R . For a ring which has enough uniforms, the class of modules with co-Hopfian injective envelope is the same as the class of modules with finite uniform dimension if and only if there are only finitely many isomorphism classes of indecomposable injective modules.     

The endomorphism ring of a Δ-module over a right noetherian ring

LetR be a right noetherian ring. A moduleM _R is called a Δ-module providedR satisfies the descending chain condition for annihilators of subsets ofM. For a Δ-module, a series 0?M ₁?M ₂?...?M _n =M can be constructed in which the factorsM _i /M _i?1 are sums of, α _i -semicritical modules where α₁≦α₂≦...≦α _n . In this paper we utilize this series in studying Λ=End(M _R ). It is shown that ifN={f∈Λ|Kerf is essential inM}, thenN is nilpotent. Specific bounds on the index of nilpotency are given in terms of this series. Further ifM is injective and α-smooth, the annihilators of the factors of this series are used to provide necessary and sufficient conditions for EndM _R to be semisimple.     

An Extension of Hall's Theorem

Let (A_i) _{i ? I} (A_i) _{i \in I} and (B_i) _{i ? I} (B_i) _ {i \in I} be two (possibly infinite) families of finite sets. Let cl(P) denote the closure of the set P : = { (A_i, B_i ): i ? I } P := \{ ({A_i}, {B_i} ): i \in I \} of the pairs with respect to the componentwise union and intersection operations. Then there exists an injective map è_{i ? I} A_i ? è_{i ? I} B_i {\displaystyle \bigcup _ {i \in I}} A_i \rightarrow {\displaystyle \bigcup _ {i \in I }} B_i such that f (A_i) í B_i f (A_i) \subseteq B_i for every i if, and only if, card (A) ￡ (A) \leq card (B) for every pair (A, B) ? cl (P) (A, B) \in cl (P) .