The Diophantine problem for addition and divisibility for rings of $S$-integers of quadratic imaginary extensions of $\mathbb{Q}$
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866917022207574016 |
|---|---|
| author | Hormazábal, Natalia Martínez-Ranero, Carlos |
| author_facet | Hormazábal, Natalia Martínez-Ranero, Carlos |
| contents | Let $K$ be a quadratic imaginary extension of $\mathbb{Q}$, let $S$ be a finite nonempty set of non archimedean places, and let $\mathcal{O}_{K,S}$ denote the ring of $S$-integers of $K$. We show that there is no algorithm which solves the following problem. Given an arbitrary system of linear equations over the integers together with divisibility conditions on some of the variables, decide whether or not there exists a solution over $\mathcal{O}_{K,S}$. This contrasts with Lipshitz's result, which shows that such algorithm does exists for the ring of integers (i.e. $S=\emptyset).$ |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2510_15758 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | The Diophantine problem for addition and divisibility for rings of $S$-integers of quadratic imaginary extensions of $\mathbb{Q}$ Hormazábal, Natalia Martínez-Ranero, Carlos Number Theory Logic Primary: 11U05, Secondary: 03B25 Let $K$ be a quadratic imaginary extension of $\mathbb{Q}$, let $S$ be a finite nonempty set of non archimedean places, and let $\mathcal{O}_{K,S}$ denote the ring of $S$-integers of $K$. We show that there is no algorithm which solves the following problem. Given an arbitrary system of linear equations over the integers together with divisibility conditions on some of the variables, decide whether or not there exists a solution over $\mathcal{O}_{K,S}$. This contrasts with Lipshitz's result, which shows that such algorithm does exists for the ring of integers (i.e. $S=\emptyset).$ |
| title | The Diophantine problem for addition and divisibility for rings of $S$-integers of quadratic imaginary extensions of $\mathbb{Q}$ |
| topic | Number Theory Logic Primary: 11U05, Secondary: 03B25 |
| url | https://arxiv.org/abs/2510.15758 |