7
votes
0answers
227 views

Connection between two theorems on character values?

In a recent arXiv preprint here, Dipendra Prasad has revisited a 1976 theorem of Kostant (Theorem 2 in the paper On Macdonald's $\eta$-function formula, the Laplacian and generalized exponents, ...
5
votes
1answer
204 views

In which fixed-point free representations is the sum of every 3 elements invertible?

A representation $\rho:G\to GL_k(\mathbb{F})$ is called fixed-point free if for every $1\neq g\in G$ and every $0\neq v\in \mathbb{F}^k$, $\rho(g)v\neq v$. Stated differently, it is a representation ...
4
votes
2answers
238 views

Real representation of group of odd order

Let $G$ be a finite group of odd order. Suppose that $G$ has a real 4-dimensional faithful representation. Is it true that $G$ should be abelian in this case?
1
vote
1answer
179 views

On the character degrees of a finite group with special structure

Let $G$ be a finite group such that $G$ has a normal subgroup $N$ of order $p(p^2+1)/2$, where $p>13$ is an odd prime and $p\ne 239$. Also $G/N\cong \text{PSL}(2,p)$. Can we say that there exists a ...
2
votes
1answer
201 views

In which finite groups is there a non-central g such that, for all irreducible characters, Chi(i)(g) <> zero?

What is the character of Pi(G), the tensor product of all inequivalent irreducible representations of G?
2
votes
0answers
190 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 ...
4
votes
1answer
150 views

To whom is the internal characterization of $Q$-groups due?

A group is said to be a $Q$-group if the character of any complex representation is rational valued. A well-known internal characterization of $Q$-groups is the following: $G$ is a $Q$-group if ...
5
votes
2answers
321 views

Decomposing the conjugacy representation of Sym$(n)$ for small $n$

I am trying to compute the decomposition of the conjugacy representation of some small symmetric groups. Perhaps someone has undertaken a similar calculation. My own calculations are quite slow, ...
16
votes
1answer
513 views

Examples of finite groups with “good” bijection(s) between conjugacy classes and irreducible representations?

For symmetric group conjugacy classes and irreducible representation both are parametrized by Young diagramms, so there is a kind of "good" bijection between the two sets. For general finite groups ...
4
votes
4answers
356 views

Structure of the adjoint representation of a (finite) group (Hopf algebra) ?

Every group acts on itself by conjugation $h \mapsto g h g^{-1}$. Respectively considering functions on a group we obtain a linear representation. Question 1: what is known about this representation ...
5
votes
2answers
247 views

Decomposing representations of GL(n,F_q) induced from certain kinds of parabolics

The answer to the question below is almost certainly known to the representation theorists; in fact, I'm pretty sure it can be extracted from Green's paper "The characters of the finite general linear ...
1
vote
1answer
101 views

Specht polynomials for dihedral groups

The representation theory of the symmetric group is best understood via the Specht polynomials. In wonder how this works for other finite reflection groups, such as dihedral groups. Are the similarly ...
5
votes
1answer
135 views

Pro-$l$ Sylow action in a primitive representation of inertia over $\overline{\mathbb{F}}_l$

Let $K$ be a nonarchimedean local field of residue characteristic $p \neq l$ and let $I_K$ be the inertia subgroup of its absolute Galois group. Let $V$ an irreducible representation of $I_K$ over ...
2
votes
1answer
158 views

a question about the semidihedral group?

My question is simple: If a group $G$ has the same character table with the semidihedral group $SD_{2n}$, are $G$ and $SD_{2n}$ isomorphic ?
0
votes
2answers
138 views

Decomposition of $G$-harmonic polynomials

Let $G$ be a finite group and let $H_G$ denote the $G$-harmonic polynomials. What is the structure of $H_G$ as a $G$-module? Is it isomorphic to the regular representation?
11
votes
3answers
539 views

Dimensions and number of complex irreducible representations for SL3(Z/pZ)

This is my first post here :) I have the following two related questions. While looking in Conway's ATLAS (the 1985 one) for $SL_3(Z/pZ)$, where he does the cases $p=2,3,5,7$, I saw that the ...
9
votes
2answers
276 views

Extension of the Weyl dimension formula

Let $G$ be a compact semisimple group and let $\Gamma$ be a finite subgroup of $G$. I am interested, for $(\pi,V)\in \widehat G$ (irred rep of $G$), in a formula for $\mathrm{dim} V^\Gamma$, the ...
2
votes
1answer
185 views

An upper bound for the maximal subgroups at fixed index?

Let us call a subgroup an injective homomorphism between groups. I warn the reader that a subgroup designates here an inclusion $(H \subset G)$, not $H$ alone. A subgroup $H \subset G$ is ...
10
votes
3answers
1k views

