Commuting additive maps on upper triangular and strictly upper triangular infinite matrices (Q6628845)

The authors consider the rings \(T_\infty(\mathbb F)\) and \(N_\infty(\mathbb F)\) consisting of \(\mathbb N\times\mathbb N\) triangular and strictly triangular matrices over a field \(\mathbb F\), respectively. They prove that any additive, commuting (i.e., satisfying \(f(x)x=xf(x)\) for all \(x\)) map \(f\colon N_\infty(\mathbb F)\to T_\infty(\mathbb F)\) takes the form \N\[\N f(x)=\lambda x+\mu(x), \N\]\Nwhere \(\lambda\in\mathbb F\) and \(\mu\colon N_\infty(\mathbb F)\to\mathbb F I_\infty\) is an additive map. As a consequence they obtain the forms of the additive commuting maps \(f\colon N_\infty(\mathbb F)\to N_\infty(\mathbb F)\) and the maps \(f\colon T_\infty(\mathbb F)\to T_\infty(\mathbb F)\).