Of course, I've learned a lot about these things from your writings.
11,562 karma · joined September 17, 2016
Of course, I've learned a lot about these things from your writings.
For this topic we are lucky to have Silverman's book [1], which everyone seems to like.
https://research.googleblog.com/2017/05/efficient-smart-repl...
http://wayback.archive-it.org/3671/20150528171650/https://ww...
To make the p-adics Z_p I stitch all of these Z/p^r together: an element is a choice of a_r in each Z/p^r and these have to be compatible: a_2 reduces mod p to a_1 and so on. The resulting Z_p has no "zero divisors", and if I allow myself to invert p I get a field Q_p.
This is a huge improvement, a foundation on which to build analysis and geometry as we did over R.
My favorite is probably top answer: a polynomial f(z) gives you a map from the Riemann sphere ℙ^1 to itself. Topology tells you it's closed and analysis tells you it's open because locally a holomorphic map always looks like z^n. It follows that the map is surjective.
[1] http://mathoverflow.net/questions/10535/ways-to-prove-the-fu...
http://help.washingtonpost.com/link/portal/15067/15080/Artic...
https://mathyawp.wordpress.com/2017/01/08/mathematics-for-hu...
http://mathoverflow.net/questions/22141/how-do-i-see-latex-m...
[1] http://www.math.washington.edu/~lind/Resources/Halmos.pdf