18/07/30 00:42:57.92 GNdiU6iv.net
>>384
0と書くか1と書くかは関係ない
ただ加法群(乗法群)と言えば演算は+(*)で書かれることが多く、その単位元を0(1)で表すことが多いというだけです
必ずしも0,1で書かなければならないわけでもなく、例えばn次可逆行列の全体GL(n)の単位元(つまり単位行列)は1ではなくEまたはIで書かれることが多いですよね
問題文は正確に書きましょう
エスパーすれば「加法群G、乗法群H、準同型f:G→Hとして、Hの単位元1に対してf^{-1}(1)がGの部分群になることを示せ」かな？
加法も乗法も関係なく成立するけど