arXiv subjects

Tsiu-Kwen Lee

Publications and source records attributed to Tsiu-Kwen Lee.

9 recordsLinked to original sources

arXiv2026

On the structural behavior of images of polynomials

The study of images of noncommutative polynomials on algebras has attracted considerable attention. We investigate polynomial images and the additive structures they generate in associative algebras, focusing on sums and products of values. Motivated by results on additive commutators, we show that finite sums of such products on a nonzero ideal must contains a nonzero ideal, with only minor exceptions. Consequently, for a simple algebra, the subring generated by the image of a noncentral polynomial coincides with the whole algebra, up to a small exceptional case. We further study representations of elements as sums of products of polynomial values, and examine products of additive commutators for matrices over division rings. To simplify multilinear polynomials, we introduce decomposable polynomials and show that, in many cases, their images equal the whole algebra. Finally, we consider polynomial commutators and prove that every noncommutative infinite simple algebra is generated by such elements, together with results on multiplicative commutators, including a complete description for real quaternions.

math.RA↗

arXiv2025

Lie ideals and derivations of exceptional prime rings

A prime ring $R$ with extended centroid $C$ is said to be exceptional if both $\text{\rm char}\,R=2$ and $\dim_CRC=4$. Herstein characterized additive subgroups $A$ of a nonexceptional simple ring $R$ satisfying $\big[A, [R, R]\big]\subseteq A$. In 1972 Lanski and Montgomery extended Herstein's theorem to nonexceptional prime rings. In the paper we first extend Herstein's theorem to arbitrary simple rings. For the prime case, let $R$ be an exceptional prime ring with center $Z(R)$. It is proved that if $A$ is a noncentral additive subgroup of $R$ satisfying $\big[A, L\big]\subseteq A$ for some nonabelian Lie ideal $L$ of $R$, then $βZ(R)\subseteq A$ for some nonzero $β\in Z(R)$, and either $AC=Ca+C$ for some $a\in A\setminus Z(R)$ with $a^2\in Z(R)$ or $[RC, RC]\subseteq AC$. Secondly, we study certain generalized linear identities satisfied by Lie ideals and then completely characterize derivations $δ, d$ of $R$ satisfying $δd(L)\subseteq Z(R)$ for $L$ a Lie ideal of $R$.

math.RA↗

arXiv2025

Fully noncentral Lie ideals and invariant additive subgroups in rings

We prove conditions ensuring that a Lie ideal or an invariant additive subgroup in a ring contains all additive commutators. A crucial assumption is that the subgroup is fully noncentral, that is, its image in every quotient is noncentral. For a unital algebra over a field of characteristic $\neq 2$ where every additive commutator is a sum of square-zero elements, we show that a fully noncentral subspace is a Lie ideal if and only if it is invariant under all inner automorphisms. This applies in particular to zero-product balanced algebras.

math.RA↗

arXiv2025

Commutators and products of Lie ideals of prime rings

Motivated by some recent results on Lie ideals, it is proved that if $L$ is a Lie ideal of a simple ring $R$ with center $Z(R)$, then $L\subseteq Z(R)$, $L=Z(R)a+Z(R)$ for some noncentral $a\in L$, or $[R, R]\subseteq L$, which gives a generalization of a classical theorem due to Herstein. We also study commutators and products of noncentral Lie ideals of prime rings. Precisely, let $R$ be a prime ring with extended centroid $C$. We completely characterize Lie ideals $L$ and elements $a$ of $R$ such that $L+aL$ contains a nonzero ideal of $R$. Given noncentral Lie ideals $K, L$ of $R$, it is proved that $[K, L]=0$ if and only if $KC=LC=Ca+C$ for any noncentral element $a\in L$. As a consequence, we characterize noncentral Lie ideals $K_1,\ldots,K_m$ with $m\geq 2$ such that $K_1K_2\cdots K_m$ contains a nonzero ideal of $R$. Finally, we characterize noncentral Lie ideals $K_j$'s and $L_k$'s satisfying $\big[K_1K_2\cdots K_m, L_1L_2\cdots L_n\big]=0$ from the viewpoint of centralizers.

