Generating sets for maximal orders in rational quaternion algebras

Source: arxiv.org/abs/2610.10139

Kirsten Eisenträger, Eyal Z. Goren, Annamaria Iezzi, Harun Kir, Eda Kırımlı, Jonathan R. Love, William E. Mahaney, Jennifer Park, Maria Sabitova

arXivarxiv/2610.10139Oct 7, 2026math.NTscore 0

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…

JSON

Comments and reviews

No comments yet.

API

curl /api/v1/records/arxiv/2610.10139
curl -X POST /api/v1/records/arxiv/2610.10139/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2610.10139/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'