• 대한수학회보
• /
• 제50권1호
• /
• pp.11-24
• /
• 2013

Let m and n be fixed positive integers and M a right R-module. Recall that M is said to be ($m$, $n$)-injective if $Ext^1$(P, M) = 0 for any ($m$, $n$)-presented right R-module P; M is said to be ($m$, $n$)-flat if $Tor_1$(N, P) = 0 for any ($m$, $n$)-presented left R-module P. In terms of some derived functors, relative injective or relative flat resolutions and dimensions are investigated. As applications, some new characterizations of von Neumann regular rings and p.p. rings are given.

• 대한수학회보
• /
• 제60권3호
• /
• pp.637-647
• /
• 2023

Let R be a commutative Noetherian ring, 𝔞 an ideal of R, M an arbitrary R-module and X a finite R-module. We prove a characterization for Hⁱ_𝔞(M) and Hⁱ_𝔞(X, M) to be 𝔞-weakly cofinite for all i, whenever one of the following cases holds: (a) ara(𝔞) ≤ 1, (b) dim R/𝔞 ≤ 1 or (c) dim R ≤ 2. We also prove that, if M is a weakly Laskerian R-module, then Hⁱ_𝔞(X, M) is 𝔞-weakly cofinite for all i, whenever dim X ≤ 2 or dim M ≤ 2 (resp. (R, m) a local ring and dim X ≤ 3 or dim M ≤ 3). Let d = dim M < ∞, we prove an equivalent condition for top local cohomology module H^d_𝔞(M) to be weakly Artinian.

• 대한수학회보
• /
• 제47권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.

• 호남수학학술지
• /
• 제40권2호
• /
• pp.355-366
• /
• 2018

Let R be a commutative ring with identity and let M be a finitely generated module over a Noetherian local ring R. Then it is well-known that M has a minimal projective resolution, which is unique up to isomorphisms of exact sequences. We provide a new proof of its uniqueness. Moreover, we deal with the cohomologies of (M, R/m).

• Journal of applied mathematics & informatics
• /
• 제17권1_2_3호
• /
• pp.653-662
• /
• 2005

In this paper we shall give the relationships among $T_R,\;End_{R}(M),\;SEnd_{R}(M)\;and\;SAut_R(M)$ when M is a perfect R-module. If M and N are perfect modules, we get $SAut_{R}(M {\times}N){\cong}SAut_{R}(M){\times}SAut_R(N)$. Also we shall discuss that $_x(M)_H$ is a subgroup of $_x(M)$ if M is quasi-perfect and $_x(M)_H$ is a normal subgroup of $_x(M)$ if M is perfect.

• 대한수학회논문집
• /
• 제36권1호
• /
• pp.1-10
• /
• 2021

Let R and S be two commutative rings, J be an ideal of S and f : R → S be a ring homomorphism. The amalgamation of R and S along J with respect to f, denoted by R ⋈f J, is the special subring of R × S defined by R ⋈f J = {(a, f(a) + j) | a ∈ R, j ∈ J}. In this paper, we study some basic properties of a special kind of R ⋈f J-modules, called the amalgamation of M and N along J with respect to ��, and defined by M ⋈�� JN := {(m, ��(m) + n) | m ∈ M and n ∈ JN}, where �� : M → N is an R-module homomorphism. The new results generalize some known results on the amalgamation of rings and the duplication of a module along an ideal.

• 대한수학회보
• /
• 제57권5호
• /
• pp.1165-1176
• /
• 2020

Let M be a module over a commutative ring R. In this paper, we study Int(R, M), the module of integer-valued polynomials on M over R, and Int_M(R), the ring of integer-valued polynomials on R over M. We establish some properties of Krull dimensions of Int(R, M) and Int_M(R). We also determine when Int(R, M) and Int_M(R) are nontrivial. Among the other results, it is shown that Int(ℤ, M) is not Noetherian module over Int_M(ℤ) ∩ Int(ℤ), where M is a finitely generated ℤ-module.

• 호남수학학술지
• /
• 제22권1호
• /
• pp.9-16
• /
• 2000

An A-module M is catenary if for each pair of prime submodules K and L of M with $K{\subset}L$ all saturated chains of prime submodules of M from K to L have a common finite length. We show that when A is a Noetherian domain, then every finitely generated A-module is catenary if and only if A is a Dedekind domain or a field. Moreover, a torsion-free divisible A-module M is catenary if and only if the vector space M over Q(A) (the field of fractions of A) is finite dimensional.

• 대한수학회논문집
• /
• 제9권2호
• /
• pp.361-367
• /
• 1994

An elliptic module is an analogue of an elliptic curve over a function field [D]. The dual of an elliptic curve E is represented by Ext(E, $G_{m}$) and the Cartier dual of an affine group scheme G is represented by Hom(G, G$G_{m}$). In the category of elliptic modules the Carlitz module C plays the role of $G_{m}$. Taguchi [T] showed that a notion of duality of a finite t-module can be represented by Hom(G, C) in a suitable category. Our computation shows that the Ext-group as it stands is rather too "big" to represent a dual of an elliptic module.(omitted)

• 대한수학회지
• /
• 제51권5호
• /
• pp.971-985
• /
• 2014

All modules considered in this note are over associative commutative rings with an identity element. We show that a ${\omega}$-local module M is Rad-supplemented if and only if M/P(M) is a local module, where P(M) is the sum of all radical submodules of M. We prove that ${\omega}$-local nonsmall submodules of a cyclic Rad-supplemented module are again Rad-supplemented. It is shown that commutative Noetherian rings over which every w-local Rad-supplemented module is supplemented are Artinian. We also prove that if a finitely generated Rad-supplemented module is cyclic or multiplication, then it is amply Rad-supplemented. We conclude the paper with a characterization of finitely generated amply Rad-supplemented left modules over any ring (not necessarily commutative).