Formalising the local compactness of the adele ring

DOI10.46298/AFM.14840MaRDI QIDQ6867737zbMATH OpenFDO

Authors Salvatore Mercuri

Publication date 28 January 2026

Published in Annals of Formalized Mathematics. AFM (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.46298/AFM.14840

zbMATH Keywords

adele ringalgebraic number theoryLeanmathlib

Mathematics Subject Classification ID

Adèle rings and groups (11R56) Formalization of mathematics in connection with theorem provers (68V20)

Cites work

• Formalized Haar Measure
• Formalizing the ring of adèles of a global field
• scientific article; zbMATH DE number 3657912 (Why is no real title available?)
• scientific article; zbMATH DE number 3234211 (Why is no real title available?)
• scientific article; zbMATH DE number 3245597 (Why is no real title available?)
• scientific article; zbMATH DE number 3030741 (Why is no real title available?)
• Über einige Lösungen der Funktionalgleichung \[ \varphi(x)\cdot \varphi(y)= \varphi(xy). \]

This page was built for publication: Formalising the local compactness of the adele ring

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6867737)