The structure of $k$-potents and mixed Jordan-power preservers on matrix algebras
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866914201739460608 |
|---|---|
| author | Gogić, Ilja Tomašević, Mateo |
| author_facet | Gogić, Ilja Tomašević, Mateo |
| contents | Let $M_n(\mathbb{F})$ denote the algebra of $n \times n$ matrices over an algebraically closed field $\mathbb{F}$ of characteristic different from $2$. For $n \ge 2$, we classify all maps $ϕ: M_n(\mathbb{F}) \to M_n(\mathbb{F})$ satisfying the mixed Jordan-power identity $$ ϕ(A^{k} \circ B) = ϕ(A)^{k} \circ ϕ(B), \quad \text{for all } A,B \in M_n(\mathbb{F}), $$ where $\circ$ denotes the (normalized) Jordan product $A \circ B := \tfrac{1}{2}(AB + BA)$ and $k \in \mathbb{N}$. We show that every such map is either constant, taking a fixed $(k+1)$-potent value, or there exist an invertible matrix $T \in M_n(\mathbb{F})$, a ring monomorphism $ω: \mathbb{F} \to \mathbb{F}$, and a $k$-th root of unity $\varepsilon \in \mathbb{F}$ such that $ϕ$ takes one of the forms $$ ϕ(X) = \varepsilon\, T\, ω(X)\, T^{-1} \quad \text{ or } \quad ϕ(X) = \varepsilon\, T\, ω(X)^{t}\, T^{-1}, $$ where $ω(X)$ denotes the matrix obtained by applying $ω$ entrywise to $X$, and $(\cdot)^{t}$ denotes matrix transposition. In particular, every nonconstant solution is necessarily additive. The classification relies fundamentally on the preservation of $(k+1)$-potents and their intrinsic structural properties. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2512_13085 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | The structure of $k$-potents and mixed Jordan-power preservers on matrix algebras Gogić, Ilja Tomašević, Mateo Rings and Algebras 47B49, 16S50, 16W20, 17C27 Let $M_n(\mathbb{F})$ denote the algebra of $n \times n$ matrices over an algebraically closed field $\mathbb{F}$ of characteristic different from $2$. For $n \ge 2$, we classify all maps $ϕ: M_n(\mathbb{F}) \to M_n(\mathbb{F})$ satisfying the mixed Jordan-power identity $$ ϕ(A^{k} \circ B) = ϕ(A)^{k} \circ ϕ(B), \quad \text{for all } A,B \in M_n(\mathbb{F}), $$ where $\circ$ denotes the (normalized) Jordan product $A \circ B := \tfrac{1}{2}(AB + BA)$ and $k \in \mathbb{N}$. We show that every such map is either constant, taking a fixed $(k+1)$-potent value, or there exist an invertible matrix $T \in M_n(\mathbb{F})$, a ring monomorphism $ω: \mathbb{F} \to \mathbb{F}$, and a $k$-th root of unity $\varepsilon \in \mathbb{F}$ such that $ϕ$ takes one of the forms $$ ϕ(X) = \varepsilon\, T\, ω(X)\, T^{-1} \quad \text{ or } \quad ϕ(X) = \varepsilon\, T\, ω(X)^{t}\, T^{-1}, $$ where $ω(X)$ denotes the matrix obtained by applying $ω$ entrywise to $X$, and $(\cdot)^{t}$ denotes matrix transposition. In particular, every nonconstant solution is necessarily additive. The classification relies fundamentally on the preservation of $(k+1)$-potents and their intrinsic structural properties. |
| title | The structure of $k$-potents and mixed Jordan-power preservers on matrix algebras |
| topic | Rings and Algebras 47B49, 16S50, 16W20, 17C27 |
| url | https://arxiv.org/abs/2512.13085 |