Principal Well-Rounded Ideals of real quadratic fields
Fuente:
arXiv
Salvato in:
| Autori principali: | , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866915463128154112 |
|---|---|
| author | Smith, Morgan Tran, Ha T. N. |
| author_facet | Smith, Morgan Tran, Ha T. N. |
| contents | It has been well known since Gauss that the principality of an ideal in a real quadratic field $K$ is equivalent to the solvability of a certain generalized Pell equations. In this paper, we combine this classical result with Srinivasan's conditions for the existence of well-rounded ideals in $K$ to obtain necessary and sufficient criteria for a real quadratic field to have principal well-rounded (PWR) ideals. Using these criteria, we prove that there are infinitely many real quadratic fields that have PWR ideals. Moreover, these ideals are pairwise non-similar. We then construct new algorithms that produce these PWR ideals, especially when the field discriminant is large. Our algorithms run in sub-exponential time theoretically; however, they are very fast in practice by employing some commonly used probabilistic algorithms for testing squarefreeness. Finally, we briefly consider criteria for the existence of prime PWR ideals and show that there are infinitely many real quadratic fields that have prime PWR ideals. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2508_18518 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Principal Well-Rounded Ideals of real quadratic fields Smith, Morgan Tran, Ha T. N. Number Theory 11R11, 06B10, 11Y16, 11Y40, 11D09 It has been well known since Gauss that the principality of an ideal in a real quadratic field $K$ is equivalent to the solvability of a certain generalized Pell equations. In this paper, we combine this classical result with Srinivasan's conditions for the existence of well-rounded ideals in $K$ to obtain necessary and sufficient criteria for a real quadratic field to have principal well-rounded (PWR) ideals. Using these criteria, we prove that there are infinitely many real quadratic fields that have PWR ideals. Moreover, these ideals are pairwise non-similar. We then construct new algorithms that produce these PWR ideals, especially when the field discriminant is large. Our algorithms run in sub-exponential time theoretically; however, they are very fast in practice by employing some commonly used probabilistic algorithms for testing squarefreeness. Finally, we briefly consider criteria for the existence of prime PWR ideals and show that there are infinitely many real quadratic fields that have prime PWR ideals. |
| title | Principal Well-Rounded Ideals of real quadratic fields |
| topic | Number Theory 11R11, 06B10, 11Y16, 11Y40, 11D09 |
| url | https://arxiv.org/abs/2508.18518 |