• Title/Summary/Keyword: prime ideals.

Search Result 204, Processing Time 0.022 seconds

LOWER FORMATION RADICAL FOR NEAR RINGS

  • Saxena, P.K.;Bhandari, M.C.
    • Kyungpook Mathematical Journal
    • /
    • v.18 no.1
    • /
    • pp.23-29
    • /
    • 1978
  • In [7) Scott has defined C-formation radical for a class C of near rings and has studied its porperties under chain conditions. A natural question that arises is: Does there exist a Lower C-Formation radical class L(M) containing a given class M of ideals of near rings in C? In this paper we answer this by giving. two constructions for L(M) and prove that prime radical is hereditary.

  • PDF

A Note on Derivations of Banach Algebras

  • Kim, Gwang-Hui
    • Journal of the Chungcheong Mathematical Society
    • /
    • v.7 no.1
    • /
    • pp.25-32
    • /
    • 1994
  • Let A be a (complex) Banach algebra. The object of the this paper shall be remove the continuity of the derivation in the recently theorems. We prove that every derivation D on A satisfying [D(a), a] ${\in}$ Prad(A) for all a ${\in}$ A maps into the radical of A. Also if ${\alpha}D^3+D^2$ is a derivation for some ${\alpha}{\in}C$ and all minimal prime ideals are closed, then D maps into its radical.

  • PDF

The Fuzzy Jacobson Radical of a κ-Semiring

  • Kim, Chang-Bum
    • Journal of the Korean Institute of Intelligent Systems
    • /
    • v.17 no.3
    • /
    • pp.423-429
    • /
    • 2007
  • We define and study the fuzzy Jacobson radical of a ${\kappa}$-semiring. Also it is shown that the Jacobson radical of the quotient semiring R/FJR(R) of a ${\kappa}$-semiring by the fuzzy Jacobson radical FJR(R) is semisimple. And the algebraic properties of the fuzzy ideals FJR(R) and FJR(S) under a homomorphism from R onto S are also discussed.

EXTREMALLY RICH GRAPH $C^*$-ALGEBRAS

  • Jeong, J.A
    • Communications of the Korean Mathematical Society
    • /
    • v.15 no.3
    • /
    • pp.521-531
    • /
    • 2000
  • Graph C*-algebras C*(E) are the universal C*-algebras generated by partial isometries satisfying the Cuntz-Krieger relations determined by directed graphs E, and it is known that a simple graph C*-algebra is extremally rich in sense that it contains enough extreme consider a sufficient condition on a graph for which the associated graph algebra(possibly nonsimple) is extremally rich. We also present examples of nonextremally rich prime graph C*-algebras with finitely many ideals and with real rank zero.

  • PDF

ZPI Property In Amalgamated Duplication Ring

  • Hamed, Ahmed;Malek, Achraf
    • Kyungpook Mathematical Journal
    • /
    • v.62 no.2
    • /
    • pp.205-211
    • /
    • 2022
  • Let A be a commutative ring. We say that A is a ZPI ring if every proper ideal of A is a finite product of prime ideals [5]. In this paper, we study when the amalgamated duplication of A along an ideal I, A ⋈ I to be a ZPI ring. We show that if I is an idempotent ideal of A, then A is a ZPI ring if and only if A ⋈ I is a ZPI ring.

SOME ONE-DIMENSIONAL NOETHERIAN DOMAINS AND G-PROJECTIVE MODULES

  • Kui Hu;Hwankoo Kim;Dechuan Zhou
    • Bulletin of the Korean Mathematical Society
    • /
    • v.60 no.6
    • /
    • pp.1453-1461
    • /
    • 2023
  • Let R be a one-dimensional Noetherian domain with quotient field K and T be the integral closure of R in K. In this note we prove that if the conductor ideal (R :K T) is a nonzero prime ideal, then every finitely generated reflexive (and hence finitely generated G-projective) R-module is isomorphic to a direct sum of some ideals.

