Permutation groups without exponentially many orbits on the power set (Q1323837): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/0097-3165(94)90056-6 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2091388733 / rank | |||
Normal rank |
Revision as of 15:39, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Permutation groups without exponentially many orbits on the power set |
scientific article |
Statements
Permutation groups without exponentially many orbits on the power set (English)
0 references
4 January 1995
0 references
The main result of the paper gives the existence of an (explicitly not calculated) constant \(c_ 1\) such that if \(G\) is a permutation group of degree \(n\) without any composition factors isomorphic to an alternating group of degree \(> t \geq 4\), then the number of orbits of \(G\) on the power set is at least \(\text{exp}(c_ 1 n/t)\). \{The proof -- as given -- works only if large alternating sections are excluded, but it can be modified to yield the stated form of the result. Namely, in the imprimitive case one should use the fact that the kernel of the action on the set of blocks is a subdirect product of transitive groups of smaller degree. The same inaccuracy has already occured in the paper of \textit{L. Babai, P. J. Cameron} and the reviewer [J. Algebra 79, 161-168 (1982; Zbl 0493.20001)].\} The result is then applied to the case when \(G\) is the automorphism group of a Steiner system. In that case the order of \(G\) is also estimated. \{The last displayed inequality in the proof of Lemma A3 is in error, but it can be corrected at the cost of increasing the constant to \(c=4+o(1)\).\} The proofs are elementary.
0 references
permutation groups
0 references
number of orbits
0 references
alternating sections
0 references
set of blocks
0 references
subdirect product of transitive groups
0 references
automorphism group of a Steiner system
0 references
order
0 references