準同型写像

群演算の一意性X:群X∈x,x⁻¹,yx･x⁻¹=x･yx⁻¹･x･x⁻¹=x⁻¹･x･ye･x⁻¹=e･yx⁻¹=yxの逆元と異なる要素yを群から取ってきてxに作用させた場合に結果が同じ。群の同型写像の集合Mを定義。その中から要素を取り出...