• Kyungpook Mathematical Journal
• /
• v.50 no.1
• /
• pp.1-5
• /
• 2010

Let P be a prime ideal of a commutative unital ring R; X an indeterminate; D := R/P; L the quotient field of D; F an algebraic closure of L; ${\alpha}$ ${\in}$ L[X] a monic irreducible polynomial; ${\xi}$ any root of in F; and Q = ${\alpha}$>, the upper to P with respect to ${\alpha}$. Then R[X]/Q is R-algebra isomorphic to $D[{\xi}]$; and is R-isomorphic to an overring of D if and only if deg(${\alpha}$) = 1.

• East Asian mathematical journal
• /
• v.17 no.2
• /
• pp.225-232
• /
• 2001

Let R be a prime ring with characteristic not two. U a (${\sigma},{\tau}$)-left Lie ideal of R and d : R$\rightarrow$R a non-zero derivation. The purpose of this paper is to invesitigate identities satisfied on prime rings. We prove the following results: (1) [d(R),a]=0$\Leftrightarrow$d([R,a])=0. (2) if $(R,a)_{{\sigma},{\tau}}$=0 then $a{\in}Z$. (3) if $(R,a)_{{\sigma},{\tau}}{\subset}C_{{\sigma},{\tau}}$ then $a{\in}Z$. (4) if $(U,a){\subset}Z$ then $a^2{\in}Z\;or\;{\sigma}(u)+{\tau}(u){\in}Z$, for all $u{\in}U$. (5) if $(U,R)_{{\sigma},{\tau}}{\subset}C_{{\sigma},{\tau}}$ then $U{\subset}Z$.

• The Pure and Applied Mathematics
• /
• v.17 no.1
• /
• pp.87-92
• /
• 2010

Let R be a 2-torsion free $\sigma$-prime ring with an involution $\sigma$, U a nonzero square closed $\sigma$-Lie ideal, Z(R) the center of Rand d a derivation of R. In this paper, it is proved that d = 0 or $U\;{\subseteq}\;Z(R)$ if one of the following conditions holds: (1) $d(xy)\;-\;xy\;{\in}\;Z(R)$ or $d(xy)\;-\;yx\;{\in}Z(R)$ for all x, $y\;{\in}\;U$. (2) $d(x)\;{\circ}\;d(y)\;=\;0$ or $d(x)\;{\circ}\;d(y)\;=\;x\;{\circ}\;y$ for all x, $y\;{\in}\;U$ and d commutes with $\sigma$.

• Communications of the Korean Mathematical Society
• /
• v.25 no.3
• /
• pp.327-333
• /
• 2010

Let R be a 2-torsion free prime ring, U a nonzero Lie ideal of R such that $u^2\;{\in}\;U$ for all $u\;{\in}\;U$. In the present paper, it is proved that if d is a nonzero derivation and [[d(u), u], u] = 0 for all $u\;{\in}\;U$, then $U\;{\subseteq}\;Z(R)$. Moreover, suppose that $d_1$, $d_2$, $d_3$ are nonzero derivations of R such that $d_3(y)d_1(x)\;=\;d_2(x)d_3(y)$ for all x, $y\;{\in}\;U$, then $U\;{\subseteq}\;Z(R)$. Finally, some examples are given to demonstrate that the restrictions imposed on the hypothesis of the above results are not superfluous.

• Kyungpook Mathematical Journal
• /
• v.61 no.1
• /
• pp.11-21
• /
• 2021

We study the structure of rings whose factor rings modulo nonzero proper ideals are right duo; such rings are called right FD. We first see that this new ring property is not left-right symmetric. We prove for a non-prime right FD ring R that R is a subdirect product of subdirectly irreducible right FD rings; and that R/N∗(R) is a subdirect product of right duo domains, and R/J(R) is a subdirect product of division rings, where N∗(R) (J(R)) is the prime (Jacobson) radical of R. We study the relation among right FD rings, division rings, commutative rings, right duo rings and simple rings, in relation to matrix rings, polynomial rings and direct products. We prove that if a ring R is right FD and 0 ≠ e2 = e ∈ R then eRe is also right FD, examining that the class of right FD rings is not closed under subrings.

• Kyungpook Mathematical Journal
• /
• v.62 no.3
• /
• pp.595-613
• /
• 2022

Let R be a commutative ring with identity and let I be a proper ideal of R. In this paper, we study the ideal based extended zero-divisor graph 𝚪'_I (R) and prove that 𝚪'_I (R) is connected with diameter at most two and if 𝚪'_I (R) contains a cycle, then girth is at most four girth at most four. Furthermore, we study affinity the connection between the ideal based extended zero-divisor graph 𝚪'_I (R) and the ideal-based zero-divisor graph 𝚪_I (R) associated with the ideal I of R. Among the other things, for a radical ideal of a ring R, we show that the ideal-based extended zero-divisor graph 𝚪'_I (R) is identical to the ideal-based zero-divisor graph 𝚪_I (R) if and only if R has exactly two minimal prime-ideals which contain I.

• 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.

• Journal of the Korean Mathematical Society
• /
• v.55 no.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.

• Journal of the Korean Mathematical Society
• /
• v.55 no.5
• /
• pp.1257-1268
• /
• 2018

In this article we first investigate a sort of unit-IFP ring by which Antoine provides very useful information to ring theory in relation with the structure of coefficients of zero-dividing polynomials. Here we are concerned with the whole shape of units and nilpotent elements in such rings. Next we study the properties of unit-IFP rings through group actions of units on nonzero nilpotent elements. We prove that if R is a unit-IFP ring such that there are finite number of orbits under the left (resp., right) action of units on nonzero nilpotent elements, then R satisfies the descending chain condition for nil left (resp., right) ideals of R and the upper nilradical of R is nilpotent.

• Bulletin of the Korean Mathematical Society
• /
• v.56 no.6
• /
• pp.1485-1495
• /
• 2019

The purpose of this paper is to compute the number of semistar operations of certain classes of finite dimensional $Pr{\ddot{u}}fer$ domains. We prove that ${\mid}SStar(R){\mid}={\mid}Star(R){\mid}+{\mid}Spec(R){\mid}+ {\mid}Idem(R){\mid}$ where Idem(R) is the set of all nonzero idempotent prime ideals of R if and only if R is a $Pr{\ddot{u}}fer$ domain with Y -graph spectrum, that is, R is a $Pr{\ddot{u}}fer$ domain with exactly two maximal ideals M and N and $Spec(R)=\{(0){\varsubsetneq}P_1{\varsubsetneq}{\cdots}{\varsubsetneq}P_{n-1}{\varsubsetneq}M,N{\mid}P_{n-1}{\varsubsetneq}N\}$. We also characterize non-local $Pr{\ddot{u}}fer$ domains R such that ${\mid}SStar(R){\mid}=7$, respectively ${\mid}SStar(R){\mid}=14$.