• Title/Summary/Keyword: (prime, maximal) ideal

Search Result 46, Processing Time 0.022 seconds

QUOTIENT RINGS INDUCED VIA FUZZY IDEALS

  • Liu, Yong-Lin;Meng, Jie;Xin, Xiao-Long
    • Journal of applied mathematics & informatics
    • /
    • v.8 no.3
    • /
    • pp.855-867
    • /
    • 2001
  • This note we give a construction of a quotient ring $R/{\mu}$ induced via a fuzzy ideal ${\mu}$ in a ring R. The Fuzzy First, Second and Third Isomorphism Theorems are established. For some applications of this construction of quotient rings, we show that if ${\mu}$ is a fuzzy ideal of a commutative ring R, then $\mu$ is prime (resp. $R/{\mu}$ is a field, every zero divisor in $R/{\mu}$ is nilpotent). Moreover we give a simpler characterization of fuzzy maximal ideal of a ring.

GRADED w-NOETHERIAN MODULES OVER GRADED RINGS

  • Wu, Xiaoying
    • Bulletin of the Korean Mathematical Society
    • /
    • v.57 no.5
    • /
    • pp.1319-1334
    • /
    • 2020
  • In this paper, we study the basic theory of the category of graded w-Noetherian modules over a graded ring R. Some elementary concepts, such as w-envelope of graded modules, graded w-Noetherian rings and so on, are introduced. It is shown that: (1) A graded domain R is graded w-Noetherian if and only if Rg𝔪 is a graded Noetherian ring for any gr-maximal w-ideal m of R, and there are only finite numbers of gr-maximal w-ideals including a for any nonzero homogeneous element a. (2) Let R be a strongly graded ring. Then R is a graded w-Noetherian ring if and only if Re is a w-Noetherian ring. (3) Let R be a graded w-Noetherian domain and let a ∈ R be a homogeneous element. Suppose 𝖕 is a minimal graded prime ideal of (a). Then the graded height of the graded prime ideal 𝖕 is at most 1.

MODULES WHOSE CLASSICAL PRIME SUBMODULES ARE INTERSECTIONS OF MAXIMAL SUBMODULES

  • Arabi-Kakavand, Marzieh;Behboodi, Mahmood
    • Bulletin of the Korean Mathematical Society
    • /
    • v.51 no.1
    • /
    • pp.253-266
    • /
    • 2014
  • Commutative rings in which every prime ideal is an intersection of maximal ideals are called Hilbert (or Jacobson) rings. We propose to define classical Hilbert modules by the property that classical prime submodules are intersections of maximal submodules. It is shown that all co-semisimple modules as well as all Artinian modules are classical Hilbert modules. Also, every module over a zero-dimensional ring is classical Hilbert. Results illustrating connections amongst the notions of classical Hilbert module and Hilbert ring are also provided. Rings R over which all modules are classical Hilbert are characterized. Furthermore, we determine the Noetherian rings R for which all finitely generated R-modules are classical Hilbert.

ON THE STRUCTURES OF CLASS SEMIGROUPS OF QUADRATIC NON-MAXIMAL ORDERS

  • KIM, YONG TAE
    • Honam Mathematical Journal
    • /
    • v.26 no.3
    • /
    • pp.247-256
    • /
    • 2004
  • Buchmann and Williams[1] proposed a key exchange system making use of the properties of the maximal order of an imaginary quadratic field. $H{\ddot{u}}hnlein$ et al. [6,7] also introduced a cryptosystem with trapdoor decryption in the class group of the non-maximal imaginary quadratic order with prime conductor q. Their common techniques are based on the properties of the invertible ideals of the maximal or non-maximal orders respectively. Kim and Moon [8], however, proposed a key-exchange system and a public-key encryption scheme, based on the class semigroups of imaginary quadratic non-maximal orders. In Kim and Moon[8]'s cryptosystem, a non-invertible ideal is chosen as a generator of key-exchange ststem and their secret key is some characteristic value of the ideal on the basis of Zanardo et al.[9]'s quantity for ideal equivalence. In this paper we propose the methods for finding the non-invertible ideals corresponding to non-primitive quadratic forms and clarify the structure of the class semigroup of non-maximal order as finitely disjoint union of groups with some quantities correctly. And then we correct the misconceptions of Zanardo et al.[9] and analyze Kim and Moon[8]'s cryptosystem.

  • PDF

