Search arXivSearch

arXiv · 2503.24217

Finite groups with few character values that are not character degrees

Abstract

Let $ G $ be a finite group and $ χ\in \mathrm{Irr}(G) $. Define $ \mathrm{cv}(G)=\{χ(g)\mid χ\in \mathrm{Irr}(G), g\in G \} $, $ \mathrm{cv}(χ)=\{χ(g)\mid g\in G \} $ and denote $ \mathrm{dl}(G) $ by the derived length of $ G $. In the 1990s Berkovich, Chillag and Zhmud described groups $ G $ in which $ |\mathrm{cv}(χ)|=3 $ for every non-linear $ χ\in \mathrm{Irr}(G) $ and their results show that $ G $ is solvable. They also considered groups in which $ |\mathrm{cv}(χ)|=4 $ for some non-linear $ χ\in \mathrm{Irr}(G) $. Continuing with their work, in this article, we prove that if $ |\mathrm{cv}(χ)|\leqslant 4 $ for every non-linear $ χ\in \mathrm{Irr}(G) $, then $ G $ is solvable. We also considered groups $ G $ such that $ |\mathrm{cv}(G)\setminus \mathrm{cd}(G)|=2 $. T. Sakurai classified these groups in the case when $ |\mathrm{cd}(G)|=2 $. We show that $ G $ is solvable and we classify groups $ G $ when $ |\mathrm{cd}(G)|\leqslant 4 $ or $ \mathrm{dl}(G)\leqslant 3 $. It is interesting to note that these groups are such that $ |\mathrm{cv}(χ)|\leqslant 4 $ for all $ χ\in \mathrm{Irr}(G) $. Lastly, we consider finite groups $ G $ with $ |\mathrm{cv}(G)\setminus \mathrm{cd}(G)|=3 $. For nilpotent groups, we obtain a characterization which is also connected to the work of Berkovich, Chillag and Zhmud. For non-nilpotent groups, we obtain the structure of $ G $ when $ \mathrm{dl}(G)=2 $.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Sesuai Y. Madanha, X. Mbaale, Tendai M. Mudziiri Shumba. 2025-03-31. Finite groups with few character values that are not character degrees. https://arxiv.org/abs/2503.24217

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

On commensurators of free groups and free pro-p groups

We study the commensurators of free groups and free pro-$p$ groups, as well as certain subgroups of these. We prove that the commensurator $Comm(F)$ of a non-abelian free group of finite rank $F$ is not virtually simple, answering a question of Lubotzky. On the other hand, we exhibit a family of easy-to-define finitely generated subgroups of $Comm(F)$ and show that some groups in this family are simple. For a prime $p$, we also consider the p-commensurator $Comm_p(F)$, which is the commensurator of $F$ viewed as a group with pro-$p$ topology. By contrast with $Comm(F)$, we prove that $Comm_p(F)$ has a simple subgroup of index at most 2. Further, while the isomorphism class of $Comm(F)$ does not depend on the rank of $F$, we prove that the isomorphism class of $Comm_p(F)$ depends on the rank of $F$ and determine the exact dependency. If $\mathbf F$ is the pro-$p$ completion of $F$ (which is a free pro-$p$ group), $Comm(\mathbf F)$ is a totally disconnected locally compact (tdlc) group containing $\mathbf F$ as an open subgroup. We use $Comm_p(F)$ to construct an abstractly simple subgroup of $Comm(\mathbf F)$ containing $\mathbf F$ as well as a family of non-discrete tdlc groups which are compactly generated and simple.

math.GR

Asymmetry of $\ell^{2}$-cohomology via skewed Følner geometry

We study the two $\ell^{2}$-Dirichlet structures on a countable group $G$ arising from the left and right regular actions on $\mathbb{R}^{G}$. Although the two regular representations are unitarily equivalent, their $\ell^{2}$-Dirichlet subspaces of $\mathbb{R}^{G}$ need not coincide. Our main result gives a complete classification of this asymmetry for countable amenable groups: $$\mathcal{D}_{2}\left(G,λ\right)=\mathcal{D}_{2}\left(G,ρ\right)\quad\Longleftrightarrow\quad G \text{ is an FC-group}.$$ The proof is based on a skewed Følner-geometric mechanism, called a left scheme, combining summability of left boundaries with displacement under a right translation. We develop this mechanism generally, and demonstrate it concretely in the Heisenberg group and amenable wreath products over $\mathbb{Z}$. We also show that this mechanism has a dynamical counterpart in the theory of nonsingular Bernoulli shifts: every countable amenable group that is not an FC-group admits Bernoulli schemes whose left shift is nonsingular, conservative and weakly mixing, whereas the right shift by some element is singular.

math.GR

Analogues of Sylow's first theorem, Cauchy's theorem, and Hall's theorem for skew braces

We establish an unconditional analogue of Sylow's first theorem for finite skew braces, and deduce an analogue of Cauchy's theorem. We also prove an analogue of the existence part of Hall's theorem for finite skew braces with soluble additive and multiplicative groups. We make some observations regarding the number of Sylow subskew braces of a skew brace in various cases. By applying these results we streamline the classification of skew braces of order $ pq $, where $ p,q $ are distinct prime numbers.

math.GR