math.RA↗

arXiv2024

Prime rings having nontrivial centralizers of (skew) traces of Lie ideals

Let $R$ be a prime ring with center $Z(R)$ and with involution $*$. Given an additive subgroup $A$ of $R$, let $T(A):=\{x+x^*\mid x\in A\}$ and $K_0(A):=\{x-x^*\mid x\in A\}$. Let $L$ be a non-abelian Lie ideal of $R$. It is proved that if $d$ is a nonzero derivation of $R$ satisfying $d(T(L))=0$ (resp. $d(K_0(L))=0$), then $T(R)^2\subseteq Z(R)$ (resp. $K_0(R)^2\subseteq Z(R)$). These results are applied to the study of $d(T(M))=0$ and $d(K_0(M))=0$ for noncentral $*$-subrings $M$ of a division ring $R$ such that $M$ is invariant under all inner automorphisms of $R$, and for noncentral additive subgroups $M$ of a prime ring $R$ containing a nontrivial idempotent such that $M$ is invariant under all special inner automorphisms of $R$. The obtained theorems also generalize some recent results on simple artinian rings with involution due to M. Chacron.

math.RA↗

arXiv2024

The $X$-semiprimeness of Rings

For a nonempty subset $X$ of a ring $R$, the ring $R$ is called $X$-semiprime if, given $a\in R$, $aXa=0$ implies $a=0$. This provides a proper class of semiprime rings. First, we clarify the relationship between idempotent semiprime and unit-semiprime rings. Secondly, given a Lie ideal $L$ of a ring $R$, we offer a criterion for $R$ to be $L$-semiprime. For a prime ring $R$, we characterizes Lie ideals $L$ of $R$ such that $R$ is $L$-semiprime. Moreover, $X$-semiprimeness of matrix rings, prime rings (with a nontrivial idempotent), semiprime rings, regular rings, and subdirect products are studied.

math.RA↗

arXiv2024

Certain functional identities on division rings of characteristic two

Let $D$ be a noncommutative division ring. In a recent paper, Lee and Lin proved that if $\text{char}\, D\ne 2$, the only solution of additive maps $f, g$ on $D$ satisfying the identity $f(x) = x^n g(x^{-1})$ on $D\setminus \{0\}$ with $n\ne 2$ a positive integer is the trivial case, that is, $f=0$ and $g=0$. Applying Hua's identity and the theory of functional and generalized polynomial identities, we give a complete solution of the same identity for any nonnegative integer $n$ if $\text{char}\, D=2$.

math.RA↗

arXiv2024

Certain functional identities on division rings

We study the functional identity $G(x)f(x)=H(x)$ on a division ring $D$, where $f \colon D\to D$ is an additive map and $G(X)\ne 0, H(X)$ are generalized polynomials in the variable $X$ with coefficients in $D$. Precisely, it is proved that either $D$ is finite-dimensional over its center or $f$ is an elementary operator. Applying the result and its consequences, we prove that if $D$ is a noncommutative division ring of characteristic not $2$, then the only solution of additive maps $f, g$ on $D$ satisfying the identity $f(x) = x^n g(x^{-1})$ with $n\ne 2$ a positive integer is the trivial case, that is, $f=0$ and $g=0$. This extends Catalano and Merchán's result in 2023 to get a complete solution.

math.RA↗

arXiv2021

On n-generalized commutators and Lie ideals of rings

Let R be an associative ring.In the paper we study n-generalized commutators of rings and prove that if R is a noncommutative prime ring and n > 2, then every nonzero n-generalized Lie ideal of R contains a nonzero ideal. Therefore, if R is a noncommutative simple ring, then R = [R, . . . ,R]n. This extends a classical result due to Herstein (Portugal. Math., 1954). Some generalizations and related questions on n-generalized commutators and their relationship with noncommutative polynomials are also discussed.

math.RA↗