「有限群論序論」の版間の差分

Gを集合とする。Gの2元の組(x,y)に対してGの元<math>x \cdot y</math>が与えられるとき、<math>\cdot</math>をGの二項演算（あるいは単に演算）という。集合論の言葉で言えば、写像
:<math>\cdot:G \times G \to G ; (x,y) \mapsto x \cdot y</math>
のことである。