• East Asian mathematical journal
• /
• v.34 no.5
• /
• pp.571-575
• /
• 2018

Let D be an integral domain, ${\ast}$ a star-operation on D, and S a (not necessarily saturated) multiplicative subset of D. In this article, we prove the Cohen type theorem for $S-{\ast}_{\omega}$-principal ideal domains, which states that D is an $S-{\ast}_{\omega}$-principal ideal domain if and only if every nonzero prime ideal of D (disjoint from S) is $S-{\ast}_{\omega}$-principal.

• Korean Journal of Mathematics
• /
• v.8 no.1
• /
• pp.87-90
• /
• 2000

Let R be an integral domain with identity. We show that each associated prime ideal of a principal ideal in R[X] has height one if and only if each associated prime ideal of a principal ideal in R has height one and R is an S-domain.

• Bulletin of the Korean Mathematical Society
• /
• v.36 no.4
• /
• pp.655-660
• /
• 1999

Let R be an integral domain with identity. In this paper we will show that if R is integrally closed or if t-dim $R{\leq}1$, then R[{$X_{\alpha}$}] satisfies the principal ideal theorem for each family {$X_{\alpha}$} of algebraically independent indeterminates if and only if R is an S-domain and it satisfies the principal ideal theorem.

• Journal of the Korean Mathematical Society
• /
• v.44 no.4
• /
• pp.747-756
• /
• 2007

In this paper we give an example of imaginary quadratic number field k such that every ideal of k becomes principal in some proper subfields of the Hilbert class field of k.

• Journal of applied mathematics & informatics
• /
• v.39 no.5_6
• /
• pp.617-622
• /
• 2021

Let R be a commutative ring with identity, R[X] the polynomial ring over R and S a multiplicative subset of R. Let U = {f ∈ R[X] | f is monic} and let N = {f ∈ R[X] | c(f) = R}. In this paper, we show that if S is an anti-Archimedean subset of R, then R is an S-Noetherian ring if and only if R[X]_U is an S-Noetherian ring, if and only if R[X]_N is an S-Noetherian ring. We also prove that if R is an integral domain and R[X]_U is an S-principal ideal domain, then R is an S-principal ideal domain.

• Bulletin of the Korean Mathematical Society
• /
• v.37 no.3
• /
• pp.577-586
• /
• 2000

For a grading monoid S, we prove that (1) if (S, M) is a valuation semigroup, then M is an m-canonical ideal, that is, an ideal M such that M : (M:J)=J for every ideal J of S. (2) if S is an integrally closed semigroup and S has a principal m-canonical ideal, then S is a valuation semigroup, and (3) if S is a completely integrally closed and S has an m-canonical ideal I, then every ideal of S is I-invertible, that is, J+(I+J)=I for every ideal J of S.

• Bulletin of the Korean Mathematical Society
• /
• v.25 no.2
• /
• pp.203-209
• /
• 1988

In this paper, we define a g-regular semigroup which is a generalization of a regular semigroup. And we want to find some properties of g-regular semigroup. G-regular semigroups contains the variety of all regular semigroup and the variety of all periodic semigroup. If a is an element of a semigroup S, the smallest left ideal containing a is Sa.cup.{a}, which we may conveniently write as $S^{I}$a, and which we shall call the principal left ideal generated by a. An equivalence relation l on S is then defined by the rule alb if and only if a and b generate the same principal left ideal, i.e. if and only if $S^{I}$a= $S^{I}$b. Similarly, we can define the relation R. The equivalence relation D is R.L and the principal two sided ideal generated by an element a of S is $S^{1}$a $S^{1}$. We write aqb if $S^{1}$a $S^{1}$= $S^{1}$b $S^{1}$, i.e. if there exist x,y,u,v in $S^{1}$ for which xay=b, ubv=a. It is immediate that D.contnd.q. A semigroup S is called periodic if all its elements are of finite order. A finite semigroup is necessarily periodic semigroup. It is well known that in a periodic semigroup, D=q. An element a of a semigroup S is called regular if there exists x in S such that axa=a. The semigroup S is called regular if all its elements are regular. The following is the property of D-classes of regular semigroup.group.

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

Let S be a commutative semigroup with 0 and 1. A proper ideal P of S is weakly prime if for $a,\;b{\in}S$, $0{\neq}ab{\in}P$ implies $a{\in}P$ or $b{\in}P$. We investigate weakly prime ideals and related ideals of S. We also relate weakly prime principal ideals to unique factorization in commutative semigroups.

• Journal of the Korean Mathematical Society
• /
• v.55 no.4
• /
• pp.797-808
• /
• 2018

In [1], the authors generalize the concept of the class group of an integral domain $D(Cl_t(D))$ by introducing the notion of the S-class group of an integral domain where S is a multiplicative subset of D. The S-class group of D, $S-Cl_t(D)$, is the group of fractional t-invertible t-ideals of D under the t-multiplication modulo its subgroup of S-principal t-invertible t-ideals of D. In this paper we study when $S-Cl_t(D){\simeq}S-Cl_t(D_T)$, where T is a multiplicative subset generated by prime elements of D. We show that if D is a Mori domain, T a multiplicative subset generated by prime elements of D and S a multiplicative subset of D, then the natural homomorphism $S-Cl_t(D){\rightarrow}S-Cl_t(D_T)$ is an isomorphism. In particular, we give an S-version of Nagata's Theorem [13]: Let D be a Krull domain, T a multiplicative subset generated by prime elements of D and S another multiplicative subset of D. If $D_T$ is an S-factorial domain, then D is an S-factorial domain.

• Journal of the Korean Mathematical Society
• /
• v.48 no.2
• /
• pp.397-420
• /
• 2011

In this paper we study the structure of closed weakly dense ideals in Privalov spaces $N^p$ (1 < p < $\infty$) of holomorphic functions on the disk $\mathbb{D}$ : |z| < 1. The space $N^p$ with the topology given by Stoll's metric [21] becomes an F-algebra. N. Mochizuki [16] proved that a closed ideal in $N^p$ is a principal ideal generated by an inner function. Consequently, a closed subspace E of $N^p$ is invariant under multiplication by z if and only if it has the form $IN^p$ for some inner function I. We prove that if $\cal{M}$ is a closed ideal in $N^p$ that is dense in the weak topology of $N^p$, then $\cal{M}$ is generated by a singular inner function. On the other hand, if $S_{\mu}$ is a singular inner function whose associated singular measure $\mu$ has the modulus of continuity $O(t^{(p-1)/p})$, then we prove that the ideal $S_{\mu}N^p$ is weakly dense in $N^p$. Consequently, for such singular inner function $S_{\mu}$, the quotient space $N^p/S_{\mu}N^p$ is an F-space with trivial dual, and hence $N^p$ does not have the separation property.