Ü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}.     

Ideals,Natural Classes,and Functors

For any ring R, the set 𝒩(R) of all natural classes of R-modules is a complete Boolean lattice, which is a direct sum of two convex and complete Boolean sublattices 𝒩(R) = 𝒩 _t (R) ⊕ 𝒩 _f (R), where the last summand is the set of all nonsingular natural classes. The ring R contains a unique lattice of ideals 𝒥(R) which is lattice isomorphic to 𝒩 _f (R). The present note develops the analogue of all of the above for an arbitrary R-module M, so that in the special case when M _R  = R _R , the known lattice isomorphism 𝒥(R) ? 𝒩 _f (R) is recovered.     

A GENERALIZATION OF AUSLANDER–BUCHSBAUM AND BASS FORMULAS

Abstract

Given a contravariant functor F : 𝒞 → 𝒮ets for some category 𝒞, we say that F (𝒞) (or F) is generated by a pair (X, x) where X is an object of 𝒞 and x ∈ F(X) if for any object Y of 𝒞 and any y ∈ F(Y), there is a morphism f : Y → X such that F(f)(x) = y. Furthermore, when Y = X and y = x, any f : X → X such that F(f)(x) = x is an automorphism of X, we say that F is minimally generated by (X, x). This paper shows that if the ring R is left noetherian, then there exists a minimal generator for the functor ?xt (?, M) : ? → 𝒮ets, where M is a left R-module and ? is the class (considered as full subcategory of left R-modules) of injective left R-modules.     

On Induced Modules Over Ore Extensions

Abstract

Let R be a ring and S = R[x;σ, δ] its Ore extension. For an R-module M _R we investigate the uniform dimension and associated primes of the induced S-module M ? _R  S.     

Invertibility of Matrices Over Subrings

Given rings R ? S, consider the division closure 𝒟(R, S) and the rational closure ?(R, S) of R in S. If S is commutative, then 𝒟(R, S) = ?(R, S) = RT ^?1, where T = {t ∈ R | t ^?1 ∈ S}. We show that this is also true if we assume only that R is commutative.     

Cohen–Macaulay Modules in Dimension >s and Results on Local Cohomology

Let (R,𝔪) be a local ring and s ≥ ?1. Using the notion of M-sequence in dimension > s, we introduce Cohen–Macaulay modules in dimension > s. Among other things concerning Cohen–Macaulay modules in dimension > s, some finiteness results of the support and the associated primes of local cohomology modules are investigated.     

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).     

Gorenstein Homological Dimension with Respect to a Semidualizing Module and a Generalization of a Theorem of Bass

Let C be a semidualizing module for a commutative ring R. In this paper, we study the resulting modules of finite G _C -projective dimension in Bass class, showing that they admit G _C -projective precover. Over local ring, we prove that dim _R (M) ≤ 𝒢? _C  ? id _R (M) for any nonzero finitely generated R-module M, which generalizes a result due to Bass.     

A Family of Complex Irreducible Characters Possessed by Unitary and Special Unitary Groups Defined over Local Rings

Abstract

Let 𝒪 be a discrete valuation ring whose residue field 𝒪/𝔭 is finite and has odd characteristic. Let l be a positive integer. Set R = 𝒪/𝔭 ^l and let R = R[θ] be the ring obtained by adjoining to R a square root of a non-square unit. Consider the involution σ of R that fixes R elementwise and sends θ to ? θ. Let V be a free R-module of rank n > 0 endowed with a non-degenerate hermitian form ( , ) relative to σ. Let U _n (R) be the subgroup of GL(V) that preserves ( , ). Let SU _n (R) be the subgroup of all g ∈ U _n (R) whose determinant is equal to one. Let Ψ be the Weil character of U _n (R).

All irreducible constituents of Ψ are determined. An explicit character formula is given for each of them. In particular, all character degrees are computed. For n > 2 the corresponding results are also obtained for the restriction of Ψ to SU _n (R).     

Asymptotic Sequences over a Module

Let (R, 𝔪) be a Noetherian local ring and M be a submodule of the free module F = R ^r with height(I _r (M)) > 0. Asymptotic sequences over M will be defined analogous to Rees’ definition of asymptotic sequences over an ideal. It is then shown that all maximal asymptotic sequences over M have the same length. This length gives a bound on the analytic spread of M. Namely, if s is the length of a maximal asymptotic sequence over M then l(M) ≤dim R + rank M ? 1 ? s. Equality holds if R is quasi-unmixed.     

Relative Flatness,Mittag–Leffler Modules,and Endocoherence

Let M _R be a right R-module over a ring R with S = End(M _R ). We study the coherence of the left S-module _S M relative to a hereditary torsion theory for the category of right R-modules. Various results are developed, many extending known results.     

When Essential Extensions of Finitely Generated Modules are Finitely Generated

For certain classes 𝒞 of R-modules, including singular modules or modules with locally Krull dimensions, it is investigated when every module in 𝒞 with a finitely generated essential submodule is finitely generated. In case 𝒞 = Mod-R, this means E(M)/M is Noetherian for any finitely generated module M_R. Rings R with latter property are studied and shown that they form a class 𝒬 properly between the class of pure semisimple rings and the class of certain max rings. Duo rings in 𝒬 are precisely Artinian rings. If R is a quasi continuous ring in 𝒬 then R ? A ⊕ T where A is a semisimple Artinian ring and T ∈ 𝒬 with Z(T_T) ≤_ess T_T.     

Properties of Modules and Rings Relative to Some Matrices

Let R be a ring and  _β×α(R) (?   _β×α(R)) the set of all β × α full (row finite) matrices over R where α and β ≥ 1 are two cardinal numbers. A left R-module M is said to be “injective relative” to a matrix A ? ?   _β×α(R) if every R-homomorphism from R ^(β) A to M extends to one from R ^(α) to M. It is proved that M is injective relative to A if and only if it is A-pure in every module which contains M as a submodule. A right R-module N is called flat relative to a matrix A ?  _β×α(R) if the canonical map μ: N? R ^(β) A → N ^α is a monomorphism. This extends the notion of (m, n)-flat modules so that n-projectivity, finitely projectivity, and τ-flatness can be redefined in terms of flatness relative to certain matrices. R is called left coherent relative to a matrix A ?  _β×α(R) if R ^(β) A is a left R-ML module. Some results on τ-coherent rings and (m, n)-coherent rings are extended.