On Strongly Gorenstein FP-Injective Modules

This article continues to investigate a particular case of Gorenstein FP-injective modules, called strongly Gorenstein FP-injective modules. Some examples are given to show that strongly Gorenstein FP-injective modules lie strictly between FP-injective modules and Gorenstein FP-injective modules. Various results are developed, many extending known results in [1 Bennis , D. , Mahdou , N. ( 2007 ). Strongly Gorenstein projective, injective, and flat modules . J. Pure Appl. Algebra 210 : 437 – 445 .[Crossref], [Web of Science ®] , [Google Scholar]]. We also characterize FC rings in terms of strongly Gorenstein FP-injective, projective, and flat modules.     

Almost-Perfect Rings and Modules

Following [1 Amini , A. , Ershad , M. , Sharif , H. ( 2008 ). Rings over which flat covers of finitely generated modules are projective . Comm. Algebra 36 : 2862 – 2871 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]], a ring R is called right almost-perfect if every flat right R-module is projective relative to R. In this article, we continue the study of these rings and will find some new characterizations of them in terms of decompositions of flat modules. Also we show that a ring R is right almost-perfect if and only if every right ideal of R is a cotorsion module. Furthermore, we prove that over a right almost-perfect ring, every flat module with superfluous radical is projective. Moreover, we define almost-perfect modules and investigate some properties of them.     

On the Associated Primes of Matlis Duals of Local Cohomology Modules II

In continuation of [1 Hellus , M. ( 2005 ). On the associated primes of Matlis duals of top local cohomology modules . Communications in Algebra 33 : 3997 – 4009 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]] we study associated primes of Matlis duals of local cohomology modules (MDLCM). We combine ideas from Helmut Zöschinger on coassociated primes of arbitrary modules with results from [1 Hellus , M. ( 2005 ). On the associated primes of Matlis duals of top local cohomology modules . Communications in Algebra 33 : 3997 – 4009 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar] 4-6 Hellus , M. , Stückrad , J. ( 2008 ). On endomorphism rings of local cohomology modules . Proceedings of the American Mathematical Society 136 : 2333 – 2341 . Hellus , M. , Stückrad , J. ( 2008 ). Matlis duals of top local cohomology modules . Proceedings of the American Mathematical Society 136 : 489 – 498 . Hellus , M. , Stückrad , J. ( 2009 ). Artinianness of local cohomology . Journal of Commutative Algebra 1 : 269 – 274 . ], and obtain partial answers to questions which were left open in [1 Hellus , M. ( 2005 ). On the associated primes of Matlis duals of top local cohomology modules . Communications in Algebra 33 : 3997 – 4009 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]]. These partial answers give further support for conjecture (*) from [1 Hellus , M. ( 2005 ). On the associated primes of Matlis duals of top local cohomology modules . Communications in Algebra 33 : 3997 – 4009 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]] on the set of associated primes of MDLCMs. In addition, and also inspired by ideas from Zöschinger, we prove some non-finiteness results of local cohomology.     

Some Remarks on Multiplication and Projective Modules II

All rings are commutative with identity and all modules are unital. Let R be a ring and M an R-module. In our recent work [6 Ali , M. M. , Smith D. J. ( 2004 ). Some remarks on multiplication and projective modules . Communications in Algebra 32 : 3897 – 3909 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]] we investigated faithful multiplication modules and the properties they have in common with projective modules. In this article, we continue our study and investigate faithful multiplication and locally cyclic projective modules and give several properties for them. If M is either faithful multiplication or locally cyclic projective then M is locally either zero or isomorphic to R. We show that, if M is a faithful multiplication module or a locally cyclic projective module, then for every submodule N of M there exists a unique ideal Γ(N) ? Tr(M) such that N = Γ(N)M. We use this result to show that the structure of submodules of a faithful multplication or locally cyclic projective module and their traces are closely related. We also use the trace of locally cyclic projective modules to study their endomorphisms.     

Weyl Modules Associated to Kac–Moody Lie Algebras

