群とは、有限または無限の要素集合と二項演算(群演算という)が…