Adeles

Tags: #todo #todo/stub Refs: ?

Adeles

See profinite completion.

attachments/Pasted%20image%2020220126223517.png

Issues with the product topology

attachments/Pasted%20image%2020220126223933.png

Solved by taking the restricted direct product: attachments/Pasted%20image%2020220126223951.png attachments/Pasted%20image%2020220126224011.png Can also define as a colimit attachments/Pasted%20image%2020220126224231.png attachments/Pasted%20image%2020220126224304.png attachments/Pasted%20image%2020220126224341.png

Adele ring of a global field

attachments/Pasted%20image%2020220126224423.png attachments/Pasted%20image%2020220126224452.png attachments/Pasted%20image%2020220126224524.png attachments/Pasted%20image%2020220126224550.png

For a global field, the adeles will always be locally compact Hausdorff, and hence admits a Haar measure. attachments/Pasted%20image%2020220126224637.png attachments/Pasted%20image%2020220126224703.png attachments/Pasted%20image%2020220126224810.png

Ideles

attachments/Pasted%20image%2020220127131202.png

attachments/Pasted%20image%2020220126230850.png attachments/Pasted%20image%2020220126230519.png

Warning: \({\mathbf{A}}_K^{\times}\) is not a topological group since inversion is not continuous. attachments/Pasted%20image%2020220126230653.png attachments/Pasted%20image%2020220126230806.png attachments/Pasted%20image%2020220126231026.png attachments/Pasted%20image%2020220126231204.png attachments/Pasted%20image%2020220126231214.png attachments/Pasted%20image%2020220126231233.png

Idele norms

attachments/Pasted%20image%2020220127131519.png attachments/Pasted%20image%2020220127131534.png attachments/Pasted%20image%2020220127131556.png

Links to this page
#todo #todo/stub