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

18
votes
0answers
483 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 ...
17
votes
0answers
205 views

References on the theory of $2$-groups.

Many theorems about odd order $p$-groups fail miserably for $2$-groups. These can range from simple $2$-group exceptions (e.g. Frobenius complements can be either cyclic or generalized quaternion) to ...
13
votes
0answers
276 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$ respectivly. 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 the ...
12
votes
0answers
344 views

Values attained by $|G/Z(G)|$?

So I was working through some problems in a book on $p$-groups and noticed that $p$-groups have some really nice properties. So I started computing what the values of $|G/Z(G)|$ for $p$-groups. I ...
11
votes
0answers
255 views

How confident can we be about the validity of the classification of finite simple groups?

The completion of the classification of finite simple proofs was first announced in 1983. However, as late as 2008 minor gaps were still found and closed. How certain can we be that The proof of ...
11
votes
0answers
420 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 ...
10
votes
0answers
82 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 ...
10
votes
0answers
250 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 ...
10
votes
0answers
168 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 ...
10
votes
0answers
160 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 ...
9
votes
0answers
153 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) = ...
9
votes
0answers
211 views

The order of $H$ is relatively prime to its index $[G:H]$

Suppose that a subgroup $H$ of a finite group $G$ satisfies one of the following two conditions: (i) For any nonidentity element $x$ of $H$ we have $C_{G}(x) \subset H$ (ii) If $K$ is a subgroup of ...
9
votes
0answers
151 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 ...
9
votes
0answers
150 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 ...
8
votes
0answers
154 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 ...
8
votes
0answers
441 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 ...
8
votes
0answers
218 views

Generating the partners in a multi-dimensional irreducible representation.

I am trying to block diagonalize a Hermitian matrix using the irreducible representations of its symmetry group. Using the group's character table, it is straightforward to generate a set of ...
7
votes
0answers
99 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 ...
7
votes
0answers
107 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

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 \{ ...
7
votes
0answers
101 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
235 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 ...
7
votes
0answers
87 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
304 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
208 views

A problem in transfer theory

This is about problem 5B.1 page 157 in Isaacs' "Finite Group Theory" book. This chapter is definitely giving me trouble. The problem reads: Let $G$ be a finite group, $P \in \operatorname{Syl}_p(G)$ ...
6
votes
0answers
76 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
281 views

Show any group of order $275$ has an element of order $5$.

This is what I have. Note: I'm not allowed Cauchy's theorem or Sylow theorems. Let $|G| = 275$. So I know $275 = 5\times5\times11$. If I assume that $G$ is cyclic then there exists $x\in G$ such that ...
6
votes
0answers
63 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 ...
6
votes
0answers
105 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 ...
6
votes
0answers
229 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 ...
6
votes
0answers
263 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 ...
6
votes
0answers
358 views

Finding the maximum number of subspaces of a vector space over finite field that satisfy these relations

I have a question and I am stuck. I was wondering if anyone has a thought, before I start a brute-force search. For $q$ a prime number and $n =6$, let $\mathbb {F}_{q}^{n}$ be an $n$-dimensional ...
6
votes
0answers
166 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 ...
6
votes
0answers
302 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, ...
6
votes
0answers
330 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, ...
5
votes
0answers
49 views

Permutation of cosets

Let $G$ be a finite group and $\gamma \in Sym(G)$, such that $\gamma (1) = 1$ and $\gamma (gH) = \gamma (g)H$ for all $g\in G$, $H\leq G$. This means $\gamma$ induces a permutation of the left cosets ...
5
votes
0answers
93 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
144 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
74 views

Semigroups and solutions of equation

It is easy to prove: in a finite semigroup if for all $a$ and $b$, $ax=b$ and $ya=b$ has unique solution. then it is group. But if in a finite semigroup, if for all $a$ and $b$, $ax=b$ and $ya=b$ has ...
5
votes
0answers
46 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$ ...
5
votes
0answers
173 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 $\{ ...
5
votes
0answers
111 views

A question about the automorphism group of $\mathbb{Z}_{2} \times \mathbb{Z}_{4}$

I wanted to clarify some confusion I was having on the automorphism group of $\mathbb{Z}_{2} \times \mathbb{Z}_{4}$, which I call $Aut(\mathbb{Z}_{2} \times \mathbb{Z}_{4})$. I considered the ...
5
votes
0answers
72 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
155 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 ...
5
votes
0answers
104 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
570 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 ...
5
votes
0answers
103 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 ...
5
votes
0answers
102 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
157 views

A problem of J.D. Dixon

Referring to his paper from 2004, I was wondering if anyone is aware of any relevant work done on the following problem: Of course, the case $w(X_1,X_2)=X_1X_2X_1^{-1}X_2^{-1}$ admits the answer ...
5
votes
0answers
249 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 ...