Profinite Rigidity over Noetherian Domains
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866918068769259520 |
|---|---|
| author | Wykowski, Julian |
| author_facet | Wykowski, Julian |
| contents | We initiate the study of profinite rigidity for modules over a Noetherian domain: to what extent are these objects determined by their finite images? We establish foundational statements in analogy to classical results in the category of groups. We describe three profinite invariants of modules over any Noetherian domain $Λ$. We show that free modules are profinitely rigid when $Λ$ satisfies a homological condition, and characterise the profinite genus of all modules when $Λ$ is a Dedekind domain. In the case where $Λ$ is a PID, we find that all finitely generated modules are profinitely rigid. As an application, we prove that solvable Baumslag--Solitar groups are profinitely rigid in the absolute sense. These are the first examples of absolute profinite rigidity among non-abelian one-relator groups and among non-LERF groups. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2502_10278 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Profinite Rigidity over Noetherian Domains Wykowski, Julian Group Theory Commutative Algebra 20E18 (Primary) 20E34, 13E05, 20C10, 16P10 (Secondary) We initiate the study of profinite rigidity for modules over a Noetherian domain: to what extent are these objects determined by their finite images? We establish foundational statements in analogy to classical results in the category of groups. We describe three profinite invariants of modules over any Noetherian domain $Λ$. We show that free modules are profinitely rigid when $Λ$ satisfies a homological condition, and characterise the profinite genus of all modules when $Λ$ is a Dedekind domain. In the case where $Λ$ is a PID, we find that all finitely generated modules are profinitely rigid. As an application, we prove that solvable Baumslag--Solitar groups are profinitely rigid in the absolute sense. These are the first examples of absolute profinite rigidity among non-abelian one-relator groups and among non-LERF groups. |
| title | Profinite Rigidity over Noetherian Domains |
| topic | Group Theory Commutative Algebra 20E18 (Primary) 20E34, 13E05, 20C10, 16P10 (Secondary) |
| url | https://arxiv.org/abs/2502.10278 |