• 제목/요약/키워드: P-prime ideal

Search Result 78, Processing Time 0.022 seconds

SOME FUNCTIONAL IDENTITIES ARISING FROM DERIVATIONS

  • Abdellah Mamouni;Lahcen Oukhtite;Mohammed Zerra
    • Communications of the Korean Mathematical Society
    • /
    • v.38 no.1
    • /
    • pp.79-87
    • /
    • 2023
  • This paper considers some functional identities related to derivations of a ring R and their action on the centre of R/P where P is a prime ideal of R. It generalizes some previous results that are in the same spirit. Finally, examples proving that our restrictions cannot be relaxed are given.

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.

GRADED PSEUDO-VALUATION RINGS

  • Fatima-Zahra Guissi;Hwankoo Kim;Najib Mahdou
    • Journal of the Korean Mathematical Society
    • /
    • v.61 no.5
    • /
    • pp.953-973
    • /
    • 2024
  • Let R = ⊕α∈Γ Rα be a commutative ring graded by an arbitrary torsionless monoid Γ. A homogeneous prime ideal P of R is said to be strongly homogeneous prime if aP and bR are comparable for any homogeneous elements a, b of R. We will say that R is a graded pseudo-valuation ring (gr-PVR for short) if every homogeneous prime ideal of R is strongly homogeneous prime. In this paper, we introduce and study the graded version of the pseudo-valuation rings which is a generalization of the gr-pseudo-valuation domains in the context of arbitrary Γ-graded rings (with zero-divisors). We then study the possible transfer of this property to the graded trivial ring extension and the graded amalgamation. Our goal is to provide examples of new classes of Γ-graded rings that satisfy the above mentioned property.

PRIME IDEALS OF SUBRINGS OF MATRIX RINGS

  • Chun, Jang-Ho;Park, Jung-Won
    • Communications of the Korean Mathematical Society
    • /
    • v.19 no.2
    • /
    • pp.211-217
    • /
    • 2004
  • In a ring $R_n(K,\;J)$ where K is a commutative ring with identity and J is an ideal of K, all prime ideals of $R_n(K,\;J)$ are of the form either $M_n(P)\;o;R_n(P,\;P\;{\cap}\;J)$. Therefore there is a one to one correspondence between prime ideals of K not containing J and prime ideals of $R_n(K,\;J)$.

The Factor Domains that Result from Uppers to Prime Ideals in Polynomial Rings

  • Dobbs, David Earl
    • Kyungpook Mathematical Journal
    • /
    • v.50 no.1
    • /
    • pp.1-5
    • /
    • 2010
  • Let P be a prime ideal of a commutative unital ring R; X an indeterminate; D := R/P; L the quotient field of D; F an algebraic closure of L; ${\alpha}$ ${\in}$ L[X] a monic irreducible polynomial; ${\xi}$ any root of in F; and Q = ${\alpha}$>, the upper to P with respect to ${\alpha}$. Then R[X]/Q is R-algebra isomorphic to $D[{\xi}]$; and is R-isomorphic to an overring of D if and only if deg(${\alpha}$) = 1.

Ideal Theory in Commutative A-semirings

  • Allen, Paul J.;Neggers, Joseph;Kim, Hee Sik
    • Kyungpook Mathematical Journal
    • /
    • v.46 no.2
    • /
    • pp.261-271
    • /
    • 2006
  • In this paper, we investigate and characterize the class of A-semirings. A characterization of the Thierrin radical of a proper ideal of an A-semiring is given. Moreover, when P is a Q-ideal in the semiring R, it is shown that P is primary if and only if R/P is nilpotent.

  • PDF

ON THE IDEAL CLASS GROUPS OF ℤp-EXTENSIONS OVER REAL ABELIAN FIELDS

  • Kim, Jae Moon;Ryu, Ja Do
    • Korean Journal of Mathematics
    • /
    • v.7 no.2
    • /
    • pp.227-233
    • /
    • 1999
  • Let $k$ be a real abelian field and $k_{\infty}={\bigcup}_{n{\geq}0}k_n$ be its $\mathbb{Z}_p$-extension for an odd prime $p$. For each $n{\geq}0$, we denote the class number of $k_n$ by $h_n$. The following is a well known theorem: Theorem. Suppose $p$ remains inert in $k$ and the prime ideal of $k$ above $p$ totally ramifies in $k_{\infty}$. Then $p{\nmid}h_0$ if and only if $p{\nmid}h_n$ for all $n{\geq}0$. The aim of this paper is to generalize above theorem: Theorem 1. Suppose $H^1(G_n,E_n){\simeq}(\mathbb{Z}/p^n\mathbb{Z})^l$, where $l$ is the number of prime ideals of $k$ above $p$. Then $p{\nmid}h_0$ if and only if $p{\nmid}h_n$. Theorem 2. Let $k$ be a real quadratic field. Suppose that $H^1(G_1,E_1){\simeq}(\mathbb{Z}/p\mathbb{Z})^l$. Then $p{\nmid}h_0$ if and only if $p{\nmid}h_n$ for all $n{\geq}0$.

  • PDF

THE GENERATORS OF COMPLETE INTERSECTION

  • Kang, Oh-Jin;Ko, Hyuong-J.
    • Bulletin of the Korean Mathematical Society
    • /
    • v.37 no.4
    • /
    • pp.829-841
    • /
    • 2000
  • We classify complete intersections I of grade 3 in a regular local ring (R, M) by the number of minimal generators of a minimal prime ideal P over I. Here P is either a complete intersection or a Gorenstein ideal which is not a compete intersection.

  • PDF