Let RR be a finite group, and let TT be a subgroup of RR. We show that there are at most 7.3722[R:T]log2[R:T]4+1.89197.3722[R:T]4log2[R:T]+1.8919 subgroups of RR containing TT.
生成讲解博客的中文版本
生成AI智能校验的中文版本