15/03/22 00:17:03.99 zrXoqD+e.net
俺(>>417出題者)の見解も>>638に同じ。>>578では説明になっていない。
>>440では「n∈Ker(f) ならば gng^-1∈Ker(f)」を証明している。
これはすなわち g・Ker(f)・g^(-1) ⊂ Ker(f) を示したことになる。
n や g は最初から任意。∀を付けても変わらない。
残る部分は逆の包含、すなわち「g・Ker(f)・g^(-1) ⊃ Ker(f)」の証明。
>>578で示せたというのなら、>>578を使ってこれを証明してみてくれ。