• Kyungpook Mathematical Journal
• /
• v.45 no.3
• /
• pp.445-453
• /
• 2005

We say that a module M is weak lifting if M is supplemented and every supplement submodule of M is a direct summand. The module M is called lifting, if it is weak lifting and amply supplemented. This paper investigates the structure of weak lifting modules and lifting modules having small radical over commutative noetherian rings.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2004.10a
• /
• pp.1202-1206
• /
• 2004

In the future, a machine-tool will be more improved in the form of a knowledge evolution based device. In order to develop the knowledge evolution based machine-tool, this paper proposes the structure of knowledge evolution and the scheme of a dialogue agent among agent-based modules such as a sensory module, a dialogue module, and an expert system. The dialogue agent has a role of interfacing with another machine for cooperation. To design of the dialogue agent module in M2M(Machine To Machine) environment, FIPA-OS and ping agent based on FIPA-OS are analyzed in this study. Through this, it is expected that the dialogue agent module can be more efficiently designed and the knowledge evolution based machine-tool can be hereafter more easily implemented.

• Bulletin of the Korean Mathematical Society
• /
• v.45 no.1
• /
• pp.59-66
• /
• 2008

Keskin and Harmanci defined the family B(M,X) = ${A{\leq}M|{\exists}Y{\leq}X,{\exists}f{\in}Hom_R(M,X/Y),\;Ker\;f/A{\ll}M/A}$. And Orhan and Keskin generalized projective modules via the class B(M, X). In this note we introduce X-local summands and X-hollow modules via the class B(M, X). Let R be a right perfect ring and let M be an X-lifting module. We prove that if every co-closed submodule of any projective module P contains Rad(P), then M has an indecomposable decomposition. This result is a generalization of Kuratomi and Chang's result [9, Theorem 3.4]. Let X be an R-module. We also prove that for an X-hollow module H such that every non-zero direct summand K of H with $K{\in}B$(H, X), if $H{\oplus}H$ has the internal exchange property, then H has a local endomorphism ring.

• Journal of Institute of Control, Robotics and Systems
• /
• v.12 no.6
• /
• pp.600-607
• /
• 2006

For the effective operation of manufacturing system, FMS(Flexible Manufacturing System) and CIM(Computer Integrated Manufacturing) system are developed. In these systems, a machine tool is the target of integration in last 3 decades. In nowadays, the conventional concept of machine tools is changing to the autonomous manufacturing device based on knowledge-evolution through applying advanced information technology in which open architecture controller, high speed network and internet technology are contained. In this environment, a machine tool is not the target of integration but the subject of cooperation. In the future, a machine tool will be more improved in the form of a knowledge-evolution based device. In order to develop the knowledge-evolution based machine tools, this paper proposes the structure of knowledge evolution in M2M(Machine To Machine) and the scheme of a dialogue agent among agent-based modules such as a sensory module, a dialogue module, and an expert system. The dialogue agent has a role of interfacing with another machine for cooperation. To design the dialogue agent module in M2M environment, FIPA-OS and ping agent based on FIPA-OS are analyzed in this study. Through this, it is expected that the dialogue agent module can be more efficiently designed and the knowledge-evolution based machine tools can be hereafter more easily implemented.

• Bulletin of the Korean Mathematical Society
• /
• v.60 no.1
• /
• pp.185-201
• /
• 2023

With the notion of prime submodule defined by F. Raggi et al. we prove that the intersection of all prime submodules of a Goldie module M is a nilpotent submodule provided that M is retractable and M^(Λ)-projective for every index set Λ. This extends the well known fact that in a left Goldie ring the prime radical is nilpotent.

• Honam Mathematical Journal
• /
• v.45 no.3
• /
• pp.397-409
• /
• 2023

