これは「今年中にHungerford7章読むぞ Advent Calendar 2022」4日目の記事です。 まあアドベントカレンダーの記事ですって書いてるけど、Adventarには登録してない（というか削除した）んですが… 7.2節では対等*1な行列について、成分の環が可除環や主イデア…