Local Weyl modules were originally defined for affine Lie algebras by Chari and Pressley in [5 Chari, V., Pressley, A. (2001). Weyl modules for classical and quantum affine algebras. Represent. Theory 5:191–223 (electronic).[Crossref] , [Google Scholar]]. In this paper we extend the notion of local Weyl modules for a Lie algebra 𝔤 ?A, where 𝔤 is any Kac–Moody algebra and A is any finitely generated commutative associative algebra with unit over ?, and prove a tensor product decomposition theorem which generalizes result in [2 Chari, V., Fourier, G., Khandai, T. (2010). A categorical approach to Weyl modules. Transform. Groups 15(3):517–549.[Crossref], [Web of Science ®] , [Google Scholar], 5 Chari, V., Pressley, A. (2001). Weyl modules for classical and quantum affine algebras. Represent. Theory 5:191–223 (electronic).[Crossref] , [Google Scholar]].     

Sur les varietes d'algebres de lie

ABSTRACT

S. Bulman-Fleming (1992 Bulman-Fleming , S. ( 1992 ). Flat and strongly flat S -systems . II. Comm. Alg. 20 : 2553 – 2567 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]) presented necessary and sufficient conditions under which an amalgam of two copies of a monoid by a proper right ideal is flat, weakly flat, or principally weakly flat. In this note, a similar problem is considered for other generalizations of projective acts, namely for weak, Rees weak, and principal Rees weak projectivity.     

On δ-semiperfect modules

A submodule N of a module M is δ-small in M if N+X≠M for any proper submodule X of M with M∕X singular. A projective δ-cover of a module M is a projective module P with an epimorphism to M whose kernel is δ-small in P. A module M is called δ-semiperfect if every factor module of M has a projective δ-cover. In this paper, we prove various properties, including a structure theorem and several characterizations, for δ-semiperfect modules. Our proofs can be adapted to generalize several results of Mares [8 Mares, E. A. (1963). Semi-perfect modules. Math. Z. 82:347–360.[Crossref] , [Google Scholar]] and Nicholson [11 Nicholson, W. K. (1975). On semiperfect modules. Canad. Math. Bull. 18(1):77–80.[Crossref], [Web of Science ®] , [Google Scholar]] from projective semiperfect modules to arbitrary semiperfect modules.     

Bounds for Arithmetic Degrees

ABSTRACT

Let I be a monomial ideal with minimal monomial generators m₁,…, m_s, and assume that deg(m₁) ≥deg(m₂) ≥ … ≥deg(m_s). Among other things, we prove that the arithmetic degree of I is bounded above by deg(m₁)…deg(m_mht(I)), where mht(I) is the maximal height of associated primes of I. This bound is shaper than the one given in [12 Sturmfels, B., Trung, N. V., Vogel, W. (1995). Bounds on degrees of projective schemes. Math. Ann. 302:417–432.[Crossref], [Web of Science ®] , [Google Scholar]] and more natural than the one given in [9 Hoa, L. T., Trung, N. V. (1998). On the Castelnuovo-Mumford regularity and the arithmetic degree of monomial ideals. Math. Z. 229:519–537.[Crossref], [Web of Science ®] , [Google Scholar]]. In addition, we point out that adeg(I) ≠ adeg(Gin(I)) in general and conjecture that adeg(I) = adeg(Gin(I)) if and only if R/I is sequentially Cohen–Macaulay.     

Weak-injectivity and almost perfect domains

Our main purpose is to characterize the class of almost perfect domains (introduced by Bazzoni and Salce [S. Bazzoni, L. Salce, Almost perfect domains, Colloq. Math. 95 (2003) 285–301]) by weak-injectivity. Weak-injective modules have been discussed by Lee [S.B. Lee, Weak-injective modules, Comm. Algebra 34 (2006) 361–370; S.B. Lee, A note on the Matlis category equivalence, J. Algebra 299 (2006) 854–862]. Here we add some more results on weak-injective modules before we give several characterizations of almost perfect domains.     

Corrigendum To: Goldie Extending Modules

