• Bulletin of the Korean Mathematical Society
• /
• v.44 no.4
• /
• pp.789-794
• /
• 2007

Let R be a 3-torsion free semiprime ring and let I be a nonzero two-sided ideal of R. Suppose that there exists a permuting 3-derivation ${\Delta}:R{\times}R{\times}R{\rightarrow}R$ such that the trace is centralizing on I. Then the trace of ${\Delta}$ is commuting on I. In particular, if R is a 3!-torsion free prime ring and ${\Delta}$ is nonzero under the same condition, then R is commutative.

• Communications of the Korean Mathematical Society
• /
• v.35 no.4
• /
• pp.1095-1106
• /
• 2020

The purpose of this paper is to introduce a new class of rings that is closely related to the class of pseudo-Krull domains. Let 𝓗 = {R | R is a commutative ring and Nil(R) is a divided prime ideal of R}. Let R ∈ 𝓗 be a ring with total quotient ring T(R) and define 𝜙 : T(R) → R_Nil(R) by ${\phi}({\frac{a}{b}})={\frac{a}{b}}$ for any a ∈ R and any regular element b of R. Then 𝜙 is a ring homomorphism from T(R) into R_Nil(R) and 𝜙 restricted to R is also a ring homomorphism from R into R_Nil(R) given by ${\phi}(x)={\frac{x}{1}}$ for every x ∈ R. We say that R is a 𝜙-pseudo-Krull ring if 𝜙(R) = ∩ R_i, where each R_i is a nonnil-Noetherian 𝜙-pseudo valuation overring of 𝜙(R) and for every non-nilpotent element x ∈ R, 𝜙(x) is a unit in all but finitely many R_i. We show that the theories of 𝜙-pseudo Krull rings resemble those of pseudo-Krull domains.

• Journal of the Korean Wood Science and Technology
• /
• v.22 no.1
• /
• pp.80-84
• /
• 1994

The orientation of bezene ring in latex film was investigated with raman spectroscopy. The benzene ring of anionic latex ran parallel with the film surface of latex, whereas that of amphoteric latex did not. Consequently, it showed the possibility of interactions or interrelations between the orientation of benzene ring and ink, contact angle, printability and so on.

• Communications of the Korean Mathematical Society
• /
• v.23 no.2
• /
• pp.161-167
• /
• 2008

A ring R is called an $I_0$-ring if each left ideal not contained in the Jacobson radical J(R) contains a non-zero idempotent. If, in addition, idempotents can be lifted modulo J(R), R is called an I-ring or a potent ring. We study whether these properties are inherited by some related rings. Also, we investigate the structure of potent rings.

• Journal of the Korean Mathematical Society
• /
• v.51 no.4
• /
• pp.655-663
• /
• 2014

Let R be a ring with identity, X(R) the set of all nonzero, non-units of R and G(R) the group of all units of R. We show that for a matrix ring $M_n(D)$, $n{\geq}2$, if a, b are singular matrices of the same rank, then ${\mid}o_{\ell}(a){\mid}={\mid}o_{\ell}(b){\mid}$, where $o_{\ell}(a)$ and $o_{\ell}(b)$ are the orbits of a and b, respectively, under the left regular action. We also show that for a semisimple Artinian ring R such that $X(R){\neq}{\emptyset}$, $$R{{\sim_=}}{\oplus}^m_{i=1}M_n_i(D_i)$$, with $D_i$ infinite division rings of the same cardinalities or R is isomorphic to the ring of $2{\times}2$ matrices over a finite field if and only if ${\mid}o_{\ell}(x){\mid}={\mid}o_{\ell}(y){\mid}$ for all $x,y{\in}X(R)$.

• Communications of the Korean Mathematical Society
• /
• v.33 no.4
• /
• pp.1113-1121
• /
• 2018

