Codex Wiki OurBigBook logoOurBigBook.comSite Source code
If a group acts transitively on a set of prime size and is normal, then the -orbits form a -invariant block system of equal size. They are therefore either singletons or the whole set. In a faithful action the singleton case forces , so every nontrivial normal subgroup is transitive.

Ancestors (7)

  1. Faithful group action
  2. Group action
  3. Group theory
  4. Algebra
  5. Area of mathematics
  6. Mathematics
  7. Home