When is the Diagonal Functor Frobenius?

Given a complete, cocomplete category 𝒞, we investigate the problem of describing those small categories I such that the diagonal functor Δ: 𝒞 → Functors(I, 𝒞) is a Frobenius functor. This condition can be rephrased by saying that the limits and the colimits of functors I → 𝒞 are naturally isomorphic. We find necessary conditions on I for a certain class of categories 𝒞, and, as an application, we give both necessary and sufficient conditions in the two special cases 𝒞 =Set or _R ?, the category of left modules over a ring R.     

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 Strongly Copure Flat Modules and Copure Flat Dimensions

Let R be a left coherent ring. We first prove that a right R-module M is strongly copure flat if and only if Ext ⁱ (M, C) = 0 for all flat cotorsion right R-modules C and i ≥ 1. Then we define and investigate copure flat dimensions of left coherent rings. Finally, we give some new characterizations of n-FC rings.     

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.     

Strongly FP-injective modules

A module M is called strongly FP-injective if Extⁱ(P,M) = 0 for any finitely presented module P and all i≥1. (Pre)envelopes and (pre)covers by strongly FP-injective modules are studied. We also use these modules to characterize coherent rings. An example is given to show that (strongly) FP-injective (pre)covers may fail to be exist in general. We also give an example of a module that is FP-injective but not strongly FP-injective.     

Envelopes and Covers by Modules of Finite FP-Injective Dimensions

Let R be a ring, n a fixed non-negative integer and ? the class of all left R-modules of FP-injective dimensions at most n. It is proved that all left R-modules over a left coherent ring R have ?-preenvelopes and ?-covers. Left (right) ?-resolutions and the left derived functors of Hom are used to study the FP-injective dimensions of modules and rings.     

Relative Projective Modules and Relative Injective Modules

Let R be a ring, and n and d fixed non-negative integers. An R-module M is called (n, d)-injective if Ext ^d+1 _R (P, M) = 0 for any n-presented R-module P. M is said to be (n, d)-projective if Ext¹ _R (M, N) = 0 for any (n, d)-injective R-module N. We use these concepts to characterize n-coherent rings and (n, d)-rings. Some known results are extended.     

The McCoy Condition on Skew Polynomial Rings

Based on a theorem of McCoy on commutative rings, Nielsen called a ring R right McCoy if, for any nonzero polynomials f(x), g(x) over R, f(x)g(x) = 0 implies f(x)r = 0 for some 0 ≠ r ? R. In this note, we consider a skew version of these rings, called σ-skew McCoy rings, with respect to a ring endomorphism σ. When σ is the identity endomorphism, this coincides with the notion of a right McCoy ring. Basic properties of σ-skew McCoy rings are observed, and some of the known results on right McCoy rings are obtained as corollaries.     

Weak Global Dimension of Coherent Rings

In this article, we study the weak global dimension of coherent rings in terms of the left FP-injective resolutions of modules. Let R be a left coherent ring and ? ? the class of all FP-injective left R-modules. It is shown that wD(R) ≤ n (n ≥ 1) if and only if every nth ? ?-syzygy of a left R-module is FP-injective; and wD(R) ≤ n (n ≥ 2) if and only if every (n ? 2)th ? ?-syzygy in a minimal ? ?-resolution of a left R-module has an FP-injective cover with the unique mapping property. Some results for the weak global dimension of commutative coherent rings are also given.     

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.     

Additive Set of Idempotents in Rings

Let R be a ring with identity 1, I(R) be the set of all nonunit idempotents in R, and M(R) be the set of all primitive idempotents and 0 of R. We say that I(R) is additive if for all e, f ∈ I(R) (e ≠ f), e + f ∈ I(R), and M(R) is additive in I(R) if for all e, f ∈ M(R)(e ≠ f), e + f ∈ I(R). In this article, the following points are shown: (1) I(R) is additive if and only if I(R) is multiplicative and the characteristic of R is 2; M(R) is additive in I(R) if and only if M(R) is orthogonal. If 0 ≠ ef ∈ I(R) for some e ∈ M(R) and f ∈ I(R), then ef ∈ M(R), (2) If R has a complete set of primitive idempotents, then R is a finite product of connected rings if and only if I(R) is multiplicative if and only if M(R) is additive in I(R).     

WATTS THEOREMS FOR ASSOCIATIVE RINGS

Let R be an associative ring. In this paper we consider the category CMod-R of right R-modules M such that M ? Hom _R (R, M) and the category DMod-R of right R-modules M such that M ? _R R ? M. Given two associative rings R and R′, we study the functors F : CMod-R → CMod-R′ that can be written as Hom _R (P, ?) and the functors G : DMod-R → DMod-R′ that can be written as – ? _R Q and we give some results that extend the known Watts theorems for rings with identity to associative rings that need not be unital.     

Coherent Functors and Covariantly Finite Subcategories

Given a locally presentable additive category A, we study a class of covariantly finite subcategories which we call definable. A definable subcategory arises from a set of coherent functors F _i on A by taking all objects X in A such that F _i X=0 for all i. We give various characterizations of definable subcategories, demonstrating that all covariantly finite subcategories which arise in practice are of this form. This is based on a filtration of the category of all coherent functors on A.     

Topological rings,homogeneous functions,and primeness

For any group G such that G is a right R-module for some ring R, the elements of R act on G as endomorphisms and we obtain the near-ring of R-homogeneous maps on G: M_R(G) = {f: G → G|f(ga) = f(g)a for all a ∈ R, g ∈ G}. In the special case that R is a topological ring and G is a topological R-module, we study N_R(G): = {f ∈ M_R(G)|f is continuous}. In particular, we investigate primeness of the near-ring N_R(G) of continuous homogeneous maps on G.     

Tambarization of a Mackey functor and its application to the Witt–Burnside construction

For an arbitrary group G, a (semi-)Mackey functor is a pair of covariant and contravariant functors from the category of G-sets, and is regarded as a G-bivariant analog of a commutative (semi-)group. In this view, a G-bivariant analog of a (semi-)ring should be a (semi-)Tambara functor. A Tambara functor is firstly defined by Tambara, which he called a TNR-functor, when G is finite. As shown by Brun, a Tambara functor plays a natural role in the Witt–Burnside construction.It will be a natural question if there exist sufficiently many examples of Tambara functors, compared to the wide range of Mackey functors. In the first part of this article, we give a general construction of a Tambara functor from any Mackey functor, on an arbitrary group G. In fact, we construct a functor from the category of semi-Mackey functors to the category of Tambara functors. This functor gives a left adjoint to the forgetful functor, and can be regarded as a G-bivariant analog of the monoid-ring functor.In the latter part, when G is finite, we investigate relations with other Mackey-functorial constructions — crossed Burnside ring, Elliott?s ring of G-strings, Jacobson?s F-Burnside ring — all these lead to the study of the Witt–Burnside construction.