“God exists since mathematics is consistent, and the Devil exists since we cannot prove it.”
André Weil
I’ve recently finished my final project for my algebraic number theory course on adeles and ideles, which can be found here. Adeles is an object in algebraic number theory that solves the technical problem of doing analysis over \(\mathbb Q\) so to speak. It lets us work over all completions of a global field simultaneously. One of the applications of it is that certain compactness theorems on it proves the Dirichlet unit theorem and class number theorem. If I had more time, I would have elaborated further at the last part in my project but i unfortunately did not have enough time.