• Journal of the Korean Mathematical Society
• /
• v.55 no.5
• /
• pp.1031-1043
• /
• 2018

Let R be a commutative ring with $1{\neq}0$, I a proper ideal of R, and m and n positive integers. In this paper, we define I to be a weakly (m, n)-closed ideal if $0{\neq}x^m\;{\in}I$ for $x{\in}R$ implies $x^n{\in}I$, and R to be an (m, n)-von Neumann regular ring if for every $x{\in}R$, there is an $r{\in}R$ such that $x^mr=x^n$. A number of results concerning weakly(m, n)-closed ideals and (m, n)-von Neumann regular rings are given.

• Bulletin of the Korean Mathematical Society
• /
• v.61 no.3
• /
• pp.717-734
• /
• 2024

Let R be a commutative ring with identity and m, n be positive integers. In this paper, we introduce the class of weakly (m, n)-prime ideals generalizing (m, n)-prime and weakly (m, n)-closed ideals. A proper ideal I of R is called weakly (m, n)-prime if for a, b ∈ R, 0 ≠ a^mb ∈ I implies either aⁿ ∈ I or b ∈ I. We justify several properties and characterizations of weakly (m, n)-prime ideals with many supporting examples. Furthermore, we investigate weakly (m, n)-prime ideals under various contexts of constructions such as direct products, localizations and homomorphic images. Finally, we discuss the behaviour of this class of ideals in idealization and amalgamated rings.

• 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.

• Communications of the Korean Mathematical Society
• /
• v.26 no.3
• /
• pp.373-384
• /
• 2011

In this paper we introduce and give some characterizations of (m, n)-regular le-${\Gamma}$-semigroup in terms of (m, n)-ideal elements and (m, n)-quasi-ideal elements. Also, we give some characterizations of subidempotent (m, n)-ideal elements in terms of $r_{\alpha}$- and $l_{\alpha}$- closed elements.

• Communications of the Korean Mathematical Society
• /
• v.23 no.4
• /
• pp.511-528
• /
• 2008

Let (R, m) be a 2-dimensional regular local ring with algebraically closed residue field R/m. Let K be the quotient field of R and $\upsilon$ be a prime divisor of R, i.e., a valuation of K which is birationally dominating R and residually transcendental over R. Zariski showed that there are finitely many simple $\upsilon$-ideals $m\;=\;P_0\;{\supset}\;P_1\;{\supset}\;{\cdots}\;{\supset}\;P_t\;=\;P$ and all the other $\upsilon$-ideals are uniquely factored into a product of those simple ones [17]. Lipman further showed that the predecessor of the smallest simple $\upsilon$-ideal P is either simple or the product of two simple $\upsilon$-ideals. The simple integrally closed ideal P is said to be free for the former and satellite for the later. In this paper we describe the sequence of simple $\upsilon$-ideals when P is satellite of order 3 in terms of the invariant $b_{\upsilon}\;=\;|\upsilon(x)\;-\;\upsilon(y)|$, where $\upsilon$ is the prime divisor associated to P and m = (x, y). Denote $b_{\upsilon}$ by b and let b = 3k + 1 for k = 0, 1, 2. Let $n_i$ be the number of nonmaximal simple $\upsilon$-ideals of order i for i = 1, 2, 3. We show that the numbers $n_{\upsilon}$ = ($n_1$, $n_2$, $n_3$) = (${\lceil}\frac{b+1}{3}{\rceil}$, 1, 1) and that the rank of P is ${\lceil}\frac{b+7}{3}{\rceil}$ = k + 3. We then describe all the $\upsilon$-ideals from m to P as products of those simple $\upsilon$-ideals. In particular, we find the conductor ideal and the $\upsilon$-predecessor of the given ideal P in cases of b = 1, 2 and for b = 3k + 1, 3k + 2, 3k for $k\;{\geq}\;1$. We also find the value semigroup $\upsilon(R)$ of a satellite simple valuation ideal P of order 3 in terms of $b_{\upsilon}$.

• Bulletin of the Korean Mathematical Society
• /
• v.59 no.6
• /
• pp.1387-1408
• /
• 2022

