{"id":"arxiv/2610.10139","url":"https://arxiv.org/abs/2610.10139","tags":["math.NT"],"score":0,"title":"Generating sets for maximal orders in rational quaternion algebras","domain":"math.NT","source":"arxiv","authors":["Kirsten Eisenträger","Eyal Z. Goren","Annamaria Iezzi","Harun Kir","Eda Kırımlı","Jonathan R. Love","William E. Mahaney","Jennifer Park","Maria Sabitova"],"reviews":0,"subject":"math.NT","summary":"Given a maximal order $\\mathfrak{O}$ in a rational definite quaternion algebra, and a prime $\\ell$ coprime to the discriminant of $\\mathfrak{O}$, this paper considers subsets of $\\mathfrak{O}$ consisting of elements with $\\ell$-power norms that together generate $\\mathfrak{O}$ as a $\\mathbb{Z}$-algebra. We prove two theorems about the existence of such sets: the first states that $\\mathfrak{O}$ is generated by elements of norm $\\ell^k$ for any $k$ larger than an explicit bound, and the second states that there is a generating set for $\\mathfrak{O}$ consisting of at most three elements, each…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-07","reactions":{}}