Is there a purely group-theoretic reformulation of an equivalence of subgroups?

There is an equivalence relation between inclusion of finite groups coming from the world of subfactors: Definition: $(H_{1} \subset G_{1}) \sim(H_{2} \subset G_{2})$ if $(R^{G_{1}} \subset ...
5
votes
2answers
198 views

Principal series of finite group of Lie type

I have a naive question on complex representations of finite groups of Lie type. Let $\bf G$ be a reductive group (say connected, with connected center, for safety) defined over a finite field ...
7
votes
2answers
314 views

Good effective versions of theorems of Artin and Brauer

The theorem of Artin and Brauer of the title are the famous theorem in the theory of representation of finite groups. For example, Artin's theorem is the statement that for every character $\chi$ of ...
3
votes
1answer
335 views

Special automorphisms of extraspecial groups

Let $G$ be an extraspecial group of order $p^{2r+1}$ (where $p$ is an odd prime), and let $V$ be a faithful representation of $G$. Consider the normal subgroup $H$ of $Aut(G)$ consisting of all ...
4
votes
4answers
508 views

A catalog of faithful representations of finite groups?

I want a reference that catalogs the smallest-dimensional faithful representation of every noteworthy finite group. Specifically, I want representations on $\mathbb{R}^n$ and $\mathbb{C}^n$. Where ...
4
votes
1answer
230 views

Finite Unipotent Groups: References

It will be a great pleasure for me if one can suggest "Survey Articles" on following topics related to the finite unipotent group $U(n,\mathbb{F}_q)$. (Thanks in advance!!!) 1) The number of ...
1
vote
0answers
141 views

How many subgroups of order $\prod_{1}^{n} p_{i}^{n_{i}}$ are there in the finite product of cyclic groups?

All of the following ${p_{i},q_{i}}$are prime numbers, ${n,m,k}$ are pre-assigned integers. Consider the product of cyclic groups $\prod_{1}^{n} \mathbb Z_{p_{i}^{n_{i}}}$ then we asked the question: ...
1
vote
1answer
217 views

Char $p$ representations of $SL_2(\mathbb{F}_p)$ and $GL_2(\mathbb{F}_p)$

It is a well known fact that the irreducible representations of $SL_2(\mathbb{F}_p)$ over $\overline{\mathbb{F_p}}$ are given by the symmetric powers $Symm^k(V)$, where $V = ...
6
votes
2answers
331 views

Character table entries and sums of roots of unity

It is well-known that the entries of the character table of a finite group are sums of roots of unity. Question: Is the converse true? Explicitly, given $z\in \mathbb{Z}[\mu_\infty]$, can I find a ...
6
votes
1answer
192 views

Decomposition of $\mathrm{End}(V)$ as $S_n\times S_n$-module

Let $V$ be a finite-dimensional, complex vector space and set $\newcommand{\Gl}{\mathrm{Gl}}G:=\Gl(V)\times\Gl(V)$. Let $E:=\mathrm{End}(V)$ and consider its coordinate ring $\mathbb C[E]$, the space ...
8
votes
2answers
332 views

Decomposition of induced representations / Refinement of Mackey's criterion

There are already some questions with almost the same title, but they are more restrictive. Let $G$ be a finite group, $H$ a subgroup, $V$ an irreducible representation of $H$, and $W=Ind_H^G V$ the ...
20
votes
1answer
731 views

Richness of the subgroup structure of p-groups

Given a prime $p$ and $n \in \mathbb{N}$, let $f_p(n)$ be the smallest number such that there is a group of order $p^{f_p(n)}$ which all groups of order $p^n$ embed into. What is the asymptotic growth ...
6
votes
0answers
185 views

Intersections of anisotropic tori with split Levi subgroups

Let G be a connected reductive group defined and split over a finite field k with Frobenius morphism F. Let T be an F-stable minisotropic maximal torus. Let P be an F-stable proper parabolic ...
4
votes
0answers
129 views

What is known about 2-modular representations of Ree groups of type $F_4$?

A too-vaguely worded question posted today about Suzuki and Ree groups reminds me to revisit a concern I never followed up years ago when assembling information about modular representations of finite ...
12
votes
2answers
587 views

Wedderburn's theorem for $\mathbb{Q}G$

Let $G$ be a finite group and let $\mathbb{Q}G=M_{n_1}(D_1)\times\cdots\times M_{n_k}(D_k)$ be the decomposition of $\mathbb{Q}G$ as a product of rings of matrices over divisions rings. Let $Z_i$ be ...
1
vote
0answers
121 views

Dimension of faithful irreducible representations of $\mathbb{Z}_q\rtimes \mathbb{Z}_{p^2}$ in characteristic p,q

