Orders in the Euclidean Court
Following Johnson, Queen, and Sevilla, we call an order $\mathcal{O}$ in a number field $K$ \textsf{generalized Euclidean} if for all $α,β\in \mathcal{O}$ with $β\ne 0$ for which $α\mathcal{O}+β\mathcal{O}$ is a principal ideal of $\mathcal{O}$, there are $γ, ρ\in \mathcal{O}$ with $α=βγ+ ρ$ and $|N_{K/\mathbb{Q}}(ρ)| 1$ there are only finitely many integers $m$ for which $T^d-m$ is irreducible over $\mathbb{Q}$ and $\mathbb{Z}[m^{1/d}] = \mathbb{Z}[T]/(T^d-m)$ is generalized Euclidean. When $d$ is even, we can remove the assumption of GRH.
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2610.25793
curl -X POST /api/v1/records/arxiv/2610.25793/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2610.25793/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'