* add proof for split exact sequences * port exercise R.2.9 * Noetherian rings: add ex. 3.2 & 3.5 * Hilbert basis theorem, Noetherian module properties * add Noetherian exercises 3.3 & 3.4