• Journal of the Korean Mathematical Society
• /
• v.61 no.3
• /
• pp.461-494
• /
• 2024

We prove the Sobolev continuity of maximal commutator and its fractional variant with Lipschitz symbols, both in the global and local cases. The main result in global case answers a question originally posed by Liu and Wang in [29].

• Bulletin of the Korean Mathematical Society
• /
• v.56 no.3
• /
• pp.659-666
• /
• 2019

In this paper, we consider a conjecture of I. N. Herstein for local commutators of symmetric elements and unitary elements of division rings. For example, we show that if D is a finite dimensional division ring with involution ${\star}$ and if $a{\in}D^*=D{\setminus}\{0\}$ such that local commutators $axa^{-1}x^{-1}$ at a are radical over the center F of D for every $x{\in}D^*$ with $x^{\star}=x$, then either $a{\in}F$ or ${\dim}_F\;D=4$.

• Bulletin of the Korean Mathematical Society
• /
• v.58 no.5
• /
• pp.1193-1208
• /
• 2021

Let 𝓐 be a von Neumann algebra with no central summands of type I₁. In this article, we study Lie n-derivation on von Neumann algebra and prove that every additive Lie n-derivation on a von Neumann algebra has standard form at zero product as well as at projection product.

• Kyungpook Mathematical Journal
• /
• v.60 no.4
• /
• pp.683-710
• /
• 2020

Let ℕ be the set of nonnegative integers and 𝕬 be a 2-torsion free triangular algebra over a commutative ring ℛ. In the present paper, under some lenient assumptions on 𝕬, it is proved that if Δ = {𝛿_n}_n∈ℕ is a sequence of ℛ-linear mappings 𝛿_n : 𝕬 → 𝕬 satisfying ${\delta}_n([[x,\;y],\;z])\;=\;\displaystyle\sum_{i+j+k=n}\;[[{\delta}_i(x),\;{\delta}_j(y)],\;{\delta}_k(z)]$ for all x, y, z ∈ 𝕬 with xy = 0 (resp. xy = p, where p is a nontrivial idempotent of 𝕬), then for each n ∈ ℕ, 𝛿_n = d_n + 𝜏_n; where d_n : 𝕬 → 𝕬 is ℛ-linear mapping satisfying $d_n(xy)\;=\;\displaystyle\sum_{i+j=n}\;d_i(x)d_j(y)$ for all x, y ∈ 𝕬, i.e. 𝒟 = {d_n}_n∈ℕ is a higher derivation on 𝕬 and 𝜏_n : 𝕬 → Z(𝕬) (where Z(𝕬) is the center of 𝕬) is an ℛ-linear map vanishing at every second commutator [[x, y], z] with xy = 0 (resp. xy = p).