入口
代数構造
目標
準同型定理
進捗
ルート設計中
ルート地図
- 1代数構造入口準備中
演算をもつ集合を対象にする
- 2準同型中継点準備中
演算を保つ写像を見る
- 3核と像中継点準備中
消える部分と届く部分を取り出す
- 4商構造中継点準備中
核で同一視した新しい構造を作る
- 5自然な対応中継点準備中
商から像へ向かう写像を確認する
- 6準同型定理目標準備中
核で割った構造と像が同型になる
目標までの見通し
核で割った構造と像が同型になる
入口
代数構造
目標
準同型定理
進捗
ルート設計中
演算をもつ集合を対象にする
演算を保つ写像を見る
消える部分と届く部分を取り出す
核で同一視した新しい構造を作る
商から像へ向かう写像を確認する
核で割った構造と像が同型になる
核で割った構造と像が同型になる