14/06/24 22:06:47.09
>>541
可換環の定義に乗法可換が入ってんだから、
証明は「公理を見よ」で終わり。
有理整数環、有理数体、実数体、複素数体が
それぞれ可換環であることは、それぞれの定義に含まれている。
何も証明する余地がない。
14/06/24 22:06:47.09
>>541
可換環の定義に乗法可換が入ってんだから、
証明は「公理を見よ」で終わり。
有理整数環、有理数体、実数体、複素数体が
それぞれ可換環であることは、それぞれの定義に含まれている。
何も証明する余地がない。