Show that the ring of all rational numbers $m/n$ with $n$ an odd integer is a principal ideal domain.
We haven't really discussed principal ideal domains. I've heard that this is easy, but I just lack the basic knowledge of what a principal ideal domain is.