準同型写像

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