Given the symmetric group and a multiplicity-free subgroup , the orbitals of the action of on by left multiplication induce a commutative association scheme. The irreducible constituents of the permutation character of acting on are indexed by partitions of and if is the second largest partition in dominance ordering among these, then the Young subgroup admits two orbits in its action on , which are and its complement. In their monograph [Erdős-Ko-Rado theorems: Algebraic Approaches. {\it Cambridge University Press}, 2016] (Problem~16.13.1), Godsil and Meagher asked whether is a coclique of a graph in the commutative association scheme arising from the action of on . If such a graph exists, then they also asked whether its smallest eigenvalue is afforded by the -module. In this paper, we initiate the study of this question by taking . We show that the answer to this question is affirmative for the pair of groups , where and , or and is one of , or . For the pair , we also prove that the answer to this question of Godsil and Meagher is negative.

生成讲解博客的中文版本

生成AI智能校验的中文版本