Explore >> Select a destination


You are here

www.dyalog.com
| | yozh.org
14.0 parsecs away

Travel
| |
| | beej.us
19.6 parsecs away

Travel
| |
| | blog.komar.be
17.4 parsecs away

Travel
| |
| | mattbaker.blog
105.1 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...