* port initial notes on commutative algebra: ideals & modules, Nakayama's lemma, etc
* port notes on Noetherian rings&modules
* add ideals related definitions
* improve Cayley-Hamilton proof (specially determinant trick explanation)
* polishing
* add typos detection
* add some exercises, and proof of Z and K[X} being PID