• 대한수학회지
• /
• 제42권4호
• /
• pp.655-672
• /
• 2005

The purpose of this paper is to study n-dimensional QR-submanifolds of maximal QR-dimension isometrically immersed in a quaternionic projective space and to give sufficient conditions in order for such a submanifold to be a tube over a quaternionic invariant submanifold.

• 대한수학회지
• /
• 제46권1호
• /
• pp.51-58
• /
• 2009

Let R be a ring. A right R-module M is called perfect if M possesses a projective cover. In this paper, we consider the relationship between the class of perfect modules and other classes of modules. Some known rings are characterized by these relationships.

• Kyungpook Mathematical Journal
• /
• 제47권3호
• /
• pp.357-361
• /
• 2007

A right R-module P is $c$-separative provided that $$P{\oplus}P{{c}\atop{\simeq_-}}P{\oplus}Q{\Longrightarrow}P{\simeq_-}Q$$ for any right R-module Q. We get, in this paper, two sufficient conditions under which a right module is $c$-separative. A ring R is a hereditary ring provided that every ideal of R is projective. As an application, we prove that every projective right R-module over a hereditary ring is $c$-separative.

• Kyungpook Mathematical Journal
• /
• 제52권1호
• /
• pp.81-89
• /
• 2012

In the present paper, we nd the conditions to characterize projective change between two (${\alpha}$, ${\beta}$)-metrics, such as Matsumoto metric $L=\frac{{\alpha}^2}{{\alpha}-{\beta}}$ and Randers metric $\bar{L}=\bar{\alpha}+\bar{\beta}$ on a manifold with dim $n$ > 2, where ${\alpha}$ and $\bar{\alpha}$ are two Riemannian metrics, ${\beta}$ and $\bar{\beta}$ are two non-zero 1-formas.

• 호남수학학술지
• /
• 제40권2호
• /
• pp.355-366
• /
• 2018

Let R be a commutative ring with identity and let M be a finitely generated module over a Noetherian local ring R. Then it is well-known that M has a minimal projective resolution, which is unique up to isomorphisms of exact sequences. We provide a new proof of its uniqueness. Moreover, we deal with the cohomologies of (M, R/m).

• 충청수학회지
• /
• 제24권2호
• /
• pp.319-335
• /
• 2011

We classify equivariant topoligical complex vector bundles over real projective plane under a compact Lie group (not necessarily effective) action. It is shown that nonequivariant Chern classes and isotropy representations at (at most) three points are sufficient to classify equivariant vector bundles over real projective plane except one case. To do it, we relate the problem to classification on two-sphere through the covering map because equivariant vector bundles over two-sphere have been already classified.

• 충청수학회지
• /
• 제32권1호
• /
• pp.87-95
• /
• 2019

The homothety classes of lattices in a two dimensional vector space over a nonarchimedean local field form a regular tree ${\mathcal{T}}$ of degree q + 1 on which the projective linear group acts naturally where q is the order of the residue field. We show that for any finite regular combinatorial graph of even degree q + 1, there exists a torsion free discrete subgroup ${\Gamma}$ of the projective linear group such that ${\mathcal{T}}/{\Gamma}$ is isomorphic to the graph.

• 대한수학회논문집
• /
• 제34권3호
• /
• pp.881-896
• /
• 2019

In the present paper, we study certain curvature conditions satisfying by the projective curvature tensor in Sasakian manifolds with respect to the generalized-Tanaka-Webster connection. Finally, we give an example of a 3-dimensional Sasakian manifold with respect to the generalized-Tanaka-Webster connection.

• 대한수학회논문집
• /
• 제34권3호
• /
• pp.701-718
• /
• 2019

In this paper we compute the U-projective resolution of kQ-modules where Q is quiver of type $A_n$ and ${\tilde{A}}_n$. The behavior of the sequence can be seen through its geometric representation.

• 대한수학회지
• /
• 제58권1호
• /
• pp.219-236
• /
• 2021

Let �� be a weighted projective line defined over the algebraic closure $k={\bar{\mathbb{F}}}_q$ of the finite field ��q and σ be a weight permutation of ��. By folding the category coh-�� of coherent sheaves on �� in terms of the Frobenius twist functor induced by σ, we obtain an ��q-category, denoted by coh-(��, σ; q). We then prove that coh-(��, σ; q) is derived equivalent to the valued canonical algebra associated with (��, σ).