AN IDEAL-BASED ZERO-DIVISOR GRAPH OF 2-PRIMAL NEAR-RINGS

  • Dheena, Patchirajulu;Elavarasan, Balasubramanian
    • Bulletin of the Korean Mathematical Society
    • /
    • v.46 no.6
    • /
    • pp.1051-1060
    • /
    • 2009
  • In this paper, we give topological properties of collection of prime ideals in 2-primal near-rings. We show that Spec(N), the spectrum of prime ideals, is a compact space, and Max(N), the maximal ideals of N, forms a compact $T_1$-subspace. We also study the zero-divisor graph $\Gamma_I$(R) with respect to the completely semiprime ideal I of N. We show that ${\Gamma}_{\mathbb{P}}$ (R), where $\mathbb{P}$ is a prime radical of N, is a connected graph with diameter less than or equal to 3. We characterize all cycles in the graph ${\Gamma}_{\mathbb{P}}$ (R).

GRADED INTEGRAL DOMAINS AND PRÜFER-LIKE DOMAINS

  • Chang, Gyu Whan
    • Journal of the Korean Mathematical Society
    • /
    • v.54 no.6
    • /
    • pp.1733-1757
    • /
    • 2017
  • Let $R={\oplus}_{{\alpha}{\in}{\Gamma}}R_{\alpha}$ be an integral domain graded by an arbitrary torsionless grading monoid ${\Gamma}$, ${\bar{R}}$ be the integral closure of R, H be the set of nonzero homogeneous elements of R, C(f) be the fractional ideal of R generated by the homogeneous components of $f{\in}R_H$, and $N(H)=\{f{\in}R{\mid}C(f)_v=R\}$. Let $R_H$ be a UFD. We say that a nonzero prime ideal Q of R is an upper to zero in R if $Q=fR_H{\cap}R$ for some $f{\in}R$ and that R is a graded UMT-domain if each upper to zero in R is a maximal t-ideal. In this paper, we study several ring-theoretic properties of graded UMT-domains. Among other things, we prove that if R has a unit of nonzero degree, then R is a graded UMT-domain if and only if every prime ideal of $R_{N(H)}$ is extended from a homogeneous ideal of R, if and only if ${\bar{R}}_{H{\backslash}Q}$ is a graded-$Pr{\ddot{u}}fer$ domain for all homogeneous maximal t-ideals Q of R, if and only if ${\bar{R}}_{N(H)}$ is a $Pr{\ddot{u}}fer$ domain, if and only if R is a UMT-domain.

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.

A NOTE ON REAL QUATERNION

  • Hwang, Chul Ju
    • Korean Journal of Mathematics
    • /
    • v.17 no.3
    • /
    • pp.245-248
    • /
    • 2009
  • We consider pm-ring with the property such that every prime ideal is contained in only one maximal ideal. Orsatti[4] characterized pm-rings by means of the retraction. Contessa[1] found algebraic condition, by using that direct product of pm-rings is a pm-ring. We show that C(X, H) and C(X, C) are pm-rings and we extend a quasi pm-domain.

  • PDF

P-STRONGLY REGULAR NEAR-RINGS

  • Dheena, P.;Jenila, C.
    • Communications of the Korean Mathematical Society
    • /
    • v.27 no.3
    • /
    • pp.483-488
    • /
    • 2012
  • In this paper we introduce the notion of P-strongly regular near-ring. We have shown that a zero-symmetric near-ring N is P-strongly regular if and only if N is P-regular and P is a completely semiprime ideal. We have also shown that in a P-strongly regular near-ring N, the following holds: (i) $Na$ + P is an ideal of N for any $a{\in}N$. (ii) Every P-prime ideal of N containing P is maximal. (iii) Every ideal I of N fulfills I + P = $I^2$ + P.