All Questions
Tagged with characters finite-groups
28 questions with no upvoted or accepted answers
52
votes
0
answers
1k
views
Class function counting solutions of equation in finite group: when is it a virtual character?
Let $w=w(x_1,\dots,x_n)$ be a word in a free group of rank $n$. Let $G$ be a finite group. Then we may define a class function $f=f_w$ of $G$ by
$$ f_w(g) = |\{ (x_1,\dots, x_n)\in G^n\mid w(x_1,\dots,...
- 6,919
37
votes
0
answers
1k
views
Is this generalized character always a character?
Let $G$ be a finite group, and $p$ be a prime. Then there is a generalized character $\Psi$ of $G$ which takes value $0$ on all elements of order divisible by $p$, and has $\Psi(y)$ equal to the ...
- 44.4k
21
votes
0
answers
473
views
Is there a "direct" proof of the Galois symmetry on centre of group algebra?
Let $G$ be a finite group, and $n$ an integer coprime to $|G|$. Then we have the following map, which is clearly not a morphism of groups in general: $$g\mapsto g^n.$$
This induces a linear ...
- 1,949
8
votes
0
answers
190
views
Groups having exactly two non real-valued irreducible characters
This is an enlarged version of my question on MSE. It was suggested I ask here instead.
Suppose the finite group $G$ has exactly two conjugacy classes that are not self-inverse (a conjugacy class is ...
- 787
7
votes
0
answers
139
views
When is $\operatorname{Out}(G)$ isomorphic to the symmetries of the character table of $G$?
$\DeclareMathOperator\Out{Out}\DeclareMathOperator\CTS{CTS}$The outer automorphism group $\Out(G)$ of a finite group $G$ act on the character table by permuting columns (conjugacy classes) and rows (...
- 141
7
votes
0
answers
206
views
Rings that are $K_0$ of finite groups
Is there a simple characterisation of all rings which appear as $K_0$ of finite groups? By $K_0$ of a finite group $G$ I mean $K_0(\mathbb C[G])$ which in the same as a ring of virtual characters of ...
- 2,934
6
votes
0
answers
320
views
(CFSG-free) Finite simple groups whose character degrees square divide its order
Let $G$ be a finite group. It is well-known that for all irreducible complex character $\chi$ then $\deg(\chi)$ divides $\lvert G\rvert$. Motivated by some problems with modular tensor categories, we ...
5
votes
0
answers
351
views
Adjoint identity on finite nilpotent groups
Let $G$ be a finite nilpotent group. Consider the following (adjoint) identity from [BuPa, Theorem 9.6]:
$$\left(\prod_{\chi \in \mathrm{Irr}(G)} \frac{\chi}{\chi(1)} \right)^2 =\frac{|Z(G)|}{|G|}\...
5
votes
0
answers
991
views
Character table of a group determines the set of commutators of the group
We write $[x,y]$ for the commutator $x^{-1}y^{-1}xy$ of $x$ and $y$ in a group $G$.
(A) Let $g \in G$ and fix $x \in G$. Show that $g$ is conjugate to $[x,y]$ for some $y \in G$ iff
$$\sum_{\chi \...
- 428
4
votes
0
answers
98
views
Is there a cohomological interpretation of the bilinear form arising from Clifford theory?
For this question all groups are finite, and representations are over $\mathbb{C}$. The setup is that we have $N$ a normal subgroup of $G$, with abelian quotient $A$, and an irrep $V$ of $N$ that is ...
- 1,949
4
votes
0
answers
227
views
Orbits of group representation over $\mathbb{F}_2$
Recently I have been considering a problem that has had me venture into some mathematical territory that is new to me, specifically group representations, words, and character theory. I would ...
- 161
4
votes
0
answers
153
views
Characters, centralizers and cosets
I am trying to understand/count the number of solutions of a number of equations in finite groups and came across the following class function:
$$ \theta_\chi(x) = \sum_{y\in G} |C_G(xy)y \cap C_G(x)| ...
4
votes
0
answers
348
views
Interplay between two definitions of the transfer homomorphism.
The transfer homomorphism can be defined in a couple of ways. For the purposes of this question, assume that all groups are finite.
Defintion 1. Let $1\leqslant K'\leqslant L \leqslant K\leqslant G$ ...
- 1,173
3
votes
0
answers
172
views
Abelian characters and odd perfect numbers?
This question is about applications of abelian characters to odd perfect numbers:
Context and Definitions:
Let $n$ be a natural number and $D_n$ be the set of divisors.
We can make this set to a ring ...
- 3,064
3
votes
0
answers
102
views
Terminology for the "natural probability measure" on the set of irreducible characters of a finite group
To be specific: if $G$ is a finite group and $\operatorname{Irr}(G)$ the set of its irreducible characters (over the complex field) then we know that
$$
1 = \sum_{\phi \in {\rm Irr}(G)} \frac{(d_\phi)^...
- 25.8k
3
votes
0
answers
400
views
Character table of the symmetric group $S_n$ according to James
In James, "The representation theory of the symmetric groups" an algorithm is described to produce the character table of a symmetric group. The proof involves the equation (pp. 22,23)
$$\...
- 2,050
3
votes
0
answers
75
views
Expressing $\sum_{g\in [G/H]}ge_Hg^{-1}\in Z(\mathbb{C}[G])$ in terms of primitive central idempotents?
Suppose $G$ is a finite group, and $H$ a subgroup. For an irreducible character $\chi$ of $G$, there is a central idempotent in the group algebra $\mathbb{C}[G]$:
$$
e_\chi=\frac{\chi(1)}{|G|}\sum_{g\...
- 131
3
votes
0
answers
130
views
Does $G$ have a normal abelian Sylow $2$-subgroup?
Let $G$ be a finite group. Let $|G|=2^\alpha n$ where $(2,n)=1$ and $\alpha$ is a positive integer. Suppose that $\def\cd{\operatorname{cd}} n=\max \cd(G)$, and $n^2>\frac{1}{2}|G|$, where $\cd(G)$...
- 577
3
votes
0
answers
113
views
Length *vs* table of characters
Let $G$ be a finite group. Its length $\ell(G)$ is the length $n$ of any Jordan-Hölder filtration $1=G_n\subset\cdots\subset G_0=G$ ($G_i$ is normal in $G_{i-1}$ and $G_{i-1}/G_i$ is simple).
Can $\...
- 52.3k
2
votes
0
answers
220
views
Characters of alternating groups
I am studying certain properties of characters of alternating groups and I have found precisely three characters not satisfying it up to $A_{15}$. These are:
A character of dimension $3.696$ of $A_{...
- 370
2
votes
0
answers
124
views
Action of diagonal automorphisms on the set of irreducible characters of $D_n(q)$
Let $S$ be $D_n(q)$ where $q$ is a prime power. We know that a diagonal automorphism $\phi_h$ of $S$ is of the form $g\mapsto hgh^{-1}$, where $h\in \hat H$ and $\hat H$ normalizes $S$. Note that $\...
- 613
2
votes
0
answers
88
views
When does a finite group have a lower-dimensional representation than one of its quotients?
The minimal dimension of a nontrivial representation of a central extension of a group $G$ can be smaller than the minimal dimension of a nontrivial representation of $G$. What about non-central ...
- 21
2
votes
0
answers
219
views
The tallest possible lattice?
Let O be a complete discrete valuation ring and G a finite group. Recall that a finitely generated O-free OG-module $M$ such that the traces of the invertible endomorphisms of $M$ generate a strictly ...
- 298
1
vote
0
answers
179
views
Character extension about $Q_8$
Recently, I am studying the book Navarro - Character Theory and the McKay Conjecture. I am trying to solve the following exercise:
(Exercise 5.9)
Let $G$ be a finite group and $N\unlhd G$, suppose ...
- 195
1
vote
0
answers
103
views
Character degrees of a finite group?
Let $G$ be a finite group, $R(G)$ be the solvable radical of $G$, and $G/R(G)$ be an almost simple group with socle $S\cong PSL_2(3^p)$, where $p$ is an odd prime. Also let $[G/R(G):S]=p$ and $\theta$ ...
- 841
1
vote
0
answers
76
views
The degrees of ordinary characters of $PSp(2n,q)$ and $P\Omega O(2n+1,q)$
The finite simple groups $PSp(2n,q)$ and $P\Omega O(2n+1,q)$ have a same order, where $n\geqslant3$ and $q$ is odd.
What are the degrees of the ordinary characters of these two groups?
Thanks!!!
- 577
0
votes
0
answers
53
views
Counting the number of generating triples of various types in finite simple groups
I am trying to figure out how specific generating triples in finite simple groups are calculated. My understanding is that it uses Frobenius's formula and character theory. I'm not an expert on ...
- 29
0
votes
0
answers
112
views
Definition of "tame $p$-part of $\chi$"
At the beginning of Haruzo Hida's article "Big Galois representations and $p$-adic L functions", he has defined $$\chi_1= \textrm{the } N_0 \textrm{-part of} \chi \times \textrm{the tame } p\textrm{-...
- 337