On tense modules for extended algebras over rational fields

Let k(x) be the field of fractions of the polynomial algebra k[x] over the field k. We prove that, for an arbitrary finite dimensional k-algebra Λ, any finitely generated Λ ⊗_k k(x)-module M such that its minimal projective presentation admits no non-trivial selfextension is of the form M ≅ N^k(x), for some finitely generated Λ-module N. Some consequences are derived for tilting modules over the rational algebra Λ ⊗_k k(x) and for some generic modules for Λ. Received: 24 November 2003; revised: 11 February 2005     

Properties of a certain product of submodules

Let R be a commutative ring with identity, let M be an R-module, and let K ₁, . . . ,K _n be submodules of M: We construct an algebraic object called the product of K ₁, . . . ,K _n : This structure is equipped with appropriate operations to get an R(M)-module. It is shown that the R(M)-module M ⁿ   = M . . .M and the R-module M inherit some of the most important properties of each other. Thus, it is shown that M is a projective (flat) R-module if and only if M ⁿ is a projective (flat) R(M)-module.     

Derived Equivalences of Upper Triangular Differential Graded Algebras

This paper generalises a result for upper triangular matrix rings to the situation of upper triangular matrix differential graded algebras. An upper triangular matrix DGA has the form (R, S, M) where R and S are differential graded algebras and M is a DG-left-R-right-S-bimodule. We show that under certain conditions on the DG-module M and with the existance of a DG-R-module X, from which we can build the derived category D(R), that there exists a derived equivalence between the upper triangular matrix DGAs (R, S, M) and (S, M′, R′), where the DG-bimodule M′ is obtained from M and X and R′ is the endomorphism differential graded algebra of a K-projective resolution of X.     

Applications of Duality to the Pure-injective Envelope

Given an R-T-bimodule _R K _T and R-S-bimodule _R M _S , we study how properties of _R K _T affect the K-double dual M** = Hom _T [Hom _R (M, K), K] considered as a right S-module. If _R K is a cogenerator, then for every R-S-bimodule, the natural morphism Φ _M : M → M** is a pure-monomorphism of right S-modules. If _R K is the minimal (injective) cogenerator and K _T is quasi-injective, then M ^** is a pure-injective right S-module. If _R K is the minimal (injective) cogenerator, and T = End _R K it is shown that K _T is quasi-injective if and only if the K-topology on R is linearly compact. If the _R K-topology on R is of finite type, then the natural morphism Φ _R : R → R** is the pure-injective envelope of R _R as a right module over itself. The author is partially supported by NSF Grant DMS-02-00698.     

On the finiteness of a field-theoretic invariant for commutative rings

If T is a (commutative unital) ring extension of a ring R, then Λ(T /R) is defined to be the supremum of the lengths of chains of intermediate fields between R _P /P R _P and T _Q /QT _Q , where Q varies over Spec(T) and P:= Q ∩ R. The invariant σ(R):= sup Λ(T/R), where T varies over all the overrings of R. It is proved that if Λ(S/R)< ∞ for all rings S between R and T, then (R, T) is an INC-pair; and that if (R, T) is an INC-pair such that T is a finite-type R-algebra, then Λ(T/R)< ∞. Consequently, if R is a domain with σ(R) < ∞, then the integral closure of R is a Prüfer domain; and if R is a Noetherian G-domain, then σ(R) < ∞, with examples showing that σ(R) can be any given non-negative integer. Other examples include that of a onedimensional Noetherian locally pseudo-valuation domain R with σ(R)=∞.     

On the Stanley depth of squarefree Veronese ideals

Let K be a field and S=K[x ₁,…,x _n ]. In 1982, Stanley defined what is now called the Stanley depth of an S-module M, denoted sdepth (M), and conjectured that depth (M)≤sdepth (M) for all finitely generated S-modules M. This conjecture remains open for most cases. However, Herzog, Vladoiu and Zheng recently proposed a method of attack in the case when M=I/J with J⊂I being monomial S-ideals. Specifically, their method associates M with a partially ordered set. In this paper we take advantage of this association by using combinatorial tools to analyze squarefree Veronese ideals in S. In particular, if I _n,d is the squarefree Veronese ideal generated by all squarefree monomials of degree d, we show that if 1≤d≤n<5d+4, then sdepth (I _n,d )=⌊(n−d)/(d+1)⌋+d, and if d≥1 and n≥5d+4, then d+3≤sdepth (I _n,d )≤⌊(n−d)/(d+1)⌋+d.     

Sequentially Cohen-Macaulay Modules Under Base Change

ABSTRACT

Assume that ?:(R, ± 𝔪) → (S, ± 𝔫) is a local flat homomorphism between commutative Noetherian local rings R and S. Let M be a finitely generated R-module. We investigate the ascent and descent of sequentially Cohen-Macaulay properties between the R-module M and the S-module M ? _R  S.     

