Use with the (group-theory) tag. The tag "finite-groups" refers to questions asked in the field of Group Theory which, in particular, focus on the groups of finite order.

learn more… | top users | synonyms

23
votes
0answers
620 views

Subgroups as isotropy subgroups and regular orbits on tuples

Is there some natural or character-theoretic description of the minimum value of d such that G has a regular orbit on Ωd, where G is a finite group acting faithfully on a set Ω? Motivation: In some ...
19
votes
0answers
384 views

A question about Sylow subgroups and $C_G(x)$

Let $G=PQ$ where $P$ and $Q$ are $p$- and $q$-Sylow subgroups of $G$ respectively. In addition, suppose that $P\unlhd G$, $Q\ntrianglelefteq G$, $C_G(P)=Z(G)$ and $C_G(Q)\neq Z(G)$, where $Z(G)$ is ...
14
votes
0answers
354 views

Show that in any group of order $23 \cdot 24$, the $23$-Sylow subgroup is normal.

Show that in any group of order $23 \cdot 24$, the $23$-Sylow subgroup is normal. Let $P_k$ denote the $k$-Sylow subgroup and let $n_3$ denote the number of conjugates of $P_k$. $n_2 \equiv 1 \...
11
votes
0answers
113 views

The order of subgroup generated by two distinct elements of order 2

$G$ is a group of order $2$6. If $x$ and $y$ are two distinct elements of order $2$, what could the order of $\langle x,y\rangle$ be? By lagranges theorem, $\langle x\rangle$ and $\langle y\rangle$ ...
11
votes
0answers
194 views

Variational formulations in group theory?