Let R be a commutative ring with a non-zero identity, S be a multiplicatively closed subset of R and M be a unital R-module. In this paper, we define a submodule N of M with (N :_R M)∩S = ∅ to be weakly S-prime if there exists s ∈ S such that whenever a ∈ R and m ∈ M with 0 ≠ am ∈ N, then either sa ∈ (N :_R M) or sm ∈ N. Many properties, examples and characterizations of weakly S-prime submodules are introduced, especially in multiplication modules. Moreover, we investigate the behavior of this structure under module homomorphisms, localizations, quotient modules, cartesian product and idealizations. Finally, we define two kinds of submodules of the amalgamation module along an ideal and investigate conditions under which they are weakly S-prime.

• Journal of the Korean Mathematical Society
• /
• v.60 no.2
• /
• pp.327-339
• /
• 2023

Let R be a commutative ring with identity and S be a multiplicatively closed subset of R. In this article we introduce a new class of ring, called S-multiplication rings which are S-versions of multiplication rings. An R-module M is said to be S-multiplication if for each submodule N of M, sN ⊆ JM ⊆ N for some s ∈ S and ideal J of R (see for instance [4, Definition 1]). An ideal I of R is called S-multiplication if I is an S-multiplication R-module. A commutative ring R is called an S-multiplication ring if each ideal of R is S-multiplication. We characterize some special rings such as multiplication rings, almost multiplication rings, arithmetical ring, and S-P IR. Moreover, we generalize some properties of multiplication rings to S-multiplication rings and we study the transfer of this notion to various context of commutative ring extensions such as trivial ring extensions and amalgamated algebras along an ideal.

• Communications of the Korean Mathematical Society
• /
• v.20 no.3
• /
• pp.427-436
• /
• 2005

Let (R, m) be a 2-dimensional regular local ring with algebraically closed residue field R/m. Let K be the quotient field of R and v be a prime divisor of R, i.e., a valuation of K which is birationally dominating R and residually transcendental over R. Zariski showed that there are finitely many simple v-ideals $m=P_0\;{\supset}\;P_1\;{\supset}\;{\cdotS}\;{\supset}\;P_t=P$ and all the other v-ideals are uniquely factored into a product of those simple ones. It then was also shown by Lipman that the predecessor of the smallest simple v-ideal P is either simple (P is free) or the product of two simple v-ideals (P is satellite), that the sequence of v-ideals between the maximal ideal and the smallest simple v-ideal P is saturated, and that the v-value of the maximal ideal is the m-adic order of P. Let m = (x, y) and denote the v-value difference |v(x) - v(y)| by $n_v$. In this paper, if the m-adic order of P is 2, we show that $O(P_i)\;=\;1\;for\;1\;{\leq}\;i\; {\leq}\;{\lceil}\;{\frac{b+1}{2}}{\rceil}\;and\;O(P_i)\;=2\;for\;{\lceil}\;\frac{b+3}{2}\rceil\;{\leq}\;i\;\leq\;t,\;where\;b=n_v$. We also show that $n_w\;=\;n_v$ when w is the prime divisor associated to a simple v-ideal $Q\;{\supset}\;P$ of order 2 and that w(R) = v(R) as well.

• Communications of the Korean Mathematical Society
• /
• v.17 no.2
• /
• pp.221-227
• /
• 2002

In this paper we will show that the followings ; (1) Let R be a regular local ring of dimension n. Then $A_{n-2}$(R) = 0. (2) Let R be a regular local ring of dimension n and I be an ideal in R of height 3 such that R/I is a Gorenstein ring. Then [I] = 0 in $A_{n-3}$(R). (3) Let R = V[[ $X_1$, $X_2$, …, $X_{5}$ ]]/(p+ $X_1$$^{t1}$ + $X_2$$^{t2}$ + $X_3$$^{t3}$ + $X_4$$^2$+ $X_{5}$ $^2$/), where p $\neq$2, $t_1$, $t_2$, $t_3$ are arbitrary positive integers and V is a complete discrete valuation ring with (p) = mv. Assume that R/m is algebraically closed. Then all the Chow group for R is 0 except the last Chow group.group.oup.

• Kyungpook Mathematical Journal
• /
• v.45 no.2
• /
• pp.199-209
• /
• 2005

An ideal space is ${\cal{I}}-resolvable$ if it has two disjoint ${\cal{I}}-dense$ subsets. We answer the question: If X is ${\cal{I}}-resolvable$, then is X (${\cal{I}}\;{\cup}\;{\cal{N}$)-resolvable?, posed by Dontchev, Ganster and Rose. We give three generalizations of the well known Banach Category Theorem and deduce the Banach category Theorem as a corollary. Characterizations of completely codense ideals and ${\cal{I}-locally$ closed sets are given and their properties are discussed.