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.     

Auslander–Reiten Triangles in Homotopy Categories

Let A be an artin algebra. We show that the bounded homotopy category of finitely generated right A-modules has Auslander–Reiten triangles. Two applications are given: (1) we provide an alternative proof of a theorem of Happel in [14 Happel, D. (1988). Triangulated Categories in the Representation Theory of Finite-dimensional Algebras. London Mathematical Society Lecture Note Series, vol. 119. Cambridge: Cambridge University Press.[Crossref] , [Google Scholar]]; (2) we prove that over a Gorenstein algebra, the bounded homotopy category of finitely generated Gorenstein projective (resp. injective) modules, admits Auslander–Reiten triangles, which improve a main result in [12 Nan, G. (2012). Auslander-Reiten triangles on Gorenstein derived categories. Comm. Algebra 40:3912–3919.[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]].     

Special Properties of Rings of Skew Generalized Power Series

Let R be a ring, S a strictly ordered monoid, and ω: S → End(R) a monoid homomorphism. In [30 Marks , G. , Mazurek , R. , Ziembowski , M. ( 2010 ). A unified approach to various generalizations of Armendariz rings . Bull. Aust. Math. Soc. 81 : 361 – 397 .[Crossref], [Web of Science ®] , [Google Scholar]], Marks, Mazurek, and Ziembowski study the (S, ω)-Armendariz condition on R, a generalization of the standard Armendariz condition from polynomials to skew generalized power series. Following [30 Marks , G. , Mazurek , R. , Ziembowski , M. ( 2010 ). A unified approach to various generalizations of Armendariz rings . Bull. Aust. Math. Soc. 81 : 361 – 397 .[Crossref], [Web of Science ®] , [Google Scholar]], we provide various classes of nonreduced (S, ω)-Armendariz rings, and determine radicals of the skew generalized power series ring R[[S ^≤, ω]], in terms of those of an (S, ω)-Armendariz ring R. We also obtain some characterizations for a skew generalized power series ring to be local, semilocal, clean, exchange, uniquely clean, 2-primal, or symmetric.     

Strongly J-Clean Matrices Over Local Rings

An element of a ring is called strongly J-clean provided that it can be written as the sum of an idempotent and an element in its Jacobson radical that commute. We investigate, in this article, a single strongly J-clean 2 × 2 matrix over a noncommutative local ring. The criteria on strong J-cleanness of 2 × 2 matrices in terms of a quadratic equation are given. These extend the corresponding results in [8 Li , B. ( 2009 ). Strongly clean matrix rings over noncommutative local rings . Bull. Korean Math. Soc. 46 : 71 – 78 .[Crossref], [Web of Science ®] , [Google Scholar], Theorems 2.7 and 3.2], [9 Li , Y. ( 2007 ). Strongly clean matrix rings over local rings . J. Algebra 312 : 397 – 404 .[Crossref], [Web of Science ®] , [Google Scholar], Theorem 2.6], and [11 Yang , X. , Zhou , Y. ( 2008 ). Strongly cleanness of the 2 × 2 matrix ring over a general local ring . J. Algebra 320 : 2280 – 2290 .[Crossref], [Web of Science ®] , [Google Scholar], Theorem 7].     

Gorenstein AC-projective dimension of unbounded complexes

