• Kyungpook Mathematical Journal
• /
• v.61 no.1
• /
• pp.23-32
• /
• 2021

Let D be an integral domain with quotient field K, X an indeterminate over D, ∗ a star operation on D, and Cl∗ (D) be the ∗-class group of D. The ∗w-operation on D is a star operation defined by I∗w = {x ∈ K | xJ ⊆ I for a nonzero finitely generated ideal J of D with J∗ = D}. In this paper, we study two star operations {∗} and [∗] on D[X] defined by A{∗} = ∩P∈∗w-Max(D) ADP [X] and A[∗] = (∩P∈∗w-Max(D) AD[X]P[X]) ∩ AK[X]. Among other things, we show that Cl∗(D) ≅ Cl[∗](D[X]) if and only if D is integrally closed.

• Journal of the Korean Mathematical Society
• /
• v.48 no.1
• /
• pp.49-61
• /
• 2011

Let D be an integral domain with quotient field K, X be a nonempty set of indeterminates over D, * be a star operation on D, $N_*$={f $\in$ D[X]|c(f)$^*$= D}, $*_w$ be the star operation on D defined by $I^{*_w}$ = ID[X]${_N}_*$ $\cap$ K, and [*] be the star operation on D[X] canonically associated to * as in Theorem 2.1. Let $A^g$ (resp., $A^{[*]g}$, $A^{[*]g}$) be the global (resp.,*-global, [*]-global) transform of a ring A. We show that D is a $*_w$-Noetherian domain if and only if D[X] is a [*]-Noetherian domain. We prove that $D^{*g}$[X]${_N}_*$ = (D[X]${_N}_*$)$^g$ = (D[X])$^{[*]g}$; hence if D is a $*_w$-Noetherian domain, then each ring between D[X]${_N}_*$ and $D^{*g}$[X]${_N}_*$ is a Noetherian domain. Let $\tilde{D}$ = $\cap${$D_P$|P $\in$ $*_w$-Max(D) and htP $\geq$2}. We show that $D\;\subseteq\;\tilde{D}\;\subseteq\;D^{*g}$ and study some properties of $\tilde{D}$ and $D^{*g}$.

• Korean Journal of Mathematics
• /
• v.24 no.3
• /
• pp.537-543
• /
• 2016

Let D be an integral domain, X be an indeterminate over D, D[X] be the polynomial ring over D, and D(X) be the Nagata ring of D. Let [d] be the star operation on D[X], which is an extension of the d-operation on D as in [5, Theorem 2.3]. In this paper, we show that D is a sharp domain if and only if D[X] is a [d]-sharp domain, if and only if D(X) is a sharp domain.

• Bulletin of the Korean Mathematical Society
• /
• v.47 no.5
• /
• pp.907-913
• /
• 2010

Let D be an integrally closed domain with quotient field K, * be a star operation on D, X, Y be indeterminates over D, $N_*\;=\;\{f\;{\in}\;D[X]|\;(c_D(f))^*\;=\;D\}$ and $R\;=\;D[X]_{N_*}$. Let b be the b-operation on R, and let $*_c$ be the star operation on D defined by $I^{*_c}\;=\;(ID[X]_{N_*})^b\;{\cap}\;K$. Finally, let Kr(R, b) (resp., Kr(D, $*_c$)) be the Kronecker function ring of R (resp., D) with respect to Y (resp., X, Y). In this paper, we show that Kr(R, b) $\subseteq$ Kr(D, $*_c$) and Kr(R, b) is a kfr with respect to K(Y) and X in the notion of [2]. We also prove that Kr(R, b) = Kr(D, $*_c$) if and only if D is a $P{\ast}MD$. As a corollary, we have that if D is not a $P{\ast}MD$, then Kr(R, b) is an example of a kfr with respect to K(Y) and X but not a Kronecker function ring with respect to K(Y) and X.

• Korean Journal of Mathematics
• /
• v.20 no.4
• /
• pp.371-379
• /
• 2012

