| From(投稿者): | kyokoyoshida123@gmail.com |
|---|---|
| Newsgroups(投稿グループ): | fj.sci.math |
| Subject(見出し): | Re: H $B$, (BG $B$N@55,ItJ,72$G (Bm:=[G:H] $B$J$i"O (Ba $B": (BG $B$KBP$7$F (B,a^m $B": (BH |
| Date(投稿日時): | Mon, 11 May 2009 21:11:10 -0700 (PDT) |
| Organization(所属): | http://groups.google.com |
| References(祖先記事, 一番最後が直親): | (G) <04a6f1f6-0208-4ea2-bed2-9c12c0ab7a56@s31g2000vbp.googlegroups.com> |
| (G) <090507180505.M0708544@cs1.kit.ac.jp> | |
| Message-ID(記事識別符号): | (G) <c55307fa-d127-4241-a6d5-b0ed7162e749@r34g2000vba.googlegroups.com> |
ご回答大変ありがとうございます。 > (a H)^m = a^m H = H から a^m ∈ H を示します. なるほど。[G:H]=mからaHの位数は高々mの約数ですね。 よって H=(aH)^m=a^mH(∵HはGの正規部分群) よって,a^m∈Hですね。 吉田京子