• Journal of the Korean Mathematical Society
• /
• v.47 no.3
• /
• pp.483-494
• /
• 2010

Let R be a non-commutative prime ring and I a non-zero left ideal of R. Let U be the left Utumi quotient ring of R and C be the center of U and k, m, n, r fixed positive integers. If there exists a generalized derivation g of R such that $[g(x^m)x^n,\;x^r]_k\;=\;0$ for all x $\in$ I, then there exists a $\in$ U such that g(x) = xa for all x $\in$ R except when $R\;{\cong}\;=M_2$(GF(2)) and I[I, I] = 0.

• Bulletin of the Korean Mathematical Society
• /
• v.42 no.4
• /
• pp.679-690
• /
• 2005

Let K be a commutative ring with unity, R a prime K-algebra of characteristic different from 2, d a non-zero derivation of R, I a non-zero right ideal of R, f($x_1,{\cdots},\;x_n$) a multilinear polynomial in n non-commuting variables over K, a $\in$ R. Supppose that, for any $x_1,{\cdots},\;x_n\;\in\;I,\;a[d(f(x_1,{\cdots},\;x_n)),\;f(x_1,{\cdots},\;x_n)]$ = 0. If $[f(x_1,{\cdots},\;x_n),\;x_{n+1}]x_{n+2}$ is not an identity for I and $$S_4(I,\;I,\;I,\;I)\;I\;\neq\;0$$, then aI = ad(I) = 0.

• Communications of the Korean Mathematical Society
• /
• v.21 no.4
• /
• pp.641-652
• /
• 2006

In [2], they found some natural generators for the ideals of the finite ring $Z_{pm}$[X]/$(X^n\;-\;1)$, where p and n are relatively prime. If p and n are not relatively prime $X^n\;-\;1$ is not a product of basic irreducible polynomials but a product of primary polynomials. Due to this fact, to consider the ideals of $Z_{pm}$[X]/$(X^n\;-\;1)$ in 'inseparable' case we need to look at the primary ideals of $Z_{pm}$[X]. In this paper, we find a set of generators of ideals of $Z_{pm}$[X]/(f) for some primary polynomials f of $Z_{pm}$[X].

• Communications of the Korean Mathematical Society
• /
• v.20 no.4
• /
• pp.645-648
• /
• 2005

Let K be a Galois extension of a field F with G = Gal(K/F). Let L be an extension of F such that $K\;{\otimes}_F\;L\;=\; N_1\;{\oplus}N_2\;{\oplus}{\cdots}{\oplus}N_k$ with corresponding primitive idempotents $e_1,\;e_2,{\cdots},e_k$, where Ni's are fields. Then G acts on $\{e_1,\;e_2,{\cdots},e_k\}$ transitively and $Gal(N_1/K)\;{\cong}\;\{\sigma\;{\in}\;G\;/\;{\sigma}(e_1)\;=\;e_1\}$. And, let R be a commutative F-algebra, and let P be a prime ideal of R. Let T = $K\;{\otimes}_F\;R$, and suppose there are only finitely many prime ideals $Q_1,\;Q_2,{\cdots},Q_k$ of T with $Q_i\;{\cap}\;R\;=\;P$. Then G acts transitively on $\{Q_1,\;Q_2,{\cdots},Q_k\},\;and\;Gal(qf(T/Q_1)/qf(R/P))\;{\cong}\;\{\sigma{\in}\;G/\;{\sigma}-(Q_1)\;=\;Q_1\}$ where qf($T/Q_1$) is the quotient field of $T/Q_1$.

• Communications of the Korean Mathematical Society
• /
• v.27 no.1
• /
• pp.69-76
• /
• 2012

Let R be a ring, and ${\alpha}$ be an endomorphism of R. An additive mapping H : R ${\rightarrow}$ R is called a left ${\alpha}$-multiplier (centralizer) if H(xy) = H(x)${\alpha}$(y) holds for all x,y $\in$ R. In this paper, we shall investigate the commutativity of prime and semiprime rings admitting left ${\alpha}$-multiplier satisfying any one of the properties: (i) H([x,y])-[x,y] = 0, (ii) H([x,y])+[x,y] = 0, (iii) $H(x{\circ}y)-x{\circ}y=0$, (iv) $H(x{\circ}y)+x{\circ}y=0$, (v) H(xy) = xy, (vi) H(xy) = yx, (vii) $H(x^2)=x^2$, (viii) $H(x^2)=-x^2$ for all x, y in some appropriate subset of R.

• Bulletin of the Korean Mathematical Society
• /
• v.53 no.5
• /
• pp.1385-1394
• /
• 2016

Let (R, m) be a Noetherian local ring, I, J two ideals of R, and A an Artinian R-module. Let $k{\geq}0$ be an integer and $r=Width_{>k}(I,A)$ the supremum of lengths of A-cosequences in dimension > k in I defined by Nhan-Hoang [9]. It is first shown that for each $t{\leq}r$ and each sequence $x_1,{\cdots},x_t$ which is an A-cosequence in dimension > k, the set $$\Large(\bigcup^{t}_{i=0}Att_R(0:_A(x_1^{n_1},{\ldots},x_i^{n_i})))_{{\geq}k}$$ is independent of the choice of $n_1,{\ldots},n_t$. Let r be the eventual value of $Width_{>k}(0:_AJ^n)$. Then our second result says that for each $t{\leq}r$ the set $\large(\bigcup\limits_{i=0}^{t}Att_R(Tor_i^R(R/I,\;(0:_AJ^n))))_{{\geq}k}$ is stable for large n.

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

• The Pure and Applied Mathematics
• /
• v.1 no.1
• /
• pp.1-6
• /
• 1994

In this paper, some properties for a PI-ring satisfying the descending chain condition on essential left ideals are studied: Let R be a ring with a polynomial identity satisfying the descending chain condition on essential ideals. Then all minimal prime ideals in R are maximal ideals. Moreover, if R has only finitely many minimal prime ideals, then R is left and right Artinian. Consequently, if every primeideal of R is finitely generated as a left ideal, then R is left and right Artinian. A finitely generated PI-algebra over a commutative Noetherian ring satisfying the descending chain condition on essential left ideals is a finite module over its center.(omitted)

• Kyungpook Mathematical Journal
• /
• v.56 no.2
• /
• pp.397-408
• /
• 2016

Let R be a 2-torsion free prime ring with center Z, U be the Utumi quotient ring, Q be the Martindale quotient ring of R, d be a derivation of R and L be a Lie ideal of R. If $d(uv)^n=d(u)^md(v)^l$ or $d(uv)^n=d(v)^ld(u)^m$ for all $u,v{\in}L$, where m, n, l are xed positive integers, then $L{\subseteq}Z$. We also examine the case when R is a semiprime ring. Finally, as an application we apply our result to the continuous derivations on non-commutative Banach algebras. This result simultaneously generalizes a number of results in the literature.

• Communications of the Korean Mathematical Society
• /
• v.36 no.1
• /
• pp.27-39
• /
• 2021

We discuss the condition that every nonzero right annihilator of an element contains a nonzero ideal, as a generalization of the insertion-of-factors-property. A ring with such condition is called right AP. We prove that a ring R is right AP if and only if Dn(R) is right AP for every n ≥ 2, where Dn(R) is the ring of n by n upper triangular matrices over R whose diagonals are equal. Properties of right AP rings are investigated in relation to nilradicals, prime factor rings and minimal order.