This corrigendum is written to correct the proof of Theorem 5.3 of Akalan et al. [1 Akalan , E. , Birkenmeier , G. F. , Tercan , A. ( 2009 ). Goldie extending modules . Comm. Algebra 37 : 663 – 683 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]].     

Constructive Néron Desingularization of algebras with big smooth locus

An algorithmic proof of the General Néron Desingularization theorem and its uniform version is given for morphisms with big smooth locus. This generalizes the results for the one-dimensional case (cf. [10 Pfister, G., Popescu, D. (2017). Constructive General Neron Desingularization for one dimensional local rings. J. Symbolic Comput. 80:570–580.[Crossref], [Web of Science ®] , [Google Scholar]], [7 Khalid, A., Pfister, G., Popescu, D. (2018). A uniform General Neron Desingularization in dimension one. J. Algebra Appli. 16. arXiv:AC/1612.03416. [Google Scholar]]).     

Dominance and Transmissions in Supertropical Valuation Theory

This article is a sequel of [4 Izhakian , Z. , Knebusch , M. , Rowen , L. ( 2011 ). Supertropical semirings and supervaluations . J. Pure and Applied Alg. 215 ( 10 ): 2431 – 2463 .[Crossref], [Web of Science ®] , [Google Scholar]], where we defined supervaluations on a commutative semiring R and studied a dominance relation ? ≥ ψ between supervaluations ? and ψ on R, aiming at an enrichment of the algebraic tool box for use in tropical geometry.

A supervaluation ?: R → U is a multiplicative map from R to a supertropical semiring U, cf. [4 Izhakian , Z. , Knebusch , M. , Rowen , L. ( 2011 ). Supertropical semirings and supervaluations . J. Pure and Applied Alg. 215 ( 10 ): 2431 – 2463 .[Crossref], [Web of Science ®] , [Google Scholar]], [7 Izhakian , Z. , Rowen , L. ( 2011 ). Supertropical matrix algebra . Israel J. Math. 182 ( 1 ): 383 – 424 .[Crossref], [Web of Science ®] , [Google Scholar]], [8 Izhakian , Z. , Rowen , L. ( 2010 ). Supertropical polynomials and resultants . J. Alg. 324 : 1860 – 1886 . (Preprint at arXiv:0902.2155.) [Crossref], [Web of Science ®] , [Google Scholar]], [5 Izhakian , Z. , Knebusch , M. , Rowen , L. Supertropical monoids: Basics and canonical factorization . Preprint at arXiv:1108.1880 . [Google Scholar]], [9 Maclane , S. ( 1998 ). Categories for the Working Mathemtician. , 4th ed. Springer Vereag . [Google Scholar]], with further properties, which mean that ? is a sort of refinement, or covering, of an m-valuation (= monoid valuation) v: R → M. In the most important case, that R is a ring, m-valuations constitute a mild generalization of valuations in the sense of Bourbaki [1 Bourbaki , N. Algèbre Commutative VI, §3 No. 1 . [Google Scholar]], while ? ≥ ψ means that ψ: R → V is a sort of coarsening of the supervaluation ?. If ?(R) generates the semiring U, then ? ≥ ψ iff there exists a “transmission” α: U → V with ψ = α ○ ?.

Transmissions are multiplicative maps with further properties, cf. [4 Izhakian , Z. , Knebusch , M. , Rowen , L. ( 2011 ). Supertropical semirings and supervaluations . J. Pure and Applied Alg. 215 ( 10 ): 2431 – 2463 .[Crossref], [Web of Science ®] , [Google Scholar], Section 5]. Every semiring homomorphism α: U → V is a transmission, but there are others which lack additivity, and this causes a major difficulty. In the main body of the article we study surjective transmissions via equivalence relations on supertropical semirings. We put special emphasis on homomorphic equivalence relations. Even those are often much more complicated than congruences by ideals in usual commutative algebra.     

Gorenstein FP-Injective Dimension for Complexes

