削除された内容 追加された内容
m lk
m →‎例: 数字の修正
タグ: モバイル編集 モバイルウェブ編集
37行目:
 
==例==
[[File:Normal subgroup illustration.svg|right|thumb|[[1の冪根|1 の 4 乗根たち]] {{mvar|N}} の 1 の 2012 乗根たち {{mvar|G}} における剰余類たち.]]
 
整数 {{mathbf|Z}} が加法についてなす群と,すべての偶数からなる部分群 {{math|2'''Z'''}} を考える.これは {{mathbf|Z}} が[[可換群]]なので正規部分群である.剰余類は2つしかない:偶数全体の集合と奇数全体の集合である;したがって,商群 {{math|'''Z'''/2'''Z'''}} は2つの元を持つ巡回群である.この商群は2を法とする加法をもつ集合 {{math|{{mset|0, 1}}}} に同型である;インフォーマルには,{{math|'''Z'''/2'''Z'''}} は2を法とする加法をもつ集合 {{math|{{mset|0, 1}}}} に「等しい」と言うこともある.