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