• Bulletin of the Korean Mathematical Society
• /
• v.44 no.4
• /
• pp.589-596
• /
• 2007

In this paper we prove that the extension of pure injective module is pure injective if and only if the cotorsion envelope and the pure injective envelope of any R-module M are isomorphic over M. And we prove that if the product of pure injective envelopes of flat modules is a pure injective envelope and the product of flat covers is a flat cover, then the product of cotorsion envelopes is a cotorsion envelope.

• Communications of the Korean Mathematical Society
• /
• v.39 no.1
• /
• pp.59-69
• /
• 2024

Let R be a commutative ring. An R-module E is said to be regular injective provided that Ext¹_R(R/I, E) = 0 for any regular ideal I of R. We first show that the class of regular injective modules have the hereditary property, and then introduce and study the regular injective dimension of modules and regular global dimension of rings. Finally, we give some homological characterizations of total rings of quotients and Dedekind rings.

• Bulletin of the Korean Mathematical Society
• /
• v.43 no.2
• /
• pp.299-307
• /
• 2006

The following results ale extended from P-injective rings to AP-injective rings: (1) R is left self-injective regular if and only if R is a right (resp. left) AP-injective ring such that for every finitely generated left R-module M, $_R(M/Z(M))$ is projective, where Z(M) is the left singular submodule of $_{R}M$; (2) if R is a left nonsingular left AP-injective ring such that every maximal left ideal of R is either injective or a two-sided ideal of R, then R is either left self-injective regular or strongly regular. In addition, we answer a question of Roger Yue Chi Ming [13] in the positive. Let R be a ring whose every simple singular left R-module is Y J-injective. If R is a right MI-ring whose every essential right ideal is an essential left ideal, then R is a left and right self-injective regular, left and right V-ring of bounded index.

• Bulletin of the Korean Mathematical Society
• /
• v.47 no.3
• /
• pp.611-622
• /
• 2010

A ring R is called left max-coherent provided that every maximal left ideal is finitely presented. $\mathfrak{M}\mathfrak{I}$ (resp. $\mathfrak{M}\mathfrak{F}$) denotes the class of all max-injective left R-modules (resp. all max-flat right R-modules). We prove, in this article, that over a left max-coherent ring every right R-module has an $\mathfrak{M}\mathfrak{F}$-preenvelope, and every left R-module has an $\mathfrak{M}\mathfrak{I}$-cover. Furthermore, it is shown that a ring R is left max-injective if and only if any left R-module has an epic $\mathfrak{M}\mathfrak{I}$-cover if and only if any right R-module has a monic $\mathfrak{M}\mathfrak{F}$-preenvelope. We also give several equivalent characterizations of MI-injectivity and MI-flatness. Finally, $\mathfrak{M}\mathfrak{I}$-dimensions of modules and rings are studied in terms of max-injective modules with the left derived functors of Hom.

• Communications of the Korean Mathematical Society
• /
• v.11 no.2
• /
• pp.285-294
• /
• 1996

In this paper, we show relations between injective covers and direct sums, some commutative properties, and composition properties in the injective covers.

• 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.

• Communications of the Korean Mathematical Society
• /
• v.15 no.3
• /
• pp.453-467
• /
• 2000

For any S-flat module RM(which will be called endoflat) with a commutaitve ring R with identity, where S is the endomorphism ring RM, the fact that every epimorphism is an automorphism has been proved and the Jacobson Radical Rad(S) of S is described as follow; Rad(S) = { f$\in$S｜Imf=Mf is small in M} = {f$\in$S｜Imf $\leq$Rad(M)}. Additionally for any quasi-injective endo-flat module RM, the fact that every monomorphism is an automorphism has been proved and the Jacobson Radical Rad(S) for any quasi-injective endo-flat module has been studied too. Also some equivalent conditions for the semi-primitivity of any faithful endo-flat module RM with the open Jacobson Radical Rad(M) and those for the semi-simplicity of any faithful endo-flat quasi-injective module RM with the closed Socle Soc(M) have been studied.

• Bulletin of the Korean Mathematical Society
• /
• v.47 no.4
• /
• pp.693-699
• /
• 2010

In this paper we show that the flat property of a left R-module does not imply (carry over) to the corresponding inverse polynomial module. Then we define an induced inverse polynomial module as an R[x]-module, i.e., given an R-linear map f : M $\rightarrow$ N of left R-modules, we define $N+x^{-1}M[x^{-1}]$ as a left R[x]-module. Given an exact sequence of left R-modules $$0\;{\rightarrow}\;N\;{\rightarrow}\;E^0\;{\rightarrow}\;E^1\;{\rightarrow}\;0$$, where $E^0$, $E^1$ injective, we show $E^1\;+\;x^{-1}E^0[[x^{-1}]]$ is not an injective left R[x]-module, while $E^0[[x^{-1}]]$ is an injective left R[x]-module. Make a left R-module N as a left R[x]-module by xN = 0. We show inj $dim_R$ N = n implies inj $dim_{R[x]}$ N = n + 1 by using the induced inverse polynomial modules and their properties.

• Korean Journal of Mathematics
• /
• v.16 no.3
• /
• pp.323-334
• /
• 2008

We define injective and projective representations of quivers with two vertices with n arrows. In the representation of quivers we denote n edges between two vertices as ${\Rightarrow}$ and n maps as $f_1{\sim}f_n$, and $E{\oplus}E{\oplus}{\cdots}{\oplus}E$ (n times) as ${\oplus}_nE$. We show that if E is an injective left R-module, then $${\oplus}_nE{\Longrightarrow[50]^{p_1{\sim}p_n}}E$$ is an injective representation of $Q={\bullet}{\Rightarrow}{\bullet}$ where $p_i(a_1,a_2,{\cdots},a_n)=a_i,\;i{\in}\{1,2,{\cdots},n\}$. Dually we show that if $M_1{\Longrightarrow[50]^{f_1{\sim}f_n}}M_2$ is an injective representation of a quiver $Q={\bullet}{\Rightarrow}{\bullet}$ then $M_1$ and $M_2$ are injective left R-modules. We also show that if P is a projective left R-module, then $$P\Longrightarrow[50]^{i_1{\sim}i_n}{\oplus}_nP$$ is a projective representation of $Q={\bullet}{\Rightarrow}{\bullet}$ where $i_k$ is the kth injection. And if $M_1\Longrightarrow[50]^{f_1{\sim}f_n}M_2$ is an projective representation of a quiver $Q={\bullet}{\Rightarrow}{\bullet}$ then $M_1$ and $M_2$ are projective left R-modules.

• Communications of the Korean Mathematical Society
• /
• v.25 no.4
• /
• pp.497-510
• /
• 2010

Let R be a ring and n a fixed non-negative integer. $\cal{TI}_n$ (resp. $\cal{TF}_n$) denotes the class of all right R-modules of FGT-injective dimensions at most n (resp. all left R-modules of FGT-flat dimensions at most n). We prove that, if R is a right $\prod$-coherent ring, then every right R-module has a $\cal{TI}_n$-cover and every left R-module has a $\cal{TF}_n$-preenvelope. A right R-module M is called n-TI-injective in case $Ext^1$(N,M) = 0 for any $N\;{\in}\;\cal{TI}_n$. A left R-module F is said to be n-TI-flat if $Tor_1$(N, F) = 0 for any $N\;{\in}\;\cal{TI}_n$. Some properties of n-TI-injective and n-TI-flat modules and their relations with $\cal{TI}_n$-(pre)covers and $\cal{TF}_n$-preenvelopes are also studied.