teacher_k-u0011 の回答履歴

命題 有限群Gがn点集合に推移的に作用してる場合、Gはn-1個以上の固定点を持たない元を持つ の証明ができません。 バーンサイドの補題を使うと思われるのですが、有限群の元の数をコントロールする術がなく詰まっております。 教えていただけるとありがたいです。