• Journal of the Korean Mathematical Society
• /
• v.59 no.4
• /
• pp.821-841
• /
• 2022

In this paper, we introduce and study regular rings relative to the hereditary torsion theory w (a special case of a well-centered torsion theory over a commutative ring), called w-regular rings. We focus mainly on the w-regularity for w-coherent rings and w-Noetherian rings. In particular, it is shown that the w-coherent w-regular domains are exactly the Prüfer v-multiplication domains and that an integral domain is w-Noetherian and w-regular if and only if it is a Krull domain. We also prove the w-analogue of the global version of the Serre-Auslander-Buchsbaum Theorem. Among other things, we show that every w-Noetherian w-regular ring is the direct sum of a finite number of Krull domains. Finally, we obtain that the global weak w-projective dimension of a w-Noetherian ring is 0, 1, or ∞.

• Bulletin of the Korean Mathematical Society
• /
• v.38 no.4
• /
• pp.803-814
• /
• 2001

A projective Schur algebra associated with a partition of finite group G can be constructed explicitly by defining linear transformations of G. We will consider various linear transformations and count the number of equivalent classes in a finite group. Then we construct projective Schur algebra dimension is determined by the number of classes.

• The Korean Journal of Applied Statistics
• /
• v.35 no.5
• /
• pp.657-666
• /
• 2022

An informative predictor subspace is useful to estimate the central subspace, when conditions required in usual suffcient dimension reduction methods fail. Recently, for multivariate regression, Ko and Yoo (2022) newly defined a projective-resampling informative predictor subspace, instead of the informative predictor subspace, by the adopting projective-resampling method (Li et al. 2008). The new space is contained in the informative predictor subspace but contains the central subspace. In this paper, a method directly to estimate the informative predictor subspace is proposed, and it is compapred with the method by Ko and Yoo (2022) through theoretical aspects and numerical studies. The numerical studies confirm that the Ko-Yoo method is better in the estimation of the central subspace than the proposed method and is more efficient in sense that the former has less variation in the estimation.

• Bulletin of the Korean Mathematical Society
• /
• v.54 no.1
• /
• pp.265-276
• /
• 2017

Let K be a fan-like simplicial sphere of dimension n-1 such that its associated complete fan is strongly polytopal, and let v be a vertex of K. Let K(v) be the simplicial wedge complex obtained by applying the simplicial wedge operation to K at v, and let $v_0$ and $v_1$ denote two newly created vertices of K(v). In this paper, we show that there are infinitely many strongly polytopal fans ${\Sigma}$ over such K(v)'s, different from the canonical extensions, whose projected fans ${Proj_v}_i{\Sigma}$ (i = 0, 1) are also strongly polytopal. As a consequence, it can be also shown that there are infinitely many projective toric varieties over such K(v)'s such that toric varieties over the underlying projected complexes $K_{{Proj_v}_i{\Sigma}}$ (i = 0, 1) are also projective.

• Bulletin of the Korean Mathematical Society
• /
• v.53 no.3
• /
• pp.779-791
• /
• 2016

Transfer of homological properties under base change is a classical field of study. Let $R{\rightarrow}S$ be a ring homomorphism. The relations of Gorenstein projective (or Gorenstein injective) dimensions of unbounded complexes between $U{\otimes}^L_RX$(or $RHom_R(X,U)$) and X are considered, where X is an R-complex and U is an S-complex. In addition, some sufficient conditions are given under which the equalities $G-dim_S(U{\otimes}^L_RX)=G-dim_RX+pd_SU$ and $Gid_S(RHom_R(X,U))=G-dim_RX+id_SU$ hold.

• Kyungpook Mathematical Journal
• /
• v.48 no.1
• /
• pp.143-154
• /
• 2008

Lomp [9] has studied finitely generated projective modules over semilocal rings. He obtained the following: finitely generated projective modules over semilocal rings are semilocal. We shall give necessary and sufficient conditions for finitely generated modules to be semilocal modules. By using a lifting property, we also give characterizations of right perfect (semiperfect) rings. Our main results can be summarized as follows: (1) Let M be a finitely generated module. Then M has finite hollow dimension if and only if M is weakly supplemented if and only if M is semilocal. (2) A ring R is right perfect if and only if every flat right R-module is lifting and every right R-module has a flat cover if and only if every quasi-projective right R-module is lifting. (3) A ring R is semiperfect if and only if every finitely generated flat right R-module is lifting if and only if RR satisfies the lifting property for simple factor modules.

• Bulletin of the Korean Mathematical Society
• /
• v.56 no.5
• /
• pp.1187-1198
• /
• 2019

Let R be a domain with its field Q of quotients. An R-module M is said to be weak w-projective if $Ext^1_R(M,N)=0$ for all $N{\in}{\mathcal{P}}^{\dagger}_w$, where ${\mathcal{P}}^{\dagger}_w$ denotes the class of GV-torsionfree R-modules N with the property that $Ext^k_R(M,N)=0$ for all w-projective R-modules M and for all integers $k{\geq}1$. In this paper, we define a domain R to be w-Matlis if the weak w-projective dimension of the R-module Q is ${\leq}1$. To characterize w-Matlis domains, we introduce the concept of w-Matlis cotorsion modules and study some basic properties of w-Matlis modules. Using these concepts, we show that R is a w-Matlis domain if and only if $Ext^k_R(Q,D)=0$ for any ${\mathcal{P}}^{\dagger}_w$-divisible R-module D and any integer $k{\geq}1$, if and only if every ${\mathcal{P}}^{\dagger}_w$-divisible module is w-Matlis cotorsion, if and only if w.w-pdRQ/$R{\leq}1$.

• Journal of the Korean Mathematical Society
• /
• v.32 no.4
• /
• pp.753-759
• /
• 1995

Let C be a smooth complex algebraic curve of genus g. For a divisor D on C, dim D means the dimension of the complete linear series $\mid$D$\mid$ containing D, which is the same as the projective dimension of the vector space of meromorphic functions f on C with divisor of poles $(f)_\infty \leq D$.

• Journal of the Korean Mathematical Society
• /
• v.42 no.2
• /
• pp.335-351
• /
• 2005

This paper concerns the relation between the degree and the projective dimension of linear systems on curves. We generalize Clifford's theorem and its improvement by Coppens and G. Martens and classify the special curves for our problem, and estimate their gonality.

• Journal of the Korean Mathematical Society
• /
• v.33 no.3
• /
• pp.625-639
• /
• 1996

A convex $RP^n$-structure on a smooth anifold M is a representation of M as a quotient of a convex domain $\Omega \subset RP^n$ by a discrete group $\Gamma$ of collineations of $RP^n$ acting properly on $\Omega$. When M is a closed surface of genus g > 1, then the equivalence classes of such structures form a moduli space $B(M)$ homeomorphic to an open cell of dimension 16(g-1) (Goldman [2]). This cell contains the Teichmuller space $T(M)$ of M and it is of interest to know what of the rich geometric structure extends to $B(M)$. In [3], a symplectic structure on $B(M)$ is defined, which extends the symplectic structure on $T(M)$ defined by the Weil-Petersson Kahler form.