田径代数映射在矩阵代数上的分类

Classification of Jordan multiplicative maps on matrix algebras

摘要 Abstract

设 $M_n(\mathbb{F})$ 是特征不等于 $2$ 的域 $\mathbb{F}$ 上的 $n \times n$ 矩阵代数。若 $n \geq 2$,我们证明任意映射 $\phi : M_n(\mathbb{F}) \to M_n(\mathbb{F})$ 是田径映射(即满足函数方程 $$ \phi(XY+YX)=\phi(X)\phi(Y)+\phi(Y)\phi(X), \quad \forall X, Y \in M_n(\mathbb{F}), $$ 当且仅当以下之一成立:要么 $\phi$ 是常值映射且等于一个固定的幂等元;要么存在 $M_n(\mathbb{F})$ 中的可逆矩阵 $T$ 和 $\mathbb{F}$ 到自身的环单同态 $\omega$,使得对所有 $X \in M_n(\mathbb{F})$, $$ \phi(X)=T\omega(X)T^{-1} \quad \text{或} \quad \phi(X)=T\omega(X)^tT^{-1}, $$ 其中 $\omega(X)$ 表示将 $\omega$ 逐元素作用于 $X$ 所得的矩阵。特别地,任何满足 $\phi(0)=0$ 的田径映射 $\phi : M_n(\mathbb{F}) \to M_n(\mathbb{F})$ 必然具有加性。

Let $M_n(\mathbb{F})$ be the algebra of $n \times n$ matrices over a field $\mathbb{F}$ of characteristic not equal to $2$. If $n\ge 2$, we show that an arbitrary map $\phi : M_n(\mathbb{F}) \to M_n(\mathbb{F})$ is Jordan multiplicative, i.e. it satisfies the functional equation $$ \phi(XY+YX)=\phi(X)\phi(Y)+\phi(Y)\phi(X), \quad \text{for all } X,Y \in M_n(\mathbb{F}) $$ if and only if one of the following holds: either $\phi$ is constant and equal to a fixed idempotent, or there exists an invertible matrix $T \in M_n(\mathbb{F})$ and a ring monomorphism $\omega: \mathbb{F} \to \mathbb{F}$ such that $$ \phi(X)=T\omega(X)T^{-1} \quad \text{ or } \quad \phi(X)=T\omega(X)^tT^{-1}, \quad \text{for all } X \in M_n(\mathbb{F}), $$ where $\omega(X)$ denotes the matrix obtained by applying $\omega$ entrywise to $X$. In particular, any Jordan multiplicative map $\phi : M_n(\mathbb{F}) \to M_n(\mathbb{F})$ with $\phi(0)=0$ is automatically additive.

田径代数映射在矩阵代数上的分类 - arXiv