We consider the sufficient and necessary conditions for the formal triangular matrix ring being right minsymmetric, right DS, semicommutative, respectively.
An element a of a ring R is called uniquely strongly clean if it is the sum of an idempotent and a unit that commute, and in addition, this expression is unique. R is called uniquely strongly clean if every element of...An element a of a ring R is called uniquely strongly clean if it is the sum of an idempotent and a unit that commute, and in addition, this expression is unique. R is called uniquely strongly clean if every element of R is uniquely strongly clean. The uniquely strong cleanness of the triangular matrix ring is studied. Let R be a local ring. It is shown that any n × n upper triangular matrix ring over R is uniquely strongly clean if and only if R is uniquely bleached and R/J（R） ≈Z2.展开更多
In this paper we study Gorenstein(semiheredity)heredity,finite presentedness and F P-injectivity of modules over a formal triangular matrix ring.We provide necessary and sufficient conditions for such rings to be Gore...In this paper we study Gorenstein(semiheredity)heredity,finite presentedness and F P-injectivity of modules over a formal triangular matrix ring.We provide necessary and sufficient conditions for such rings to be Gorenstein(semihereditary)hereditary and investigate when a triangular matrix ring is an n-FC ring.展开更多
In this paper we study the formal triangular matrix ring T =and give some necessary and sufficient conditions for T to be (strongly) separative, m-fold stable and unit 1-stable. Moreover, a condition for finitely gene...In this paper we study the formal triangular matrix ring T =and give some necessary and sufficient conditions for T to be (strongly) separative, m-fold stable and unit 1-stable. Moreover, a condition for finitely generated projec-tive T-modules to have n in the stable range is given under the assumption that A and B are exchange rings.展开更多
Let R and S be rings with identity, M be a unitary（R, S）-bimodule and T =（R M0 S）be the upper triangular matrix ring determined by R, S and M. In this paper we prove that under certain conditions a Jordan bideriva...Let R and S be rings with identity, M be a unitary（R, S）-bimodule and T =（R M0 S）be the upper triangular matrix ring determined by R, S and M. In this paper we prove that under certain conditions a Jordan biderivation of an upper triangular matrix ring T is a biderivation of T.展开更多
Let T be a formal triangular matrix ring.We prove that,if for each 1≤j<i≤n,U_(ij) is flat on both sides,then a left T-module■is Ding projective if and only if M1 is a Ding projective left A1-module and for each ...Let T be a formal triangular matrix ring.We prove that,if for each 1≤j<i≤n,U_(ij) is flat on both sides,then a left T-module■is Ding projective if and only if M1 is a Ding projective left A1-module and for each 1≤k≤n-1 the mappingФk+1,k:U_(k+1),k■AkM_(k)→M_(k)+1 is injective with cokernel Ding projective over Ak+1.As a consequence,we describe Ding projective dimension of a left T-module.展开更多
Let U be a (B, A)-bimodule, A and B be rings, and be a formal triangular matrix ring. In this paper, we characterize the structure of relative Ding projective modules over T under some conditions. Furthermore, using t...Let U be a (B, A)-bimodule, A and B be rings, and be a formal triangular matrix ring. In this paper, we characterize the structure of relative Ding projective modules over T under some conditions. Furthermore, using the left global relative Ding projective dimensions of A and B, we estimate the relative Ding projective dimension of a left T-module.展开更多
Let T=(A0 UB)be a triangular matrix ring with A,B rings and U a B-A-bimodule.We construct resolving subcategories of T-Mod from those of A-Mod and B-Mod.Then we give an estimate of the global resolving resolution dime...Let T=(A0 UB)be a triangular matrix ring with A,B rings and U a B-A-bimodule.We construct resolving subcategories of T-Mod from those of A-Mod and B-Mod.Then we give an estimate of the global resolving resolution dimension of T in terms of that of A and of B.Some applications of these results are given.展开更多
Let R be a ring with an endomorphism a.We show that the clean property and various Armendariz-type properties of R are inherited by the skew matrix rings S(R,n,σ)and T(R,n,σ).They allow the construction of rings wit...Let R be a ring with an endomorphism a.We show that the clean property and various Armendariz-type properties of R are inherited by the skew matrix rings S(R,n,σ)and T(R,n,σ).They allow the construction of rings with a non-zero nilpotent ideal of arbitrary index of nilpotency which inherit various interesting properties of rings.展开更多
Let A and B be rings and U a(B,A)-bimodule.If BU is flat and UA is finitely generated projective(resp.,BU is finitely generated projective and UA is flat),then the characterizations of level modules and Gorenstein AC-...Let A and B be rings and U a(B,A)-bimodule.If BU is flat and UA is finitely generated projective(resp.,BU is finitely generated projective and UA is flat),then the characterizations of level modules and Gorenstein AC-projective modules(resp.,absolutely clean modules and Gorenstein AC-injective modules)over the formal triangular matrix ring T=(A0 UB)are given.As applications,it is proved that every Gorenstein AC-projective left T-module is projective if and only if each Gorenstein AC-projective left A-module and B-module is projective,and every Gorenstein AC-injective left T-module is injective if and only if each Gorenstein AC-injective left A-module and B-module is injective.Moreover,Gorenstein AC-projective and AC-injective dimensions over the formal triangular matrix ring T are studied.展开更多
Let R be a ring. Recall that a right R-module M (RR, resp.) is said to be a PS-module (PS-ring, resp.) if it has projective socle. M is called a CESS-module if every complement summand in M with essential socle is a d...Let R be a ring. Recall that a right R-module M (RR, resp.) is said to be a PS-module (PS-ring, resp.) if it has projective socle. M is called a CESS-module if every complement summand in M with essential socle is a direct summand of M. We show that the formal triangular matrix ring T = A 0M B is a PS-ring if and only if A is a PS-ring, MA and lB(M) = {b ∈ B | bm = 0,m ∈ M} are PS-modules and Soc(lB(M)) M = 0. Using the alternative of right T-module as triple (X,Y )f with X ∈ Mod-A, Y ∈ Mod-B and f : YM →...展开更多
Let R be a left and right Noetherian ring and n, k be any non-negative integers. R is said to satisfy the Auslander-type condition Gn（k） if the right fiat dimension of the （i ＋ 1）-th term in a minimal injective r...Let R be a left and right Noetherian ring and n, k be any non-negative integers. R is said to satisfy the Auslander-type condition Gn（k） if the right fiat dimension of the （i ＋ 1）-th term in a minimal injective resolution of RR is at most i ＋ k for any 0 ≤ i ≤ n - 1. In this paper, we prove that R is Gn（k） if and only if so is a lower triangular matrix ring of any degree t over R.展开更多
In this paper the sufficient and necessary conditions are given for a formal triangular matrix ring to be right PP, generalized right PP, or semihereditary, respectively.
A ring R is said to be right McCoy if the equation f（x）g（x） = 0, where y（x） and g（x） are nonzero polynomials of R[x], implies that there exists nonzero s E R such that f（x）s = 0. It is proven that no proper ...A ring R is said to be right McCoy if the equation f（x）g（x） = 0, where y（x） and g（x） are nonzero polynomials of R[x], implies that there exists nonzero s E R such that f（x）s = 0. It is proven that no proper （triangular） matrix ring is one-sided McCoy. It is shown that for many polynomial extensions, a ring R is right Mccoy if and only if the polynomial extension over R is right Mccoy.展开更多
The concept of the strongly π-regular general ring （with or without unity） is introduced and some extensions of strongly π-regular general rings are considered. Two equivalent characterizations on strongly π- reg...The concept of the strongly π-regular general ring （with or without unity） is introduced and some extensions of strongly π-regular general rings are considered. Two equivalent characterizations on strongly π- regular general rings are provided. It is shown that I is strongly π-regular if and only if, for each x ∈I, x^n =x^n＋1y = zx^n＋1 for n ≥ 1 and y, z ∈ I if and only if every element of I is strongly π-regular. It is also proved that every upper triangular matrix general ring over a strongly π-regular general ring is strongly π-regular and the trivial extension of the strongly π-regular general ring is strongly clean.展开更多
In this paper we carry out a study of modules over a 3 × 3 formal triangular matrix ringГ=（T 0 0 M U 0 N×UM N V）where T, U, V are rings, M, N are U-T, V-U bimodules, respectively. Using the alternative ...In this paper we carry out a study of modules over a 3 × 3 formal triangular matrix ringГ=（T 0 0 M U 0 N×UM N V）where T, U, V are rings, M, N are U-T, V-U bimodules, respectively. Using the alternative description of left Г-module as quintuple （A, B, C; f, g） with A ∈ mod T, B ∈ mod U and C ∈ mod V, f ： M ×T A →B ∈ mod U, g ： N ×U B → C ∈ mod V, we shall characterize uniform, hollow and finitely embedded modules over F, respectively. Also the radical as well as the socle of r （A ＋ B ＋ C） is determined.展开更多
Let R be a ring and S a cancellative and torsion-free monoid and 〈 a strict order on S. If either （S,≤） satisfies the condition that 0 ≤ s for all s ∈ S, or R is reduced, then the ring [[R^S,≤]] of the generali...Let R be a ring and S a cancellative and torsion-free monoid and 〈 a strict order on S. If either （S,≤） satisfies the condition that 0 ≤ s for all s ∈ S, or R is reduced, then the ring [[R^S,≤]] of the generalized power series with coefficients in R and exponents in S has the same triangulating dimension as R. Furthermore, if R is a PWP ring, then so is [[R^S,≤]].展开更多
基金Foundation item： Supported by the Fund of Beijing Education Committee（KM200610005024） Supported by the National Natural Science Foundation of China（10671061）
文摘We consider the sufficient and necessary conditions for the formal triangular matrix ring being right minsymmetric, right DS, semicommutative, respectively.
基金The National Natural Science Foundation of China(No.10971024)the Specialized Research Fund for the Doctoral Program of Higher Education(No.200802860024)the Natural Science Foundation of Jiangsu Province(No.BK2010393)
文摘An element a of a ring R is called uniquely strongly clean if it is the sum of an idempotent and a unit that commute, and in addition, this expression is unique. R is called uniquely strongly clean if every element of R is uniquely strongly clean. The uniquely strong cleanness of the triangular matrix ring is studied. Let R be a local ring. It is shown that any n × n upper triangular matrix ring over R is uniquely strongly clean if and only if R is uniquely bleached and R/J（R） ≈Z2.
基金Supported by the National Natural Science Foundation of China(Grant No.11671126)。
文摘In this paper we study Gorenstein(semiheredity)heredity,finite presentedness and F P-injectivity of modules over a formal triangular matrix ring.We provide necessary and sufficient conditions for such rings to be Gorenstein(semihereditary)hereditary and investigate when a triangular matrix ring is an n-FC ring.
文摘In this paper we study the formal triangular matrix ring T =and give some necessary and sufficient conditions for T to be (strongly) separative, m-fold stable and unit 1-stable. Moreover, a condition for finitely generated projec-tive T-modules to have n in the stable range is given under the assumption that A and B are exchange rings.
文摘Let R and S be rings with identity, M be a unitary（R, S）-bimodule and T =（R M0 S）be the upper triangular matrix ring determined by R, S and M. In this paper we prove that under certain conditions a Jordan biderivation of an upper triangular matrix ring T is a biderivation of T.
基金Supported by the National Natural Science Foundation of China(Grant No.11861055)。
文摘Let T be a formal triangular matrix ring.We prove that,if for each 1≤j<i≤n,U_(ij) is flat on both sides,then a left T-module■is Ding projective if and only if M1 is a Ding projective left A1-module and for each 1≤k≤n-1 the mappingФk+1,k:U_(k+1),k■AkM_(k)→M_(k)+1 is injective with cokernel Ding projective over Ak+1.As a consequence,we describe Ding projective dimension of a left T-module.
文摘Let U be a (B, A)-bimodule, A and B be rings, and be a formal triangular matrix ring. In this paper, we characterize the structure of relative Ding projective modules over T under some conditions. Furthermore, using the left global relative Ding projective dimensions of A and B, we estimate the relative Ding projective dimension of a left T-module.
文摘Let T=(A0 UB)be a triangular matrix ring with A,B rings and U a B-A-bimodule.We construct resolving subcategories of T-Mod from those of A-Mod and B-Mod.Then we give an estimate of the global resolving resolution dimension of T in terms of that of A and of B.Some applications of these results are given.
文摘Let R be a ring with an endomorphism a.We show that the clean property and various Armendariz-type properties of R are inherited by the skew matrix rings S(R,n,σ)and T(R,n,σ).They allow the construction of rings with a non-zero nilpotent ideal of arbitrary index of nilpotency which inherit various interesting properties of rings.
基金partly supported by NSF of China(grants 11761047 and 11861043).
文摘Let A and B be rings and U a(B,A)-bimodule.If BU is flat and UA is finitely generated projective(resp.,BU is finitely generated projective and UA is flat),then the characterizations of level modules and Gorenstein AC-projective modules(resp.,absolutely clean modules and Gorenstein AC-injective modules)over the formal triangular matrix ring T=(A0 UB)are given.As applications,it is proved that every Gorenstein AC-projective left T-module is projective if and only if each Gorenstein AC-projective left A-module and B-module is projective,and every Gorenstein AC-injective left T-module is injective if and only if each Gorenstein AC-injective left A-module and B-module is injective.Moreover,Gorenstein AC-projective and AC-injective dimensions over the formal triangular matrix ring T are studied.
基金the National Natural Science Foundation of China (No.10171082)TRAPOYT (No.200280)Yong Teachers Research Foundation of NWNU (No.NWNU-QN-07-36)
文摘Let R be a ring. Recall that a right R-module M (RR, resp.) is said to be a PS-module (PS-ring, resp.) if it has projective socle. M is called a CESS-module if every complement summand in M with essential socle is a direct summand of M. We show that the formal triangular matrix ring T = A 0M B is a PS-ring if and only if A is a PS-ring, MA and lB(M) = {b ∈ B | bm = 0,m ∈ M} are PS-modules and Soc(lB(M)) M = 0. Using the alternative of right T-module as triple (X,Y )f with X ∈ Mod-A, Y ∈ Mod-B and f : YM →...
基金supported by the Specialized Research Fund for the Doctoral Pro-gram of Higher Education(Grant No.20100091110034)National Natural Science Foundation of China(Grant Nos.11171142,11126169,11101217)+2 种基金Natural Science Foundation of Jiangsu Province of China(Grant Nos.BK2010047,BK2010007)the Scientific Research Fund of Hunan Provincial Education Department(Grant No.10C1143)a Project Funded by the Priority Academic Program Development of Jiangsu Higher Education Institutions
文摘Let R be a left and right Noetherian ring and n, k be any non-negative integers. R is said to satisfy the Auslander-type condition Gn（k） if the right fiat dimension of the （i ＋ 1）-th term in a minimal injective resolution of RR is at most i ＋ k for any 0 ≤ i ≤ n - 1. In this paper, we prove that R is Gn（k） if and only if so is a lower triangular matrix ring of any degree t over R.
基金Partially supported by the Fund (KM200610005024) of Beijing Education Committeethe NNSF (10671061) of China.
文摘In this paper the sufficient and necessary conditions are given for a formal triangular matrix ring to be right PP, generalized right PP, or semihereditary, respectively.
基金The NNSF(10571026)of Chinathe Specialized Research Fund(20060286006)for the Doctoral Program of Higher Education.
文摘A ring R is said to be right McCoy if the equation f（x）g（x） = 0, where y（x） and g（x） are nonzero polynomials of R[x], implies that there exists nonzero s E R such that f（x）s = 0. It is proven that no proper （triangular） matrix ring is one-sided McCoy. It is shown that for many polynomial extensions, a ring R is right Mccoy if and only if the polynomial extension over R is right Mccoy.
基金The Foundation for Excellent Doctoral Dissertationof Southeast University (NoYBJJ0507)the National Natural ScienceFoundation of China (No10571026)the Natural Science Foundation ofJiangsu Province (NoBK2005207)
文摘The concept of the strongly π-regular general ring （with or without unity） is introduced and some extensions of strongly π-regular general rings are considered. Two equivalent characterizations on strongly π- regular general rings are provided. It is shown that I is strongly π-regular if and only if, for each x ∈I, x^n =x^n＋1y = zx^n＋1 for n ≥ 1 and y, z ∈ I if and only if every element of I is strongly π-regular. It is also proved that every upper triangular matrix general ring over a strongly π-regular general ring is strongly π-regular and the trivial extension of the strongly π-regular general ring is strongly clean.
基金the National Natural Science Foundation of China （No. 10371107）.
文摘In this paper we carry out a study of modules over a 3 × 3 formal triangular matrix ringГ=（T 0 0 M U 0 N×UM N V）where T, U, V are rings, M, N are U-T, V-U bimodules, respectively. Using the alternative description of left Г-module as quintuple （A, B, C; f, g） with A ∈ mod T, B ∈ mod U and C ∈ mod V, f ： M ×T A →B ∈ mod U, g ： N ×U B → C ∈ mod V, we shall characterize uniform, hollow and finitely embedded modules over F, respectively. Also the radical as well as the socle of r （A ＋ B ＋ C） is determined.
基金National Natural science Foundation of China(10171082)the Cultivation Fund of the Key Scientific Technical Innovation Project,Ministry of Education of ChinaTRAPOYT
文摘Let R be a ring and S a cancellative and torsion-free monoid and 〈 a strict order on S. If either （S,≤） satisfies the condition that 0 ≤ s for all s ∈ S, or R is reduced, then the ring [[R^S,≤]] of the generalized power series with coefficients in R and exponents in S has the same triangulating dimension as R. Furthermore, if R is a PWP ring, then so is [[R^S,≤]].
