Let $ \mathcal{R} $ be a $ \ast $-ring with the unit $ I $. Assume that $ \mathcal{R} $ contains a symmetric idempotent $ P $ satisfying $ A\mathcal{R}P = 0 $ implies $ A = 0 $ and $ A\mathcal{R}(I-P) = 0 $ implies $ A = 0 $. We prove that if $ \varphi: \mathcal{R}\rightarrow \mathcal{R} $ is a nonlinear $ \ast $-commuting map, then there exist $ Z\in \mathcal{Z(R)} $ and a map $ h: \mathcal{R}\rightarrow \mathcal{Z(R)} $ such that $ \varphi(A) = ZA^{\ast}+h(A) $ for all $ A\in\mathcal{R} $.
Citation: Yan Yang. Nonlinear $ \ast $-commuting maps on rings with involution[J]. AIMS Mathematics, 2026, 11(8): 23782-23791. doi: 10.3934/math.2026957
Let $ \mathcal{R} $ be a $ \ast $-ring with the unit $ I $. Assume that $ \mathcal{R} $ contains a symmetric idempotent $ P $ satisfying $ A\mathcal{R}P = 0 $ implies $ A = 0 $ and $ A\mathcal{R}(I-P) = 0 $ implies $ A = 0 $. We prove that if $ \varphi: \mathcal{R}\rightarrow \mathcal{R} $ is a nonlinear $ \ast $-commuting map, then there exist $ Z\in \mathcal{Z(R)} $ and a map $ h: \mathcal{R}\rightarrow \mathcal{Z(R)} $ such that $ \varphi(A) = ZA^{\ast}+h(A) $ for all $ A\in\mathcal{R} $.
| [1] |
E. C. Posner, Derivations in prime rings, Proc. Amer. Math. Soc., 8 (1957), 1093–1100. http://dx.doi.org/10.1090/S0002-9939-1957-0095863-0 doi: 10.1090/S0002-9939-1957-0095863-0
|
| [2] |
M. Brešar, Centralizing mappings and derivations in prime rings, J. Algebra, 156 (1993), 385–394. http://dx.doi.org/10.1006/jabr.1993.1080 doi: 10.1006/jabr.1993.1080
|
| [3] |
M. Brešar, Commuting maps: A survey, Taiwan. J. Math., 8 (2004), 361–397. http://dx.doi.org/10.11650/twjm/1500407660 doi: 10.11650/twjm/1500407660
|
| [4] | M. Brešar, M. A. Chebotar, W. S. Martindale, Functional identities, Basel: Birkh$\ddot{a}$user, 2007. http://dx.doi.org/10.1007/978-3-7643-7796-0 |
| [5] |
J. Bounds, Commuting maps over the ring of strictly upper triangular matrices, Linear Algebra Appl., 507 (2016), 132–136. http://dx.doi.org/10.1016/j.laa.2016.05.041 doi: 10.1016/j.laa.2016.05.041
|
| [6] |
D. Zhang, Y. Zhao, D. Mosić, The generalized Drazin inverse of the sum of two elements in a Banach algebra, J. Comput. Appl. Math., 470 (2025), 116701. http://dx.doi.org/10.1016/j.cam.2025.116701 doi: 10.1016/j.cam.2025.116701
|
| [7] |
H. Jia, Z. Xiao, Commuting maps on certain incidence algebras, Bull. Iran. Math. Soc., 46 (2020), 755–765. http://dx.doi.org/10.1007/s41980-019-00289-1 doi: 10.1007/s41980-019-00289-1
|
| [8] |
S. W. Ko, C. K. Liu, Commuting maps on strictly upper triangular matrix rings, Oper. Matrices, 17 (2023), 1023–1036. http://dx.doi.org/10.7153/oam-2023-17-67 doi: 10.7153/oam-2023-17-67
|
| [9] |
L. Liu, Z. Chen, Nonadditive ommuting mappings on triangular $n-$matrix rings, Oper. Matrices, 17 (2023), 939–952. http://dx.doi.org/10.7153/oam-2023-17-62 doi: 10.7153/oam-2023-17-62
|
| [10] |
Y. Liang, J. Zhang, Nonlinear $\ast$ $\xi-$Lie derivable mappings on factor von Neumann algebras, (in Chinese), Adv. Math., 47 (2018), 913–922. http://dx.doi.org/10.11845/sxjz.2017103b doi: 10.11845/sxjz.2017103b
|
| [11] |
C. Li, Q. Chen, T. Wang, $\ast-$Lie derivable mappings on von Neumann algebras, Commun. Math. Stat., 4 (2016), 81–92. http://dx.doi.org/10.1007/s40304-015-0077-7 doi: 10.1007/s40304-015-0077-7
|
| [12] |
Z. Bai, S. Du, Strong commutativity preserving maps on rings, Rocky Mountain J. Math., 44 (2014), 733–742. http://dx.doi.org/10.1216/RMJ-2014-44-3-733 doi: 10.1216/RMJ-2014-44-3-733
|
| [13] |
W. Jing, F. Lu, Lie derivable mappings on prime rings, Linear Multilinear Algebra, 60 (2012), 167–180. http://dx.doi.org/10.1080/03081087.2011.576343 doi: 10.1080/03081087.2011.576343
|