unit

空でない集合Rとその上の２つの二項演算、和と積の組が環(ring)であるとは,和に関してアーベル群、積に関してモノイド、和と積で分配律が成立することを言います。積が可換であるとき可換環と呼びます。