代数学演義 は小テスト。

斜体の定義覚えてないと1番解かれへんやんか。
整理しとこう。

加法と乗法が定義された空間で、加法に関して可換群、乗法は結合的、分配法則が成り立つ。
斜体
零元以外の元はみな逆元を持つ環
可換環
乗法が交換可能
可換環かつ斜体

以上泥縄。