Let R be a prime ring (or semiprime ring) with center Z(R), I a nonzero ideal of R, T an automorphism of $R,S:R^n{\rightarrow}R$ be a symmetric skew n-derivation associated with the automorphism T and ${\Delta}$ is the trace of S. In this paper, we shall prove that S($x_1,{\ldots},x_n$) = 0 for all $x_1,{\ldots},x_n{\in}R$ if any one of the following holds: i) ${\Delta}(x)=0$, ii) [${\Delta}(x),T(x)]=0$ for all $x{\in}I$. Moreover, we prove that if $[{\Delta}(x),T(x)]{\in}Z(R)$ for all $x{\in}I$, then R is a commutative ring.

• East Asian mathematical journal
• /
• v.17 no.2
• /
• pp.275-286
• /
• 2001

In this paper, a skew polynomial ring $R[x;\alpha]$ of a ring R with a monomorphism $\alpha$ are investigated as follows: For a reduced ring R, assume that $\alpha(P){\subseteq}P$ for any minimal prime ideal P in R. Then (i) $R[x;\alpha]$ is a reduced ring, (ii) a ring R is Baer(resp. quasi-Baer, p.q.-Baer, a p.p.-ring) if and only if the skew polynomial ring $R[x;\alpha]$ is Baer(resp. quasi-Baer, p.q.-Baer, a p.p.-ring).

• Bulletin of the Korean Mathematical Society
• /
• v.42 no.3
• /
• pp.477-484
• /
• 2005

Let R be a ring with an automorphism 17. An ideal [ of R is ($\sigma$-ideal of R if $\sigma$(I).= I. A proper ideal P of R is ($\sigma$-prime ideal of R if P is a $\sigma$-ideal of R and for $\sigma$-ideals I and J of R, IJ $\subseteq$ P implies that I $\subseteq$ P or J $\subseteq$ P. A proper ideal Q of R is $\sigma$-semiprime ideal of Q if Q is a $\sigma$-ideal and for a $\sigma$-ideal I of R, I$^{2}$ $\subseteq$ Q implies that I $\subseteq$ Q. The $\sigma$-prime radical is defined by the intersection of all $\sigma$-prime ideals of R and is denoted by P$_{(R). In this paper, the following results are obtained: (1) For a principal ideal domain R, P$_{(R) is the smallest $\sigma$-semiprime ideal of R; (2) For any ring R with an automorphism $\sigma$ and for a skew Laurent polynomial ring R[x, x$^{-1}$; $\sigma$], the prime radical of R[x, x$^{-1}$; $\sigma$] is equal to P$_{(R)[x, x$^{-1}$; $\sigma$ ].

• Korean Journal of Mathematics
• /
• v.21 no.4
• /
• pp.463-471
• /
• 2013

Let R be a ring with identity 1, $I(R){\neq}\{0\}$ be the set of all nonunit idempotents in R, and M(R) be the set of all primitive idempotents and 0 of R. We say that I(R) is additive if for all e, $f{\in}I(R)$ ($e{\neq}f$), $e+f{\in}I(R)$. In this paper, the following are shown: (1) I(R) is a finite additive set if and only if $M(R){\backslash}\{0\}$ is a complete set of primitive central idempotents, char(R) = 2 and every nonzero idempotent of R can be expressed as a sum of orthogonal primitive idempotents of R; (2) for a regular ring R such that I(R) is a finite additive set, if the multiplicative group of all units of R is abelian (resp. cyclic), then R is a commutative ring (resp. R is a finite direct product of finite field).

• Communications of the Korean Mathematical Society
• /
• v.32 no.4
• /
• pp.827-833
• /
• 2017

In this paper, we define a set including of all $f_a$ with $a{\in}R$ generalized derivations of R and is denoted by $f_R$. It is proved that (i) the mapping $g:L(R){\rightarrow}f_R$ given by g (a) = f-a for all $a{\in}R$ is a Lie epimorphism with kernel $N_{{\sigma},{\tau}}$ ; (ii) if R is a semiprime ring and ${\sigma}$ is an epimorphism of R, the mapping $h:f_R{\rightarrow}I(R)$ given by $h(f_a)=i_{{\sigma}(-a)}$ is a Lie epimorphism with kernel $l(f_R)$ ; (iii) if $f_R$ is a prime Lie ring and A, B are Lie ideals of R, then $[f_A,f_B]=(0)$ implies that either $f_A=(0)$ or $f_B=(0)$.