群の軌道やstabilizer、ブロックなどに関する問題の質問です。
群の軌道やstabilizer、ブロックなどに関する問題の質問です。
Ω := {1, ・・・, n} (n≧3) としSn (n次対象群) のΩ^{2} (Ωの大きさが2の部分集合全体) への作用を考える。
SnはΩ上n重可移なのでこの作用は可移である。
{1, 2} ∈ Ω^{2} のSnにおけるstabilizer(Hとする)を考える。
この群Hは3つの軌道を持ちそれぞれ{1, 2} , ( {1, α}, {2, α} (α≠1,2) ), ( {α, β} (α, β≠1, 2) ) から成る。
Hは1, 2を固定するのでこれらの軌道の長さはそれぞれ 1, 2(n-2), (n-2)(n-3)/2 である。
{1, 2}を含むΩ^{2}上のSnの任意の非自明ブロックはHの他の軌道を少なくとも一つ含む。
という前置きがあって次の問題があるんですがこれがなかなかわからないのでヒントでも何か教えていただければ幸いです。
n≧8のとき, 2(n-2) +1 ≦ (n-2)(n-3)/2 でありこの左辺は右辺を割り切ることはない。
これを使って次を示せ。
「n=4の時を除いて任意のHの2つの軌道を含むブロックはもう一つの軌道も必ず含み、GのΩ^{2}への作用はn≧3かつn≠4なる全てのnについてprimitive(原始的)である。」
Gについての言及はないのでおそらく任意の群Gについてという意味だと思います。
感覚的には任意の群Gのブロック(Δとしa∈Δ)はGa(aのpoint-stabilizer)の軌道の和集合で表されるという事実があるので2つの軌道があって短い方の長さが長い方の長さを割り切らないから短い方の軌道が長い方に含まれていることがないので和集合をとったときに両方の軌道が含まれていないといけない。というような感じだと思ったのですが具体的に式でそれを証明することがなかなか出来ずに困っています。
ヒントでもいいので誰か教えていただけたら恐縮です。
すぐに回答をとしていますがあと3日以内に解決すれば良いのでよろしくお願いします。
お礼
非常に参考になりました。ありがとうございました。