Let D be an integral domain, $\bar{D}$ be the integral closure of D, * be a star operation of finite character on D, $*_w$ be the so-called $*_w$-operation on D induced by *, X be an indeterminate over D, $N_*=\{f{\in}D[X]{\mid}c(f)^*=D\}$, and $Kr(D,*)=\{0\}{\cup}\{\frac{f}{g}{\mid}0{\neq}f,\;g{\in}D[X]$ and there is an $0{\neq}h{\in}D[X]$ such that $(c(f)c(h))^*{\subseteq}(c(g)c(h))^*$}. In this paper, we show that D is a *-quasi-Pr$\ddot{u}$fer domain if and only if $\bar{D}[X]_{N_*}=Kr(D,*_w)$. As a corollary, we recover Fontana-Jara-Santos's result that D is a Pr$\ddot{u}$fer *-multiplication domain if and only if $D[X]_{N_*} = Kr(D,*_w)$.

• Journal of the Korean Mathematical Society
• /
• v.56 no.6
• /
• pp.1689-1701
• /
• 2019

Let ${\star}$ be a semistar operation on the integral domain D. In this paper, we prove that D is a $G-{\tilde{\star}}-GCD$ domain if and only if D[X] is a $G-{\star}_1-GCD$ domain if and only if the Nagata ring of D with respect to the semistar operation ${\tilde{\star}}$, $Na(D,{\star}_f)$ is a G-GCD domain if and only if $Na(D,{\star}_f)$ is a GCD domain, where ${\star}_1$ is the semistar operation on D[X] introduced by G. Picozza [12].

• Honam Mathematical Journal
• /
• v.33 no.3
• /
• pp.419-424
• /
• 2011

Let D be an integral domain, Spec(D) the set of prime ideals of D, and X a subspace of the Zariski topology on Spec(D). We show that X is compact if and only if given any ideal I of D with $I{\nsubseteq}P$ for all $P{\in}X$, there exists a finitely generated idea $J{\subseteq}I$ such that $J{\nsubseteq}P$ for all $P{\in}X$. We also prove that if D = ${\cap}_{P{\in}X}D_P$ and if * is the star-operation on D induced by X, then X is compact if and only if * $_f$-Max(D) ${\subseteq}$X. As a corollary, we have that t-Max(D) is compact and that ${\mathcal{P}}$(D) = {P${\in}$ Spec(D)$|$P is minimal over (a : b) for some a, b${\in}$D} is compact if and only if t-Max(D) ${\subseteq}\;{\mathcal{P}}$(D).

• Communications of the Korean Mathematical Society
• /
• v.34 no.2
• /
• pp.375-381
• /
• 2019

In this paper, we introduce an operation denoted by [$Br_e$], a bracket operation, which maps an arbitrary groupoid ($X,{\ast}$) on a set X to another groupoid $(X,{\bullet})=[Br_e](X,{\ast})$ which on groups corresponds to sending a pair of elements (x, y) of X to its commutator $xyx^{-1}y^{-1}$. When applied to classes such as d-algebras, BCK-algebras, a variety of results is obtained indicating that this construction is more generally useful than merely for groups where it is of fundamental importance.

• Proceedings of the KSRS Conference
• /
• 2005.10a
• /
• pp.485-488
• /
• 2005

The 2nd KOrea Multi-Purpose Satellite (KOMPSAT -2) has been developed by Korea Aerospace Research Institute (KARI) since 2000. Multi Spectral Camera (MSC) is the payload for KOMPSAT -2, which will provide the observation imagery around Korean peninsula with high resolution. KOMPSAT-2 has adopted X-band Tracking System (XTS) for transmitting earth observation data to ground station. For this, data which describes and controls the pre-defined motion of each on-board X-Band antenna in XTS, must be transmitted to the spacecraft as S-Band command and it is called as Tracking Parameter Files (TPF). In this paper, the result of the development of TPF Generation S/W for KOMPSAT-2 X-Band Antenna Motion Control.

• Bulletin of the Korean Mathematical Society
• /
• v.45 no.4
• /
• pp.651-661
• /
• 2008

Given binary operations "*" and "$\circ$" on a set X, define a product binary operation "$\Box$" as follows: $x{\Box}y\;:=\;(x\;{\ast}\;y)\;{\circ}\;(y\;{\ast}\;x)$. This in turn yields a binary operation on Bin(X), the set of groupoids defined on X turning it into a semigroup (Bin(X), $\Box$)with identity (x * y = x) the left zero semigroup and an analog of negative one in the right zero semigroup (x * y = y). The composition $\Box$ is a generalization of the composition of functions, modelled here as leftoids (x * y = f(x)), permitting one to study the dynamics of binary systems as well as a variety of other perspectives also of interest.