• Journal of the Chungcheong Mathematical Society
• /
• v.20 no.4
• /
• pp.367-373
• /
• 2007

For a unital *-subalgebra of the space $\mathcal{L}^a(X)$ of all adjointable maps on a Hilbert $\mathcal{B}$-module X with a $C^*$-algebra $\mathcal{B}$, we study unitary operator (in such algebra)-valued multiplier ${\sigma}$ on a normal, generating subsemigroup S of a group G with its extension to G. A dilation of a projective isometric ${\sigma}$-representation of S is established as a projective unitary ${\rho}$-representation of G for a suitable unitary operator (in some algebra)-valued multiplier ${\rho}$ associated with the multiplier ${\sigma}$ which is explicitly constructed.

• Journal of the Korean Mathematical Society
• /
• v.53 no.2
• /
• pp.461-473
• /
• 2016

Let C be a projective plane curve of degree d whose singularities are all isolated. Suppose C is not concurrent lines. P loski proved that the Milnor number of an isolated singlar point of C is less than or equal to $(d-1)^2-{\lfloor}\frac{d}{2}{\rfloor}$. In this paper, we prove that the Milnor sum of C is also less than or equal to $(d-1)^2-{\lfloor}\frac{d}{2}{\rfloor}$ and the equality holds if and only if C is a P loski curve. Furthermore, we find a bound for the Milnor sum of projective plane curves in terms of GIT.

• Communications of the Korean Mathematical Society
• /
• v.30 no.3
• /
• pp.253-267
• /
• 2015

Given a complex submanifoldM of the projective space $\mathbb{P}$(T), the hyperplane system R on M characterizes the projective embedding of M into $\mathbb{P}$(T) in the following sense: for any two nondegenerate complex submanifolds $M{\subset}\mathbb{P}$(T) and $M^{\prime}{\subset}\mathbb{P}$(T'), there is a projective linear transformation that sends an open subset of M onto an open subset of M' if and only if (M,R) is locally equivalent to (M', R'). Se-ashi developed a theory for the differential invariants of these types of systems of linear differential equations. In particular, the theory applies to systems of linear differential equations that have symbols equivalent to the hyperplane systems on nondegenerate equivariant embeddings of compact Hermitian symmetric spaces. In this paper, we extend this result to hyperplane systems on nondegenerate equivariant embeddings of homogeneous spaces of the first kind.

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

• Journal of the Korean Mathematical Society
• /
• v.51 no.3
• /
• pp.509-525
• /
• 2014

Let R be a commutative ring with identity. An R-module M is said to be w-projective if $Ext\frac{1}{R}$(M,N) is GV-torsion for any torsion-free w-module N. In this paper, we define a ring R to be w-semi-hereditary if every finite type ideal of R is w-projective. To characterize w-semi-hereditary rings, we introduce the concept of w-injective modules and study some basic properties of w-injective modules. Using these concepts, we show that R is w-semi-hereditary if and only if the total quotient ring T(R) of R is a von Neumann regular ring and $R_m$ is a valuation domain for any maximal w-ideal m of R. It is also shown that a connected ring R is w-semi-hereditary if and only if R is a Pr$\ddot{u}$fer v-multiplication domain.

• Communications of the Korean Mathematical Society
• /
• v.35 no.2
• /
• pp.469-480
• /
• 2020

Let R be a commutative ring with identity and M a unital R-module. We give a new generalization of exact sequences called e-exact sequences. A sequence $0{\rightarrow}A{\longrightarrow[20]^f}B{\longrightarrow[20]^g}C{\rightarrow}0$ is said to be e-exact if f is monic, Imf ≤_e Kerg and Img ≤_e C. We modify many famous theorems including exact sequences to one includes e-exact sequences like 3 × 3 lemma, four and five lemmas. Next, we prove that for torsion-free module M, the contravariant functor Hom(-, M) is left e-exact and the covariant functor M ⊗ - is right e-exact. Finally, we define e-projective module and characterize it. We show that the direct sum of R-modules is e-projective module if and only if each summand is e-projective.

• Communications of the Korean Mathematical Society
• /
• v.21 no.1
• /
• pp.185-191
• /
• 2006

This paper observes that the induced homomorphisms on cohomology groups by a cyclic map are trivial. For a CW-complex X, we use the fact to obtain some conditions of X so that the n-th Gottlieb group $G_n(X)$ is trivial for an even positive integer n. As corollaries, for any positive integer m, we obtain $G_{2m}(S^{2m})\;=\;0\;and\;G_2(CP^m)\;=\;0$ which are due to D. H. Gottlieb and G. Lang respectively, where $S^{2m}$ is the 2m- dimensional sphere and $CP^m$ is the complex projective m-space. Moreover, we show that $G_4(HP^m)\;=\;0\;and\;G_8(II)\;=\;0,\;where\;HP^m$ is the quaternionic projective m-space for any positive integer m and II is the Cayley projective space.

• Journal of Institute of Control, Robotics and Systems
• /
• v.5 no.2
• /
• pp.228-236
• /
• 1999

In this paper, we propose visual-based self-localization and obstacle detection algorithms for indoor mobile robots. The algorithms do not require calibration, and can be worked with only single image by using the projective invariant relationship between natural landmarks. We predefine a risk zone without obstacles for a robot, and update the image of the risk zone, which will be used to detect obstacles inside the zone by comparing the averaging image with the current image of a new risk zone. The positions of the robot and the obstacles are determined by relative positioning. The method does not require the prior information for positioning robot. The robustness and feasibility of our algorithms have been demonstrated through experiments in hallway environments.

• Honam Mathematical Journal
• /
• v.41 no.4
• /
• pp.799-812
• /
• 2019

We introduce flat e-covers of modules and define e-perfect rings as a generalization of perfect rings. We prove that a ring is right perfect if and only if it is semilocal and right e-perfect which generalizes a result due to N. Ding and J. Chen. Moreover, in the light of the fact that a ring R is right perfect if and only if flat covers of any R-module are projective covers, we study on the rings over which flat covers of modules are (generalized) locally projective covers, and obtain some characterizations of (semi) perfect, A-perfect and B-perfect rings.

• Bulletin of the Korean Mathematical Society
• /
• v.54 no.5
• /
• pp.1743-1755
• /
• 2017

Let B be a simply-connected projective variety such that the first cohomology groups of all line bundles on B are zero. Let E be a vector bundle over B and $X={\mathbb{P}}(E)$. It is easily seen that a power of any endomorphism of X takes fibers to fibers. We prove that if X admits an endomorphism which is of degree greater than one on the fibers, then E splits into a direct sum of line bundles.