Gorenstein coresolving categories

Let 𝒜 be an abelian category. A subcategory 𝒳 of 𝒜 is called coresolving if 𝒳 is closed under extensions and cokernels of monomorphisms and contains all injective objects of 𝒜. In this paper, we introduce and study Gorenstein coresolving categories, which unify the following notions: Gorenstein injective modules [8 Enochs, E. E., Jenda, O. M. G. (1995). Gorenstein injective and projective modules. Math. Z. 220:611–633.[Crossref], [Web of Science ®] , [Google Scholar]], Gorenstein FP-injective modules [20 Mao, L. X., Ding, N. Q. (2008). Gorenstein FP-injective and Gorenstein flat modules. J. Algebra Appl. 7:491–506.[Crossref], [Web of Science ®] , [Google Scholar]], Gorenstein AC-injective modules [3 Bravo, D., Gillespie, J. (2016). Absolutely clean, level, and Gorenstein AC-injective complexes. Commun. Algebra 44:2213–2233.[Taylor & Francis Online], [Web of Science ®] , [Google Scholar]], and so on. Then we define a resolution dimension relative to the Gorenstein coresolving category 𝒢?_𝒳(𝒜). We investigate the properties of the homological dimension and unify some important properties possessed by some known homological dimensions. In addition, we study stability of the Gorenstein coresolving category 𝒢?_𝒳(𝒜) and apply the obtained properties to special subcategories and in particular to module categories.     

Irreducible representations over the diamond Lie algebra

In this paper, we use Block’s results to classify irreducible modules over the diamond Lie algebra 𝔇. As a corollary, we also give a classification of irreducible modules over the Euclidean algebra 𝔢(2).     

Irreducible <Emphasis Type="Italic">A</Emphasis><Stack><Subscript>1</Subscript><Superscript>(1)</Superscript></Stack>-modules from modules over two-dimensional non-abelian Lie algebra

For any module V over the two-dimensional non-abelian Lie algebra b and scalar α ∈ C, we define a class of weight modules F ^α (V) with zero central charge over the affine Lie algebra A ₁ ⁽¹⁾ . These weight modules have infinitedimensional weight spaces if and only if V is infinite dimensional. In this paper, we will determine necessary and sufficient conditions for these modules F ^α(V) to be irreducible. In this way, we obtain a lot of irreducible weight A ₁ ⁽¹⁾ -modules with infinite-dimensional weight spaces.     

Asymptotic Property of the 𝕀-Invariant of the Associated Graded Modules

Abstract

The present article clarifies the stability of the 𝕀-invariant of the associated graded modules G(𝔞 ⁿ ; E) when n is increasing. It will be shown that the 𝕀-invariant 𝕀(G(𝔞 ⁿ ; E)) becomes a constant if n is sufficiently large.     

The Yoneda Algebra of a Graded Ore Extension

Let A be a connected-graded algebra with trivial module 𝕜, and let B be a graded Ore extension of A. We relate the structure of the Yoneda algebra E(A): = Ext _A (𝕜, 𝕜) to E(B). Cassidy and Shelton have shown that when A satisfies their 𝒦₂ property, B will also be 𝒦₂. We prove the converse of this result.     

Lazard’s theorem for S-pure flat modules

Let R be an associative ring with identity. For a given class 𝒮 of finitely presented left (respectively right) R-modules containing R, we present a complete characterization of 𝒮-pure injective modules and 𝒮-pure flat modules. Consider that 𝒮 is a class of (R,R)-bimodules containing R with the following property: every element of 𝒮 is a finitely presented left and right R-module. We give a necessary and sufficient condition for 𝒮 to have Lazard’s theorem, and then we present our desired Lazard’s theorem.     

Some new dimensions of modules and rings

We say that a class 𝒫 of right modules over a fixed ring R is an epic class if it is closed under homomorphic images. For an arbitrary epic class 𝒫, we define a 𝒫-dimension of modules that measures how far modules are from the modules in the class 𝒫. For an epic class 𝒫 consisting of indecomposable modules, first we characterize rings whose modules have 𝒫-dimension. In fact, we show that every right R-module has 𝒫-dimension if and only if R is a semisimple Artinan ring. Then we study fully Hopfian modules with 𝒫-dimension. In particular, we show that a commutative ring R with 𝒫-dimension (resp. finite 𝒫-dimension) is either local or Noetherian (resp. Artinian). Finally, we show that Mat_m(R) is a right Köthe ring for some m if and only if every (left) right module is a direct sum of modules of 𝒫-dimension at most n for some n, if and only if R is a pure semisimple ring.     

