0

東大数理院試過去問解答例(2016B01)

275
0

ここでは東大数理の修士課程の院試の2016B01の解答例を解説していきます(ただし解説の都合で少し問題を改変しています)。解答例はあくまでも例なので、最短・最易の解答とは限らないことにご注意ください。またこの解答を信じきってしまったことで起こった不利益に関しては一切の責任を負いませんので、参照する際は慎重に慎重を重ねて議論を追ってからご参照ください。また誤り・不適切な記述・非自明な箇所などがあればコメントで指摘していただけると幸いです。

東大数理2016B01(改)

GZと同型な正規部分群Nを持ち、更にG/Nは巡回群Z/nZと同型であるとする(ここでn>1である)。このときGの群構造としてあり得るものを全て挙げなさい。

Nの生成元をxG/Nの生成元のGへの持ち上げのひとつをaとおく。このとき問題の条件からGはある整数s,tについて表示G=a,x|axa1=xs,an=xtを持つ群である(ただしこれに加えてxの位数は無限であるという条件がついている)。ここでxt=an=axta1=xstであるから、a,xx(s1)t=1を満たしている。ここでxの位数は有限ではないから、s=1またはt=0のいずれかが満たされていなければならない。

まず後者が満たされている場合を考える。このとき1+nZaで定義される単射群準同型G/NGが射影の切断になっていることから、群の同型GNG/Nが成り立っている。ここで左辺の群構造は群準同型Z/nZG/NAut(N){±1}がどのように定まっているかで決定される。もしnが奇数であれば、このような群準同型は自明なもの以外しかあり得ないのでGZ×Z/nZである。一方nが偶数であれば生成元を1に送るような準同型が構成できる。

次に前者が満たされている場合を考える。このときGはアーべル群であり、(Z×Z)/(n,t)Zに同型である。ここで整数k,nk+t=d:=gcd(n,t)となるようにとる。このとき群同型
Z×ZZ×Z(nd,td)(0,1)(,k)(1,0)
を考えることでGZ×Z/dZであることがわかる。そして実際G=Z×Z/dZN=(nd,1+dZ)Z
とすれば、これは所望の条件を満たしている。

以上の議論からGの同型類としてあり得るのは、nが奇数のときはG=Z×Z/dZ(ここでdnの任意の約数)で尽くされていて、nが偶数のときは上記のZ×Z/dZ及び非自明な群準同型Z/nZAut(Z)={±1}から誘導される半直積ZZ/nZで尽くされている。

投稿日:2023108
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

藍色の日々。趣味の数学と院試の過去問の(間違ってるかもしれない雑な)解答例を上げていきます。リンクはX(旧Twitter)アカウント 

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中