SOME REMARKS ON PRIMAL IDEALS

  • Kim, Joong-Ho
    • Bulletin of the Korean Mathematical Society
    • /
    • v.30 no.1
    • /
    • pp.71-77
    • /
    • 1993
  • Every ring considered in the paper will be assumed to be commutative and have a unit element. An ideal A of a ring R will be called primal if the elements of R which are zero divisors modulo A, form an ideal of R, say pp. If A is a primal ideal of R, P is called the adjoint ideal of A. The adjoint ideal of a primal ideal is prime [2]. The definition of primal ideals may also be formulated as follows: An ideal A of a ring R is primal if in the residue class ring R/A the zero divisors form an ideal of R/A. If Q is a primary idel of a ring R then every zero divisor of R/Q is nilpotent; therefore, Q is a primal ideal of R. That a primal ideal need not be primary, is shown by an example in [2]. Let R[X], and R[[X]] denote the polynomial ring and formal power series ring in an indeterminate X over a ring R, respectively. Let S be a multiplicative system in a ring R and S$^{-1}$ R the quotient ring of R. Let Q be a P-primary ideal of a ring R. Then Q[X] is a P[X]-primary ideal of R[X], and S$^{-1}$ Q is a S$^{-1}$ P-primary ideal of a ring S$^{-1}$ R if S.cap.P=.phi., and Q[[X]] is a P[[X]]-primary ideal of R[[X]] if R is Noetherian [1]. We search for analogous results when primary ideals are replaced with primal ideals. To show an ideal A of a ring R to be primal, it sufficies to show that a-b is a zero divisor modulo A whenever a and b are zero divisors modulo A.

  • PDF

RELATIONS OF IDEALS OF CERTAIN REAL ABELIAN FIELDS

  • Kim, Jae Moon
    • Korean Journal of Mathematics
    • /
    • v.6 no.2
    • /
    • pp.221-229
    • /
    • 1998
  • Let $k$ be a real abelian field and $k_{\infty}$ be its $\mathbb{Z}_p$-extension for an odd prime $p$. Let $A_n$ be the Sylow $p$-subgroup of the ideal class group of $k_n$, the $nth$ layer of the $\mathbb{Z}_p$-extension. By using the main conjecture of Iwasawa theory, we have the following: If $p$ does not divide $\prod_{{{\chi}{\in}\hat{\Delta}_k},{\chi}{\neq}1}B_{1,{\chi}{\omega}^{-1}$, then $A_n$ = {0} for all $n{\geq}0$, where ${\Delta}_k=Gal(k/\mathbb{Q})$ and ${\omega}$ is the Teichm$\ddot{u}$ller character for $p$. The converse of this statement does not hold in general. However, we have the following when $k$ is of prime conductor $q$: Let $q$ be an odd prime different from $p$. and let $k$ be a real subfield of $\mathbb{Q}({\zeta}_q)$. If $p{\mid}{\prod}_{{\chi}{\in}\hat{\Delta}_{k,p},{\chi}{\neq}1}B_{1,{\chi}{\omega}}-1$, then $A_n{\neq}\{0\}$ for all $n{\geq}1$, where ${\Delta}_{k,p}$ is the $Gal(k_{(p)}/\mathbb{Q})$ and $k_{(p)}$ is the decomposition field of $k$ for $p$.

  • 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

On the Public Key Cryptosystems over Imaginary Quadratic Fields (복소 이차체위에서의 공개키 암호계에 관한 소고)

  • Kim, Yong-Tae
    • The Journal of the Korea institute of electronic communication sciences
    • /
    • v.4 no.4
    • /
    • pp.270-273
    • /
    • 2009
  • In 1988, Buchmann et al. proposed a public key cryptosystem making use of ideals of the maximal orders in quadra tic fields which may pave the way for a public key cryptosystem using imaginary quadratic non-invertible ideals as generators. Next year, H$\ddot{u}$hnlein, Tagaki et al. published the cryptosystem with trapdoor and conductor prime p over non-maximal orders. On the other hand Kim and Moon proposed a public key cryptosystrem and a key distribution cry ptotsystem over class semigroup in 2003. We, in this paper, introduce and analyze the cryptotsystems mentioned above.

  • PDF