• Bulletin of the Korean Mathematical Society
• /
• v.47 no.5
• /
• pp.1041-1052
• /
• 2010

In this paper, strongly cotorsion (torsion-free) modules are studied and strongly cotorsion (torsion-free) dimension is introduced. It is shown that every module has a special $\mathcal{SC}_n$-preenvelope and an ST $\mathcal{F}_n$-cover for any $n\;{\in}\;\mathbb{N}$ based on some results of cotorsion pairs from [9]. Some characterizations of strongly cotorsion (torsion-free) dimension of a module are given.

• Bulletin of the Korean Mathematical Society
• /
• v.59 no.5
• /
• pp.1289-1304
• /
• 2022

In this note, we show that a strongly 𝜙-ring R is a 𝜙-PvMR if and only if any 𝜙-torsion-free R-module is 𝜙-w-flat, if and only if any GV-torsion-free divisible R-module is nonnil-absolutely w-pure, if and only if any GV-torsion-free h-divisible R-module is nonnil-absolutely w-pure, if and only if any finitely generated nonnil ideal of R is w-projective.

• Honam Mathematical Journal
• /
• v.28 no.4
• /
• pp.499-511
• /
• 2006

It is well-known that every finitely generated torsion-free module over a principal ideal domain is free. This will be generalized. We deal with ideals of the finite, external direct product of certain rings. Finally, if M is a torsion-free, finitely generated module over a reduced, Noetherian ring A, then we prove that Ms is a projective module over As, where $S=A{\setminus}(A)$.

• Bulletin of the Korean Mathematical Society
• /
• v.60 no.2
• /
• pp.339-348
• /
• 2023

It is shown that every nilpotent-invariant module can be decomposed into a direct sum of a quasi-injective module and a square-free module that are relatively injective and orthogonal. This paper is also concerned with rings satisfying every cyclic right R-module is nilpotent-invariant. We prove that R ≅ R₁ × R₂, where R₁, R₂ are rings which satisfy R₁ is a semi-simple Artinian ring and R₂ is square-free as a right R₂-module and all idempotents of R₂ is central. The paper concludes with a structure theorem for cyclic nilpotent-invariant right R-modules. Such a module is shown to have isomorphic simple modules eR and fR, where e, f are orthogonal primitive idempotents such that eRf ≠ 0.

• Bulletin of the Korean Mathematical Society
• /
• v.58 no.6
• /
• pp.1563-1567
• /
• 2021

We show that if M is a Utumi module, in particular if M is quasi-continuous, then M = Q ⊕ K, where Q is quasi-injective that is both a square-full as well as a dual-square-full module, K is a square-free module, and Q & K are orthogonal. Dually, we also show that if M is a dual-Utumi module whose local summands are summands, in particular if M is quasi-discrete, then M = P ⊕ K where P is quasi-projective that is both a square-full as well as a dual-square-full module, K is a dual-square-free module, and P & K are factor-orthogonal.

• Journal of the Korean Mathematical Society
• /
• v.50 no.5
• /
• pp.1051-1066
• /
• 2013

By utilizing known characterizations of ${\omega}$-Noetherian rings in terms of injective modules, we give more characterizations of ${\omega}$-Noetherian rings. More precisely, we show that a commutative ring R is ${\omega}$-Noetherian if and only if the direct limit of GV -torsion-free injective R-modules is injective; if and only if every R-module has a GV -torsion-free injective (pre)cover; if and only if the direct sum of injective envelopes of ${\omega}$-simple R-modules is injective; if and only if the essential extension of the direct sum of GV -torsion-free injective R-modules is the direct sum of GV -torsion-free injective R-modules; if and only if every $\mathfrak{F}_{w,f}(R)$-injective ${\omega}$-module is injective; if and only if every GV-torsion-free R-module admits an $i$-decomposition.

• 제어로봇시스템학회:학술대회논문집
• /
• 1990.10a
• /
• pp.175-180
• /
• 1990

Rotational-free-surface (RFS) is a special type of free surface whose two boundaries coincide. For NC machining of PFS, a rotational axis as well as three Cartesian axes are required. In this paper, we develop a four-axis CAM module consisting of: a) Geometric modeling of RFS, b) CL-data generation, and c) Graphic simulation of machining operation. To test the validity and effectiveness of the developed module, several test cuts are made with Bridgeport CNC milling machine and compared with the graphic simulation.

• Journal of Welding and Joining
• /
• v.32 no.6
• /
• pp.75-81
• /
• 2014

Usage of heavy metal element (Pb, Hg and Cd etc.) in electronic devices have been restricted due to the environmental banning of the European Union, such as WEEE and RoHS. Therefore, it is needed to develop the Pb-free solder plated ribbon in photovoltaic (PV) module. This study described that degradation characteristics of PV module under damp heat (DH, $85^{\circ}C$ and 85% R.H.) condition test for 1,000 h. Solar cell ribbons were utilized to hot dipping plate with Pb-free solder alloys. Two types of Pb-free solder plated ribbons, Sn-3.0Ag-0.5Cu (SAC305) and Sn-48Bi-2Ag, and an electroless Sn-40Pb solder hot dipping plated ribbon as a reference sample were prepared to evaluate degradation characteristics. To detect the degradation of PV module with the eutectic and Pb-free solder plated ribbons, I-V curve, electro-luminescence (EL) and cross-sectional SEM analysis were carried out. DH test results show that the reason of maximum power (Pm) drop was mainly due to the decrease fill factor (FF). It was attributed to the crack or oxidation of interface between the cell and the ribbon. Among PV modules with the eutectic and Pb-free solder plated ribbon, the PV module with SAC305 ribbon relatively showed higher stability after DH test than the case of PV module with Sn-40Pb and Sn-48Bi-2Ag solder plated ribbons.

• Bulletin of the Korean Mathematical Society
• /
• v.56 no.4
• /
• pp.1077-1097
• /
• 2019

Let M be a finitely generated module over a regular local ring (R, n). We will fix an n-stable filtration for M and show that the minimal free resolution of M can be obtained from any filtered free resolution of M by zero and negative consecutive cancellations. This result is analogous to [10, Theorem 3.1] in the more general context of filtered free resolutions. Taking advantage of this generality, we will study resolutions obtained by the mapping cone technique and find a sufficient condition for the minimality of such resolutions. Next, we give another application in the graded setting. We show that for a monomial order ${\sigma}$, Betti numbers of I are obtained from those of $LT_{\sigma}(I)$ by so-called zero ${\sigma}$-consecutive cancellations. This provides a stronger version of the well-known cancellation "cancellation principle" between the resolution of a graded ideal and that of its leading term ideal, in terms of filtrations defined by monomial orders.

• Journal of the Korean Mathematical Society
• /
• v.53 no.2
• /
• pp.403-414
• /
• 2016

Let R be a ring, and let M be a left R-module. If M is Rad-supplementing, then every direct summand of M is Rad-supplementing, but not each factor module of M. Any finite direct sum of Rad-supplementing modules is Rad-supplementing. Every module with composition series is (Rad-)supplementing. M has a Rad-supplement in its injective envelope if and only if M has a Rad-supplement in every essential extension. R is left perfect if and only if R is semilocal, reduced and the free left R-module $(_RR)^{({\mathbb{N})}$ is Rad-supplementing if and only if R is reduced and the free left R-module $(_RR)^{({\mathbb{N})}$ is ample Rad-supplementing. M is ample Rad-supplementing if and only if every submodule of M is Rad-supplementing. Every left R-module is (ample) Rad-supplementing if and only if R/P(R) is left perfect, where P(R) is the sum of all left ideals I of R such that Rad I = I.