• Proceedings of the KIEE Conference
• /
• 1996.07b
• /
• pp.1063-1065
• /
• 1996

As PLC has become central to today's FA environment, the importance of developing and providing special-module of PLC such as Analog-module, PID-module, Temperature Control-module has increased. In this paper introduces the Temperature Control-module which is developed by LGIS R&D lab. and presents the availability of PLC-control system with Temperature Control-module.

• 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.57 no.3
• /
• pp.763-780
• /
• 2020

Let R be a commutative ring. An R-module M is said to be w-flat if Tor ^R₁ (M, N) is GV -torsion for any R-module N. It is known that every flat module is w-flat, but the converse is not true in general. The w-flat dimension of a module is defined in terms of w-flat resolutions. In this paper, we study the w-flat dimension of an injective w-module. To do so, we introduce and study the so-called w-copure (resp., strongly w-copure) flat modules and the w-copure flat dimensions for modules and rings. The relations between the introduced dimensions and other (classical) homological dimensions are discussed. We also study change of rings theorems for the w-copure flat dimension in various contexts. Finally some illustrative examples regarding the introduced concepts are given.

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

• Bulletin of the Korean Mathematical Society
• /
• v.58 no.2
• /
• pp.497-505
• /
• 2021

Let R → S be a ring homomorphism. The relations of Gorenstein projective dimension with respect to a semidualizing module of homologically bounded complexes between U ⊗LR X and X are considered, where X is an R-complex and U is an S-complex. Some sufficient conditions are given under which the equality ${\mathcal{GP}}_{\tilde{C}}-pd_S(S{\otimes}{L \atop R}X)={\mathcal{GP}}_C-pd_R(X)$ holds. As an application it is shown that the Auslander-Buchsbaum formula holds for GC-projective dimension.

• Journal of the Korean Mathematical Society
• /
• v.42 no.5
• /
• pp.933-948
• /
• 2005

Let R be a commutative ring with identity and let M be an R-module. Then M is called a multiplication module if for every submodule N of M there exists an ideal I of R such that N = 1M. Let M be a non-zero multiplication R-module. Then we prove the following: (1) there exists a bijection: N(M)$\bigcap$V(ann$\_{R}$(M))$\rightarrow$Spec$\_{R}$(M) and in particular, there exists a bijection: N(M)$\bigcap$Max(R)$\rightarrow$Max$\_{R}$(M), (2) N(M) $\bigcap$ V(ann$\_{R}$(M)) = Supp(M) $\bigcap$ V(ann$\_{R}$(M)), and (3) for every ideal I of R, The ideal $\theta$(M) = $\sum$$\_{m(Rm :R M) of R has proved useful in studying multiplication modules. We generalize this ideal to prove the following result: Let R be a commutative ring with identity, P $\in$ Spec(R), and M a non-zero R-module satisfying (1) M is a finitely generated multiplication module, (2) PM is a multiplication module, and (3) P$^{n}$M$\neq$P$^{n+1}$ for every positive integer n, then $\bigcap$$^{$\_{n=1}$(P$^{n}$ + ann$\_{R}$(M)) $\in$ V(ann$\_{R}$(M)) = Supp(M) $\subseteq$ N(M).

• 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 Q₀-invertible, and an R-module E is called a semi-regular injective module provided Ext¹_R(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.

• Journal of applied mathematics & informatics
• /
• v.17 no.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.

• Bulletin of the Korean Mathematical Society
• /
• v.57 no.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.