• Title/Summary/Keyword: nilpotent ideal

Search Result 35, Processing Time 0.023 seconds

A SOLUTION OF EGGERT'S CONJECTURE IN SPECIAL CASES

  • KIM, SEGYEONG;PARK, JONG-YOULL
    • Honam Mathematical Journal
    • /
    • v.27 no.3
    • /
    • pp.399-404
    • /
    • 2005
  • Let M be a finite commutative nilpotent algebra over a perfect field k of prime characteristic p and let $M^p$ be the sub-algebra of M generated by $x^p$, $x{\in}M$. Eggert[3] conjectures that $dim_kM{\geq}pdim_kM^p$. In this paper, we show that the conjecture holds for $M=R^+/I$, where $R=k[X_1,\;X_2,\;{\cdots},\;X_t]$ is a polynomial ring with indeterminates $X_1,\;X_2,\;{\cdots},\;X_t$ over k and $R^+$ is the maximal ideal of R generated by $X_1,\;X_2,{\cdots},\;X_t$ and I is a monomial ideal of R containing $X_1^{n_1+1},\;X_2^{n_2+1},\;{\cdots},\;X_t^{n_t+1}$ ($n_i{\geq}0$ for all i).

  • PDF

IFP RINGS AND NEAR-IFP RINGS

  • Ham, Kyung-Yuen;Jeon, Young-Cheol;Kang, Jin-Woo;Kim, Nam-Kyun;Lee, Won-Jae;Lee, Yang;Ryu, Sung-Ju;Yang, Hae-Hun
    • Journal of the Korean Mathematical Society
    • /
    • v.45 no.3
    • /
    • pp.727-740
    • /
    • 2008
  • A ring R is called IFP, due to Bell, if ab=0 implies aRb=0 for $a,b{\in}R$. Huh et al. showed that the IFP condition need not be preserved by polynomial ring extensions. But it is shown that ${\sum}^n_{i=0}$ $E_{ai}E$ is a nonzero nilpotent ideal of E whenever R is an IFP ring and $0{\neq}f{\in}F$ is nilpotent, where E is a polynomial ring over R, F is a polynomial ring over E, and $a_i^{'s}$ are the coefficients of f. we shall use the term near IFP to denote such a ring as having place near at the IFPness. In the present note the structures of IFP rings and near-IFP rings are observed, extending the classes of them. IFP rings are NI (i.e., nilpotent elements form an ideal). It is shown that the near-IFPness and the NIness are distinct each other, and the relations among them and related conditions are examined.

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 NI AND QUASI-NI RINGS

  • Kim, Dong Hwa;Lee, Seung Ick;Lee, Yang;Yun, Sang Jo
    • Korean Journal of Mathematics
    • /
    • v.24 no.3
    • /
    • pp.307-317
    • /
    • 2016
  • Let R be a ring. It is well-known that R is NI if and only if ${\sum}^n_{i=0}Ra_i$ is a nil ideal of R whenever a polynomial ${\sum}^n_{i=0}a_ix^i$ is nilpotent, where x is an indeterminate over R. We consider a condition which is similar to the preceding one: ${\sum}^n_{i=0}Ra_iR$ contains a nonzero nil ideal of R whenever ${\sum}^n_{i=0}a_ix^i$ over R is nilpotent. A ring will be said to be quasi-NI if it satises this condition. The structure of quasi-NI rings is observed, and various examples are given to situations which raised naturally in the process.

On the Invariance of Primitive Ideals via φ-derivations on Banach Algebras

  • Jung, Yong-Soo
    • Kyungpook Mathematical Journal
    • /
    • v.53 no.4
    • /
    • pp.497-505
    • /
    • 2013
  • The noncommutative Singer-Wermer conjecture states that every derivation on a Banach algebra (possibly noncommutative) leaves primitive ideals of the algebra invariant. This conjecture is still an open question for more than thirty years. In this note, we approach this question via some sufficient conditions for the separating ideal of ${\phi}$-derivations to be nilpotent. Moreover, we show that the spectral boundedness of ${\phi}$-derivations implies that they leave each primitive ideal of Banach algebras invariant.

MCCOY CONDITION ON IDEALS OF COEFFICIENTS

  • Cheon, Jeoung Soo;Huh, Chan;Kwak, Tai Keun;Lee, Yang
    • Bulletin of the Korean Mathematical Society
    • /
    • v.50 no.6
    • /
    • pp.1887-1903
    • /
    • 2013
  • We continue the study of McCoy condition to analyze zero-dividing polynomials for the constant annihilators in the ideals generated by the coefficients. In the process we introduce the concept of ideal-${\pi}$-McCoy rings, extending known results related to McCoy condition. It is shown that the class of ideal-${\pi}$-McCoy rings contains both strongly McCoy rings whose non-regular polynomials are nilpotent and 2-primal rings. We also investigate relations between the ideal-${\pi}$-McCoy property and other standard ring theoretic properties. Moreover we extend the class of ideal-${\pi}$-McCoy rings by examining various sorts of ordinary ring extensions.

ON STRONGLY REGULAR NEAR-SUBTRACTION SEMIGROUPS

  • Dheena, P.;Kumar, G. Satheesh
    • Communications of the Korean Mathematical Society
    • /
    • v.22 no.3
    • /
    • pp.323-330
    • /
    • 2007
  • In this paper we introduce the notion of strongly regular near-subtraction semigroups (right). We have shown that a near-subtraction semigroup X is strongly regular if and only if it is regular and without non zero nilpotent elements. We have also shown that in a strongly regular near-subtraction semigroup X, the following holds: (i) Xa is an ideal for every a $\in$ X (ii) If P is a prime ideal of X, then there exists no proper k-ideal M such that P $\subset$ M (iii) Every ideal I of X fulfills $I=I^2$.

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.