• 대한수학회보
• /
• 제56권2호
• /
• pp.439-450
• /
• 2019

Let R be a ring with unity. Given modules $M_R$ and $_RN$, $M_R$ is said to be absolutely $_RN$-pure if $M{\otimes}N{\rightarrow}L{\otimes}N$ is a monomorphism for every extension $L_R$ of $M_R$. For a module $M_R$, the subpurity domain of $M_R$ is defined to be the collection of all modules $_RN$ such that $M_R$ is absolutely $_RN$-pure. Clearly $M_R$ is absolutely $_RF$-pure for every flat module $_RF$, and that $M_R$ is FP-injective if the subpurity domain of M is the entire class of left modules. As an opposite of FP-injective modules, $M_R$ is said to be a test for flatness by subpurity (or t.f.b.s. for short) if its subpurity domain is as small as possible, namely, consisting of exactly the flat left modules. Every ring has a right t.f.b.s. module. $R_R$ is t.f.b.s. and every finitely generated right ideal is finitely presented if and only if R is right semihereditary. A domain R is $Pr{\ddot{u}}fer$ if and only if R is t.f.b.s. The rings whose simple right modules are t.f.b.s. or injective are completely characterized. Some necessary conditions for the rings whose right modules are t.f.b.s. or injective are obtained.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2011년도 춘계학술대회 논문집
• /
• pp.842-848
• /
• 2011

The low-floor tram is a kind of railway vehicles which is operated on the street way track. For reducing the radius of curvature of the track, the tram consists of some carbody modules, and the articulation systems connect and support these carbody modules. The kind of articulation systems would be the hinge type and the pitching type. The hinge type articulation could allow only the yawing motion of the carbody modules, and the pitching type articulation could allow the pitching and yawing motions of the carbody modules simultaneously. With these function of the articulation systems, the tram could be operated on the horizontal and vertical curvature of the track. The number of each type of articulation could be decided with the number of carbody modules, and the manufacturer would decided the position of each type of the articulation in the view of the stability of carbody modules in the operation condition.

• 대한수학회보
• /
• 제51권1호
• /
• pp.253-266
• /
• 2014

Commutative rings in which every prime ideal is an intersection of maximal ideals are called Hilbert (or Jacobson) rings. We propose to define classical Hilbert modules by the property that classical prime submodules are intersections of maximal submodules. It is shown that all co-semisimple modules as well as all Artinian modules are classical Hilbert modules. Also, every module over a zero-dimensional ring is classical Hilbert. Results illustrating connections amongst the notions of classical Hilbert module and Hilbert ring are also provided. Rings R over which all modules are classical Hilbert are characterized. Furthermore, we determine the Noetherian rings R for which all finitely generated R-modules are classical Hilbert.

• 대한수학회지
• /
• 제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).

• 대한수학회보
• /
• 제54권1호
• /
• pp.289-298
• /
• 2017

Let R denote a commutative Noetherian (not necessarily local) ring and let I be an ideal of R of dimension one. The main purpose of this note is to show that the category ${\mathfrak{M}}(R,\;I)_{com}$ of I-cominimax R-modules forms an Abelian subcategory of the category of all R-modules. This assertion is a generalization of the main result of Melkersson in [15]. As an immediate consequence of this result we get some conditions for cominimaxness of local cohomology modules for ideals of dimension one. Finally, it is shown that the category ${\mathcal{C}}^1_B(R)$ of all R-modules of dimension at most one with finite Bass numbers forms an Abelian subcategory of the category of all R-modules.

• 한국전산구조공학회:학술대회논문집
• /
• 한국전산구조공학회 1998년도 봄 학술발표회 논문집
• /
• pp.165-172
• /
• 1998

The development of Reinforced Concrete member design modules is necessary for user to design structures easily. The purpose of this paper is to be available for a integrated system used structure design. This module is linked with central database for the benefit of minimizing time of design and user's efforts. In order to minimize memory space, all of data is stored in central database. Member design modules applied Object-Oriented concepts are possible to be reusible, flexible for member functions in classes. This modules can be operated both independent member design modules and a part of integrated system. Sooner or later, this modules will be related to member grouping modules by data.

• 한국전기전자재료학회논문지
• /
• 제24권6호
• /
• pp.440-444
• /
• 2011

We have analyzed electrical characteristics of spot light solar cell modules and have completed fabrication of spot light solar cell modules. Before we test modules, we have carried about UV test of hologram. As a result of test, we have obtained 165% efficiency of hologram film. the other hand, we obtained 75% efficiency of general films. After we have fabricated solar modules and carried about field test, spot light solar cell modules with hologram have been investigated 17.3 A of Isc and 155.4 W of power.

• 대한수학회보
• /
• 제57권6호
• /
• pp.1567-1579
• /
• 2020

Let R ⊂ S be a Frobenius extension of rings and M a left S-module and let 𝓧 be a class of left R-modules and 𝒚 a class of left S-modules. Under some conditions it is proven that M is a 𝒚-Gorenstein left S-module if and only if M is an 𝓧-Gorenstein left R-module if and only if S ⊗_R M and Hom_R(S, M) are 𝒚-Gorenstein left S-modules. This statement extends a known corresponding result. In addition, the situations of Ding modules, Gorenstein AC modules and projectively coresolved Gorenstein flat modules are considered under Frobenius extensions.

• 대한수학회보
• /
• 제56권1호
• /
• pp.83-102
• /
• 2019

For $M{\in}R-Mod$, $N{\subseteq}M$ and $L{\in}{\sigma}[M]$ we consider the product $N_ML={\sum}_{f{\in}Hom_R(M,L)}\;f(N)$. A module $N{\in}{\sigma}[M]$ is called an M-multiplication module if for every submodule L of N, there exists a submodule I of M such that $L=I_MN$. We extend some important results given for multiplication modules to M-multiplication modules. As applications we obtain some new results when M is a semiprime Goldie module. In particular we prove that M is a semiprime Goldie module with an essential socle and $N{\in}{\sigma}[M]$ is an M-multiplication module, then N is cyclic, distributive and semisimple module. To prove these results we have had to develop new methods.

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