Codes from unit groups of division algebras over number fields (Q2031713)

Lenstra and Guruswami described number field analogues of the algebraic geometry codes of Goppa. Recently, \textit{C. Maire} and \textit{F. Oggier} [J. Pure Appl. Algebra 227 (7), 1827--1858 (2018; Zbl 1430.94101)] generalized these constructions to other arithmetic groups: unit groups in number fields and orders in division algebras; they suggested to use unit groups in quaternion algebras but could not completely analyze the resulting codes. In the current paper, it is shown that for all \(d \ge 2\), there exists a family of asymptotically good number field codes for the sum-rank distance, each obtained from the group of units of reduced norm 1 in a maximal order in a division algebra of degree \(d\), over a fixed alphabet \(M_d(\mathbb{F}_p)\), where \(\log p = c \log d + O(\log\log d)\) and \(c > 0\) is a constant. It is also shown that for all \(d \ge 2\), there exists a family of asymptotically good number field codes for the sum-rank distance, each obtained from the additive group of a maximal order in a division algebra of degree \(d\), over a fixed alphabet \(M_d(\mathbb{F}_p)\), where \(\log p = \frac{1}{2} \log d + O(\log\log d)\).