• Bulletin of the Korean Mathematical Society
• /
• v.59 no.4
• /
• pp.917-928
• /
• 2022

Let R be a commutative Noetherian ring and I an ideal of R. In this paper, we study colocalization of generalized local homology modules. We intend to establish a dual case of local-global principle for the finiteness of generalized local cohomology modules. Let M be a finitely generated R-module and N a representable R-module. We introduce the notions of the representation dimension r^I(M, N) and artinianness dimension a^I(M, N) of M, N with respect to I by r^I(M, N) = inf{i ∈ ℕ₀ : H^I_i(M, N) is not representable} and a^I(M, N) = inf{i ∈ ℕ₀ : H^I_i(M, N) is not artinian} and we show that a^I(M, N) = r^I(M, N) = inf{r^IR_𝔭 (M_𝔭,𝔭N) : 𝔭 ∈ Spec(R)} ≥ inf{a^IR_𝔭 (M_𝔭,𝔭N) : 𝔭 ∈ Spec(R)}. Also, in the case where R is semi-local and N a semi discrete linearly compact R-module such that N/∩_t>0I^tN is artinian we prove that inf{i : H^I_i(M, N) is not minimax}=inf{r^IR_𝔭 (M_𝔭,𝔭N) : 𝔭 ∈ Spec(R)＼Max(R)}.

• Bulletin of the Korean Mathematical Society
• /
• v.57 no.3
• /
• pp.803-813
• /
• 2020

Let M be a finitely generated G-projective R-module over a PVMD R. We prove that M is projective if and only if the canonical map θ : M⨂_R M^∗ → Hom_R(Hom_R(M, M), R) is a surjective homomorphism. Particularly, if G-gldim(R) ⩽ ∞ and Extⁱ_R(M, M) = 0 (i ⩾ 1), then M is projective.

• Bulletin of the Korean Mathematical Society
• /
• v.61 no.1
• /
• pp.273-280
• /
• 2024

Let I be an ideal of a commutative Noetherian semi-local ring R and M be an R-module. It is shown that if dim M ≤ 2 and Supp_R M ⊆ V (I), then M is I-weakly cofinite if (and only if) the R-modules Hom_R(R/I, M) and Ext¹_R(R/I, M) are weakly Laskerian. As a consequence of this result, it is shown that the category of all I-weakly cofinite modules X with dim X ≤ 2, forms an Abelian subcategory of the category of all R-modules. Finally, it is shown that if dim R/I ≤ 2, then for each pair of finitely generated R-modules M and N and each pair of the integers i, j ≥ 0, the R-modules Tor^R_i(N, H^j_I(M)) and Extⁱ_R(N, H^j_I(M)) are I-weakly cofinite.

• Journal of applied mathematics & informatics
• /
• v.28 no.3_4
• /
• pp.993-1001
• /
• 2010

In this paper, we introduce the concept of fuzzy weakly r-M continuous function on r-minimal structures and investigate characterizations and properties for such functions.

• Bulletin of the Korean Mathematical Society
• /
• v.31 no.2
• /
• pp.163-165
• /
• 1994

Modules which satisfy the converse of Schur's lemma have been studied by many authors. In [6], R. Ware proved that a projective module P over a semiprime ring R is irreducible if and only if En $d_{R}$(P) is a division ring. Also, Y. Hirano and J.K. Park proved that a torsionless module M over a semiprime ring R is irreducible if and only if En $d_{R}$(M) is a division ring. In case R is a commutative ring, we obtain the following: An R-module M is irreducible if and only if En $d_{R}$(M) is a division ring and M is a multiplication R-module. Throughout this paper, R is commutative ring with identity and all modules are unital left R-modules. Let R be a commutative ring with identity and let M be an R-module. Then M is called a multiplication module if for each submodule N of M, there exists and ideal I of R such that N=IM. Cyclic R-modules are multiplication modules. In particular, irreducible R-modules are multiplication modules.dules.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.21 no.2
• /
• pp.250-253
• /
• 2011

In this paper, we study characterizations of fuzzy weakly r-M continuous function on r-minimal structures in terms of generalized fuzzy r-minimal open sets.

• Bulletin of the Korean Mathematical Society
• /
• v.56 no.2
• /
• pp.505-514
• /
• 2019

Let R be a commutative ring with identity and M be a unitary R-module. A submodule N of M is called a dense submodule if $Hom_R(M/N,\;E_R(M))=0$, where $E_R(M)$ is the injective hull of M. The R-module M is said to be monoform if any nonzero submodule of M is a dense submodule. In this paper, among the other results, it is shown that any kind of the following module is monoform. (1) The prime R-module M such that for any nonzero submodule N of M, $Ann_R(M/N){\neq}Ann_R(M)$. (2) Strongly prime R-module. (3) Faithful multiplication module over an integral domain.

• Journal of applied mathematics & informatics
• /
• v.28 no.5_6
• /
• pp.1553-1560
• /
• 2010

We introduce the concept of fuzzy almost r-M continuous function on fuzzy r-minimal structures, and investigate characterizations and properties for such a function.

• Journal of the Chungcheong Mathematical Society
• /
• v.23 no.4
• /
• pp.731-739
• /
• 2010

In this paper, we prove stability of the reciprocal difference functional equation $$r\(\frac{{\sum}_{i=1}^{m}x_i}{m}\)-r\(\sum_{i=1}^{m}x_i\)=\frac{(m-1){\prod}_{i=1}^{m}r(x_i)}{{\sum}_{i=1}^{m}{\prod}_{k{\neq}i,1{\leq}k{\leq}m}r(x_k)$$ and the reciprocal adjoint functional equation $$r\(\frac{{\sum}_{i=1}^{m}x_i}{m}\)+r\(\sum_{i=1}^{m}x_i\)=\frac{(m+1){\prod}_{i=1}^{m}r(x_i)}{{\sum}_{i=1}^{m}{\prod}_{k{\neq}i,1{\leq}k{\leq}m}r(x_k)$$ in m-variables. Stability of the reciprocal difference functional equation and the reciprocal adjoint functional equation in two variables were proved by K. Ravi, J. M. Rassias and B. V. Senthil Kumar [13]. We extend their result to m-variables in similar types.

• Honam Mathematical Journal
• /
• v.30 no.3
• /
• pp.513-519
• /
• 2008

Let (R, m) be a Noetherian local ring with maximal ideal m, E := $E_R$(R/m) and let I be an ideal of R. Let M and N be finitely generated R-modules. It is shown that $H^n_I(M,(H^n_I(N)^{\vee})){\cong}(M{\otimes}_RN)^{\vee}$ where grade(I, N) = n = $cd_i$(I, N). We also show that for n = grade(I, R), one has $End_R(H^n_I(P,R)^{\vee}){\cong}Ext^n_R(H^n_I(P,R),P^*)^{\vee}$.