群の自己同型群と巡回群
問題 を 以上の奇数とするとき,
となる有限群 は存在しないことを示せ.
解答例 背理法で示す. 条件を満たす有限群 が存在したとする.
一般に を群 の中心, を内部自己同型群とすると
よって はアーベル群になる(一般論). ここで をその逆元
におくる自己同型を考える. これが自明でないならば, これは の
位数2の元となり の位数が奇数であることに矛盾する.
自明になるときを考える. このとき は のつ以上の
直積と同型になり, このときも非自明な位数 の元(座標を入れ替えるものなど)が存在することが言える. よって条件を満たす有限群 は存在しない. (終)
※選択公理を認めれば同様の議論で自己同型群が奇数位数の巡回群に同型になるようなものは存在しないことがわかります.
何か改善点などがあれば教えてください.