This article is a continuous work of [17 Hu , J. , Zhang , D. ( 2013 ). Weak AB-context for FP-injective modules with respect to semidualizing modules . J. Algebra Appl. 12 ( 7 ): 1350039 .[Crossref], [Web of Science ®] , [Google Scholar]], where the coauthors introduced the notion of 𝒢-FP-injective R-modules. In this article, we define a notion of 𝒢-FP-injective dimension for complexes over left coherent rings. To investigate the relationships between 𝒢-FP-injective dimension and FP-injective dimension for complexes, the complete cohomology group bases on FP-injectives is given.     

On H-supplemented modules over a right perfect ring

In 1971, Koehler [11 Koehler, A. (1971). Quasi-projective and quasi-injective modules. Pac. J. Math. 36(3):713–720.[Crossref], [Web of Science ®] , [Google Scholar]] proved a structure theorem for quasi-projective modules over right perfect rings by using results of Wu–Jans [22 Wu, L. E. T., Jans, J. P. (1967). On quasi-projectives. Illinois J. Math. 11:439–448. [Google Scholar]]. Later Mohamed–Singh [17 Mohamed, S. H., Singh, S. (1977). Generalizations of decomposition theorems known over perfect rings. J. Aust. Math. Soc. Ser. A 24(4):496–510.[Crossref] , [Google Scholar]] studied discrete modules over right perfect rings and gave decomposition theorems for these modules. Moreover, Oshiro [18 Oshiro, K. (1983). Semiperfect modules and quasi-semiperfect modules. Osaka J. Math. 20:337–372.[Web of Science ®] , [Google Scholar]] deeply studied (quasi-)discrete modules over general rings. In this paper, we consider that decomposition theorems for H-supplemented modules with the condition (D₂) or (D₃) over right perfect rings.     

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.     

Hurwitz Generation of PSp 6(q)

We show that the symplectic groups PSp₆(q) are Hurwitz for all q = p ^m  ≥ 5, with p an odd prime. The result cannot be improved since, for q even and q = 3, it is known that PSp₆(q) is not Hurwitz. In particular, n = 6 turns out to be the smallest degree for which a family of classical simple groups of degree n, over 𝔽 _{p ^m} , contains Hurwitz groups for infinitely many values of m. This fact, for a given (possibly large) p, also follows from [9 Larsen , M. , Lubotzky , A. , Marion , C. ( 2014 ). Deformation theory and finite simple quotients of triangle groups I . J. Eur. Math. Soc. (JEMS) 16 ( 7 ): 1349 – 1375 .[Crossref], [Web of Science ®] , [Google Scholar]] and [10 Larsen , M. , Lubotzky , A. , Marion , C. ( 2014 ). Deformation theory and finite simple quotients of triangle groups II . Groups Geom. Dyn. 8 ( 3 ): 811 – 836 .[Crossref], [Web of Science ®] , [Google Scholar]].     

ℱ-Noetherian and Weakly Exact Torsion Theories

It is well-known (see [13 Golan , J. ( 1986 ). Torsion Theories . Pitman Monographs and Surveys in Pure and Applied Matematics , Vol. 29 . Longman Scientific and Technical . [Google Scholar]]) that a hereditary torsion theory τ for the category R-mod is noetherian if and only if the class of all τ-torsionfree τ-injective modules is closed under arbitrary direct sums. So, it is natural to investigate the hereditary torsion theories having the property that the class of all τ-torsionfree injective modules is closed under arbitrary direct sums, which are called ?-noetherian. These torsion theories have been studied by Teply in [16 Teply , M. L. ( 1969 ). Torsionfree injective modules . Pacif. J. Math. 28 : 441 – 453 .[Crossref], [Web of Science ®] , [Google Scholar]]. In the second part of this note we shall study the weakly exact hereditary torsion theories, which generalize the exact one's.     

On the Attached Prime Ideals of Local Cohomology Modules

In this article, we shall prove some new properties about attached prime ideals over local cohomology modules. Also we generalize some of the results of [2 Brodmann , M. P. , Sharp , R. Y. ( 1998 ). Local Cohomology; An Algebraic Introduction with Geometric Applications . Cambridge : Cambridge University Press .[Crossref] , [Google Scholar]].