• Bulletin of the Korean Mathematical Society
• /
• v.56 no.4
• /
• pp.1077-1097
• /
• 2019

Let M be a finitely generated module over a regular local ring (R, n). We will fix an n-stable filtration for M and show that the minimal free resolution of M can be obtained from any filtered free resolution of M by zero and negative consecutive cancellations. This result is analogous to [10, Theorem 3.1] in the more general context of filtered free resolutions. Taking advantage of this generality, we will study resolutions obtained by the mapping cone technique and find a sufficient condition for the minimality of such resolutions. Next, we give another application in the graded setting. We show that for a monomial order ${\sigma}$, Betti numbers of I are obtained from those of $LT_{\sigma}(I)$ by so-called zero ${\sigma}$-consecutive cancellations. This provides a stronger version of the well-known cancellation "cancellation principle" between the resolution of a graded ideal and that of its leading term ideal, in terms of filtrations defined by monomial orders.

• Journal of the Korean Physical Society
• /
• v.73 no.11
• /
• pp.1657-1662
• /
• 2018

A null test method which relies on a computer generated hologram (CGH) is widely used to measure a large aspheric surface. For precise measurements of the surface shape of an aspheric optics, the CGH must precisely generate a wavefront that can fit on the ideal surface shape of the aspheric optics. If fabrication errors arise in the CGH, an unwanted wavefront will be generated and the measuring result will lack trustworthiness. Thus far, there has been limited research on wavefronts generated by CGH using only linear-type binary grating models. In this study, a theoretical error model of a circular-type zone plate, the most commonly used types for CGH patterns, is suggested. The proposed error model is checked by simulations and experiments.

• Communications of the Korean Mathematical Society
• /
• v.15 no.1
• /
• pp.29-36
• /
• 2000

The T-ideal of F(X) generated by $x^{n}$ for all x $\in$ X, is generated also by the symmetric polynomials. For each symmetric poly-nomial, there corresponds one row of the incidence matrix. Finding the nilpotency of nil-algebra of nil-index n is equivalent to determining the smallest integer N such that the (n, N)-incidence matrix has rank equal to N!. In this work, we show that the (n, (equation omitted)$^{(1,....,n)}$-incidence matrix is center-symmetric.

• Journal of applied mathematics & informatics
• /
• v.20 no.1_2
• /
• pp.569-573
• /
• 2006

Nagata and Higman proved that any nil-algebra of finite nilindex is nilpotent of finite index. The Nagata-Higman Theorem can be formulated in terms of T-ideals. TheT-ideal generated by $a^n$ for all $a{\in}A$ is also generated by the symmetric polynomials. The symmetric polynomials play an importmant role in analyzing nil-algebra. We construct the incidence matrix with the symmetric polynomials. Using this incidence matrix, we determine the nilpotency index of nil-algebra of nil-index 3.

• Bulletin of the Korean Mathematical Society
• /
• v.50 no.2
• /
• pp.649-657
• /
• 2013

Let R be a commutative Noetherian ring, I an ideal of R and T be a non-zero I-cofinite R-module with dim(T) ${\leq}$ 1. In this paper, for any finitely generated R-module N with support in V(I), we show that the R-modules $Ext^i_R$(T,N) are finitely generated for all integers $i{\geq}0$. This immediately implies that if I has dimension one (i.e., dim R/I = 1), then $Ext^i_R$($H^j_I$(M), N) is finitely generated for all integers $i$, $j{\geq}0$, and all finitely generated R-modules M and N, with Supp(N) ${\subseteq}$ V(I).

• Journal of the Chungcheong Mathematical Society
• /
• v.2 no.1
• /
• pp.15-35
• /
• 1989

In this paper, we give a characterization of an order ideal which is not necessarily positively generated in the ordered space of Hermitian matrices. Order properties for perfect subspaces are also studied along with other subspace order properties.

• Journal of the Korean Mathematical Society
• /
• v.59 no.3
• /
• pp.571-594
• /
• 2022

Let D be an integral domain with quotient field K, Pic(D) be the ideal class group of D, and X be an indeterminate. A polynomial overring of D means a subring of K[X] containing D[X]. In this paper, we study almost Dedekind domains which are polynomial overrings of a principal ideal domain D, defined by the intersection of K[X] and rank-one discrete valuation rings with quotient field K(X), and their ideal class groups. Next, let ℤ be the ring of integers, ℚ be the field of rational numbers, and 𝔊f be the set of finitely generated abelian groups (up to isomorphism). As an application, among other things, we show that there exists an overring R of ℤ[X] such that (i) R is a Bezout domain, (ii) R∩ℚ[X] is an almost Dedekind domain, (iii) Pic(R∩ℚ[X]) = $\oplus_{G{\in}G_{f}}$ G, (iv) for each G ∈ 𝔊f, there is a multiplicative subset S of ℤ such that RS ∩ ℚ[X] is a Dedekind domain with Pic(RS ∩ ℚ[X]) = G, and (v) every invertible integral ideal I of R ∩ ℚ[X] can be written uniquely as I = XnQe11···Qekk for some integer n ≥ 0, maximal ideals Qi of R∩ℚ[X], and integers ei ≠ 0. We also completely characterize the almost Dedekind polynomial overrings of ℤ containing Int(ℤ).

• Bulletin of the Korean Mathematical Society
• /
• v.58 no.5
• /
• pp.1221-1233
• /
• 2021

In this paper, we introduce and investigate a new class of modules that is closely related to the class of Noetherian modules. Let R be a commutative ring and M be an R-module. We say that M is an r-Noetherian module if every r-submodule of M is finitely generated. Also, we call the ring R to be an r-Noetherian ring if R is an r-Noetherian R-module, or equivalently, every r-ideal of R is finitely generated. We show that many properties of Noetherian modules are also true for r-Noetherian modules. Moreover, we extend the concept of weakly Noetherian rings to the category of modules and we characterize Noetherian modules in terms of r-Noetherian and weakly Noetherian modules. Finally, we use the idealization construction to give non-trivial examples of r-Noetherian rings that are not Noetherian.

• Journal of Multimedia Information System
• /
• v.7 no.1
• /
• pp.25-32
• /
• 2020

This paper proposes a mobile augmented reality mashup for cultural heritage sites such as natural monuments. Several benefits of mobile augmented reality solutions are ideal for preserving and protecting cultural heritage sites. By presenting mobile augmented reality mashup scenarios and mobile mashup framework, we introduce how user-generated multimedia contents can be added. We present two scenarios of Mashup Viewer and Mashup Maker. In Mashup Viewer mode, visitors can create new AR contents using mashup tools for memo, Twitter, images and statistical graphs. In Mashup Maker mode, other visitors also can view the user-generated multimedia AR contents using QR codes as access points. To show feasibility of our approach in mobile platforms, we compare several detection algorithms on PC and mobile platform and report on deployment of our approach in a natural monument museum. With our proposed mashup tools, visitors to the cultural heritage sites can enjoy default AR contents provided by the site administrators and also participate as active content producers and consumers.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.23 no.5
• /
• pp.1165-1172
• /
• 1998

In this paper, we present a construction for binary pseudorandom sequences of period $2^{m}-1$ with ideal autocorraltion property using the polynomial $z^{d}+(z+1)^{d}$. We show that the sequence obtained from the polynomial becomes an m-sequence for certain values of d. We also find a few values of d which yield new binary sequences with ideal autocorrelation property when m is $3k{\pm}1$, where k is a positive integer. These new sequences are represented using trace function and the results are tabulated.