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

Tsiu-Kwen Lee,Jheng-Huei Lin

2024-12-07

Abstract: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 results generalize some main theorems in recent three papers due to M. Chacron.

Rings and Algebras

What problem does this paper attempt to address?

The main problem that this paper attempts to solve is about the behavior of centralizers of the trace and skew - trace of Lie ideals in prime rings with involution under specific conditions. Specifically, the author studies the case where the result is zero when a non - zero derivation acts on these traces and explores what impact this will have on the structure of the ring.

### Specific description of the main problem:

1. **Definitions of trace and skew - trace**:
- Given an additive subgroup \(A\) and a ring \(R\) with involution \( * \), define:
\[
T(A):=\{x + x^*\mid x\in A\}
\]
\[
K_0(A):=\{x - x^*\mid x\in A\}
\]

2. **Main problem**:
- Let \(L\) be a non - commutative Lie ideal of the ring \(R\). If there exists a non - zero derivation \(d\) such that \(d(T(L)) = 0\) or \(d(K_0(L))=0\), what conclusions can be drawn?
- Specifically, the paper proves that in this case, \(T(R)^2\subseteq Z(R)\) or \(K_0(R)^2\subseteq Z(R)\), where \(Z(R)\) is the center of the ring \(R\).

3. **Applications and generalizations**:
- These results are applied to study the behavior of the trace and skew - trace of non - central \( * \)-subrings \(M\) under certain conditions.
- The paper also generalizes the main theorems in the three recent papers published by M. Chacron.

### Summary of mathematical formulas:

- **Trace and skew - trace**:
\[
T(A):=\{x + x^*\mid x\in A\}
\]
\[
K_0(A):=\{x - x^*\mid x\in A\}
\]

- **Result of derivation action**:
\[
d(T(L)) = 0\quad\text{or}\quad d(K_0(L)) = 0
\]

- **Conclusion**:
\[
T(R)^2\subseteq Z(R)\quad\text{or}\quad K_0(R)^2\subseteq Z(R)
\]

Through the study of these problems, the paper reveals important properties of the trace and skew - trace of Lie ideals in prime rings under the action of derivations, further deepening our understanding of such algebraic structures.