• Journal of the Korean Mathematical Society
• /
• v.56 no.5
• /
• pp.1285-1307
• /
• 2019

For a multiplication R-module M we consider the Zariski topology in the set Spec (M) of prime submodules of M. We investigate the relationship between the algebraic properties of the submodules of M and the topological properties of some subspaces of Spec (M). We also consider some topological aspects of certain frames. We prove that if R is a commutative ring and M is a multiplication R-module, then the lattice Semp (M/N) of semiprime submodules of M/N is a spatial frame for every submodule N of M. When M is a quasi projective module, we obtain that the interval ${\uparrow}(N)^{Semp}(M)=\{P{\in}Semp(M){\mid}N{\subseteq}P\}$ and the lattice Semp (M/N) are isomorphic as frames. Finally, we obtain results about quantales and the classical Krull dimension of M.

• Journal of the Institute of Electronics Engineers of Korea SP
• /
• v.38 no.4
• /
• pp.381-391
• /
• 2001

This paper presents an efficient approach to build an image mosaics from image sequences. Unlike general panoramic stitching methods, which usually require some geometrical feature points or solve the iterative nonlinear equations, our algorithm can directly recover the 8-parameter planar perspective transforms. We use four quasi-feature points in order to compute the projective transform between two images. This feature is based on the graylevel distribution and defined in the overlap area between two images. Therefore the proposed algorithm can reduce the total amount of the computation. We also present an algorithm lot efficiently matching the correspondence of the extracted feature. The proposed algorithm is applied to various images to estimate its performance and. the simulation results present that our algorithm can find the correct correspondence and build an image mosaics.

• Communications of the Korean Mathematical Society
• /
• v.9 no.4
• /
• pp.905-915
• /
• 1994

Let $M_g$ be the moduli space of isomorphism classes of genus g smooth curves. It is a quasi-projective variety of dimension 3g - 3, when $g > 2$. It is known that a complete subvariety of $M_g$ has dimension $< g-1 [D]$. In general it is not known whether this bound is rigid. For example, it is not known whether $M_4$ has a complete surface in it. But one knows that there is a complete curve through any given finite points [H]. Recently, an explicit example of a complete curve in moduli space is given in [G-H]. In [G-H] they constructed a complete curve of $M_3$ as an intersection of five hypersurfaces of the Satake compactification of $M_3$. One way to get a complete curve of $M_3$ is to find a complete one dimensional family $p : X \to B$ of plane quartics which gives a nontrivial morphism from the base space B to the moduli space $M_3$. This is because every non-hyperelliptic smooth curve of genus three can be realized as a nonsingular plane quartic and vice versa. This paper has come out from the effort to find such a complete family of plane quartics. Since nonsingular quartics form an affine space some fibers of p must be singular ones. In this paper, due to the semistable reduction theorem [M], we search singular plane quartics which can occur as singular fibers of the family above. We first list all distinct plane quartics in terms of singularities.

• Bulletin of the Korean Mathematical Society
• /
• v.40 no.2
• /
• pp.223-234
• /
• 2003

This note contains the following results for a ring A : (1) A is simple Artinian if and only if A is a prime right YJ-injective, right and left V-ring with a maximal right annihilator ; (2) if A is a left quasi-duo ring with Jacobson radical J such that $_{A}$A/J is p-injective, then the ring A/J is strongly regular ; (3) A is von Neumann regular with non-zero socle if and only if A is a left p.p.ring containing a finitely generated p-injective maximal left ideal satisfying the following condition : if e is an idempotent in A, then eA is a minimal right ideal if and only if Ae is a minimal left ideal ; (4) If A is left non-singular, left YJ-injective such that each maximal left ideal of A is either injective or a two-sided ideal of A, then A is either left self-injective regular or strongly regular : (5) A is left continuous regular if and only if A is right p-injective such that for every cyclic left A-module M, $_{A}$M/Z(M) is projective. ((5) remains valid if 《continuous》 is replaced by 《self-injective》 and 《cyclic》 is replaced by 《finitely generated》. Finally, we have the following two equivalent properties for A to be von Neumann regula. : (a) A is left non-singular such that every finitely generated left ideal is the left annihilator of an element of A and every principal right ideal of A is the right annihilator of an element of A ; (b) Change 《left non-singular》 into 《right non-singular》in (a).(a).