Let R be an associative ring with identity and M be a left R-module. In this paper, we define modules that have the property (δ-CE) ((δ-CEE)), these are modules that have a δ-supplement (ample δ-supplements) in every cofinite extension which are generalized version of modules that have the properties (CE) and (CEE) introduced in [6] and so a generalization of Zöschinger's modules with the properties (E) and (EE) given in [23]. We investigate various properties of these modules along with examples. In particular we prove these: (1) a module M has the property (δ-CEE) if and only if every submodule of M has the property (δ-CE); (2) direct summands of a module that has the property (δ-CE) also have the property (δ-CE); (3) each factor module of a module that has the property (δ-CE) also has the property (δ-CE) under a special condition; (4) every module with composition series has the property (δ-CE); (5) over a δ-V -ring a module M has the property (δ-CE) if and only if M is cofinitely injective; (6) a ring R is δ-semiperfect if and only if every left R-module has the property (δ-CE).

• Kyungpook Mathematical Journal
• /
• v.47 no.1
• /
• pp.21-30
• /
• 2007

We say a module $M_R$ a semicommutative module if for any $m{\in}M$ and any $a{\in}R$, $ma=0$ implies $mRa=0$. This paper gives various properties of reduced, Armendariz, Baer, Quasi-Baer, p.p. and p.q.-Baer rings to extend to modules. In addition we also prove, for a p.p.-ring R, R is semicommutative iff R is Armendariz. Let R be an abelian ring and $M_R$ be a p.p.-module, then $M_R$ is a semicommutative module iff $M_R$ is an Armendariz module. For any ring R, R is semicommutative iff A(R, ${\alpha}$) is semicommutative. Let R be a reduced ring, it is shown that for number $n{\geq}4$ and $k=[n=2]$, $T^k_n(R)$ is semicommutative ring but $T^{k-1}_n(R)$ is not.

• Journal of the Korean Mathematical Society
• /
• v.53 no.5
• /
• pp.1167-1182
• /
• 2016

Let M be an R-module, where R is a commutative ring with identity 1 and let G(V,E) be a graph. In this paper, we study the graphs associated with modules over commutative rings. We associate three simple graphs $ann_f({\Gamma}(M_R))$, $ann_s({\Gamma}(M_R))$ and $ann_t({\Gamma}(M_R))$ to M called full annihilating, semi-annihilating and star-annihilating graph. When M is finite over R, we investigate metric dimensions in $ann_f({\Gamma}(M_R))$, $ann_s({\Gamma}(M_R))$ and $ann_t({\Gamma}(M_R))$. We show that M over R is finite if and only if the metric dimension of the graph $ann_f({\Gamma}(M_R))$ is finite. We further show that the graphs $ann_f({\Gamma}(M_R))$, $ann_s({\Gamma}(M_R))$ and $ann_t({\Gamma}(M_R))$ are empty if and only if M is a prime-multiplication-like R-module. We investigate the case when M is a free R-module, where R is an integral domain and show that the graphs $ann_f({\Gamma}(M_R))$, $ann_s({\Gamma}(M_R))$ and $ann_t({\Gamma}(M_R))$ are empty if and only if $$M{\sim_=}R$$. Finally, we characterize all the non-simple weakly virtually divisible modules M for which Ann(M) is a prime ideal and Soc(M) = 0.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.12 no.1
• /
• pp.109-114
• /
• 2017

In this study, we have developed the active leakage current detection module based on a MSP430 processor, 16bit signal processor. This module can be operated in a desired trip threshold within 0.03 seconds as specified in KS C 4613. This developed module is expected to be applicable as a module for prevention of electric shock in smart distribution panel of smart grid.

• Bulletin of the Korean Mathematical Society
• /
• v.32 no.2
• /
• pp.321-328
• /
• 1995

In this note all are commutative rings with identity and all modules are unital. Let R be a ring. An R-module M is called a multiplication module if for every submodule N of M there esists an ideal I of R such that N = IM. Clearly the ring R is a multiplication module as a module over itself. Also, it is well known that invertible and more generally profective ideals of R are multiplication R-modules (see [11, Theorem 1]).