Estimation under ℓ1-Symmetry

The estimation of the location parameter of an ℓ₁-symmetric distribution is considered. Specifically when a p-dimensional random vector has a distribution that is a mixture of uniform distributions on the ℓ₁-sphere, we investigate a general class of estimators of the form δ=X+g. Under the usual quadratic loss, domination of δ over X is obtained through the partial differential inequality 4 div g+2X ∂²g+ g²0 and a new superharmonicity-type-like notion adapted to the ℓ₁-context. Specifically the condition of ℓ₁-superharmonicity is that 2Δf+X ³f0 and div ³f0 as compared to the usual (ℓ₂) condition Δf0.     

On P𝔉-Supplemented subgroups of finite groups

Let 𝔉 be a class of groups and G a finite group. A maximal subgroup M of G is called 𝔉-abnormal provided G∕M_G?𝔉. Let K<H be subgroup of G. Then we say that (K,H) is an 𝔉-abnormal pair of G provided K is a maximal 𝔉-abnormal subgroup of H. Let A be a subgroup of G. Then we say that A is 𝔉-quasipermutable in G provided A either covers or avoids every 𝔉-abnormal pair of G. In this paper, we consider some applications of 𝔉-quasipermutable subgroups.     

On classification of quasifinite representations of two classes of Lie superalgebras of block type

Motivated by a well-known theorem of Mathieu’s on Harish–Chandra modules over the Virasoro algebra and its super version, we show that an irreducible quasifinite module over two classes of Lie superalgebras 𝒮(q) of Block type is either a highest or lowest weight module or else a module of the intermediate series if q≠?1. For such a module over 𝒮(?1), we give a rough classification.     

On Whittaker modules over a class of algebras similar to U(sl 2)

Motivated by the study of invariant rings of finite groups on the first Weyl algebras A ₁ and finding interesting families of new noetherian rings, a class of algebras similar to U(sl ₂) was introduced and studied by Smith. Since the introduction of these algebras, research efforts have been focused on understanding their weight modules, and many important results were already obtained. But it seems that not much has been done on the part of nonweight modules. In this paper, we generalize Kostant’s results on the Whittaker model for the universal enveloping algebras U(g) of finite dimensional semisimple Lie algebras g to Smith’s algebras. As a result, a complete classification of irreducible Whittaker modules (which are definitely infinite dimensional) for Smith’s algebras is obtained, and the submodule structure of any Whittaker module is also explicitly described.      

On the theta completions for maximal subalgebras

Let L be a finite dimensional Lie algebra. Then for a maximal subalgebra M of L, a 𝜃-completion for M is a subalgebra C of L such that CM and M_L?C and C∕M_L contains no non-zero ideal of L∕M_L, properly. And a 𝜃-completion C of M is said to be a strong 𝜃-completion, if C = L or there exists a subalgebra B of L such that C be maximal in B and B is not a 𝜃-completion for M. These are analogous to the concepts of 𝜃-completion and strong 𝜃-completion of a maximal subgroup of a finite group. Now, we consider the influence of these concepts on the structure of a finite dimensional Lie algebra.     

Gelfand-Kirillov dimensions of the ℤ-graded oscillator representations of 𝔬(n,ℂ) and 𝔰𝔭(2n,ℂ)

In this paper, we give a method to compute the Gelfand–Kirillov dimensions of some polynomial–type weight modules. These modules are infinite-dimensional irreducible 𝔬(n,?)-modules and 𝔰𝔭(2n,?)-modules that appeared in the ?-graded oscillator generalizations of the classical theorem on harmonic polynomials established by Luo and Xu. We also found that some of these modules have the secondly minimal GK-dimension, and some of them have the larger GK-dimension than the maximal GK-dimension apearing in unitary highest-weight modules.     

On the tensor product of a finite and an infinite dimensional representation

There are two main results in the paper. The first gives the infinitesimal character that can occur in the tensor product V V_λ of an irreducible finite dimensional representation V_λ and an irreducible infinite dimensional representation V of a semisimple Lie algebra . The statement is that the infinitesimal characters are x_{v + μi}, I = 1, 2,…, k, where μ_i are the weights of V_λand v is the “pseudo” highest weight of V.The second result proves that if V is a Harish-Chandra module (one which comes from a group representation), then V V_λ has a finite composition series. But then the irreducible components in the composition series have the infinitesimal characters given in the first results.     

