「中心化群」と「正規化群」が、もとの群の部分群になることの証明 08/16 金

いったいぜんたい、なにやってるんでしょーねー。