Let $p,q$ be primes s.t. $q=np+1$. Denote $m=p^2$. Then $\mathbb{Z}_p$ acts non-trivially on $\mathbb{Z}_q$, so we have a non-abelian semi-direct product $\mathbb{Z}_q\rtimes \mathbb{Z}_m$, with the ...
16
votes
1answer
908 views

Order of products of elements in symmetric groups

Let $n \in \mathbb{N}$. Is it true that for any $a, b, c \in \mathbb{N}$ satisfying $1 < a, b, c \leq n-2$ the symmetric group ${\rm S}_n$ has elements of order $a$ and $b$ whose product has order ...
3
votes
0answers
232 views

How do I determine the smallest dimension of an irreducible $\mathbb{F}_p[G]$-module with a prescribed trivial fixed point space?

This is a crosspost from MSE since I haven't found an answer there yet. I am not very familiar with modular representation theory or Brauer theory yet, however lately I have needed to use ...
8
votes
3answers
1k views

Algorithm to check is representation irreducible ? Algorithm to decompose the reducible one ?

Question 1 Given a representation of a finite group, what algorithm can be used to check is it irreducible or not ? (Main case - complex numbers, comments on other cases are also welcome. "Given" ...
7
votes
2answers
576 views

How to compute all irreducible representations of a finite group ? (how GAP is doing this?)

Let us "take" a finite group G. Here "take" I mean any type of group-theoretic description you prefer: e.g. as an explicit subset of GL (or other group) or Cayley table, whatever. Question: How ...
4
votes
5answers
602 views

Product of conjugacy classes - is there an analog of Tanaka-Krein reconstruction ?

Consider a finite group G. The product of conjugacy classes can be defined in natural way just by multiplying the representatives and counting multiplicities (see e.g. MO 62088). So we get ring with ...
3
votes
1answer
275 views

Character theory of $2$-Frobenius groups.

This is a crosspost of my (slightly longer) question on MSE since I'm not getting any responses there. Definition. Let $G$ be a finite group and $F_1=\text{Fit}\,G$ and ...
2
votes
2answers
279 views

If all real conjugacy classes are strongly real, then all real irreps are “strongly real”(symmetric), true ?

Question Is true that if all real conjugacy classes of a finite group are strongly real, then all its real irreducible representations (irreps) are "strongly real"(symmetric) ? And vice verse ? ...
7
votes
0answers
214 views

Why would dim primitive irrep divide size of some conjugacy class ?

From Isaacs et.al. 2005 Conjecture C. Let χ be a primitive irreducible character of an arbitrary finite group G. Then χ(1) divides | clG(g)| for some element g ∈ G. Here, of course, we ...
1
vote
0answers
127 views

What are natural automorphisms of set of subsets ? How to “constructify” Andreas Blass theorem on sets M,N with G action such that C[M] = C[N] as G modules ?

Consider vector space V over finite field $F_q$ and $V^ * $ its dual space. Denote $P(V), P(V^ * )$ the sets of ALL subsets in $V$ and $V^*$. Question How to construct GL_n(F_q) equivariant ...
15
votes
1answer
624 views

Number of 2-dimensional irreducible representations of a finite group ?

Question: What is the number of two-dimensional irreducible representations of a finite group ? How it can be expressed in groups-theoretic terms ? (Number of 1-dimensional irreps is |G/[G,G]| ). ...
1
vote
1answer
202 views

sum_g g^k, Frobenius-Schur indicators, S_n-invariants in freeAss(x_i), center of the group algebra

For any $k$ sums $T_k = 1/|G|\sum_{g\in G} g^k$ belong to the center of the group algebra, for finite group G. For $k=2$ they "are" (up to details and interpretation) Frobenius-Schur indicators. For ...
3
votes
4answers
231 views

Sets M,N with G action such that C[M] = C[N] as G modules, how are they related ?

Consider two sets M, N such that C[M] is isomorphic to C[N] as representations of G, somewhat surprisingly it does not imply M, N are isomorphic as G sets. (Everything is finite.) However it does ...
6
votes
3answers
473 views

Center and representations of finite group - how are related ?

If finite group G has a center how does it influence the representations of this group ? And vice versa - can we see somehow the center (or some of its properties) from representations (from ...
3
votes
3answers
444 views

Representation theory of p-groups in particular upper tringular matrices over F_p

Finite p-groups - have p^n elements by definition. According to WP there is rich structure theory. Question: How far is representation theory of p-groups is understood? In case this question is too ...
20
votes
0answers
324 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 ...
12
votes
3answers
1k views

Finite groups such that every irrep can be induced from trivial irrep of a subgroup ?

What are examples (general features) of the finite groups $G$, such that every irrep (irreducible representation) is contained (as constituent) in the representation induced from trivial ...