Explore >> Select a destination
|
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... | |
| | | | |
grossack.site
|
|
| | | | | Chris Grossack's math blog and professional website. | |
| | | | |
mattbaker.blog
|
|
| | | | | In my previous post, I presented a proof of the existence portion of the structure theorem for finitely generated modules over a PID based on the Smith Normal Form of a matrix. In this post, I'd like to explain how the uniqueness portion of that theorem is actually a special case of a more general... | |
| | | | |
www.jeremykun.com
|
|
| | | For a list of all the posts on Category Theory, see the Main Content page. It is time for us to formally define what a category is, to see a wealth of examples. In our next post we'll see how the definitions laid out here translate to programming constructs. As we've said in our soft motivational post on categories, the point of category theory is to organize mathematical structures across various disciplines into a unified language. | ||
