群論入門をやっていますが演習問題が、わからないので教えてほしいです. G,Hをそれぞれ元の個数がm,nの巡回群でx,yをそれぞれの生成元とする. (1)x^(i_1)=x^(i_2)であるような全てのi_1,i_2∈Zに対しy^(i_1)=y^(i_2)という性質が成り立つためにm,nが満たさなければならない必要十分条件を求めよ.
(2)(1)の性質を満たすm,nに対しては全てのi∈Zに対してφ(x^i)=y^iとなるような準同型φ:G→Hが存在する事を示せ.
(1)はi_1=i_2+mz z∈Zとi_1=i_2+nz' z'∈Z を満たせばいいかなと考えましたがよくわかんないです。
|
No.49040 - 2018/02/27(Tue) 14:06:35
| ☆ Re: 群論 / IT | | | (1)だけ i_1>i_2 のときを考えればいい。
x^(i_1)=x^(i_2)⇔x^(i_1-i_2)=1 (Gの単位元)⇔m|(i_1-i_2) y^(i_1)=y^(i_2)⇔y^(i_1-i_2)=1 (Hの単位元)⇔n|(i_1-i_2)
したがって m|(i_1-i_2) ならば n|(i_1-i_2) である. ための必要十分条件を求めればよい。 それは,n|m である。
整数a,b について aがbの約数であることを a|b と表す。
|
No.49058 - 2018/02/27(Tue) 21:45:14 |
| ☆ Re: 群論 / なにゃら | | | 返信が遅れてしまって申し訳ないです. しっかり理解できましたし(2)もできそうです. ありがとうございます.
|
No.49195 - 2018/03/11(Sun) 02:13:19 |
|