Answers are grounded in this paper and cite their sources.
Analyzes stabilizers' characteristics in solvable groups, suggesting new counting methods.
Let <m:math xmlns:m="http://www.w3.org/1998/Math/MathML"> <m:mrow> <m:mo stretchy="false">(</m:mo> <m:mi>G</m:mi> <m:mo>,</m:mo> <m:mi mathvariant="normal">Ξ©</m:mi> <m:mo stretchy="false">)</m:mo> </m:mrow> </m:math> (G,Ξ©) be a finite primitive permutation group. Let <m:math xmlns:m="http://www.w3.org/1998/Math/MathML"> <m:msup> <m:mi>p</m:mi> <m:mn>2</m:mn> </m:msup> </m:math> pΒ² divide <m:math xmlns:m="http://www.w3.org/1998/Math/MathML"> <m:mrow> <m:mo stretchy="false">|</m:mo> <m:mi>G</m:mi> <m:mo stretchy="false">|</m:mo> </m:mrow> </m:math> G , for a prime π. We show that, when πΊ is solvable, there exists a subset of Ξ© whose stabilizer π has the property that <m:math xmlns:m="http://www.w3.org/1998/Math/MathML"> <m:mrow> <m:mn>1</m:mn> <m:mo><</m:mo> <m:msub> <m:mrow> <m:mo stretchy="false">|</m:mo> <m:mi>S</m:mi> <m:mo stretchy="false">|</m:mo> </m:mrow> <m:mi>p</m:mi> </m:msub> <m:mo><</m:mo> <m:msub> <m:mrow> <m:mo stretchy="false">|</m:mo> <m:mi>G</m:mi> <m:mo stretchy="false">|</m:mo> </m:mrow> <m:mi>p</m:mi> </m:msub> </m:mrow> </m:math> 1< Sβ< Gβ . We offer a counting argument which should be helpful when πΊ is not solvable.
No takes yet. Share an insight, caveat, or question.
David Gluck (2026) studied this question.
Synapse has enriched 10 related papers. Consider them for comparative context: