All Questions
130 questions
2
votes
0
answers
168
views
Centralizer of PSL in PGL and of SL in GL: reference request
$\DeclareMathOperator\GL{GL}\DeclareMathOperator\SL{SL}\DeclareMathOperator\PGL{PGL}\DeclareMathOperator\PSL{PSL}$Consider the general linear group $\GL(n,q)$ over a finite field with $q$ elements and ...
- 44.4k
1
vote
0
answers
172
views
Isomorphism classes of finite $\mathbb{N}$-groups
Where can I find resources on isomorphism classes of finite $\mathbb{N}$-groups, i.e. groups acted on by the monoid $(\mathbb{N}, +)$?
I edited this question to be more focused on what I'm interested ...
- 63.9k
2
votes
1
answer
111
views
Structure of elements of a finite group not contained in any conjugate of a proper subgroup
Let $G$ be a finite group and $H$ be a proper subgroup of $G$. It is elementary to prove that the union of all conjugates of $H$ under $G$,
$$U:=\bigcup_{\sigma\in G}\sigma^{-1}H\sigma,$$
is properly ...
- 37.4k
12
votes
4
answers
2k
views
Efficient presentations for finite groups
A finitely presented group which has more generators than relations has an infinite abelianization and so is an infinite group. Therefore, for a finite group, all presentations must have at least as ...
- 4,713
4
votes
0
answers
107
views
Complex reflection groups: reference request
Suppose that $V$ is a finite-dimensional complex vector space, that $m\ge 2$ is an integer and that $G\subset \operatorname{GL}(V)$ is a finite subgroup such that $V$ is an irreducible ${\mathbb{C}}[G]...
- 63.9k
7
votes
0
answers
405
views
How can I get my hands on McKay's "Finite p-groups" lecture notes?
How can we find Susan McKay's "Finite $p$-groups" lecture notes?
The notes I'm talking about are these.
I emailed Peter Cameron, but he has since moved to a different university, and has no ...
- 63.9k
6
votes
0
answers
121
views
Sylow subgroups of the restricted Burnside group $\mathrm{RB}(d,n)$?
$\DeclareMathOperator\RB{RB}$What is known about the Sylow subgroups of the restricted Burnside groups $\RB(d,n)$ ?
I am looking for a reference.
In fact my question is slightly more general. Recall ...
- 63.9k
5
votes
1
answer
365
views
Number of $k$-tuples of elements generating a cyclic group
Let $k$, $m$ be natural numbers, and $C_m:=\mathbb{Z}/ m \mathbb{Z}$ be the cyclic group of order $m$.
Let $N_{k, \, m}$ be the cardinality of the following set: $$\{(a_1, \ldots, a_k) \in (C_m)^k \; ...
- 12.9k
1
vote
0
answers
110
views
Character table of $\mathrm{P\Gamma L}_2(q)$ with $q$ even
Let $q = 2^f$ for some integer $f\geqslant 3$. The character table of $\mathrm{SL}_2(q)\cong\mathrm{PSL}_2(q)$ can be deduced from the character table of $\mathrm{GL}_2(q)$ (see, for example, Exercise ...
- 379
17
votes
1
answer
1k
views
Explicit character tables of non-existent finite simple groups
In connection with the historical development of the classification of finite simple groups, I am interested in a particular aspect that seems to be less well-documented than the main narrative of ...
2
votes
2
answers
419
views
Where can I find a table of the exponents of the sporadic groups?
Is there a table showing Sporadic Groups and their exponents, and, perhaps, other basic properties.
In particular, I'm interested in what the exponent of the Monster Group is. (Obviously the order is ...
- 35.2k
5
votes
1
answer
342
views
Product of all conjugacy classes
Related to this post of my coauthor Sebastien, I should also mention that one can also prove the following dual result:
For any finite group G, the following identity holds:
$$
\left(\prod_{j=0}^m \...
- 887
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|}\...
10
votes
2
answers
815
views
Paper by I. N. Sanov, Solution of the Burnside problem for exponent 4
I have searched extensively online and for copies of printed journals containing the paper which details Sanov's solution to the Burnside Problem for exponent 4, which is widely cited in many papers ...
- 1,050
6
votes
1
answer
556
views
If G is an almost simple group, then Aut(G) is complete?
If G is an almost simple group, then Aut(G) is complete?
Apologies - I meant to post this on Stack Exchange
Just wondering if anyone has a reference to the above - it's quoted on Wikipedia (so ...
- 37.4k
10
votes
2
answers
914
views
Finite subgroups of $\mathrm{SO}(n)$ and $\mathrm{O}(n)$
Question 1:Is there a reference that lists all possible finite subgroups and their orders of $\mathrm{SO}(n)$ and $\mathrm{O}(n)$ for $n=4$ or even higher $n$ over the real numbers?
I can only find ...
- 6,919
2
votes
0
answers
408
views
Conceptual proof of fundamental theorem of finite abelian groups
I'm looking for a conceptual proof of the following statement:
Lemma: Let $G$ be a finite abelian $p$-group. Let $a$ be an element of maximal order. Then $G=\langle a \rangle \times H$ for some ...
- 869
1
vote
0
answers
72
views
Bottleneck edge in lattice of subgroups
Let $G$ be a finite group. Define the bottleneck weight of a chain of subgroups $$\operatorname{id}=H_0 < H_1 < \ldots < H_n = G$$ to be the maximum value over the indices $[H_{i+1} : H_i]$ ...
- 63.9k
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$....
- 63.9k
6
votes
1
answer
621
views
On classifying groups of order $p^5$
Can someone suggest me some source where the author has classified all non-isomorphic groups of order $p^5$ ? I need complete classification (not upto isoclinism), and also in finitely presented form ....
- 12.9k
4
votes
1
answer
274
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 ...
- 13k
8
votes
1
answer
319
views
"Novelty" maximal subgroups in $S_n$
What are the maximal subgroups $M < S_n$ such that $M \cap A_n$ is not maximal in $A_n$?
Maximal subgroups of $S_n$ are described by the O'Nan-Scott theorem and very extensively studied in many ...
- 37.4k
11
votes
3
answers
826
views
Finite groups with few conjugacy classes of maximal subgroups
Let $c$ be a positive integer, $G$ a finite group with at most $c$ conjugacy classes of maximal subgroup. What can we say about $G$?
Same question, but this time $G$ is a finite group with at most $c$...
- 44.4k
3
votes
1
answer
696
views
Unique factorization of finite groups under direct sum?
I am told that finite groups have unique factorization under direct product. That is, call a nontrivial group "indivisible" if it is not isomorphic to a direct product of nontrivial groups. Then ...
- 1,446
1
vote
0
answers
124
views
Number of ways to write a group element as a product of generators
Let $G$ be a finite group generated by some finite set $S = \{g_1, g_2, ...\} \subseteq G$. Let $h \in G$ be some element. Let the function $c_n: G \rightarrow \mathbb{N}$ be defined that $c_n(h)$ is ...
- 111
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$, $...
- 44.4k
9
votes
2
answers
762
views
Solutions of $x^d=1$ in the symmetric group
L Moser and M Wyman, On solutions of $x^d = 1$ in symmetric groups, Canad. J. Math., 7 (1955), pages 159-168, explored asymptotic behavior of the cardinality of such permutations:
$$f_d(n):=\#\{\pi\in\...
- 105k
9
votes
1
answer
508
views
When is the augmentation ideal projective as RG-module?
Let $G$ be a finite group and let $R$ be a commutative ring.
I'd like to ask, if there is a theorem of the following kind:
The augmentation ideal $I_G$ is projective as RG-module, if and only if ... ?...
- 10.8k
9
votes
2
answers
701
views
Reference for embeddings of reflection groups (related to folding ADE Coxeter graphs)?
There are a couple of indirect methods, using Lie theory or Springer's general theory of regular elements in (real, complex) reflection groups, to construct natural embeddings among certain Weyl ...
- 63.9k
1
vote
0
answers
213
views
Is there any research on the action of a subgroup on the whole finite group by conjugation?
I want to know whether there are any research on the orbits of the action of a subgroup by conjugation on the whole group, when the group is finite. (Especially whole symmetric group.)
I'm especially ...
- 1,013
2
votes
0
answers
176
views
Sylow 2-subgroups of finite groups in which every subgroup of order 4 is cyclic
Let $G$ be a finite group. Assume that every subgroup of order 4 in $G$ is cyclic (as happens if $G$ is a cyclic group or a generalized quaternion group). It seems to me that it should follow that a ...
- 3,065
22
votes
2
answers
2k
views
Roadmap to learning the classification of finite simple groups
I want to learn the classification of finite simple groups. But it is often commented that it is a theorem spanning tens of thousands of pages of research papers. So it is quite intimidating to an ...
- 82.7k
17
votes
1
answer
575
views
Group cochains invariant under the action of the symmetric group
Let $G$ be a finite group and $A$ an abelian group. Recall the cochain groups
$$
C^k = \{f: G^k \to A\}
$$
and the coboundary map
$$
\delta : C^k \to C^{k+1}
$$
$$
(\delta f)(g_1, \ldots, ...
- 10.7k
5
votes
1
answer
396
views
Finite simple groups with three conjugacy classes of maximal local subgroups
$\DeclareMathOperator\PSL{PSL}$In [1] it was proved that
A finite nonsolvable group $G$ has three conjugacy classes of maximal subgroups if and only if $G/\Phi(G)$ is isomorphic to $\PSL(2,7)$ or $\...
- 44.4k
4
votes
1
answer
256
views
On $(2,3)$-generation of finite simple classical groups
A group $G$ is called $(a,b)$-generated if $G=\langle x,y\rangle$ for some $x,y\in G$ with $|x|=a$ and $|y|=b$.
I know some of the histories on this problem. For example, in this early paper in 1996 ...
- 379
3
votes
2
answers
211
views
Classification of finite simple groups with abelian Sylow 2-subgroups
In this MathSE question,
classification of finite simple groups with Abelian Sylow 2-subgroups,
credit is rightly given to John Walter. But in the introduction to his paper, Walter explicitly states ...
- 5,380
0
votes
0
answers
79
views
What do Sylow 2-subgroups look like for Schur covering groups of finite simple groups?
What do Sylow 2-subgroups look like for Schur covering groups of finite simple groups?
Are there any references in which we can find the stucture of Sylow 2-subgroups of Schur covering groups of ...
- 5,146
1
vote
0
answers
62
views
Reference request for finite simple exceptional group of lie type $E_7(q)$ and its Schur covering group $2.E_7(q)$?
Does anyone have the paper named 'Génerateurs, relations et revêtements de groupes algébriques' written by Robert Steinberg in 1962, or any other reference for simple groups of Lie type $E_7(q)$ and ...
- 63.9k
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 ...
- 63.9k
5
votes
3
answers
230
views
Maximal subgroups of odd index in $\mathrm{PSL}(3,q)$
Let $G = \mathrm{PSL}(3,q)$ for $q$ odd. I am trying to understand a question that involves understanding the subgroups that contain a Sylow $2$-subgroup, and in particular, are subgroups of odd index ...
- 37.4k
0
votes
0
answers
46
views
Generalizing CIT-groups to odd case
A CIT-group is a group such that the centralizer of any involution is a 2-subgroup. The structure of these groups is known from the works of Suzuki and others.
Here is my question: has the odd case ...
- 307
6
votes
1
answer
693
views
Finite subgroups of $GL(2,K)$ with $K\neq\mathbb{C}$
It is well known that the finite subgroups of $SL(2,\mathbb{C})$ up to conjugacy are the binary polyhedral groups (or Klein groups). There are two infinite families (cyclic groups and binary dihedral ...
- 11.2k
9
votes
1
answer
2k
views
Finite groups in which all proper subgroups are cyclic
Is there any classification of finite group in which all proper subgroups are cyclic?
Would you please tell me a reference?
- 2,618
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 ...
- 44.4k
4
votes
0
answers
174
views
Algebraic varieties associated to finite groups
Have the following equations been studied in the literature?
Let $G$ be a finite group.
Then I am looking for functions $f : G \rightarrow \mathbb{C}~ \backslash \left\lbrace 0 \right\rbrace $ such ...
- 4,746
30
votes
1
answer
592
views
Guess that group via product queries
Suppose someone (person B) knows a finite group $G$ of order $n$.
You (person A) know only the order $n$,
and that $1$ is the name of the identity element.
The group elements are named $1,2,\ldots,n$ ...
- 13.9k
10
votes
1
answer
381
views
About the paper by Buekenhout, Delandtsheer, Doyen, Kleidman, Liebeck and Saxl
The paper by Buekenhout, Delandtsheer, Doyen, Kleidman, Liebeck and Saxl called Linear spaces with flag transitive automorphism groups (Geom. Dedicata) from 1990 annonces a very powerful ...
- 47.3k
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 ...
- 44.4k
19
votes
0
answers
604
views
How is this group theoretic construct called?
Let $G$ be a finite group, $S\subset G$ a generating set, $|g| = |g|_S = $ word length with respect to $S$. Define the "defect" of $g,h$ to be
$$\psi(g,h) = |g|+|h|-|gh|$$
Then $\psi:G\times G \...
CommunityBot
- 1
5
votes
1
answer
316
views
Connected permutation groups and wreath product
Let $G$ and $H$ be subgroups of the symmetric groups $\mathfrak S_m$ and $\mathfrak S_n$. Assume that $n>1$ and that $H$ is a 'connected' permutation group, that is, there is no non-trivial $H$-...
- 37.4k