The number of set-orbits of a solvable permutation group

2021 ◽  
Vol 0 (0) ◽  
Author(s):  
Yinling Gao ◽  
Yong Yang

Abstract A permutation group 𝐺 acting on a set Ω induces a permutation action on the power set P ⁢ ( Ω ) \mathscr{P}(\Omega) (the set of all subsets of Ω). Let 𝐺 be a finite permutation group of degree 𝑛, and let s ⁢ ( G ) s(G) denote the number of orbits of 𝐺 on P ⁢ ( Ω ) \mathscr{P}(\Omega) . In this paper, we give the explicit lower bound of log 2 ⁡ s ⁢ ( G ) / log 2 ⁡ | G | \log_{2}s(G)/{\log_{2}\lvert G\rvert} over all solvable groups 𝐺. As applications, we first give an explicit bound of a result of Keller for estimating the number of conjugacy classes, and then we combine it with the McKay conjecture to estimate the number of p ′ p^{\prime} -degree irreducible representations of a solvable group.

2012 ◽  
Vol 56 (1) ◽  
pp. 303-336 ◽  
Author(s):  
Krzysztof Pawałowski ◽  
Toshio Sumi

AbstractFor any finite group G, we impose an algebraic condition, the Gnil-coset condition, and prove that any finite Oliver group G satisfying the Gnil-coset condition has a smooth action on some sphere with isolated fixed points at which the tangent G-modules are not isomorphic to each other. Moreover, we prove that, for any finite non-solvable group G not isomorphic to Aut(A6) or PΣL(2, 27), the Gnil-coset condition holds if and only if rG ≥ 2, where rG is the number of real conjugacy classes of elements of G not of prime power order. As a conclusion, the Laitinen Conjecture holds for any finite non-solvable group not isomorphic to Aut(A6).


2012 ◽  
Vol 56 (2) ◽  
pp. 371-386
Author(s):  
Zeinab Akhlaghi ◽  
Antonio Beltrán ◽  
María José Felipe ◽  
Maryam Khatami

AbstractLet G be a finite p-solvable group. We describe the structure of the p-complements of G when the set of p-regular conjugacy classes has exactly three class sizes. For instance, when the set of p-regular class sizes of G is {1, pa, pam} or {1, m, pam} with (m, p) = 1, then we show that m = qb for some prime q and the structure of the p-complements of G is determined.


2016 ◽  
Vol 104 (1) ◽  
pp. 37-43
Author(s):  
MARK L. LEWIS

When $G$ is a finite solvable group, we prove that $|G|$ can be bounded by a function in the number of irreducible characters with values in fields where $\mathbb{Q}$ is extended by prime power roots of unity. This gives a character theory analog for solvable groups of a theorem of Héthelyi and Külshammer that bounds the order of a finite group in terms of the number of conjugacy classes of elements of prime power order. In particular, we obtain for solvable groups a generalization of Landau’s theorem.


2001 ◽  
Vol 71 (3) ◽  
pp. 349-352 ◽  
Author(s):  
Geoffrey R. Robinson

AbstractWe provide an upper bound for the order of a nilpotent injector of a finite solvable group with Fitting subgroup of order n. We also show that the same bound is an upper bound for the number of conjugacy classes, provided that the k(G V)-conjecture holds for solvable G all primes dividing n.


2012 ◽  
Vol 87 (3) ◽  
pp. 406-424
Author(s):  
EDWARD A. BERTRAM

AbstractThe unsolved problem of whether there exists a positive constant $c$ such that the number $k(G)$ of conjugacy classes in any finite group $G$ satisfies $k(G) \geq c \log _{2}|G|$ has attracted attention for many years. Deriving bounds on $k(G)$ from (that is, reducing the problem to) lower bounds on $k(N)$ and $k(G/N)$, $N\trianglelefteq G$, plays a critical role. Recently Keller proved the best lower bound known for solvable groups: \[ k(G)\gt c_{0} \frac {\log _{2}|G|} {\log _{2} \log _{2} |G|}\quad (|G|\geq 4) \] using such a reduction. We show that there are many reductions using $k(G/N) \geq \beta [G : N]^{\alpha }$ or $k(G/N) \geq \beta (\log [G : N])^{t}$ which, together with other information about $G$ and $N$ or $k(N)$, yield a logarithmic lower bound on $k(G)$.


2021 ◽  
pp. 1-40
Author(s):  
NICK GILL ◽  
BIANCA LODÀ ◽  
PABLO SPIGA

Abstract Let G be a permutation group on a set $\Omega $ of size t. We say that $\Lambda \subseteq \Omega $ is an independent set if its pointwise stabilizer is not equal to the pointwise stabilizer of any proper subset of $\Lambda $ . We define the height of G to be the maximum size of an independent set, and we denote this quantity $\textrm{H}(G)$ . In this paper, we study $\textrm{H}(G)$ for the case when G is primitive. Our main result asserts that either $\textrm{H}(G)< 9\log t$ or else G is in a particular well-studied family (the primitive large–base groups). An immediate corollary of this result is a characterization of primitive permutation groups with large relational complexity, the latter quantity being a statistic introduced by Cherlin in his study of the model theory of permutation groups. We also study $\textrm{I}(G)$ , the maximum length of an irredundant base of G, in which case we prove that if G is primitive, then either $\textrm{I}(G)<7\log t$ or else, again, G is in a particular family (which includes the primitive large–base groups as well as some others).


2020 ◽  
Vol 0 (0) ◽  
Author(s):  
Jiakuan Lu ◽  
Kaisun Wu ◽  
Wei Meng

AbstractLet 𝐺 be a finite group. An irreducible character of 𝐺 is called a 𝒫-character if it is an irreducible constituent of (1_{H})^{G} for some maximal subgroup 𝐻 of 𝐺. In this paper, we obtain some conditions for a solvable group 𝐺 to be 𝑝-nilpotent or 𝑝-closed in terms of 𝒫-characters.


1971 ◽  
Vol 23 (1) ◽  
pp. 12-21
Author(s):  
J. Malzan

If ρ(G) is a finite, real, orthogonal group of matrices acting on the real vector space V, then there is defined [5], by the action of ρ(G), a convex subset of the unit sphere in V called a fundamental region. When the unit sphere is covered by the images under ρ(G) of a fundamental region, we obtain a semi-regular figure.The group-theoretical problem in this kind of geometry is to find when the fundamental region is unique. In this paper we examine the subgroups, ρ(H), of ρ(G) with a view of finding what subspace, W of V consists of vectors held fixed by all the matrices of ρ(H). Any such subspace lies between two copies of a fundamental region and so contributes to a boundary of both. If enough of these boundaries might be found, the fundamental region would be completely described.


Sign in / Sign up

Export Citation Format

Share Document