• Title/Summary/Keyword: maximal ideal and maximal one-sided ideal

Search Result 4, Processing Time 0.019 seconds

RING WHOSE MAXIMAL ONE-SIDED IDEALS ARE TWO-SIDED

  • Huh, Chan;Jang, Sung-Hee;Kim, Chol-On;Lee, Yang
    • Bulletin of the Korean Mathematical Society
    • /
    • v.39 no.3
    • /
    • pp.411-422
    • /
    • 2002
  • In this note we are concerned with relationships between one-sided ideals and two-sided ideals, and study the properties of polynomial rings whose maximal one-sided ideals are two-sided, in the viewpoint of the Nullstellensatz on noncommutative rings. Let R be a ring and R[x] be the polynomial ring over R with x the indeterminate. We show that eRe is right quasi-duo for $0{\neq}e^2=e{\in}R$ if R is right quasi-duo; R/J(R) is commutative with J(R) the Jacobson radical of R if R[$\chi$] is right quasi-duo, from which we may characterize polynomial rings whose maximal one-sided ideals are two-sided; if R[x] is right quasi-duo then the Jacobson radical of R[x] is N(R)[x] and so the $K\ddot{o}the's$ conjecture (i.e., the upper nilradical contains every nil left ideal) holds, where N(R) is the set of all nilpotent elements in R. Next we prove that if the polynomial rins R[x], over a reduced ring R with $\mid$X$\mid$ $\geq$ 2, is right quasi-duo, then R is commutative. Several counterexamples are included for the situations that occur naturally in the process of this note.

PRIMITIVE POLYNOMIAL RINGS

  • Kwon, Mi-Hyang;Kim, Chol-On;Huh, Chan
    • East Asian mathematical journal
    • /
    • v.16 no.1
    • /
    • pp.71-79
    • /
    • 2000
  • We show that the intersection of two standard torus knots of type (${\lambda}_1$, ${\lambda}_2$) and (${\beta}_1$, ${\beta}_2$) induces an automorphism of the cyclic group ${\mathbb{Z}}_d$, where d is the intersection number of the two torus knots and give an elementary proof of the fact that all non-trivial torus knots are strongly invertiable knots. We also show that the intersection of two standard knots on the 3-torus $S^1{\times}S^1{\times}S^1$ induces an isomorphism of cyclic groups.

  • PDF

RINGS WITH A RIGHT DUO FACTOR RING BY AN IDEAL CONTAINED IN THE CENTER

  • Cheon, Jeoung Soo;Kwak, Tai Keun;Lee, Yang;Piao, Zhelin;Yun, Sang Jo
    • Bulletin of the Korean Mathematical Society
    • /
    • v.59 no.3
    • /
    • pp.529-545
    • /
    • 2022
  • This article concerns a ring property that arises from combining one-sided duo factor rings and centers. A ring R is called right CIFD if R/I is right duo by some proper ideal I of R such that I is contained in the center of R. We first see that this property is seated between right duo and right π-duo, and not left-right symmetric. We prove, for a right CIFD ring R, that W(R) coincides with the set of all nilpotent elements of R; that R/P is a right duo domain for every minimal prime ideal P of R; that R/W(R) is strongly right bounded; and that every prime ideal of R is maximal if and only if R/W(R) is strongly regular, where W(R) is the Wedderburn radical of R. It is also proved that a ring R is commutative if and only if D3(R) is right CIFD, where D3(R) is the ring of 3 by 3 upper triangular matrices over R whose diagonals are equal. Furthermore, we show that the right CIFD property does not pass to polynomial rings, and that the polynomial ring over a ring R is right CIFD if and only if R/I is commutative by a proper ideal I of R contained in the center of R.

THE ANNIHILATING-IDEAL GRAPH OF A RING

  • ALINIAEIFARD, FARID;BEHBOODI, MAHMOOD;LI, YUANLIN
    • Journal of the Korean Mathematical Society
    • /
    • v.52 no.6
    • /
    • pp.1323-1336
    • /
    • 2015
  • Let S be a semigroup with 0 and R be a ring with 1. We extend the definition of the zero-divisor graphs of commutative semigroups to not necessarily commutative semigroups. We define an annihilating-ideal graph of a ring as a special type of zero-divisor graph of a semigroup. We introduce two ways to define the zero-divisor graphs of semigroups. The first definition gives a directed graph ${\Gamma}$(S), and the other definition yields an undirected graph ${\overline{\Gamma}}$(S). It is shown that ${\Gamma}$(S) is not necessarily connected, but ${\overline{\Gamma}}$(S) is always connected and diam$({\overline{\Gamma}}(S)){\leq}3$. For a ring R define a directed graph ${\mathbb{APOG}}(R)$ to be equal to ${\Gamma}({\mathbb{IPO}}(R))$, where ${\mathbb{IPO}}(R)$ is a semigroup consisting of all products of two one-sided ideals of R, and define an undirected graph ${\overline{\mathbb{APOG}}}(R)$ to be equal to ${\overline{\Gamma}}({\mathbb{IPO}}(R))$. We show that R is an Artinian (resp., Noetherian) ring if and only if ${\mathbb{APOG}}(R)$ has DCC (resp., ACC) on some special subset of its vertices. Also, it is shown that ${\overline{\mathbb{APOG}}}(R)$ is a complete graph if and only if either $(D(R))^2=0,R$ is a direct product of two division rings, or R is a local ring with maximal ideal m such that ${\mathbb{IPO}}(R)=\{0,m,m^2,R\}$. Finally, we investigate the diameter and the girth of square matrix rings over commutative rings $M_{n{\times}n}(R)$ where $n{\geq} 2$.