• Honam Mathematical Journal
• /
• v.38 no.2
• /
• pp.295-304
• /
• 2016

In this paper we investigate the Artinianness of certain local cohomology modules $H^i_I(N)$ where N is a minimax module over a commutative Noetherian ring R and I is an ideal of R. Also, we characterize the set of attached prime ideals of $H^n_I(N)$, where n is the dimension of N.

• Journal of the Korean Mathematical Society
• /
• v.57 no.5
• /
• pp.1061-1078
• /
• 2020

We prove some results about the finiteness of co-associated primes of generalized local homology modules inspired by a conjecture of Grothendieck and a question of Huneke. We also show some equivalent properties of minimax local homology modules. By duality, we get some properties of Herzog's generalized local cohomology modules.

• Journal of the Korean Mathematical Society
• /
• v.48 no.5
• /
• pp.927-938
• /
• 2011

Let G be an abelian monoid with identity e. Let R be a G-graded commutative ring, and M a graded R-module. In this paper we first introduce the concept of graded primal submodules of M an give some basic results concerning this class of submodules. Then we characterize the graded primal ideals of the idealization R(+)M.

• Journal of the Chungcheong Mathematical Society
• /
• v.19 no.4
• /
• pp.319-324
• /
• 2006

Let K be a finite cyclic extension of $k=\mathbb{F}_q(T)$ of prime degree ${\ell}$. Let ${\tilde{\mathcal{C}}}l_{K,{\ell}}$ be the Sylow ${\ell}$-subgroup of the ideal class group ${\tilde{\mathcal{C}}}l_K$ of $\mathcal{O}_K$. The structure of ${\tilde{\mathcal{C}}}l_{K,{\ell}}$ as $\mathbb{Z}_{\ell}[G]$/<$N_G$>-module is determined the dimensions $${\lambda}_i\;:=dim_{\mathbb{F}_{\ell}}({\tilde{\mathcal{C}}}l_{K,{\ell}}^{({\sigma}-1)^{i-1}}/{\tilde{\mathcal{C}}}l_{K,{\ell}}^{({\sigma}-1)^i})$$ for $i{\geq}1$. In this paper we investigate the dimensions ${\lambda}_1$ and ${\lambda}_2$.

• Bulletin of the Korean Mathematical Society
• /
• v.52 no.2
• /
• pp.531-540
• /
• 2015

Let (R, m) be a Noetherian local ring, I an ideal of R, and A an Artinian R-module. Let $k{\geq}0$ be an integer and $r=Width_{&gt;k}(I,A)$ the supremum of length of A-cosequence in dimension > k in I defined by Nhan-Hoang [8]. It is shown that for all $t{\leq}r$ the sets $$(\bigcup_{i=0}^{t}Att_R(Tor_i^R(R/I^n,A)))_{{\geq}k}\;and\\(\bigcup_{i=0}^{t}Att_R(Tor_i^R(R/(a_1^{n_1},{\cdots},a_l^{n_l}),A)))_{{\geq}k}$$ are independent of the choice of $n,n_1,{\cdots},n_l$ for any system of generators ($a_1,{\cdots},a_l$) of I.

• Bulletin of the Korean Mathematical Society
• /
• v.55 no.1
• /
• pp.311-317
• /
• 2018

Let (R, m) be a commutative Noetherian local ring and I be an ideal of R. In this paper it is shown that if cd(I, R) = t > 0 and the R-module $Hom_R(R/I,H^t_I(R))$ is finitely generated, then $$t={\sup}\{{\dim}{\widehat{\hat{R}_p}}/Q:p{\in}V(I{\hat{R}}),\;Q{\in}mAss{_{\widehat{\hat{R}_p}}}{\widehat{\hat{R}_p}}\;and\;p{\widehat{\hat{R}_p}}=Rad(I{\wideha{\hat{R}_p}}=Q)\}$$. Moreover, some other results concerning the cohomological dimension of ideals with respect to the rings extension $R{\subset}R[X]$ will be included.

• Communications of the Korean Mathematical Society
• /
• v.39 no.3
• /
• pp.623-642
• /
• 2024

