• Title/Summary/Keyword: semi-regular injective module

Search Result 5, Processing Time 0.089 seconds

ON SEMI-REGULAR INJECTIVE MODULES AND STRONG DEDEKIND RINGS

  • Renchun Qu
    • Bulletin of the Korean Mathematical Society
    • /
    • v.60 no.4
    • /
    • pp.1071-1083
    • /
    • 2023
  • The main motivation of this paper is to introduce and study the notions of strong Dedekind rings and semi-regular injective modules. Specifically, a ring R is called strong Dedekind if every semi-regular ideal is Q0-invertible, and an R-module E is called a semi-regular injective module provided Ext1R(T, E) = 0 for every 𝓠-torsion module T. In this paper, we first characterize rings over which all semi-regular injective modules are injective, and then study the semi-regular injective envelopes of R-modules. Moreover, we introduce and study the semi-regular global dimensions sr-gl.dim(R) of commutative rings R. Finally, we obtain that a ring R is a DQ-ring if and only if sr-gl.dim(R) = 0, and a ring R is a strong Dedekind ring if and only if sr-gl.dim(R) ≤ 1, if and only if any semi-regular ideal is projective. Besides, we show that the semi-regular dimensions of strong Dedekind rings are at most one.

Semi M-Projective and Semi N-Injective Modules

  • Hakmi, Hamza
    • Kyungpook Mathematical Journal
    • /
    • v.56 no.1
    • /
    • pp.83-94
    • /
    • 2016
  • Let M and N be modules over a ring R. The purpose of this paper is to study modules M, N for which the bi-module [M, N] is regular or pi. It is proved that the bi-module [M, N] is regular if and only if a module N is semi M-projective and $Im({\alpha}){\subseteq}^{\oplus}N$ for all ${\alpha}{\in}[M,N]$, if and only if a module M is semi N-injective and $Ker({\alpha}){\subseteq}^{\oplus}N$ for all ${\alpha}{\in}[M,N]$. Also, it is proved that the bi-module [M, N] is pi if and only if a module N is direct M-projective and for any ${\alpha}{\in}[M,N]$ there exists ${\beta}{\in}[M,N]$ such that $Im({\alpha}{\beta}){\subseteq}^{\oplus}N$, if and only if a module M is direct N-injective and for any ${\alpha}{\in}[M,N]$ there exists ${\beta}{\in}[M,N]$ such that $Ker({\beta}{\alpha}){\subseteq}^{\oplus}M$. The relationship between the Jacobson radical and the (co)singular ideal of [M, N] is described.

w-INJECTIVE MODULES AND w-SEMI-HEREDITARY RINGS

  • Wang, Fanggui;Kim, Hwankoo
    • Journal of the Korean Mathematical Society
    • /
    • v.51 no.3
    • /
    • pp.509-525
    • /
    • 2014
  • Let R be a commutative ring with identity. An R-module M is said to be w-projective if $Ext\frac{1}{R}$(M,N) is GV-torsion for any torsion-free w-module N. In this paper, we define a ring R to be w-semi-hereditary if every finite type ideal of R is w-projective. To characterize w-semi-hereditary rings, we introduce the concept of w-injective modules and study some basic properties of w-injective modules. Using these concepts, we show that R is w-semi-hereditary if and only if the total quotient ring T(R) of R is a von Neumann regular ring and $R_m$ is a valuation domain for any maximal w-ideal m of R. It is also shown that a connected ring R is w-semi-hereditary if and only if R is a Pr$\ddot{u}$fer v-multiplication domain.

REGULARITY AND SEMIPOTENCY OF HOM

  • Hakmi, Hamza
    • Korean Journal of Mathematics
    • /
    • v.22 no.1
    • /
    • pp.151-167
    • /
    • 2014
  • Let M, N be modules over a ring R and $[M,N]=Hom_R(M,N)$. The concern is study of: (1) Some fundamental properties of [M, N] when [M, N] is regular or semipotent. (2) The substructures of [M, N] such as radical, the singular and co-singular ideals, the total and others has raised new questions for research in this area. New results obtained include necessary and sufficient conditions for [M, N] to be regular or semipotent. New substructures of [M, N] are studied and its relationship with the Tot of [M, N]. In this paper we show that, the endomorphism ring of a module M is regular if and only if the module M is semi-injective (projective) and the kernel (image) of every endomorphism is a direct summand.