代数は
環になることの証明
well-defined
イデアル
くらいでいいんじゃない