Recently, the notion of Gorenstein AC-projective (resp., Gorenstein AC-injective) modules was introduced in [3 Bravo, D., Gillespie, J., Hovey, M. The stable module category of a general ring. http://arxiv.org/abs/1405.5768. [Google Scholar]] by which the so-called “Gorenstein AC-homological algebra” was established. Here, we define and study a notion of Gorenstein AC-projective dimension for complexes (not necessarily bounded) over associative rings, which is inspired by Veliche’s construction of defining Gorenstein projective dimension. In particular, we show that such a dimension can be closely related to the “proper” Gorenstein AC-projective resolutions of complexes induced by a complete and hereditary cotorsion pair in the category of complexes of modules. This enables us to interpret this dimension of a complex in terms of vanishing of the derived functor RHom_R(?,?). As applications, some characterizations of the Gorenstein AC-projective dimension of a module are also obtained.     

A Class of Gorenstein Artin Algebras of Embedding Dimension Four

In this article, we study height four graded Gorenstein ideals I in k[x, y, z, w] such that I ₂ is of height one and generated by three quadrics. After a suitable linear change of variables, I ∩ k[x, y, z] is either Gorenstein or of type two. The former case was studied by Iarrobino and Srinivasan [8 Iarrobino , A. , Srinivasan , H. ( 2005 ). Artininan Gorenstein algebras of embedding dimension four: components of ? Gor (H) for H = (1, 4, 7,…, 1) . Journal of Pure and Applied Algebra 201 : 62 – 96 .[Crossref], [Web of Science ®] , [Google Scholar]] where they give the structure of the ideal and its resolution. We study the latter case and give the structure of these ideals and their minimal resolution. We also explicitly write the form of the generators of I and the maps in the free resolution of R/I.     

On quotients of generalized Euclidean group rings

Let R = ?[C] be the integral group ring of a finite cyclic group C. Dennis et al. [4 Dennis, K., Magurn, B., Vaserstein, L. (1984). Generalized Euclidean group rings. J. Reine Angew. Math. 351:113–128.[Web of Science ®] , [Google Scholar]] proved that R is a generalized Euclidean ring in the sense of Cohn [3 Cohn, P. M. (1966). On the structure of the GL₂ of a ring. Inst. Hautes Études Sci. Publ. Math. 30:5–53.[Crossref] , [Google Scholar]], i.e., SL_n(R) is generated by the elementary matrices for all n. We prove that every proper quotient of R is also a generalized Euclidean ring.     

Loewy Modules with Finite Loewy Invariants and Max Modules with Finite Radical Invariants

Over a commutative ring R, a module is artinian if and only if it is a Loewy module with finite Loewy invariants [5 Facchini , A. ( 1981 ). Loewy and artinian modules over commutative rings . Ann. Mat. Pura Appl. 128 : 359 – 374 .[Crossref], [Web of Science ®] , [Google Scholar]]. In this paper, we show that this is not necesarily true for modules over noncommutative rings R, though every artinian module is always a Loewy module with finite Loewy invariants. We prove that every Loewy module with finite Loewy invariants has a semilocal endomorphism ring, thus generalizing a result proved by Camps and Dicks for artinian modules [3 Camps , R. , Dicks , W. ( 1993 ). On semilocal rings . Israel J. Math. 81 : 203 – 211 .[Crossref], [Web of Science ®] , [Google Scholar]]. Finally, we obtain similar results for the dual class of max modules.     

The Complement Graph for Gaussian Integers Modulo n

This article is a continuation for the work done in [1 Abu Osba , E. , Al-Addasi , S. , Abu Jaradeh , N. ( 2008 ). Zero divisor graph for the ring of Gaussian integers modulo . n. Comm. Algebra 36 ( 10 ): 3865 – 3877 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar], 2 Abu Osba , E. , Al-Addasi , S. , Al-Khamaiseh , B. ( 2011 ). Some properties of the zero divisor graph for the ring of gaussian integers modulo . n. Glasgow Journal of Mathematics 53 : 391 – 399 .[Crossref], [Web of Science ®] , [Google Scholar]] on the zero divisor graph for the ring of Gaussian integers modulo n. It investigates when the complement graph of the zero divisor graph for the Gaussian integers modulo n connected, planar, regular, or Eulerian. The girth and diameter were also studied.     

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 SZ°-Ideals in Polynomial Rings

The theory of z-ideals and z°-ideals, especially as pertaining to the ideal theory of C(X), the ring of continuous functions on a completely regular Hausdorff space X, has been attended to during the recent years; see Gillman and Jerison [9 Gillman , L. , Jerison , M. ( 1976 ). Rings of Continuous Functions . New York : Springer Verlag . [Google Scholar]], Mason [18 Mason , G. ( 1989 ). Prime ideals and quotient rings of reduced rings . Math. Japan 34 : 941 – 956 . [Google Scholar]], and Azarpanah et al. [4 Azarpanah , F. , Karamzadeh , O. A. S. , Rezaei Aliabad , A. ( 2000 ). On ideals consisting entirely of zerodivisor . Comm. Algebra 28 ( 2 ): 1061 – 1073 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]]. In this article we will consider the theory of z°-ideals as applied to the rings of polynomials over a commutative ring with identity. We introduce and study sz°-ideals (an ideal I of a ring is called sz°-ideal, if whenever S is a finite subset of I, then the intersection of all minimal prime ideals containing S is in I). In addition, we will pay attention to several annihilator conditions and find some new results. Finally, we use the two examples that appeared in Henriksen and Jerison [10 Henriksen , M. , Jerison , M. ( 1965 ). The space of minimal prime ideals of a commutative ring . Trans. Amer. Math. Soc. 115 : 110 – 130 .[Crossref], [Web of Science ®] , [Google Scholar]] and Huckaba [12 Huckaba , J. A. ( 1988 ). Commutative Rings with Zero Divisors . Marcel-Dekker Inc . [Google Scholar]], to answer some natural questions that might arise in the literature.     

Feebly Baer Rings and Modules

A right module M over a ring R is called feebly Baer if, whenever xa = 0 with x ∈ M and a ∈ R, there exists e² = e ∈ R such that xe = 0 and ea = a. The ring R is called feebly Baer if R_R is a feebly Baer module. These notions are motivated by the commutative analog discussed in a recent paper by Knox, Levy, McGovern, and Shapiro [6 Knox , M. L. , Levy , R. , McGovern , W. Wm. , Shapiro , J. ( 2009 ) Generalizations of complemented rings with applications to rings of functions. . J. Alg. Appl. 8 ( 1 ): 17 – 40 .[Crossref] , [Google Scholar]]. Basic properties of feebly Baer rings and modules are proved, and their connections with von Neumann regular rings are addressed.     

Elementary matrix reduction over J-stable rings

