I skimmed through it. Looks fine. Had a bit of trouble following step 5 of theroem 10.5 (page 89), but after a second look it became all too obvious.

I was more confused by the application of Nakayama’s lemma in the following paragraph, but then it suddenly became clear to me.

basically trivial.