• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제23권4호
• /
• pp.329-337
• /
• 2016

In this paper, we show that every compactification, which is a quasi-F space, of a space X is a Wallman compactification and that for any compactification K of the space X, the minimal quasi-F cover QFK of K is also a Wallman compactification of the inverse image ${\Phi}_K^{-1}(X)$ of the space X under the covering map ${\Phi}_K:QFK{\rightarrow}K$. Using these, we show that for any space X, ${\beta}QFX=QF{\beta}{\upsilon}X$ and that a realcompact space X is a projective object in the category $Rcomp_{\sharp}$ of all realcompact spaces and their $z^{\sharp}$-irreducible maps if and only if X is a quasi-F space.

• 대한수학회보
• /
• 제57권3호
• /
• pp.691-707
• /
• 2020

In this paper, we introduce and study the notions of weakly ⊕-supplemented modules, weakly D2 modules and weakly D2-covers. A right R-module M is called weakly ⊕-supplemented if every non-small submodule of M has a supplement that is not essential in M, and module M_R is called weakly D2 if it satisfies the condition: for every s ∈ S and s ≠ 0, if there exists n ∈ ℕ such that sⁿ ≠ 0 and Im(sⁿ) is a direct summand of M, then Ker(sⁿ) is a direct summand of M. The class of weakly ⊕-supplemented-modules and weakly D2 modules contains ⊕-supplemented modules and D2 modules, respectively, and they are equivalent in case M is uniform, and projective, respectively.

• 대한수학회보
• /
• 제52권3호
• /
• pp.977-986
• /
• 2015

Let G be a graph on the vertex set $V(G)=\{x_1,{\cdots},x_n\}$ with the edge set E(G), and let $R=K[x_1,{\cdots},x_n]$ be the polynomial ring over a field K. Two monomial ideals are associated to G, the edge ideal I(G) generated by all monomials $x_i,x_j$ with $\{x_i,x_j\}{\in}E(G)$, and the vertex cover ideal $I_G$ generated by monomials ${\prod}_{x_i{\in}C}{^{x_i}}$ for all minimal vertex covers C of G. A minimal vertex cover of G is a subset $C{\subset}V(G)$ such that each edge has at least one vertex in C and no proper subset of C has the same property. Indeed, the vertex cover ideal of G is the Alexander dual of the edge ideal of G. In this paper, for an unmixed bipartite graph G we consider the lattice of vertex covers $L_G$ and we explicitly describe the minimal free resolution of the ideal associated to $L_G$ which is exactly the vertex cover ideal of G. Then we compute depth, projective dimension, regularity and extremal Betti numbers of R/I(G) in terms of the associated lattice.

• 대한수학회논문집
• /
• 제20권2호
• /
• pp.209-219
• /
• 2005

Tor-torsion theory was defined by Jan Trlifaj in 2000. In this paper we introduce the notion of Co envelopes, CoCovers and Tor-generators as dual of envelopes, covers and generators in cotorsion(Ext-torsion) theory and deduce that each R-module has a projective and a cotorsion coprecover.

• 한국CDE학회논문집
• /
• 제20권4호
• /
• pp.357-366
• /
• 2015

We review recent research results on coupled line cameras (CLC) as a new geometric tool to reconstruct a scene quadrilateral from image quadrilaterals. Coupled line cameras were first developed as a camera calibration tool based on geometric insight on the perspective projection of a scene rectangle to an image plane. Since CLC comprehensively describes the relevant projective structure in a single image with a set of simple algebraic equations, it is also useful as a geometric reconstruction tool, which is an important topic in 3D computer vision. In this paper we first introduce fundamentals of CLC with reals examples. Then, we cover the related works to optimize the initial solution, to extend for the general quadrilaterals, and to apply for cuboidal reconstruction.

• 대한수학회보
• /
• 제57권1호
• /
• pp.139-165
• /
• 2020

Mirror symmetry for del Pezzo surfaces was studied in [3] where they suggested that the mirror should take the form of a Landau-Ginzburg model with a particular type of elliptic fibration. This argument came from symplectic considerations of the derived categories involved. This problem was then considered again but from an algebro-geometric perspective by Gross, Hacking and Keel in [8]. Their construction allows one to construct a formal mirror family to a pair (S, D) where S is a smooth rational projective surface and D a certain type of Weil divisor supporting an ample or anti-ample class. In the case where the self intersection matrix for D is not negative semi-definite it was shown in [8] that this family may be lifted to an algebraic family over an affine base. In this paper we perform this construction for all smooth del Pezzo surfaces of degree at least two and obtain explicit equations for the mirror families and present the mirror to dP₂ as a double cover of ℙ².

• 호남수학학술지
• /
• 제45권1호
• /
• pp.146-159
• /
• 2023

In this paper, we define ⊕_δ-co-coatomically supplemented and co-coatomically δ-semiperfect modules as a strongly notion of ⊕-co-coatomically supplemented and co-coatomically semiperfect modules with the help of Zhou's radical. We say that a module A is ⊕_δ-co-coatomically supplemented if each co-coatomic submodule of A has a δ-supplement in A which is a direct summand of A. And a module A is co-coatomically δ-semiperfect if each coatomic factor module of A has a projective δ-cover. Also we define co-coatomically amply δ-supplemented modules and we examined the basic properties of these modules. Furthermore, we give a ring characterization for our modules. In particular, a ring R is δ-semiperfect if and only if each free R-module is co-coatomically δ-semiperfect.

• Korean Journal of Geomatics
• /
• 제2권1호
• /
• pp.83-89
• /
• 2002

The cadastral maps as many as about 750,000 map sheets to cover 34,751,000 parcels of land of Korea, are being digitalized. The problem of shrinkage-expansion of the paper cadastral maps has to be resolved for the new digital maps, where the nodes and vertices of the parcel boundaries are represented by coordinates. The photo coordinate refinement techniques, two dimensional projective transformation and local area transformation as in the reseau grid method, were introduced for this distortion correction. Using the fact that original maps drawn on the plane tables in field from 1910 to 1918 have grid lines and have been preserved well, a strategic flow to apply the refinement techniques to the digital maps with the original maps as controls was developed. To accommodate the presence or absence of the original maps and grid lines, and different scales and sizes of the maps, the strategy was implemented by a computer program package. Various distortions and corrections were simulated and errors were evaluated. The RMS errors in the corrected digital maps were allowable, thus, the method developed in this study was to be applicable for the digital cadastral maps.