• Journal of applied mathematics & informatics
• /
• v.7 no.1
• /
• pp.347-355
• /
• 2000

In this paper we define linearly independent, basis, free, torsion-free and torsion-free completely on an automation. We prove a theorem describing a relationship between free and torsion-free completely on automata. Also we prove some important properties of them. Furthermore, we discuss some theorems associated with free.

• 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 applied mathematics & informatics
• /
• v.1 no.1
• /
• pp.75-78
• /
• 1994

In this paper we define free torsion-free and torsion-free completely on an automaton. We prove some properties of them which are important

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

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

• Journal of Integrative Natural Science
• /
• v.14 no.3
• /
• pp.139-146
• /
• 2021

The purpose of this paper is to classify the torsion-free extensions 1→ℤ³→𝛱→ℤ_𝜱→1 with injective abstract kernel 𝜙 : ℤ_𝜱→Aut(ℤ³). From this classification, we handle the sufficient conditions so as to classify the crystallographic groups of Sol⁴_m,n.

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

• Journal of the Korean Mathematical Society
• /
• v.47 no.6
• /
• pp.1147-1165
• /
• 2010

In this paper we compare a torsion free sheaf F on $P^N$ and the free vector bundle $\oplus^n_{i=1}O_{P^N}(b_i)$ having same rank and splitting type. We show that the first one has always "less" global sections, while it has a higher second Chern class. In both cases bounds for the difference are found in terms of the maximal free subsheaves of F. As a consequence we obtain a direct, easy and more general proof of the "Horrocks' splitting criterion", also holding for torsion free sheaves, and lower bounds for the Chern classes $c_i$(F(t)) of twists of F, only depending on some numerical invariants of F. Especially, we prove for rank n torsion free sheaves on $P^N$, whose splitting type has no gap (i.e., $b_i{\geq}b_{i+1}{\geq}b_i-1$ 1 for every i = 1,$\ldots$,n-1), the following formula for the discriminant: $$\Delta(F):=2_{nc_2}-(n-1)c^2_1\geq-\frac{1}{12}n^2(n^2-1)$$. Finally in the case of rank n reflexive sheaves we obtain polynomial upper bounds for the absolute value of the higher Chern classes $c_3$(F(t)),$\ldots$,$c_n$(F(t)) for the dimension of the cohomology modules $H^iF(t)$ and for the Castelnuovo-Mumford regularity of F; these polynomial bounds only depend only on $c_1(F)$, $c_2(F)$, the splitting type of F and t.

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

• Journal of the Korean Mathematical Society
• /
• v.54 no.6
• /
• pp.1759-1786
• /
• 2017

We examine the moduli space of oriented locally homogeneous manifolds of Type ${\mathcal{A}}$ which have non-degenerate symmetric Ricci tensor both in the setting of manifolds with torsion and also in the torsion free setting where the dimension is at least 3. These exhibit phenomena that is very different than in the case of surfaces. In dimension 3, we determine all the possible symmetry groups in the torsion free setting.