A Note on the Subdegrees of Finite Permutation Groups
Eiichi BANNAI,Shiro IWASAKI
DOI: https://doi.org/10.14492/hokmj/1381758957
1974-01-01
Hokkaido Mathematical Journal
Abstract:Let G be a transitive permutation group on a finite set \Omega .Let G_{a} be the stabilizer of a\in\Omega in G. Let \Delta_{1}=\{a\} , \Delta_{2} , \cdots , \Delta_{r} be the orbits of G_{a} on \Omega (these are called the suborbits of (G, \Omega )).Then we say that the pemuta- tion group (G, \Omega) is of rank r, and we call |\Delta_{i}| 's the subdegrees of (G, \Omega) (From the transitivity of (G, \Omega) , the |\Delta_{i}| 's are independent of the choice of a\in\Omega) .When (G, \Omega) is given, it is sometimes required to obtain the sub- degrees.The purpose of this short note is to give a practical method to calculate the subdegrees when the structure of the group G is fairly known.The authors thank the members of "YUGENGUN TANSHIN" (a semi- private set of letters written in Japanese circulated periodically among the Japanese young people who are studying finite group theory), especially Mr. Hikoe Enomoto and Miss Yoko Usami, for valuable discussions.In par- ticular, Usami calculated some important examples by applying our method (see Appendix).NOTATION: Let G be a transitive permutation group on a set \Omega , and let H=G_{a} be the stabilizer of a\in\Omega .Let \mathfrak{H}_{1} , \mathfrak{H}_{2} , \cdots , \mathfrak{H}_{t} be the sets of all H -conjugate subgroups of H(i.e., any subgroup X\leqq H is contained in some and only one \mathfrak{H}_{i} ).Moreover we fix an element H_{i}\in \mathfrak{H}_{i}(i=1,2, \cdots, t) .Let us define a partial order among \mathfrak{H}_{\vee}i 's by \mathfrak{H}_{i}\leqq \mathfrak{H}_{f} if there exist subgroups X_{i}\in \mathfrak{H}_{i} and X_{f}\in \mathfrak{H}_{J} such that X_{i}\leqq X_{f} .If X_{i\neq}