14/11/03 09:50:13.59
長々と説明する必要はない。
集合Xから群Gへの全単写fが存在するならば、x,y∈Xに対し
x･y=f^-1(f(x)*f(y))と定めることによりXには群構造が入る(ここで*は群Gの群演算)。
XがS5の奇置換全体、GがA5の場合がスレ主の言いたいことである。
14/11/03 09:50:13.59
長々と説明する必要はない。
集合Xから群Gへの全単写fが存在するならば、x,y∈Xに対し
x･y=f^-1(f(x)*f(y))と定めることによりXには群構造が入る(ここで*は群Gの群演算)。
XがS5の奇置換全体、GがA5の場合がスレ主の言いたいことである。