• Title/Summary/Keyword: Associated prime ideals

Search Result 15, Processing Time 0.022 seconds

ASSOCIATED PRIME IDEALS OF A PRINCIPAL IDEAL

  • Chang, Gyu Whan
    • 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.

  • PDF

A TORSION GRAPH DETERMINED BY EQUIVALENCE CLASSES OF TORSION ELEMENTS AND ASSOCIATED PRIME IDEALS

  • Reza Nekooei;Zahra Pourshafiey
    • Bulletin of the Korean Mathematical Society
    • /
    • v.61 no.3
    • /
    • pp.797-811
    • /
    • 2024
  • In this paper, we define the torsion graph determined by equivalence classes of torsion elements and denote it by AE(M). The vertex set of AE(M) is the set of equivalence classes {[x] | x ∈ T(M)*}, where two torsion elements x, y ∈ T(M)* are equivalent if ann(x) = ann(y). Also, two distinct classes [x] and [y] are adjacent in AE(M), provided that ann(x)ann(y)M = 0. We shall prove that for every torsion finitely generated module M over a Dedekind domain R, a vertex of AE(M) has degree two if and only if it is an associated prime of M.

LOCAL COHOMOLOGY MODULES WHICH ARE SUPPORTED ONLY AT FINITELY MANY MAXIMAL IDEALS

  • Hajikarimi, Alireza
    • Journal of the Korean Mathematical Society
    • /
    • v.47 no.3
    • /
    • pp.633-643
    • /
    • 2010
  • Let a be an ideal of a commutative Noetherian ring R, M a finitely generated R-module and N a weakly Laskerian R-module. We show that if N has finite dimension d, then $Ass_R(H^d_a(N))$ consists of finitely many maximal ideals of R. Also, we find the least integer i, such that $H^i_a$(M, N) is not consisting of finitely many maximal ideals of R.

SIMPLE VALUATION IDEALS OF ORDER 3 IN TWO-DIMENSIONAL REGULAR LOCAL RINGS

  • Noh, Sun-Sook
    • 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}$.

SOME CONDITIONS FOR COMAXIMALITY OF IDEALS

  • Ahn, Sung Hun
    • Korean Journal of Mathematics
    • /
    • v.8 no.1
    • /
    • pp.19-26
    • /
    • 2000
  • In this paper, it is shown that if R is a commutative ring with identity and there exists a multiplicatively closed subset S of R such that $S{\cap}Z(R/(I_1I_2{{\cdots}I_n))={\emptyset}$ and $I_1R_s,I_2R_s{\cdots},I_nR_s$ are pairwise comaximal, then $I_1I_2{\cdots}I_n=I_1{\cap}I_2{\cap}{\cdots}{\cap}I_n={\cap}^n_{i=1}(I_i\;:_R\;I_1{\cdots}I_{i-1}I_{i+1}{\cdots}I_n)$.

  • PDF

ON JORDAN IDEALS IN PRIME RINGS WITH GENERALIZED DERIVATIONS

  • Bennis, Driss;Fahid, Brahim;Mamouni, Abdellah
    • Communications of the Korean Mathematical Society
    • /
    • v.32 no.3
    • /
    • pp.495-502
    • /
    • 2017
  • Let R be a 2-torsion free prime ring and J be a nonzero Jordan ideal of R. Let F and G be two generalized derivations with associated derivations f and g, respectively. Our main result in this paper shows that if F(x)x - xG(x) = 0 for all $x{\in}J$, then R is commutative and F = G or G is a left multiplier and F = G + f. This result with its consequences generalize some recent results due to El-Soufi and Aboubakr in which they assumed that the Jordan ideal J is also a subring of R.

SIMPLE VALUATION IDEALS OF ORDER TWO IN 2-DIMENSIONAL REGULAR LOCAL RINGS

  • Hong, Joo-Youn;Lee, Hei-Sook;Noh, Sun-Sook
    • 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.

ESSENTIAL SEQUENCES AND GENERALIZED FRACTIONS

  • Chung, Sang-Cho;Lee, Dong-Soo
    • Journal of the Chungcheong Mathematical Society
    • /
    • v.9 no.1
    • /
    • pp.61-68
    • /
    • 1996
  • We investigate associated prime ideals of the module of generalized fractions defined by poor essential sequences and extend the McAdam and Ratliff's criterion of locally unmixed rings.

  • PDF