Annihilating power values of co-commutators with generalized derivations

Let R be a prime ring with its Utumi ring of quotient U, H and G be two generalized derivations of R and L a noncentral Lie ideal of R. Suppose that there exists 0 ≠ a ∈ R such that a(H(u)u − uG(u)) ⁿ  = 0 for all u ∈ L, where n ≥ 1 is a fixed integer. Then there exist b′,c′ ∈ U such that H(x) = b′x + xc′, G(x) = c′x for all x ∈ R with ab′ = 0, unless R satisfies s ₄, the standard identity in four variables.     

Additivity of Lie multiplicative maps on triangular algebras

Let 𝒜 and ? be unital algebras over a commutative ring ?, and ? be a (𝒜,??)-bimodule, which is faithful as a left 𝒜-module and also as a right ?-module. Let 𝒰?=?Tri(𝒜,??,??) be the triangular algebra and 𝒱 any algebra over ?. Assume that Φ?:?𝒰?→?𝒱 is a Lie multiplicative isomorphism, that is, Φ satisfies Φ(ST???TS)?=?Φ(S)Φ(T)???Φ(T)Φ(S) for all S, T?∈?𝒰. Then Φ(S?+?T)?=?Φ(S)?+?Φ(T)?+?Z _S,T for all S, T?∈?𝒰, where Z _S,T is an element in the centre 𝒵(𝒱) of 𝒱 depending on S and T.     

Wakamatsu tilting modules with finite injective dimension

Let R be a left Noetherian ring, S a right Noetherian ring and _R ω a Wakamatsu tilting module with S = End( _R ω). We introduce the notion of the ω-torsionfree dimension of finitely generated R-modules and give some criteria for computing it. For any n ? 0, we prove that l.id _R (ω) = r.id _S (ω) ? n if and only if every finitely generated left R-module and every finitely generated right S-module have ω-torsionfree dimension at most n, if and only if every finitely generated left R-module (or right S-module) has generalized Gorenstein dimension at most n. Then some examples and applications are given.     

Correspondences of Coclosed Submodules

We establish an order-preserving bijective correspondence between the sets of coclosed elements of some bounded lattices related by suitable Galois connections. As an application, we deduce that if M is a finitely generated quasi-projective left R-module with S = End _R (M) and N is an M-generated left R-module, then there exists an order-preserving bijective correspondence between the sets of coclosed left R-submodules of N and coclosed left S-submodules of Hom _R (M, N).     

The associated primes of local cohomology modules over rings of small dimension

Let R be a commutative Noetherian local ring of dimension d, I an ideal of R, and M a finitely generated R-module. We prove that the set of associated primes of the local cohomology module H ⁱ _I (M) is finite for all i≥ 0 in the following cases: (1) d≤ 3; (2) d= 4 and $R$ is regular on the punctured spectrum; (3) d= 5, R is an unramified regular local ring, and M is torsion-free. In addition, if $d>0$ then H ^{d − 1} _I (M) has finite support for arbitrary R, I, and M. Received: 31 October 2000 / Revised version: 8 January 2001     

On finitely generated module whose first nonzero fitting ideal is maximal

Let R be a Noetherian ring and M be a finitely generated R-module. Let I(M) be the first nonzero Fitting ideal of M. The main result of this paper asserts that when I(M) = Q is a regular maximal ideal of R, then M?R∕Q⊕P, for some projective R-module P of constant rank if and only if T(M)?QM. As a consequence, it is shown that if M is an Artinian R-module and I(M) = Q is a regular maximal ideal of R, then M?R∕Q.     

Generalizations of coatomic modules

