Re: 松坂和夫「代数系入門」(岩波書店)
工繊大の塚本と申します.
In article <1175425786.779740.27590@p15g2000hsd.googlegroups.com>
hiko900 <hiko900@yahoo.co.jp> writes:
> 第2章12節 Sylowの定理
>
> 定理18の証明中、
> p^{a}m-i, p^{a}-i の標準分解に現れる p のべきは同じである
p は素数, i は 1 ≦ i ≦ p^a - 1 の自然数ですね.
i が p のベキで割り切れるとすれば, それは p^{a-1}
までです. i の標準分解に現れる p のベキ, つまり,
i を割り切る p の 最大ベキと, p^a m - i の標準分解
に現れる p のベキと, p^a - i の標準分解に現れる p の
ベキ, は全て同じです.
> とありますが、この部分、さっぱり分かりません。
上の説明で分かりますでしょうか.
--
塚本千秋@応用数学.基盤科学部門.京都工芸繊維大学
Tsukamoto, C. : chiaki@kit.ac.jp
Fnews-brouse 1.9(20180406) -- by Mizuno, MWE <mwe@ccsf.jp>
GnuPG Key ID = ECC8A735
GnuPG Key fingerprint = 9BE6 B9E9 55A5 A499 CD51 946E 9BDC 7870 ECC8 A735