• Bulletin of the Korean Mathematical Society
• /
• v.45 no.4
• /
• pp.621-629
• /
• 2008

Let R be a prime ring of characteristic different from 2, C the extended centroid of R, and $\delta$ a generalized derivations of R. If [[$\delta(x)$, x], $\delta(x)$] = 0 for all $x\;{\in}\;R$ then either R is commutative or $\delta(x)\;=\;ax$ for all $x\;{\in}\;R$ and some $a\;{\in}\;C$. We also obtain some related result in case R is a Banach algebra and $\delta$ is either continuous or spectrally bounded.

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

We modify the definition of difference algebra given by J. Meng to obtain a structure which is a directoid with sectional switching involutions with respect to the given partial order. Moreover, we show that this is a representation of our skew difference algebras because every such directoid can be converted into a skew difference algebra.

• Bulletin of the Korean Mathematical Society
• /
• v.57 no.4
• /
• pp.957-972
• /
• 2020

Let 𝓡 be a 2-torsion free unital ring containing a non-trivial idempotent. An additive map 𝛿 from 𝓡 into itself is called a Jordan derivable map at commutative zero point if 𝛿(AB + BA) = 𝛿(A)B + B𝛿(A) + A𝛿(B) + 𝛿(B)A for all A, B ∈ 𝓡 with AB = BA = 0. In this paper, we prove that, under some mild conditions, each Jordan derivable map at commutative zero point has the form 𝛿(A) = 𝜓(A) + CA for all A ∈ 𝓡, where 𝜓 is an additive Jordan derivation of 𝓡 and C is a central element of 𝓡. Then we generalize the result to the case of Jordan higher derivable maps at commutative zero point. These results are also applied to some operator algebras.

• 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.13 no.3
• /
• pp.489-499
• /
• 1998

Let A be the non-commutative Banach algebra with identity satisfying certain conditions. We show that if D is a derivation on A, then D(A) is contained in the radical of A.

• Communications of the Korean Mathematical Society
• /
• v.22 no.2
• /
• pp.157-161
• /
• 2007

Let G be a p-mixed abelian group with semi-complete torsion subgroup $G_t$ such that G is splitting or is of torsion-free rank one, and let R be a commutative unitary ring of prime characteristic p. It is proved that the group algebras RG and RH are R-isomorphic for any group H if and only if G and H are isomorphic. This isomorphism relationship extends our earlier results in (Southeast Asian Bull. Math., 2002), (Proc. Amer. Math. Soc., 2002) and (Bull. Korean Math. Soc., 2005) as well as completely settles a problem posed by W. May in (Proc. Amer. Math. Soc., 1979).

• The Pure and Applied Mathematics
• /
• v.20 no.4
• /
• pp.243-249
• /
• 2013

Let A be an algebra and D a derivation of A. Then D is called algebraic nil if for any $x{\in}A$ there is a positive integer n = n(x) such that $D^{n(x)}(P(x))=0$, for all $P{\in}\mathbb{C}[X]$ (by convention $D^{n(x)}({\alpha})=0$, for all ${\alpha}{\in}\mathbb{C}$). In this paper, we show that any algebraic nil derivation (possibly unbounded) on a commutative complex algebra A maps into N(A), where N(A) denotes the set of all nilpotent elements of A. As an application, we deduce that any nilpotent derivation on a commutative complex algebra A maps into N(A), Finally, we deduce two noncommutative versions of algebraic nil derivations inclusion range.

• Journal of the Chungcheong Mathematical Society
• /
• v.17 no.1
• /
• pp.85-101
• /
• 2004

Let A be a Hopf algebra with a linear form ${\sigma}:k{\rightarrow}A{\otimes}A$, which is convolution invertible, such that ${\sigma}_{21}({\Delta}{\otimes}id){\tau}({\sigma}(1))={\sigma}_{32}(id{\otimes}{\Delta}){\tau}({\sigma}(1))$. We define Hopf algebras, ($A_{\sigma}$, m, u, ${\Delta}_{\sigma}$, ${\varepsilon}$, $S_{\sigma}$). If B and C are opposite skew copaired Hopf algebras and $A=B{\otimes}_kC$ then we find Hopf algebras, ($A_{[{\sigma}]}$, $m_B{\otimes}m_C$, $u_B{\otimes}u_C$, ${\Delta}_{[{\sigma}]}$, ${\varepsilon}B{\otimes}{\varepsilon}_C$, $S_{[{\sigma}]}$). Let H be a finite dimensional commutative Hopf algebra with dual basis $\{h_i\}$ and $\{h_i^*\}$, and let $A=H^{op}{\otimes}H^*$. We show that if we define ${\sigma}:k{\rightarrow}H^{op}{\otimes}H^*$ by ${\sigma}(1)={\sum}h_i{\otimes}h_i^*$ then ($A_{[{\sigma}]}$, $m_A$, $u_A$, ${\Delta}_{[{\sigma}]}$, ${\varepsilon}_A$, $S_{[{\sigma}]}$) is the dual space of Drinfeld double, $D(H)^*$, as Hopf algebra.

• Journal of the Korean Mathematical Society
• /
• v.60 no.2
• /
• pp.327-339
• /
• 2023

Let R be a commutative ring with identity and S be a multiplicatively closed subset of R. In this article we introduce a new class of ring, called S-multiplication rings which are S-versions of multiplication rings. An R-module M is said to be S-multiplication if for each submodule N of M, sN ⊆ JM ⊆ N for some s ∈ S and ideal J of R (see for instance [4, Definition 1]). An ideal I of R is called S-multiplication if I is an S-multiplication R-module. A commutative ring R is called an S-multiplication ring if each ideal of R is S-multiplication. We characterize some special rings such as multiplication rings, almost multiplication rings, arithmetical ring, and S-P IR. Moreover, we generalize some properties of multiplication rings to S-multiplication rings and we study the transfer of this notion to various context of commutative ring extensions such as trivial ring extensions and amalgamated algebras along an ideal.

• Kyungpook Mathematical Journal
• /
• v.28 no.1
• /
• pp.23-34
• /
• 1988

A version of Ascoli's Theorem (equating compact and equicontinuous sets) is presented in the context of convergence spaces. This theorem and another, (involving equicontinuity) are applied to characterize compact subsets of quasi-multipliers of a $C^*$-algebra B, and to characterize the compact subsets of the state space of B. The classical Ascoli Theorem states that, for pointwise pre-compact families F of continuous functions from a locally compact space Y to a complete Hausdorff uniform space Z, equicontinuity of F is equivalent to relative compactness in the compact-open topology([4] 7.17). Though this is one of the most important theorems of modern analysis, there are some applications of the ideas inherent in this theorem which arc not readily accessible by direct appeal to the theorem. When one passes to so-called "non-commutative analysis", analysis of non-commutative $C^*$-algebras, the analogue of Y may not be relatively compact, while the conclusion of Ascoli's Theorem still holds. Consequently it seems plausible to establish a more general Ascoli Theorem which will directly apply to these examples.