群における特殊要素の演算法則と性質