For a ring R and a right R-module M, a submodule N of M is said to be δ-small in M if, whenever N+X=M with M/X singular, we have X=M. Let ℘ be the class of all singular simple modules. Then δ(M)=Σ{ L≤ M| L is a δ-small submodule of M} = Re _jm(℘)=∩{ N⊂ M: M/N∈℘. We call M δ-coatomic module whenever N≤ M and M/N=δ(M/N) then M/N=0. And R is called right (left) δ-coatomic ring if the right (left) R-module R _R(_RR) is δ-coatomic. In this note, we study δ-coatomic modules and ring. We prove M=⊕ _i=1 ⁿ M_i is δ-coatomic if and only if each M _i (i=1,…, n) is δ-coatomic.     

Über Die Assoziierten Primideale des Bidualen

Let (R, 𝔪) be a commutative, noetherian, local ring, E the injective hull of the residue field R/𝔪, and M ^○○ = Hom _R (Hom _R (M, E), E) the bidual of an R-module M. We investigate the elements of Ass(M ^○○) as well as those of Coatt(M) = {𝔭 ∈ Spec(R)|𝔭 = Ann _R (Ann _M (𝔭))} and provide criteria for equality in one of the two inclusions Ass(M) ? Ass(M ^○○) ? Coatt(M). If R is a Nagata ring and M a minimax module, i.e., an extension of a finitely generated R-module by an artinian R-module, we show that Ass(M ^○○) = Ass(M) ∪ {𝔭 ∈ Coatt(M)| R/𝔭 is incomplete}.     

Reduced multiplication modules

An R-module M is called a multiplication module if for each submodule N of M, N = IM for some ideal I of R. As defined for a commutative ring R, an R-module M is said to be reduced if the intersection of prime submodules of M is zero. The prime spectrum and minimal prime submodules of the reduced module M are studied. Essential submodules of M are characterized via a topological property. It is shown that the Goldie dimension of M is equal to the Souslin number of Spec(M)\mbox{\rm Spec}(M). Also a finitely generated module M is a Baer module if and only if Spec(M)\mbox{\rm Spec}(M) is an extremally disconnected space; if and only if it is a CS-module. It is proved that a prime submodule N is minimal in M if and only if for each x ∈ N, Ann(x) \not í (N:M).\mbox{\rm Ann}(x) \not \subseteq (N:M). When M is finitely generated; it is shown that every prime submodule of M is maximal if and only if M is a von Neumann regular module (VNM); i.e., every principal submodule of M is a summand submodule. Also if M is an injective R-module, then M is a VNM.     

Finite Schur filtration dimension for modules over an algebra with Schur filtration

Let G = GL _N or SL _N as reductive linear algebraic group over a field k of characteristic p > 0. We prove several results that were previously established only when N ⩽ 5 or p > 2  ^N : Let G act rationally on a finitely generated commutative k-algebra A and let grA be the Grosshans graded ring. We show that the cohomology algebra H ^*(G, grA) is finitely generated over k. If moreover A has a good filtration and M is a Noetherian A-module with compatible G action, then M has finite good filtration dimension and the H ⁱ (G, M) are Noetherian A ^G -modules. To obtain results in this generality, we employ functorial resolution of the ideal of the diagonal in a product of Grassmannians.     

On Divisible and Torsionfree Modules

A ring R is called left P-coherent in case each principal left ideal of R is finitely presented. A left R-module M (resp. right R-module N) is called D-injective (resp. D-flat) if Ext¹(G, M) = 0 (resp. Tor₁(N, G) = 0) for every divisible left R-module G. It is shown that every left R-module over a left P-coherent ring R has a divisible cover; a left R-module M is D-injective if and only if M is the kernel of a divisible precover A → B with A injective; a finitely presented right R-module L over a left P-coherent ring R is D-flat if and only if L is the cokernel of a torsionfree preenvelope K → F with F flat. We also study the divisible and torsionfree dimensions of modules and rings. As applications, some new characterizations of von Neumann regular rings and PP rings are given.     

Gradings and Derived Categories

Let G{{\mathcal G}} be a group, Λ a G{{\mathcal G}}-graded Artin algebra and gr(Λ) denote the category of finitely generated G{{\mathcal G}}-graded Λ-modules. This paper provides a framework that allows an extension of tilting theory to D^b(gr(L)){{\mathcal D}}^b(\rm gr(\Lambda)) and to study connections between the tilting theories of D^b(L){{\mathcal D}}^b(\Lambda) and D^b(gr(L)){{\mathcal D}}^b(\rm gr(\Lambda)). In particular, using that if T is a gradable Λ-module, then a grading of T induces a G{{\mathcal G}}-grading on End_Λ(T), we obtain conditions under which a derived equivalence induced by a gradable Λ-tilting module T can be lifted to a derived equivalence between the derived categories D^b(gr(L)){{\mathcal D}}^b(\rm gr(\Lambda)) and D^b(gr(End_L(T))){{\mathcal D}}^b(\rm gr(\rm End_{\Lambda}(\textit T))).     

Real Paley-Wiener type theorems for the Dunkl transform on {\mathcal{S}}'(\mathbb{R}^{d})

We prove real Paley-Wiener type theorems for the Dunkl transform ℱ _D on the space of tempered distributions. Let T∈S′(ℝ ^d ) and Δ _κ the Dunkl Laplacian operator. First, we establish that the support of ℱ _D (T) is included in the Euclidean ball , M>0, if and only if for all R>M we have lim  _n→+∞ R ⁻²ⁿ Δ _κ ⁿ T=0 in S′(ℝ ^d ). Second, we prove that the support of ℱ _D (T) is included in ℝ ^d ∖B(0,M), M>0, if and only if for all R<M, we have lim  _n→+∞ R ²ⁿ  ℱ _D ⁻¹(‖y‖⁻²ⁿ ℱ _D (T))=0 in S′(ℝ ^d ). Finally, we study real Paley-Wiener theorems associated with -slowly increasing function.