|
You are here |
www.jeremykun.com | ||
| | | | |
mattbaker.blog
|
|
| | | | | 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
|
|
| | | | | 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
|
|
| | | | | 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
|
|
| | | [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. | ||