On simple modules of Hecke algebras of type Dn

This is a continuation of our previous work. We classify all the simple ℋ_q(D _n )-modules via an automorphismh defined on the set { λ | D^λ ≠ 0}. Whenf _n(q) ≠ 0, this yields a classification of all the simple ℋ ^q (D _n)- modules for arbitrary n. In general ( i. e., q arbitrary), if λ⁽¹⁾ = λ⁽²⁾,wegivea necessary and sufficient condition ( in terms of some polynomials ) to ensure that the irreducible ℋ_q,1(B _n )- module D^λ remains irreducible on restriction to ℋ_q(D _n ).     

Notes on subtlety and ineffability in P κ λ

A type of subtlety for P_κλ called “strongly subtle” is introduced to show almost ineffability is consistencywise stronger than Shelah property. The following are also shown: is strongly subtle” has rather strong consequences. (ii) The ideal is not strongly subtle} is not λ-saturated , and completely ineffable ideal is not precipitous. (iii) In case that λ^<κ=2^λ, almost λ-ineffability coincides with λ-ineffability. (iv) It is not provable that κ is λ^<κ-ineffable whenever κ is λ-ineffable.Research partially supported by “Grant-in-Aid for Scientific research (C), The Ministry of Education, Science, Sports and Culture of Japan 09640299”, and “Japan Society for the Promotion of Science 14540142”.The author is very grateful to the referee for his correcting many errors and helpful suggestions.     

Completely 𝒲-Resolved Complexes

Let R be a ring and 𝒲 a self-orthogonal class of left R-modules which is closed under finite direct sums and direct summands. A complex C of left R-modules is called a 𝒲-complex if it is exact with each cycle Z ⁿ (C) ∈ 𝒲. The class of such complexes is denoted by 𝒞_𝒲. A complex C is called completely 𝒲-resolved if there exists an exact sequence of complexes D _· = … → D _?1 → D ₀ → D ₁ → … with each term D _i in 𝒞_𝒲 such that C = ker(D ₀ → D ₁) and D _· is both Hom(𝒞_𝒲, ?) and Hom(?, 𝒞_𝒲) exact. In this article, we show that C = … → C ^?1 → C ⁰ → C ¹ → … is a completely 𝒲-resolved complex if and only if C ⁿ is a completely 𝒲-resolved module for all n ∈ ?. Some known results are obtained as corollaries.     

𝔏-Rickart Modules

It is well known that the Rickart property of rings is not a left-right symmetric property. We extend the notion of the left Rickart property of rings to a general module theoretic setting and define 𝔏-Rickart modules. We study this notion for a right R-module M _R where R is any ring and obtain its basic properties. While it is known that the endomorphism ring of a Rickart module is a right Rickart ring, we show that the endomorphism ring of an 𝔏-Rickart module is not a left Rickart ring in general. If M _R is a finitely generated 𝔏-Rickart module, we prove that End _R (M) is a left Rickart ring. We prove that an 𝔏-Rickart module with no set of infinitely many nonzero orthogonal idempotents in its endomorphism ring is a Baer module. 𝔏-Rickart modules are shown to satisfy a certain kind of nonsingularity which we term “endo-nonsingularity.” Among other results, we prove that M is endo-nonsingular and End _R (M) is a left extending ring iff M is a Baer module and End _R (M) is left cononsingular.     

Continuous mappings on subspaces of products with the κ-box topology

Much of General Topology addresses this issue: Given a function fC(Y,Z) with YY^′ and ZZ^′, find , or at least , such that ; sometimes Z=Z^′ is demanded. In this spirit the authors prove several quite general theorems in the context Y^′=(X_I)_κ=∏_iIX_i in the κ-box topology (that is, with basic open sets of the form ∏_iIU_i with U_i open in X_i and with U_i≠X_i for <κ-many iI). A representative sample result, extending to the κ-box topology some results of Comfort and Negrepontis, of Noble and Ulmer, and of Hušek, is this. Theorem Let ωκα (that means: κ<α, and [β<α and λ<κ]β^λ<α) with α regular, be a set of non-empty spaces with each d(X_i)<α, π[Y]=X_J for each non-empty JI such that |J|<α, and the diagonal in Z be the intersection of <α-many regular-closed subsets of Z×Z. Then (a) Y is pseudo-(α,α)-compact, (b) for every fC(Y,Z) there is J[I]^<α such that f(x)=f(y) whenever x_J=y_J, and (c) every such f extends to .