15/03/29 12:23:05.19 G8tCtmBr.net
群 G の部分群 H,H' に対して、
「H⊂H' かつ H と H' が同型」ならば H=H'
は必ずしも成り立たない、ということが言いたかった。
包含写像 H→H' と同型写像 H→H' が一致するなら H=H' だけど、
スレ主の gNg^(-1) と N の場合はそれも成り立ってない。
15/03/29 12:23:05.19 G8tCtmBr.net
群 G の部分群 H,H' に対して、
「H⊂H' かつ H と H' が同型」ならば H=H'
は必ずしも成り立たない、ということが言いたかった。
包含写像 H→H' と同型写像 H→H' が一致するなら H=H' だけど、
スレ主の gNg^(-1) と N の場合はそれも成り立ってない。