Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

If K is a number field then K is discrete in the adeles of K #257

Closed
kbuzzard opened this issue Dec 1, 2024 · 1 comment · Fixed by #362
Closed

If K is a number field then K is discrete in the adeles of K #257

kbuzzard opened this issue Dec 1, 2024 · 1 comment · Fixed by #362
Assignees
@matthewjasper

Comments

@kbuzzard
Copy link
Collaborator

kbuzzard commented Dec 1, 2024

Assuming discreteness for K=Q (an earlier result), and the fact that A_K is K-isomorphic to K tensor A_Q (another earlier result), we can deduce discreteness for all K. Slightly more details are in the blueprint.
@github-project-automation github-project-automation bot moved this to Unclaimed in FLT Project Dec 1, 2024
@matthewjasper
Copy link
Contributor

claim

@kbuzzard kbuzzard moved this from Unclaimed to Claimed in FLT Project Feb 27, 2025
matthewjasper added a commit to matthewjasper/FLT that referenced this issue Feb 27, 2025
@matthewjasper
K is discrete in the adeles of K (ImperialCollegeLondon#257)
88558c6 
* Prove zero_discrete for all number fields before generalizing from
  zero.
* Move the proofs below prerequisite theorems
* Prove NumberField.AdeleRing.zero_discrete
matthewjasper added a commit to matthewjasper/FLT that referenced this issue Feb 27, 2025
@matthewjasper
K is discrete in the adeles of K (ImperialCollegeLondon#257)
8ab0f77 
* Prove zero_discrete for all number fields before generalizing from
  zero.
* Move the proofs below prerequisite theorems
* Prove NumberField.AdeleRing.zero_discrete
matthewjasper added a commit to matthewjasper/FLT that referenced this issue Feb 27, 2025
@matthewjasper
K is discrete in the adeles of K (ImperialCollegeLondon#257)
1f9c102 
* Prove zero_discrete for all number fields before generalizing from
  zero.
* Move the proofs below prerequisite theorems
* Prove NumberField.AdeleRing.zero_discrete
@matthewjasper matthewjasper mentioned this issue Feb 27, 2025
Merged
kbuzzard pushed a commit that referenced this issue Mar 1, 2025
@matthewjasper
K is discrete in the adeles of K (#257) (#362)
ec44b79 
* Prove zero_discrete for all number fields before generalizing from
  zero.
* Move the proofs below prerequisite theorems
* Prove NumberField.AdeleRing.zero_discrete
@github-project-automation github-project-automation bot moved this from Claimed to Completed in FLT Project Mar 1, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@matthewjasper matthewjasper

Labels
None yet
Projects
FLT Project
Status: Completed
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

K is discrete in the adeles of K (#257) matthewjasper/FLT
2 participants
@matthewjasper @kbuzzard