generated at
可除環
0で割る以外の加減乗除ができる集合
集合Kが可除環で、環として可換ならである

↓にもうちょいちゃんと書いてあるmrsekut

参考