Explore >> Select a destination


You are here

www.jeremykun.com
| | mattbaker.blog
2.3 parsecs away

Travel
| | I'm teaching Graduate Algebra this semester, and I wanted to record here the proof I gave in class of the (existence part of the) structure theorem for finitely generated modules over a PID. It's a standard argument, based on the existence of the Smith Normal Form for a matrix with entries in a PID, but...
| | qchu.wordpress.com
1.8 parsecs away

Travel
| | As an undergraduate the proofs I saw of the Sylow theorems seemed very complicated and I was totally unable to remember them. The goal of this post is to explain proofs of the Sylow theorems which I am actually able to remember, several of which use our old friend The $latex p$-group fixed point theorem...
| | terrytao.wordpress.com
3.6 parsecs away

Travel
| | This is yet another post in a series on basic ingredients in the structural theory of locally compact groups, which is closely related to Hilbert's fifth problem. In order to understand the s...
| | blog.sigfpe.com
9.4 parsecs away

Travel
| [AI summary] An in-depth technical exploration demonstrating how Haskell monads can be formally defined as monoids in the category of endofunctors using abstract categorical logic and functional programming code.