A commutative ring R is J-stable provided that R∕aR has stable range 1 for all a?J(R). A commutative ring R in which every finitely generated ideal principal is called a Bézout ring. A ring R is an elementary divisor ring provided that every matrix over R admits a diagonal reduction. We prove that a J-stable ring is a Bézout ring if and only if it is an elementary divisor ring. Further, we prove that every J-stable ring is strongly completable. Various types of J-stable rings are provided. Many known results are thereby generalized to much wider class of rings, e.g. [3 Gillman, L., Henriksen, M. (1956). Some remarks about elementary divisor rings. Trans. Amer. Math. Soc. 82:362–365.[Crossref] , [Google Scholar], Theorem 8], [4 Larsen, M., Lewis, W., Shores, T. (1974). Elementary divisor rings and finitely presented modules. Trans. Amer. Math. Soc. 187:231–248.[Crossref], [Web of Science ®] , [Google Scholar], Theorem 4.1], [7 McGovern, W. W. (2008). Bézout rings with almost stable range 1. J. Pure Appl. Algebra 212:340–348.[Crossref], [Web of Science ®] , [Google Scholar], Theorem 3.7], [8 Moore, M. E. (1975). A strongly complement property of Dedekind domain. Czechoslovak Math. J. 25(100):282–283. [Google Scholar], Theorem], [9 Moore, M., Steger, A. (1971). Some results on completability in commutative rings. Pacific J. Math. 37:453–460.[Crossref], [Web of Science ®] , [Google Scholar], Theorem 2.1], [14 Zabavsky, B. V. (1996). Generalized adequate rings. Ukrainian Math. J. 48:614–617.[Crossref] , [Google Scholar], Theorem 1] and [18 Zabavsky, B. V., Komarnyts’kyi, M. Y. (2010). Cohn-type theorem for adequacy and elementary divisor rings. J. Math. Sci. 167:107–111.[Crossref] , [Google Scholar], Theorem 7].     

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.     

Laurent Series Ring over Semiperfect Ring Can Not be Semiperfect

One of the main results of the article [2 Sonin , K. I. ( 1996 ). Semiprime and semiperfect rings of Laurent series . Mathematical Notes 60 : 222 – 226 .[Crossref], [Web of Science ®] , [Google Scholar]] says that, if a ring R is semiperfect and ? is an authomorphism of R, then the skew Laurent series ring R((x, ?)) is semiperfect. We will show that the above statement is not true. More precisely, we will show that, if the Laurent series ring R((x)) is semilocal, then R is semiperfect with nil Jacobson radical.     

Semi-Smooth Newton Methods for Optimal Control of the Dynamical Lamé System with Control Constraints

Optimal control problems governed by the dynamical Lamé system with additional constraints on the controls are analyzed. Different types of control action are considered: distributed, Neumann boundary and Dirichlet boundary control. To treat the inequality control constraints semi-smooth Newton methods are applied and their convergence is analyzed. Although semi-smooth Newton methods are widely studied in the context of PDE-constrained optimization little has been done in the context of the dynamical Lamé system. The novelty of the article is the proof that in case of distributed and Neumann boundary control the Newton method converges superlinearly. In case of Dirichlet control superlinear convergence is shown for a strongly damped Lamé system. The results are an extension of [14 A. Kröner , K. Kunisch , and B. Vexler ( 2011 ). Semi-smooth Newton methods for optimal control of the wave equation with control constraints . SIAM J. Control Optim. 49 : 830 – 858 .[Crossref], [Web of Science ®] , [Google Scholar]], where optimal control problems of the classical wave equation are considered. The control problems are discretized by finite elements and numerical examples are presented.     

Semilocal Convergence of Steffensen-Type Algorithms for Solving Nonlinear Equations

In this article, we provide a semilocal analysis for the Steffensen-type method (STTM) for solving nonlinear equations in a Banach space setting using recurrence relations. Numerical examples to validate our main results are also provided in this study to show that STTM is faster than other methods ([7 I. K. Argyros , J. Ezquerro , J. M. Gutiérrez , M. Hernández , and S. Hilout ( 2011 ). On the semilocal convergence of efficient Chebyshev-Secant-type methods . J. Comput. Appl. Math. 235 : 3195 – 3206 .[Crossref], [Web of Science ®] , [Google Scholar], 13 J. A. Ezquerro and M. A. Hernández ( 2009 ). An optimization of Chebyshev's method . J. Complexity 25 : 343 – 361 .[Crossref], [Web of Science ®] , [Google Scholar]]) using similar convergence conditions.     

A Note on the Dimension Theory of ℤ n -Graded Rings

In this note we want to generalize some of the results in [1 Brewer , J. , Montgomery , P. , Rutter E. , Heinzer , W. ( 1973 ). Krull dimension of polynomial rings in “Conference on Commutative Algebra, Lawrence 1972.” . Springer Lecture Notes in Mathematics 311 : 26 – 45 .[Crossref] , [Google Scholar]] from polynomial rings in several indeterminates to arbitrary ? ⁿ -graded commutative rings. We will prove an analogue of Jaffard's Special Chain Theorem and a similar result for the height of a prime ideal 𝔭 over its graded core 𝔭*.