Jordan's theorem (symmetric group)

Jordan's theorem in the context of symmetric groups refers to a result concerning the structure of finite symmetric groups, \( S_n \). The theorem states that any transitive subgroup of \( S_n \) has a normal subgroup that is either abelian or contains a subgroup of index at most \( n \).