This paper introduces and studies a generalization of (n, d)-rings introduced and studied by Costa in 1994 to rings with prime nilradical. Among other things, we establish that the ϕ-von Neumann regular rings are exactly either ϕ-(0, 0) or ϕ-(1, 0) rings and that the ϕ-Prüfer rings which are strongly ϕ-rings are the ϕ-(1, 1) rings. We then introduce a new class of rings generalizing the class of n-coherent rings to characterize the nonnil-coherent rings introduced and studied by Bacem and Benhissi.

• Journal of the Korean Mathematical Society
• /
• v.42 no.5
• /
• pp.933-948
• /
• 2005

Let R be a commutative ring with identity and let M be an R-module. Then M is called a multiplication module if for every submodule N of M there exists an ideal I of R such that N = 1M. Let M be a non-zero multiplication R-module. Then we prove the following: (1) there exists a bijection: N(M)$\bigcap$V(ann$\_{R}$(M))$\rightarrow$Spec$\_{R}$(M) and in particular, there exists a bijection: N(M)$\bigcap$Max(R)$\rightarrow$Max$\_{R}$(M), (2) N(M) $\bigcap$ V(ann$\_{R}$(M)) = Supp(M) $\bigcap$ V(ann$\_{R}$(M)), and (3) for every ideal I of R, The ideal $\theta$(M) = $\sum$$\_{m(Rm :R M) of R has proved useful in studying multiplication modules. We generalize this ideal to prove the following result: Let R be a commutative ring with identity, P $\in$ Spec(R), and M a non-zero R-module satisfying (1) M is a finitely generated multiplication module, (2) PM is a multiplication module, and (3) P$^{n}$M$\neq$P$^{n+1}$ for every positive integer n, then $\bigcap$$^{$\_{n=1}$(P$^{n}$ + ann$\_{R}$(M)) $\in$ V(ann$\_{R}$(M)) = Supp(M) $\subseteq$ N(M).

• Korean Journal of Computational Design and Engineering
• /
• v.1 no.1
• /
• pp.33-44
• /
• 1996

This study deals with the development of wire path searching module as a part of automobile wire harness design system. Wire path searching module manages the free space, finds transition locations, and creates bundle paths to dramatically reduce a tedious iterative routing process which results in easy optimization of the bundle paths. A prime policy in the system configuration is to compromise between man's and computer's ability, and make it possible a designer's leading role in designing process. Human input is indispensable to cope with the special cases which were not considered in the initial design stage of the system. In this study, we improve the previous shortest-path-finding algorithm, (VGraph and RCA method) into a new method called Extended RCA. Bundles, connectors and transitions are handled as objects so one can manage and modify physical properties of the objects easily. Therefore a verification is allowed at any desired stage of design. The reuse of previous result is facilitated by using Dependency Structure, which represents the mutual relations among connectors, transitions, and bundles. Dependency Structure makes it possible the elimination of redundant calculating process, and consequently shorter routing time.

• The Bulletin of The Korean Astronomical Society
• /
• v.39 no.1
• /
• pp.52.2-52.2
• /
• 2014

The Immersion Grating Infrared Spectrometer (IGRINS) is an unprecedentedly minimized infrared cross-dispersed echelle spectrograph with a high-resolution and high-sensitivity optical performance. A silicon immersion grating features the instrument for the first time in this field. IGRINS will cover the entire portion of the wavelength range between 1.45 and $2.45{\mu}m$ accessible from the ground in a single exposure with spectral resolution of 40,000. Individual volume phase holographic (VPH) gratings serve as cross-dispersing elements for separate spectrograph arms covering the H and K bands. On the 2.7m Harlan J. Smith telescope at the McDonald Observatory, the slit size is $1^{\prime\prime}{\times}15^{\prime\prime}$. IGRINS has a $0.27^{\prime\prime}$ pixel-1 plate scale on a $2048{\times}2048$ pixel Teledyne Scientific & Imaging HAWAII-2RG detector with SIDECAR ASIC cryogenic controller. The instrument includes four subsystems; a calibration unit, an input relay optics module, a slit-viewing camera, and nearly identical H and K spectrograph modules. The use of a silicon immersion grating and a compact white pupil design allows the spectrograph collimated beam size to be 25mm, which permits the entire cryogenic system to be contained in a moderately sized rectangular vacuum chamber. The fabrication and assembly of the optical and mechanical hardware components were completed in 2013. In this presentation, we describe the major design characteristics of the instrument and the early performance estimated from the first light commissioning at the McDonald Observatory.