◆ わからない問題はここに書いてね 231 ◆
■ このスレッドは過去ログ倉庫に格納されています
0110132人目の素数さん
2007/11/13(火) 21:41:06群Gの単位元を e 、群G'の単位元を e' とする。
HはGの部分群で H⊃Kerf ならば、g(f(H))=H となることを示せ。
ただし、Kerf={x∈G|f(x)=e'}、g(f(H))={x∈G|f(x)∈f(H)} である。
g(f(H))⊃H は簡単に示せたのですが、g(f(H))⊂H がうまく示せません。
お願いします。
■ このスレッドは過去ログ倉庫に格納されています