Skip to main content

All Questions

Filter by
Sorted by
Tagged with
44 votes
10 answers
11k views

The finite subgroups of SL(2,C)

Books can be written about the finite subgroups of $\mathrm{SL}(2,\mathbb C)$ (and their immediate family, like the polyhedral groups...) I am about to start writing notes for a short course about ...
Mariano Suárez-Álvarez's user avatar
35 votes
6 answers
5k views

Character-free proof that Frobenius kernel is a normal subgroup?

The question is in the title, but here is some background/reminders: A subgroup $H\neq\{1\}$ of a finite group $G$ is called a Frobenius complement if $H\cap H^g = \{1\}$ for all $g\in G\backslash H$....
Alex B.'s user avatar
  • 13k
21 votes
2 answers
2k views

A new combinatorial property for the character table of a finite group?

Let $G$ be a finite group and $\Lambda = (\lambda_{i,j})$ its character table with $\lambda_{i,1}$ the degree of the ith character. Consider the following combinatorial property of $\Lambda$: for ...
Sebastien Palcoux's user avatar
17 votes
5 answers
3k views

Reference for this theorem in representation theory?

Let $G$ be a finite group and $\chi$ be an irreducible character of $G$ (characteristic zero algebraically closed base field). If $H$ is the kernel of $\chi$ then the irreducible representations of $G/...
Sebastian Burciu's user avatar
16 votes
3 answers
1k views

Reference for representation theory of SL_2(Z/n)

There are many references for the representation theory (say over $\mathbf C$) of $\operatorname{SL}_2(\mathbf{F}_q)$ and $\operatorname{GL}_2(\mathbf{F}_q)$, for instance lecture 5 in Fulton--Harris &...
Dan Petersen's user avatar
  • 40.2k
16 votes
2 answers
992 views

Maximal number of maximal subgroups

Let $G$ be a finite group. I want to find an upper bound on the number of the maximal subgroups. My questions is does it possible to prove that the number of maximal subgroups of any finite group $G$ ...
Klim Efremenko's user avatar
13 votes
3 answers
1k views

Characterization of Frobenius complements

I have learned that Frobenius complements are characterized (among finite groups) by having a fixed point free complex representation. That is, a finite group $G$ is a Frobenius complement if and only ...
Joonas Ilmavirta's user avatar
12 votes
2 answers
926 views

Finite groups with integral character table

The character table of a finite group will be called integral if all its entries are integers. There are $11$ such groups up to order $16$, namely $C_1$, $C_2$, $C_2^2$, $S_3$, $D_8$, $Q_8$, $C_2^3$, $...
Sebastien Palcoux's user avatar
11 votes
4 answers
2k views

Textbook source for finite group properties deducible from character table?

Various questions have been posted on MO (some answered, some not) involving the character table of a finite group $G$ over a splitting field such as $\mathbb{C}$ of characteristic 0. My basic ...
Jim Humphreys's user avatar
11 votes
1 answer
688 views

Unitary representations of finite groups over finite fields

I would like to learn the basic theory of unitary representations of finite groups over finite fields. Here, the unitary group $\operatorname{GU}(n,\mathbb{F}_{q^2})$ consists of all invertible ...
Joey Iverson's user avatar
10 votes
7 answers
2k views

Representations of products of symmetric groups

I'm writing a paper and want to cite some references to efficiently prove that over any field $k$ of characteristic zero, every irreducible representation of a product of symmetric groups, say $$ S_{...
John Baez's user avatar
  • 22.3k
10 votes
1 answer
257 views

Low dimensional representations of $SL_n(\mathbb{Z}/p^\ell \mathbb{Z})$