I apologise if this is a naïve question. Are there any known / widely applicable / important variational formulations in (finite) group theory? That is, a relationship of the form $$\alpha(G) = \sup\{\...
11
votes
0answers
116 views

Can we find a bound so that we can conclude $G$ is a $p$ group?

Let $n_p$ be number of the elements of order $p$ in a group $G$, My motivation is that if $n_2\ge\dfrac 34 |G|$ then $G$ is $2$ group. You can check it from this. Is there such general bound for $...
11
votes
0answers
584 views

Why is the Monster group the largest sporadic finite simple group?

I do know that there is a "long proof" (I have read that it is +1000pages) that the Monster group is the largest sporadic simple group. My question is: Why can we be sure that there is no other ...
11
votes
0answers
197 views

Subgroup structure of $\mathrm{SL}(2, p^2)$ and its irreducible characters

I am taking a course in representation theory of finite groups, and somehow I ended up getting assigned to write a report on subgroup structure and irreducible characters of $\mathrm{SL}(2,7)$ and $\...
11
votes
0answers
501 views

Character theory of $2$-Frobenius groups.

Edit Summary: I've posted this on MO and received a partial answer there. Can anybody help me expand on this? Definition. Let $G$ be a finite group and $F_1=\text{Fit}\,G$ and $F_2/F=\text{Fit}...
11
votes
0answers
169 views

Official name(s) for a certain type of p-group

I'm implementing a class of groups into Sage (sagemath.org), a computer algebra system, and I'm wondering if it has any official names. I found it in Gorenstein's "Finite Groups." It is there called $...
10
votes
0answers
162 views

How useful are geometric aspects when studying finite groups?

My newbie impression when studying finite group theory is that geometric aspects are not very prevalent. Cayley graphs play quite some role for visualising finite groups, but compared to the study of ...
10
votes
0answers
171 views

Central Quotients of Finite Groups

There are more than 50 groups of order 48, and among them 16 groups have center of order 2, let $G$ be among such groups. Then $G/Z(G)$ is a group of order 24. What is this group of order 24? There ...
10
votes
0answers
322 views

Induced representation, Ind(Res(U))

I am reading a book of Fulton and Harris "Representation theory, a first course". Now it's all about representation theory of finite groups, and there is one exercise, which I can't solve: If $U$ is ...
10
votes
0answers
203 views

Is there a classification of finite abelian group schemes?

There is a well-known classification of finite abelian groups into products of cyclic groups. What about finite abelian group schemes, where we may put in the qualifiers "affine", "etale", or "...
9
votes
0answers
81 views

Restricting irreps of $S_n$ to $D_n$ of order $2 n$

I would like to know how to restrict the irreps of the symmetric group $S_n$ to the dihedral group $D_n$ of order $2 n$. We know that $D_n < S_n$. Symmetric group $S_n$ Due to Hardy and Ramanujan ...
9
votes
0answers
174 views

The division algebras arising in the Wedderburn decomposition of a finite group modulo its radical in characteristic $p$

The following question is probably straightforward for those who know. However, I am used to working either over splitting fields or in characteristic zero. Question. Let $G$ be a finite ...
9
votes
0answers
76 views

Cover and avoidance properties of chief factors: can we avoid exactly the ones we want?

If $G$ is a finite solvable group with chief series $1 = G_0 \leq \ldots \leq G_n = G$ (so each $G_i \unlhd G$ and if $G_{i-1} < H < G_i$ then $H$ is not normal in $G$) and $I \subseteq \{ 1,\...
8
votes
0answers
50 views

Find the cardinality of a subset of $GL_n( \bf F_p)$

Let $m,n \in \bf N$.Let $\bf F_p$ denote the prime field of characteristic $p$.Consider the set $$ X_m = \{A \in GL_n( \bf F_p): A^m=1 \}$$ Compute the cardinality of $X_m$. Its clear that $\...
7
votes
0answers
69 views

$|G:H|=p^n$ means $O_p(H)\leq O_p(G)$?

Let $H\leq G$ (finite group) and $|G:H|=p^n$, ($p$ is a prime number) prove that: $$O_p(H)\leq O_p(G)$$ note: $O_p(G)$ defined as the intersection of all Sylow-$p$ groups in $G$ I try to prove $G_p\...
7
votes
0answers
206 views

Classify groups of order 171

This is a problem from Stanford Algebra Qualifying Exam, Fall 1998. I know the standard way is to use Sylow theorems and semidirect product. $171 = 9\cdot 19$. By Sylow theorems, $n_3|19$ and $n_3\...
7
votes
0answers
123 views

A connection between nonplanar complete graphs and the alternating group?

I went to an undergrad's senior honors thesis presentation a few days ago. She was discussing crossing numbers and mentioned that complete graphs $K_n$ are nonplanar iff $n \geq 5$. ?Coincidentally? $...
7
votes
0answers
66 views

Missing $\{2,p\}$-Hall subgroups in finite non-abelian simple groups

Can anybody tell me how to prove this theorem? Theorem: Suppose that $G$ is a finite non-abelian simple group. Then there exists an odd prime $p\in\pi(G)$ such that $G$ has no $\{2,p\}$-Hall ...
7
votes
0answers
117 views

Is almost any group generated by two generators?

What is the asymptotic probability that a randomly chosen finite group can be presented with 2 generators. More precisely, what is $$ \lim _{n \to \infty} \frac{\text{number of 2-generated groups of ...
7
votes
0answers
311 views

Examples of finite groups that are not a semidirect product

I'm looking for examples of (families of) finite groups that are not semidirect products. When first learning group theory, the first such group that one encounters is $Q_8$. In my search for other ...
7
votes
0answers
306 views

Historical Question about Schur-Zassenhaus Theorem

I couldn't find any historical information about Schur-Zassenhaus theorem in many books or even papers which mention this theorem. I think, Schur proved that if $G$ is a finite group and if $N$ is ...
7
votes
0answers
109 views

Clifford theory and induction

in the answer to this post there was the statement that a representation $\vartheta$ of a subgroup $\langle z\rangle$ can extend to a representation of the whole group $D_{2n}$. If I start the other ...
7
votes
0answers
99 views

Fixed points of coset operation

Let $G$ be a finite group which operates on two finite sets $E_1$ and $E_2$. Say that $E_1$ and $E_2$ are weakly $G$-isomorphic if for every $g \in G$, $\mathrm{Card}(E_1^g)=\mathrm{Card}(E_2^g)$, ...
7
votes
0answers
342 views

What groups are semidirect products of simple groups?

The question I want to ask is actually slightly broader than that in the title: what is the smallest class of finite groups which contains all finite simple groups groups, and is closed under ...
7
votes
0answers
384 views

Classifications of finite nilpotent groups

I would like to understand the concept of classification in the context finite groups. For finite abelian groups and finite simple groups, it's clear to me what is meant by classification. However, ...
6
votes
0answers
120 views

Is the group $G_{n,\phi} = \langle x_1 , \dots, x_n \mid x_i^2, (x_i x_j)^4, x_i x_{\phi(i)} x_{i+1} x_{\phi(i)} \rangle$ abelian?

I am working on a family of finitely presented groups and I asking me the following question. Let $\phi$ be an application from $\left\{1,\dots,n\right\}$ to $\left\{1,\dots,n\right\}$ (not necessary ...
6
votes
0answers
120 views

Groups whose quotients are cyclic

It is well known that a finite group whose all proper subgroups are cyclic is either cyclic or direct product of quaternion group with cyclic group of odd order (am I correct?) Question: What are the ...
6
votes
0answers
190 views

Proportion of nonabelian $2$-groups of a certain order whose exponent is $4$

Let $$\displaystyle A(n)=\frac{\text{number of nonabelian 2-groups of order $n$ whose exponent is }4}{\text{total number of nonabelian 2-groups of order $n$}}.$$ Using GAP, I could observe the ...
6
votes
0answers
81 views

Is $gnu(n)<n$ always true for cubefree $n>1$?

Let $gnu(n)$ be the number of groups of order $n$. If $n$ is cubefree, (there is no prime $p$ with $p^3|n$), does the inequality $gnu(n)<n$ always hold for $n>1$ ? According to GAP, upto $50,...
6
votes
0answers
173 views

$G$ be a finite group and $G'$ be its commutator subgroup and $\widehat G$ be the character group of $G$ ; then $G/G' \cong \widehat G$?

Let $G$ be a finite group and $G'$ be its commutator subgroup and $\widehat G$ be the character group of $G$ ; then is it true that $G/G' \cong \widehat G$ ? I am completely stuck , please help . ...
6
votes
0answers
90 views

Abelian groups whose automorphism group is a $p$ group

$\def\Aut{\operatorname{Aut}}$ Let $G$ be a finite abelian group such that $\Aut(G)$ is an $p$ group ,that is, $|\Aut(G)|=p^n$ . Then can we determine the cyclic decomposition of $G$ or at least the ...
6
votes
0answers
64 views

Reference request: groups of order $p^4$.

I am looking for a textbook or a paper which include the classification of groups of order $p^4$ ($p$ is prime) using generators and relations. In particular I like to understand which group $G$ "...
6
votes
0answers
197 views

$(\mathbb{Z}/p^r\mathbb{Z})^{\ast}$ is a cyclic group

I would like to prove that the group $(\mathbb{Z}/p^r\mathbb{Z})^{\ast}$ of the invertible elements of $\mathbb{Z}/p^r\mathbb{Z}$ with $p>2$ prime and $r>0$ is cyclic. My text suggests to ...
6
votes
0answers
814 views

Discrete subgroups of SU(n) and SO(n).

Thank you very much for your concern. I am in physics background, any simpler but complete explanation would be helpful. I would like to know whether there is a complete understanding of discrete ...
6
votes
0answers
311 views

Resource: Group Theory

There is a website providing recent thesis in finite geometry. Is there any website with collection of recent thesis on (finite) group theory. I want to see the Ph.D. thesis of Raymond T. Shepherd, "...
5
votes
0answers
52 views

Almost all finite groups have order $2^n$?

This might be a stupid question, but here it goes: Is anything known about, whether: $$\lim_{n\to \infty} \frac{\#\{\text{Groups of order }2^n\}}{\#\{\text{Groups of order} \leq 2^n\}} = 1$$ (where ...
5
votes
0answers
63 views

Lowest dimensional faithful representation of a finite group

How does one compute the lowest dimensional faithful representation of a finite group? This question originated in the context of given a finite group G: trying to find the lowest dimensional shape ...
5
votes
0answers
157 views

Aut(G) is abelian

I've heard of this (open?) problem: Classify groups G such that Aut(G) is abelian. What I discovered: Any characteristic abelian subgroup is cyclic. Center is cyclic. Commutators are cyclic. ...
5
votes
0answers
222 views

Given an irreducible representation, is there a *unique* unitary representation that it is equivalent to?

I might need help here in understanding my own question in places and please don't hesitate in asking for edits and clarifications. Background: A representation $\rho$ of a finite group $G$ is a ...
5
votes
0answers
95 views

How many squares in a finite group?

Let G be a finite group and denote by S[G] the number of squares in G. The maximum, S[G]=n, is attained for a group of odd order n since each element has a square root in that case. At the other ...
5
votes
0answers
185 views

A property of the subgroups lattices

Let $G$ be a finite group. Consider all the subgroups $H$ such that its subgroups lattice $\mathcal{L}(H)$ is distributive (i.e. the group $H$ is cyclic, by Ore's theorem), and among them, let $\{ H_{...
5
votes
0answers
83 views

largest permutation group of odd order

For general $n$, what is the largest subgroup of the symmetric group $S_n$ that has odd order? I have a feeling that it might be the Sylow 3-subgroup...ADDED: but it isn't, as Mark Bennet points out ...
5
votes
0answers
107 views

on the simple group $M_{11}$

As we know, the simple group $M_{11}$ is a important group,it has order $7920$, how can we prove the simple group of order $7920$ is isomorphic to $M_{11}$ ?
5
votes
0answers
119 views

$H=\langle a,b| a=bab, b=aba\rangle $ and $\frac{H}{A}\cong\ Q_8$

Here is my problem: Let $$H=\langle a,b| a=bab, b=aba\rangle $$ and $\frac{H}{A}\cong\ Q_8$ wherein $A\leq Z(H)\cap H'$. Show that $H\cong Q_8$. Working on the elements, I could see that $H\...
5
votes
0answers
125 views

Possible subgroups of $\mathbb{Z}/3^6\mathbb{Z} \oplus\mathbb{Z}/3^5\mathbb{Z}\oplus\mathbb{Z}/3^2\mathbb{Z}$

$G \cong \mathbb{Z}/3^6\mathbb{Z} \oplus\mathbb{Z}/3^5\mathbb{Z}\oplus\mathbb{Z}/3^2\mathbb{Z}$ $H\leq G$ so that $G/H \cong \mathbb{Z}/3^2\mathbb{Z}\oplus\mathbb{Z}/3\mathbb{Z} $ Find all possible $...
5
votes
0answers
288 views

Icosahedral symmetry as permutation group

Hopefully an easy question: the icosahedral group of order 60 (orientation preserving symmetries of a regular icosahedron) is isomorphic to the alternating group on 5 points. In terms of the ...