• 제목/요약/키워드: (m, n)-prime ideal

검색결과 31건 처리시간 0.027초

ON WEAKLY (m, n)-PRIME IDEALS OF COMMUTATIVE RINGS

  • Hani A. Khashan;Ece Yetkin Celikel
    • 대한수학회보
    • /
    • 제61권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 ≠ amb ∈ I implies either an ∈ 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.

THE FINITE DIMENSIONAL PRIME RINGS

  • Koh, Kwangil
    • 대한수학회보
    • /
    • 제20권1호
    • /
    • pp.45-49
    • /
    • 1983
  • If R is ring and M is a right (or left) R-module, then M is called a faithful R-module if, for some a in R, x.a=0 for all x.mem.M then a=0. In [4], R.E. Johnson defines that M is a prime module if every non-zero submodule of M is faithful. Let us define that M is of prime type provided that M is faithful if and only if every non-zero submodule is faithful. We call a right (left) ideal I of R is of prime type if R/I is of prime type as a R-module. This is equivalent to the condition that if xRy.subeq.I then either x.mem.I ro y.mem.I (see [5:3:1]). It is easy to see that in case R is a commutative ring then a right or left ideal of a prime type is just a prime ideal. We have defined in [5], that a chain of right ideals of prime type in a ring R is a finite strictly increasing sequence I$_{0}$.contnd.I$_{1}$.contnd....contnd.I$_{n}$; the length of the chain is n. By the right dimension of a ring R, which is denoted by dim, R, we mean the supremum of the length of all chains of right ideals of prime type in R. It is an integer .geq.0 or .inf.. The left dimension of R, which is denoted by dim$_{l}$ R is similarly defined. It was shown in [5], that dim$_{r}$R=0 if and only if dim$_{l}$ R=0 if and only if R modulo the prime radical is a strongly regular ring. By "a strongly regular ring", we mean that for every a in R there is x in R such that axa=a=a$^{2}$x. It was also shown that R is a simple ring if and only if every right ideal is of prime type if and only if every left ideal is of prime type. In case, R is a (right or left) primitive ring then dim$_{r}$R=n if and only if dim$_{l}$ R=n if and only if R.iden.D$_{n+1}$ , n+1 by n+1 matrix ring on a division ring D. in this paper, we establish the following results: (1) If R is prime ring and dim$_{r}$R=n then either R is a righe Ore domain such that every non-zero right ideal of a prime type contains a non-zero minimal prime ideal or the classical ring of ritght quotients is isomorphic to m*m matrix ring over a division ring where m.leq.n+1. (b) If R is prime ring and dim$_{r}$R=n then dim$_{l}$ R=n if dim$_{l}$ R=n if dim$_{l}$ R<.inf. (c) Let R be a principal right and left ideal domain. If dim$_{r}$R=1 then R is an unique factorization domain.TEX>R=1 then R is an unique factorization domain.

  • PDF

ON WEAKLY S-PRIME SUBMODULES

  • Hani A., Khashan;Ece Yetkin, Celikel
    • 대한수학회보
    • /
    • 제59권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.

M-SYSTEM AND N-SYSTEM IN PO-SEMIGROUPS

  • Lee, Sang-Keun
    • East Asian mathematical journal
    • /
    • 제19권2호
    • /
    • pp.233-240
    • /
    • 2003
  • Xie and Wu introduced an m-system in a po-semigroup. Kehayopulu gave characterizations of weakly prime ideals of po-semigroups and Lee and Kwon add two characterizations for weakly prime ideals. In this paper, we give a characterization of weakly prime ideals and a characterization of weakly semi-prime ideals in po-semigroups using m-system and n-system, respectively

  • PDF

WEAKLY (m, n)-CLOSED IDEALS AND (m, n)-VON NEUMANN REGULAR RINGS

  • Anderson, David F.;Badawi, Ayman;Fahid, Brahim
    • 대한수학회지
    • /
    • 제55권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.

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

  • Noh, Sun-Sook
    • 대한수학회논문집
    • /
    • 제23권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}$.

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

  • Hong, Joo-Youn;Lee, Hei-Sook;Noh, Sun-Sook
    • 대한수학회논문집
    • /
    • 제20권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.

PRIME IDEALS OF SUBRINGS OF MATRIX RINGS

  • Chun, Jang-Ho;Park, Jung-Won
    • 대한수학회논문집
    • /
    • 제19권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)$.

SYMMETRIC BI-DERIVATIONS IN PRIME RINGS

  • Jung, Yong-Soo
    • Journal of applied mathematics & informatics
    • /
    • 제5권3호
    • /
    • pp.819-826
    • /
    • 1998
  • The purpose of this paper is to prove the following results; (1) Let R be a prime ring of char $(R)\neq 2$ and I a nonzero left ideal of R. The existence of a nonzero symmetric bi-derivation D : $R\timesR\;\longrightarrow\;$ such that d is sew-commuting on I where d is the trace of D forces R to be commutative (2) Let m and n be integers with $m\;\neq\;0.\;or\;n\neq\;0$. Let R be a noncommutative prime ring of char$ (R))\neq \; 2-1\; p_1 \;n_1$ where p is a prime number which is a divisor of m, and I a nonzero two-sided ideal of R. Let $D_1$ ; $R\;\times\;R\;\longrightarrow\;and\;$ $D_2\;:\;R\;\times\;R\;longrightarrow\;R$ be symmetric bi-derivations. Suppose further that there exists a symmetric bi-additive mapping B ; $R\;\times\;R\;\longrightarrow\;and\;$ such that $md_1(\chi)\chi + n\chi d_2(\chi)=f(\chi$) holds for all $\chi$$\in$I, where $d_1 \;and\; d_2$ are the traces of $D_1 \;and\; D_2$ respectively and f is the trace of B. Then we have $D_1=0 \;and\; D_2=0$.