When $\ell = 1$ I know that the smallest non-trivial irreducible complex representations of $SL_n(\mathbb{Z}/p\mathbb{Z})$ has dimension $\frac{p^n - 1}{p-1} - 1$ (with maybe some exceptions for ...
Nate's user avatar
  • 2,242
9 votes
5 answers
2k 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 ...
Dustin G. Mixon's user avatar
9 votes
2 answers
933 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 ...
Joël's user avatar
  • 26k
9 votes
2 answers
485 views

Reference for restriction of a simple module over a splitting field to a smaller field?

This is mainly a request for a straightforward reference (preferably at textbook level). The question comes up while responding to a question raised by non-specialists in finite group representations....
Jim Humphreys's user avatar
8 votes
2 answers
576 views

Two statistics on the permutation group

Let $\mathfrak{S}_n$ be the permutation group on an $n$-element set. For each fixed $k\in\mathbb{N}$, consider the two sets $$A_n(k)=\{\sigma\in\mathfrak{S}_n\vert\,\, \text{$\exists i,\,\, 1\leq i\...
T. Amdeberhan's user avatar
8 votes
2 answers
617 views

Reference request: Models of cuspidal representations of GL(n,k) where k is a finite field

Let $k=\mathbb{F}_q$ where $q$ is a prime power of odd cardinality. Where could I find explicit models of all irreducible cuspidal (complex) representations of $GL_n(k)$ for $n\ge 3$? I understand ...
Q-Zh's user avatar
  • 960
8 votes
1 answer
446 views

Radical of $F_p[SL(2,p)]$

Let $G=SL(2,p)$. Does anyone know what is the radical of the group algebra $F_p[G]$? Does there exists any book/paper where it is calculated? By radical here I mean maximal ideal I of $F_p[G]$ such ...
Klim Efremenko's user avatar
8 votes
1 answer
1k views

Character table for the affine group of Z/p^nZ

Initial caveat: the following question could probably be answered by Google, MathSciNet or my library, if I could find the right search terms or book... but I've not had any luck today, so I hope ...
Yemon Choi's user avatar
  • 25.8k
8 votes
1 answer
400 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 ...
Jesko Hüttenhain's user avatar
7 votes
3 answers
1k views

the character tables of irreducible representations of $SL(3,Z_q)$

The following paper gives a classification of the character tables of irreducible representations of $SL(3,GF(q))$ where $q$ is a power of a prime number, and $ GF(q)$ a finite field of $q$ elements. ...
Xiao-Gang Wen's user avatar
7 votes
2 answers
780 views

Finite groups with a character having very few nonzero values?

A number theorist I know (who studies Galois representations) raised a question recently: Which finite groups can have an irreducible character of degree at least 2 having only $n=2, 3$, or 4 ...
Jim Humphreys's user avatar
6 votes
1 answer
366 views

Group of order $5p^aq^b$

In Lectures by Dan Bump on Modular representation theory, Theorem 13.14 states that whenever $G$ is a non-abelian simple group of order $|G|=p^aq^br$ for distinct primes $p$,$q$, and $r$, every $r$-...
FunctionOfX's user avatar
6 votes
2 answers
856 views

Algorithm for Brauer lifting via Brauer tree?

Background: Given a finite group $G$ and a prime $p$ dividing its order, Brauer theory compares the ordinary characters of $G$ with the Brauer characters arising from $p$-modular representations. On ...
Jim Humphreys's user avatar
6 votes
1 answer
596 views

What is the name for a finite-group representation that is the sum of all the irreducibles (once)?

I vaguely remember seeing a paper studying the concept of a totally multiplicity-one representation of a finite group, which concept, I recall, had a particular name, which I forget. What is this ...
Ryan Reich's user avatar
  • 7,273
6 votes
1 answer
250 views

Concrete example to illustrate the theory about blocks of groups with cyclic defect groups

I'd like to to have a concrete example to illustrate the theory about blocks of groups with cyclic defect groups. Thus, I am looking for a finite group $G$ and a prime $p$ dividing $|G|$ satisfying ...
Bernhard Boehmler's user avatar
6 votes
1 answer
476 views

Structure of Deligne-Lusztig representations $R_{T,\theta}$ for ministropic $T$ and cuspidal representations

Let $G$ be a reductive group over a finite field $k$, let $F$ be a Frobenius morphism on $G$. I'll start with a somewhat vague question and make my question more specific further down: How do ...
John Binder's user avatar
  • 1,453
6 votes
1 answer
217 views

Number of irreducible representations of $SO_3(\mathfrak{o}/\mathfrak{p}^l)$

$\DeclareMathOperator\SO{SO}$Let $F$ be a finite extension of $\mathbb{Q}_p$, and let $\mathfrak{o}$ denote the ring of integers, with maximal ideal $\mathfrak{p}$. Let $G_l$ denote the finite group $\...
nikola karabatic's user avatar
6 votes
2 answers
2k views

Alternative or reprint of Carter's "Finite Groups of Lie Type: Conjugacy Classes and Complex Characters"

I would like to learn about character theory of finite groups of Lie type and some Deligne-Lusztig theory. The classic textbook on the subject seems to be Roger W. Carter's Finite Groups of Lie Type: ...
Gro-Tsen's user avatar
  • 32.5k
6 votes
0 answers
122 views

Schur indices for 2-groups

I am looking for any results on Schur indices over $\mathbb{Q}$ for 2-groups. By a theorem of Roquette (corollary 10.14 in Isaacs) these numbers are at most 2. I am interested in 2-groups for which ...
John McHugh's user avatar
5 votes
1 answer
216 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 and ...
Amritanshu Prasad's user avatar
5 votes
2 answers
346 views

Reference request: A theorem by S. Garrison

A theorem by S. Garrison states that if $G$ is a finite solvable group and $|cd(G)| = 4$ then $dl(G)\leq |cd(G)|$ (the Taketa inequality, which is conjectured to hold for all finite solvable groups). ...
Tobias Kildetoft's user avatar
5 votes
1 answer
152 views

How to find a finite splitting field $K$ for $G$ such that every indecomposable $KG$-module is absolutely indecomposable

Let $G$ be a finite group and let $k$ be a finite field with char$(k)=p$ such that $p\mid |G|$. If $k$ is a splitting field for $G$, then, no matter which splitting field we take, after extending ...
Bernhard Boehmler's user avatar
5 votes
1 answer
305 views

Schur covers of affine 2-transitive groups

I am interested in Schur covers of minimal 2-transitive groups. A theorem of Burnside gives that every finite 2-transitive group is either almost simple or affine. In the time since, these groups have ...
Dustin G. Mixon's user avatar
5 votes
1 answer
264 views

Group not leaving subset invariant

Let $Y,X$ be two sets of size n,m. Let $Y\subset X$. What is the maximal group(in size) $G< Sym(X)$ such that gY=Y imply that $g=1$? Here I mean that the only permutation which permutes elements of ...
Klim Efremenko's user avatar
4 votes
1 answer
273 views

Wedderburn decomposition of special linear groups

$\DeclareMathOperator\SL{SL}\newcommand\card[1]{\lvert#1\rvert}$I want to study about Wedderburn decomposition of group algebra $k\SL(n,\mathbb{F}_p)$ where $k$ is either an algebraically closed field ...
Infinity_hunter's user avatar
4 votes
1 answer
869 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!!!) The number of ...
Soluble's user avatar
  • 1,169
4 votes
1 answer
686 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 $F_2/F=\text{Fit}\left(G/...
Alexander Gruber's user avatar
4 votes
0 answers
180 views

Subgroups that conjugate-cover the ambient group

Let $G$ be a finite group, and suppose that a set of proper subgroups $H_1,\dotsc,H_n$ satisfy $G=\bigcup_{g\in G}\bigcup_{i=1}^nH_i^g$, where $H_i^g$ is the conjugate of $H_i$ by $g$. In this case, ...
Nicolas Banks's user avatar
4 votes
0 answers
218 views

Conjugacy class representatives for the automorphism group of a finite abelian group

Given a finite abelian group $A$, I'd like a list of conjugacy class representatives for its automorphism group ${\rm Aut}(A)$. In fact, it's not important that I have exactly one representative from ...
Matt Ollis's user avatar
3 votes
3 answers
356 views

Absolutely irreducible finite reflection/rotation groups

Suppose that $G$ is a finite irreducible reflection group with irreducible orthogonal representation $\rho: G\rightarrow \mathrm{O}(d)$, and let $\rho^+: G^+\rightarrow \mathrm{SO}(d)$ be its ...
Bob's user avatar
  • 439
3 votes
1 answer
814 views

Reference for Clifford theory of algebras

Clifford theory relates the representation theory of a group to that of a normal subgroup. A good reference for this is Curtis and Reiner's "Methods in Representation theory II", Theorem 11.1. ...
Chris Bowman's user avatar
  • 1,413
3 votes
1 answer
305 views

What corresponds to the operation of taking traces in of the Fourier transformation on a finite group?

I have a question about the Fourier transfomation on a finite non-comutative group. I hope that it is a known fact in the Representation Theory but I cannot find it written explicitly in textbooks. ...
Taras Banakh's user avatar
  • 41.9k
3 votes
0 answers
190 views

Efficient implementation of the Clifford group for $n$ qubits

I'm looking for an efficient implementation of the Clifford group $\mathcal{C}_n$ of $n$ qubits. The Clifford group $\mathcal{C}_n$ has stucture $(2_+^{1+2n} \circ C_8).Sp(2,n)$, where $2_+^{1+2n}$ ...
Martin Seysen's user avatar
3 votes
0 answers
102 views

Localized at $p$ integral representations of finite elementary $p$-groups

Let $C_p$ be a cyclic group of prime order $p$. Let $F=C_p^n=C_p\times\dots\times C_p$ ($n$ times). I would like to to classify finite dimensional representations of $F$ over ${\mathbb{Z}}$. However, ...
Mikhail Borovoi's user avatar
3 votes
0 answers
282 views

Galois correspondence subgroups/subsystems

In this paper (1998) by M. Izumi, R. Longo, S. Popa, there is the following result (page 49) on compact groups: Lemma 3.16. Let $G$ be a compact group and $Rep(G)$ the category of finite ...
Sebastien Palcoux's user avatar
3 votes
0 answers
209 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 ...
Jim Humphreys's user avatar
3 votes
0 answers
264 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 $\mathbb{F}...
Alexander Gruber's user avatar
2 votes
2 answers
267 views

Irreducible representations of $G_4 = \langle a,b \mid a^{16}, b^{2}, baba^{-7}\rangle$ and other Semidihedral groups

I would like to know the irreducible representations of the group $G_4 = \langle a,b \mid a^{16}, b^2, baba^{-7}\rangle$ and its character table. More than that, I would like to know the irreducible ...
Kelyane Abreu's user avatar
2 votes
2 answers
535 views

Is anything known about the eigenspectrum of the regular representation of the permutation group?

I am looking for information like upper bounds on how many times any eigenvalue can occur or something like how many eigenvalues can be there in some given range. Is anything like this known? The ...
user6818's user avatar
  • 1,893