• Honam Mathematical Journal
• /
• v.45 no.2
• /
• pp.269-284
• /
• 2023

In this paper we study generalizations of the concept of pure-direct-projectivity from module categories to Grothendieck categories. We examine for which categories or under what conditions pure-direct-projective objects are direct-projective, quasi-projective, pure-projective, projective and flat. We investigate classes all of whose objects are pure-direct-projective. We give applications of some of the results to comodule categories.

• Communications of the Korean Mathematical Society
• /
• v.9 no.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)

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

In the catagory of t-modules the Carlitz module C plays the role of $G_m$ in the category of group schemes. For a finite t-module G which corresponds to a finite group scheme, Taguchi [T] showed that Hom (G, C) is the "right" dual in the category of finite- t-modules which corresponds to the Cartier dual of a finite group scheme. In this paper we show that for Drinfeld modules (i.e., t-modules of dimension 1) of rank 2 there is a natural way of defining its dual by using the extension of drinfeld module by the Carlitz module which is in the same vein as defining the dual of an abelian varietiey by its $G_m$-extensions. Our results suggest that the extensions are the right objects to define the dual of arbitrary t-modules.t-modules.

• Bulletin of the Korean Mathematical Society
• /
• v.61 no.1
• /
• pp.273-280
• /
• 2024

Let I be an ideal of a commutative Noetherian semi-local ring R and M be an R-module. It is shown that if dim M ≤ 2 and Supp_R M ⊆ V (I), then M is I-weakly cofinite if (and only if) the R-modules Hom_R(R/I, M) and Ext¹_R(R/I, M) are weakly Laskerian. As a consequence of this result, it is shown that the category of all I-weakly cofinite modules X with dim X ≤ 2, forms an Abelian subcategory of the category of all R-modules. Finally, it is shown that if dim R/I ≤ 2, then for each pair of finitely generated R-modules M and N and each pair of the integers i, j ≥ 0, the R-modules Tor^R_i(N, H^j_I(M)) and Extⁱ_R(N, H^j_I(M)) are I-weakly cofinite.

• Communications of the Korean Mathematical Society
• /
• v.29 no.1
• /
• pp.9-22
• /
• 2014

In this paper we state some applications of Gr-category theory to the classification problem of crossed modules and to that of group extensions of the type of a crossed module.

• Korean Journal of Mathematics
• /
• v.26 no.3
• /
• pp.439-458
• /
• 2018

In this study, we interpret the notion of homotopy of morphisms in the category of crossed modules in a category C of groups with operations using the categorical equivalence between the categories of crossed modules and of internal categories in C. Further, we characterize the derivations of crossed modules in a category C and obtain new crossed modules using regular derivations of old one.

• Archives of design research
• /
• v.15 no.3
• /
• pp.115-126
• /
• 2002

The occupational execution technique and the ability of people has been changed along with the change of thinking and the development of complicated social structure. The needs of learner's self-controlled learning system is arise to increase the occupational execution technique and adaptation in such a changing social environment. To meet these needs, we must develop systematic approach on the module-type educational material system. The purpose of this study lies on developing the module-type educational material system and its application in aspects of occupational execution ability. Based on the job analysis of advertising design, 1 analyze the learning ability for the occupational execution and abstract knowledge, function, attitude from each learning category of each learning ability. All these processes are the basis of developing the module-type educational material system. and the system will be appreciated in many other fields not only on advertising design.

• International Journal of Advanced Culture Technology
• /
• v.7 no.4
• /
• pp.321-326
• /
• 2019

As AI technology is recently introduced into various fields, it is being applied to the fashion field. This paper proposes a system for recommending cody clothes suitable for a user's selected clothes. The proposed system consists of user app, cody recommendation module, and server interworking of each module and managing database data. Cody recommendation system classifies clothing images into 80 categories composed of feature combinations, selects multiple representative reference images for each category, and selects 3 full body cordy images for each representative reference image. Cody images of the representative reference image were determined by analyzing the user's preference using Google survey app. The proposed algorithm classifies categories the clothing image selected by the user into a category, recognizes the most similar image among the classification category reference images, and transmits the linked cody images to the user's app. The proposed system uses the ResNet-50 model to categorize the input image and measures similarity using ORB and HOG features to select a reference image in the category. We test the proposed algorithm in the Android app, and the result shows that the recommended system runs well.

• Korean Journal of Mathematics
• /
• v.27 no.2
• /
• pp.535-545
• /
• 2019

The main idea of this paper is to introduce the notion of $cat^1$-monoids and to prove that the category of crossed semimodules ${\mathcal{C}}=(A,B,{\partial})$ where A is a group is equivalent to the category of $cat^1$-monoids. This is a generalization of the well known equivalence between category of $cat^1$-groups and that of crossed modules over groups.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2007.04a
• /
• pp.803-808
• /
• 2007

LCCA module enabling to estimate LCC and analyze time-variant reliability index of a plate girder bridge was developed. The developed module was based on the designed data structure following the standardized methodology of ISO/STEP, LCCA module consisted of LCC estimation module, which is composed of six sub modules according to the cost category, and reliability index analysis module, which is composed of time-variant corrosion sub module, time-variant live load sub module, and element reliability analysis sub module, The effectiveness of the developed LCCA module was verified by estimating LCC and analyzing time-variant reliability index of a plate girder bridge on the basis of the constructed test database.