# Tagged Questions

**7**

votes

**0**answers

229 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

**1**answer

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

**2**answers

239 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

**1**answer

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

**1**answer

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

**0**answers

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

**1**answer

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

**2**answers

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

**1**answer

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

**4**answers

358 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

**2**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**2**answers

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

**3**answers

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

**2**answers

279 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

**1**answer

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

**3**answers

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

**2**answers

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

**2**answers

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

**1**answer

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

**4**answers

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

**1**answer

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

**0**answers

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

**1**answer

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

**2**answers

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

**1**answer

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

**2**answers

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

**1**answer

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

**0**answers

186 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

**0**answers

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

**2**answers

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

**0**answers

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

**1**answer

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

**0**answers

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

**3**answers

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

**2**answers

577 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

**5**answers

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

**1**answer

276 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

**2**answers

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

**0**answers

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
ﬁnite group G. Then χ(1) divides |
clG(g)| for some element g ∈ G.
Here, of course, we ...

**1**

vote

**0**answers

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

**1**answer

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

**1**answer

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

**4**answers

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

**3**answers

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

**3**answers

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

**0**answers

325 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

**3**answers

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 ...