skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Title: THE NUMBER OF SET ORBITS OF PERMUTATION GROUPS AND THE GROUP ORDER
Abstract If G is permutation group acting on a finite set $$\Omega $$ , then this action induces a natural action of G on the power set $$\mathscr{P}(\Omega )$$ . The number $s(G)$ of orbits in this action is an important parameter that has been used in bounding numbers of conjugacy classes in finite groups. In this context, $$\inf ({\log _2 s(G)}/{\log _2 |G|})$$ plays a role, but the precise value of this constant was unknown. We determine it where G runs over all permutation groups not containing any $${{\textrm {A}}}_l, l> 4$$ , as a composition factor.  more » « less
Award ID(s):
1757233
PAR ID:
10355785
Author(s) / Creator(s):
; ; ; ;
Date Published:
Journal Name:
Bulletin of the Australian Mathematical Society
Volume:
106
Issue:
1
ISSN:
0004-9727
Page Range / eLocation ID:
89 to 101
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. This work gives an equivariantly enriched count of nodal orbits in a general pencil of plane conics that is invariant under a linear action of a finite group on CP2. This can be thought of as spearheading equivariant enumerative enrichments valued in the Burnside Ring, both inspired by and a departure from R(G)-valued enrichments such as Roberts’ equivariant Milnor number and Damon’s equivariant signature formula. Given a G-invariant general pencil of conics, the weighted sum of nodal orbits in the pencil is a formula in terms of the base locus considered as a G-set. We show this is true for all finite groups except Z/2 × Z/2 and D8 and give counterexamples for the two exceptional groups. 
    more » « less
  2. null (Ed.)
    A group G is said to be 3/2-generated if every nontrivial element belongs to a generating pair. It is easy to see that if G has this property, then every proper quotient of G is cyclic. In this paper we prove that the converse is true for finite groups, which settles a conjecture of Breuer, Guralnick and Kantor from 2008. In fact, we prove a much stronger result, which solves a problem posed by Brenner and Wiegold in 1975. Namely, if G is a finite group and every proper quotient of G is cyclic, then for any pair of nontrivial elements x1, x2 ϵ G, there exists y ϵ G such that G = ⟨x1, y⟩ = ⟨x2, y⟩. In other words, s(G) ⩾ 2, where s(G) is the spread of G. Moreover, if u(G) denotes the more restrictive uniform spread of G, then we can completely characterise the finite groups G with u(G) = 0 and u(G) = 1. To prove these results, we first establish a reduction to almost simple groups. For simple groups, the result was proved by Guralnick and Kantor in 2000 using probabilistic methods, and since then the almost simple groups have been the subject of several papers. By combining our reduction theorem and this earlier work, it remains to handle the groups with socle an exceptional group of Lie type, and this is the case we treat in this paper. 
    more » « less
  3. Abstract A graphGisH-freeif it has no induced subgraph isomorphic toH. We prove that a$$P_5$$ P 5 -free graph with clique number$$\omega \ge 3$$ ω 3 has chromatic number at most$$\omega ^{\log _2(\omega )}$$ ω log 2 ( ω ) . The best previous result was an exponential upper bound$$(5/27)3^{\omega }$$ ( 5 / 27 ) 3 ω , due to Esperet, Lemoine, Maffray, and Morel. A polynomial bound would imply that the celebrated Erdős-Hajnal conjecture holds for$$P_5$$ P 5 , which is the smallest open case. Thus, there is great interest in whether there is a polynomial bound for$$P_5$$ P 5 -free graphs, and our result is an attempt to approach that. 
    more » « less
  4. Let s ( n ) = ∑ d ∣ n ,   d > n d s(n)=\sum _{d\mid n,~d>n} d denote the sum of the proper divisors of n n . The second-named author proved that ω ( s ( n ) ) \omega (s(n)) has normal order log ⁡ log ⁡ n \log \log {n} , the analogue for s s -values of a classical result of Hardy and Ramanujan [ The normal number of prime factors of a number n [Quart. J. Math. 48 (1917), 76–92], AMS Chelsea Publ., Providence, RI, 2000, pp. 262–275]. We establish the corresponding Erdős–Kac theorem: ω ( s ( n ) ) \omega (s(n)) is asymptotically normally distributed with mean and variance log ⁡ log ⁡ n \log \log {n} . The same method applies with s ( n ) s(n) replaced by any of several other unconventional arithmetic functions, such as β ( n ) ≔ ∑ p ∣ n p \beta (n)≔\sum _{p\mid n} p , n − φ ( n ) n-\varphi (n) , and n + τ ( n ) n+\tau (n) ( τ \tau being the divisor function). 
    more » « less
  5. Abstract Let 𝐺 be a finite solvable permutation group acting faithfully and primitively on a finite set Ω.Let G 0 G_{0}be the stabilizer of a point 𝛼 in Ω.The rank of 𝐺 is defined as the number of orbits of G 0 G_{0}in Ω, including the trivial orbit { α } \{\alpha\}.In this paper, we completely classify the cases where 𝐺 has rank 5 and 6, continuing the previous works on classifying groups of rank 4 or lower. 
    more » « less