の への作用を で定める. ( であるから も の要素である.) が で割り切れないこと(前投稿で書いた) から, が で割り切れない が存在する. ( がすべて で割り切れるとすると, も で割り切れることになってしまう.) (各 について, 軌道の集合 の個数が で割れ…

シロー部分群の存在とそれに伴う群論のことを書く。 群の位数が素数, なる を用いて と表されているとする. 群のシロー部分群 とは, 位数 の部分群のこと.その存在の証明（の概略）とそれに必要な用語を述べる. 群 と集合 に対して, 写像 であって と の単位…