Let $ M_{n, m}: = Mat_n(\mathbb{Z}/m\mathbb{Z}) $ be the ring of matrices of $ n\times n $ over $ \mathbb{Z}/m\mathbb{Z} $ and $ G_{n, m}: = Gl_n(\mathbb{Z}/m\mathbb{Z}) $ be the multiplicative group of units of $ M_{n, m} $ with $ n\geqslant 2, m\geqslant 2. $ In this paper, we obtain an exact formula for the number of representations of any element of $ M_{2, m} $ as the sum of $ k $ units in $ M_{2, m} $. Furthermore, by using the technique of Fourier transformation, we also give a formula for the case $ n\ge3 $ and $ m = p $ is a prime.
Citation: Yifan Luo, Kaisheng Lei, Qingzhong Ji. On the sumsets of units in a ring of matrices over $ \mathbb{Z}/m\mathbb{Z} $[J]. Electronic Research Archive, 2025, 33(3): 1323-1332. doi: 10.3934/era.2025059
Let $ M_{n, m}: = Mat_n(\mathbb{Z}/m\mathbb{Z}) $ be the ring of matrices of $ n\times n $ over $ \mathbb{Z}/m\mathbb{Z} $ and $ G_{n, m}: = Gl_n(\mathbb{Z}/m\mathbb{Z}) $ be the multiplicative group of units of $ M_{n, m} $ with $ n\geqslant 2, m\geqslant 2. $ In this paper, we obtain an exact formula for the number of representations of any element of $ M_{2, m} $ as the sum of $ k $ units in $ M_{2, m} $. Furthermore, by using the technique of Fourier transformation, we also give a formula for the case $ n\ge3 $ and $ m = p $ is a prime.
[1] |
M. Deaconescu, Adding units mod $n$, Elem. Math., 55 (2000), 123–127. https://doi.org/10.1007/s000170050078 doi: 10.1007/s000170050078
![]() |
[2] |
J. W. Sander, On the addition of units and nonunits $\pmod{m}$, J. Number Theory, 129 (2009), 2260–2266. https://doi.org/10.1016/j.jnt.2009.04.010 doi: 10.1016/j.jnt.2009.04.010
![]() |
[3] |
J. W. Sander, T. Sander, Adding generators in cyclic groups, J. Number Theory, 133 (2013), 705–718. https://doi.org/10.1016/j.jnt.2012.08.021 doi: 10.1016/j.jnt.2012.08.021
![]() |
[4] |
C. F. Sun, Q. H. Yang, On the sumset of atoms in cyclic groups, Int. J. Number Theory, 10 (2014), 1355–1363. https://doi.org/10.1142/S1793042114500328 doi: 10.1142/S1793042114500328
![]() |
[5] |
Q. H. Yang, M. Tang, On the addition of squares of units and nonunits modulo $n$, J. Number Theory 155 (2015), 1–12. https://doi.org/10.1016/j.jnt.2015.02.019 doi: 10.1016/j.jnt.2015.02.019
![]() |
[6] |
X. Zhang, C. G. Ji, Sums of generators of ideals in residue class ring, J. Number Theory, 174 (2017), 14–25. https://doi.org/10.1016/j.jnt.2016.10.018 doi: 10.1016/j.jnt.2016.10.018
![]() |
[7] |
G. Landsberg, Ueber eine anzahlbestimmung und eine damit zusammenhängende reihe, J. Reine Angew. Math., 1893 (1893), 87–88. https://doi.org/10.1515/crll.1893.111.87 doi: 10.1515/crll.1893.111.87
![]() |
[8] | P. Feinsilver, R. Schott, Algebraic Structures and Operator Calculus: Volume Ⅱ: Special Functions and Computer Science, Springer, Dordrecht, 1994. https://doi.org/10.1007/978-0-585-28003-5 |