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

• Bulletin of the Korean Mathematical Society
• /
• v.51 no.4
• /
• pp.1205-1210
• /
• 2014

Let E be a free product of a finite number of cyclic groups, and S a normal subgroup of E such that $$E/S{\sim_=}G$$ is finite. For a prime p, $\hat{S}=S/S^{\prime}S^p$ may be regarded as an $F_pG$-module via conjugation in E. The aim of this article is to prove that $\hat{S}$ is decomposable into two indecomposable modules for finite elementary abelian p-groups G.

• Bulletin of the Korean Mathematical Society
• /
• v.29 no.2
• /
• pp.265-275
• /
• 1992

The characteristic free representation theory of the general linear group has found a wide range of applications, ranging from the theory of free resolutions to the symmetric function theory. Representation theory is used to facilitate the calculation of explicit free resolutions of large classes of ideals (and modules). Recently, K. Akin and D. A. Buchsbaum [2] realized the Jacobi-Trudi identity for a Schur function as a resolution of GL$_{n}$-modules. Over a field of characteristic zero, it was observed by A. Lascoux [6]. T.Jozefiak and J.Weyman [5] used the Koszul complex to realize a formula of D.E. Littlewood as a resolution of schur modules. This leads us to further study resolutions of Schur modules of a particular form. In this article we will describe some new classes of finite free resolutions associated to the Pieri type skew Young diagrams. As a special case of these finite free resolutions we obtain the generalized Koszul complex constructed in [1]. In section 2 we review some of the basic difinitions and properties of Schur modules that we shall use. In section 3 we describe certain exact complexes associated to the Pieri type skew partitions. Throughout this article, unless otherwise specified, R is a commutative ring with an identity element and a mudule F is a finitely generated free R-module.e.

• Bulletin of the Korean Mathematical Society
• /
• v.43 no.3
• /
• pp.645-652
• /
• 2006

The purpose of this paper is to describe some characterizations on rational and f-rational extensions of modules, to determine the forms of f-rational extensions of given f-torsion free module for a left exact radical t and investigate the maximal t-rational extensions of modules.

• Honam Mathematical Journal
• /
• v.43 no.3
• /
• pp.403-416
• /
• 2021

It is known that the rank 2 stably free syzygy module P⁽²⁾ is not free. This algebraic fact was proved analytically, but this remarkable fact still lacks of a simple algebraic proof. The main purpose of this paper is to give a partially algebraic proof by making use of a theorem whose proof is quite topological, and the further properties of the module will be discussed.

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

• Journal of the Chungcheong Mathematical Society
• /
• v.16 no.2
• /
• pp.79-88
• /
• 2003

In this paper, we study properties of a free normalizing extension ring of a FI-extending ring. We develop properties of formal triangular matrix rings and FI-extending rings. Several results on the quasi-extending modules are obtained.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2017.04a
• /
• pp.9-12
• /
• 2017

FreeType is a rasterizer which is commonly used in different operating systems like Linux, android etc. Although FreeType is open source but it is not easy to add/remove modules and services etc. for developers. This paper proposes a new module for FreeType named as FreeType Outlet adapter (FOA). It enables to add/remove modules, services, functionality etc. inside FreeType. It acts as the bridge to add functions from outside FreeType to the inner core of FreeType. New font formats like METAFONT, animated fonts and customized fonts which currently are not supported by FreeType can be added with this FOA module.