Questions on group theory which concern finite groups.

**2**

votes

**2**answers

187 views

### Isotropic subspaces in a symplectic vectorspace over $GF(q)$

Let $V$ be a symplectic vectorspace of dimension $2n$, and $r\mid n$. Is this statement true?"There is an isotropic spread of $r$ dimensional subspaces in $V$". By an isotropis subspace I mean a ...

**-5**

votes

**0**answers

12 views

### applications of systems of linear equations [on hold]

A person plans to invest a total of $260,000 in a money market account, a bond fund, an international stock fund, and a domestic stock fund. She wants 60% of her investment to be conservative ...

**1**

vote

**0**answers

62 views

### p-groups with unique normal minimal subgroup

Is p-groups with unique normal minimal subgroup have been Classification? Is there any article on the subject?

**0**

votes

**1**answer

55 views

### About $c(A)$ in $c(A)|A|\leq |A^{-1}A|$

Let $G$ be a finite group, $\emptyset\neq A\subseteq G$, $A^{-1}:=\{ a^{-1}:a\in A\}$, and put $$c(A):=\max\{t\in \mathbb{Z}: t|A|\leq |A^{-1}A|\}$$
It is clear that $1\leq c(A)\leq ...

**12**

votes

**1**answer

113 views

### An inequality for the minimal number of generators of a finite group

Let $G$ be a finite group, $n(G)$ the minimal number of generators and $m(G)$ the minimal number of irreducible complex representations generating (with $\otimes$ and $\oplus$) the left regular ...

**1**

vote

**0**answers

55 views

### Computing abelianizations of some explict finite subgroups of $GL_2(\mathbb{Z}/p^n \mathbb{Z})$

I have been attempting to find some abelianizations of some subgroups of $GL_2(\mathbb{Z}/p^n \mathbb{Z})$. I have been using brute force for the most part but I get very messy results. Here is an ...

**11**

votes

**1**answer

242 views

### A sum over characters of the symmetric group

Let $C_\mu$ be the size of the conjugacy class in $S_n$ of permutations whose cycletype is the partition $\mu\vdash n$. Let $\chi$ be the characters of the irreducible representations of $S_n$.
Let ...

**10**

votes

**1**answer

203 views

### The Weyl group of E8 versus $O_8^+(2)$

Right now Wikipedia says:
The Weyl group of $\mathrm{E}_8$ is of order 696729600, and can be described as $\mathrm{O}^+_8(2)$.
The second part feels wrong to me. $\mathrm{O}^+_8(2)$ is the ...

**1**

vote

**1**answer

162 views

### Subgroups of the union of conjugates

This question is an attempt to find a version of this question with a positive answer. In this question, we ask if one can find big subgroups in the union of conjugtes of small subgroups of finite ...

**5**

votes

**1**answer

193 views

### To calculate $Tor_1^G(\mathbb{Z},N_{ab})$ and $Tor_1^Q(\mathbb{Z},N_{ab})$

Let $G$ be a finite $p$-group and $N$ be a normal subgroup of $G$. I wish to calculate $Tor_1^G(\mathbb{Z},N_{ab})$ and $Tor_1^Q(\mathbb{Z},N_{ab})$, where $Q=G/N$. I could not found any lecture notes ...

**-4**

votes

**1**answer

117 views

### Even-odd partitioned groups! [closed]

Let $G$ be a group with the property $G=G_e\dot{\cup} G_o$ with
$G_oG_o\subseteq G_e\leq G$.
($\dot{\cup}$ denotes disjoint union, $\leq$ is subgroup notation, and $G_o^{-1}=\{x^{-1}: x\in G_o\}$)
...

**8**

votes

**1**answer

173 views

### Finite groups: equations with many solutions

Let $\omega$ be a word in the free group on generators $x_1,x_2,\ldots,x_n,g_1,g_2,\ldots,g_k$, where $n>0$ and $k\geq 0$. For any finite group $G$ and elements $g_1,g_2,\ldots g_k$ in $G$ we ...

**7**

votes

**1**answer

697 views

### A dual version of a theorem of Øystein Ore in group theory

Let $(H \subset G)$ be an inclusion of finite groups.
This post is a dual version for the Generalization of a theorem of Øystein Ore in which it's proved:
Theorem: $\mathcal{L}(H\subset G)$ ...

**2**

votes

**1**answer

128 views

### A question on $p$-central $p$-groups

Let $p$ be a fixed prime. A group $G$ is termed $p$-central if every element of order $p$ in $G$ lies in the center.
Having a finite $p$-group $G$ of rank $k$ (the least integer, such that every ...

**6**

votes

**2**answers

182 views

### Uniqueness of the fusion ring for simple finite group

We know that the irreducible representations $R_i$ of a group $G$ can give rise to a fusion ring: $R_i\otimes R_j = \oplus_k N^{ij}_k R_k$.
I wonder if the following statement is true or not:
If $G$ ...

**9**

votes

**0**answers

179 views

### On shifted symmetric power sums

The functions $p^*_k(x)=\sum_{i=1}^N ((x_i-i)^k-(-i)^k)$ are analogues of power sum symmetric functions, called shifted symmetric by Okounkov and Olshanski. Define ...

**6**

votes

**1**answer

393 views

### Are the distributive permutation groups linearly primitive?

An action of a group $G$ on a set $X \neq \emptyset$ is called transitive if $\forall x,y \in X$, $\exists g \in G$ such that $g.x = y$.
It is called primitive if it is transitive and preserves no ...

**6**

votes

**1**answer

194 views

### How do I determine a real matrix form for a group representation?

Hello mathoverflow community,
I am a little stucked working on my master thesis. For a representation on $\mathbb{Z}_p\ltimes\mathbb{Z}_p^*$ induced from the additive character $\chi$ of ...

**5**

votes

**0**answers

178 views

### Factorization of permutations into two factors with fixed number of cycles, plus a placement condition

In my recent work I have been led to consider the following type of permutation factorizations.
Let $\pi_1$ and $\pi_2$ be two fixed permutations, with disjoint support, i.e. $\pi_1$ acts on ...

**2**

votes

**0**answers

114 views

### Groups with Abelian Automorphism Group

In a paper, the authors Jonah-Konvisser say
Until recently (~1975), there were no published examples of non-abelian groups with abelian automorphism groups. Heinken and Liebeck have methods for ...

**4**

votes

**1**answer

189 views

### The parity of the full automorphism group order of finite non-abelian groups of prime exponent

Is there a finite non-abelian group $G$ of prime exponent such that the full automorphism group of $G$ is of odd order?

**3**

votes

**1**answer

116 views

### Must normalizing field outer automorphisms “divide” the dimension?

Imprecise question: To get a normalizing field outer automorphism of
order $r$, must we multiply the dimension by $r$?
Precise hypothesis: Let $p\geqslant 5$ be a prime, let $q$ be a power of $p$ and ...

**7**

votes

**1**answer

267 views

### For a new operation on a finite group of odd order giving a loop structure, when does this also gives a group

For finite groups $G$ of odd order, as $x \mapsto x^2$ is bijection (but no automorphism in general) then, we can define for each $g \in G$ the element $x^{1/2}$ by requiring $(x^{1/2})^2 = x$. Then ...

**11**

votes

**1**answer

306 views

### Can a large transitive permutation group need many generators?

let $G$ be a transitive permutation group acting on $\{1, \ldots, n\}$, and let $d(G)$ be the minimal number of generators of $G$. Is it true, that for $n\rightarrow\infty$ we have ...

**0**

votes

**0**answers

57 views

### long root elements fixed by an automorphism in simple lie type group

Thanks for any help or comments.
Suppose $G=G(q)$ is a simple lie type group over field $F$ of characteristic $r$. So $G$ has some well known subgroup $X_a$ named Long root subgroup such that ...

**8**

votes

**2**answers

225 views

### Irreducible reps and characters of $G \rtimes A$

Is there a theorem which classifies irreducible representations of semi-direct product of finite groups $G \rtimes A$, where $A$ is a finite abelian group and hence write down the character table for ...

**6**

votes

**3**answers

1k views

### Character tables and simple groups.

Is it known if there are two finite non-isomorpic non-abelian simple groups with the same character table? Does this answer change if the subsidiary information (like the orders and sizes of the ...

**1**

vote

**0**answers

63 views

### On the unipotent conjugacy classes in $SU(3,q^2)$

Consider the special unitary group of degree 3 over a finite field $\mathbb{F}_{q^2}$, $q=p^n$ a prime power, and $U$ its Sylow $p$-subgroup (we way fix it to be the subgroup of upper triangular ...

**2**

votes

**4**answers

532 views

### Lucido's three prime lemma

Let G be a finite solvable group. If p,q,r are distinct primes dividing |G|, then G contains an element of order the product of two of these three primes.
This is lucido's three prime lemma. I ...

**2**

votes

**0**answers

269 views

### What kind of group invariants exist? [closed]

Let $G$ be a finite group.Then it is known,
that:
1) The group determinant determines the group (up to isomorphism)
2) The 1, 2, 3 characters determine the group
3) The invariants $f_1,\cdots,f_m$ ...

**3**

votes

**1**answer

107 views

### embedding of $O_4^-(q)$ in $U_4(q)$

For $q$ an odd prime power, one can construct $H:=O_4^-(q)<U_4(q)$ by treating the $H$-invariant bilinear form as Hermitean. On the other hand $U_4(q)$ is isomorphic to $O_6^-(q)$; I need to ...

**4**

votes

**1**answer

140 views

### Connection between cyclic group and exponential function

I have been thinking about this for a while, but now got to the point where I got stuck. I don't know if it might be considered as a research level question, but I would be very happy if somebody knew ...

**5**

votes

**1**answer

139 views

### Common zero of invariants of finite groups

Let $G$ be a finite group $n = |G|$. Let $\sigma : G \rightarrow GL(n,\mathbb{C})$ be the regular representation. Hence every element of $G$ can be seen as a permutation matrix. Let ...

**8**

votes

**1**answer

270 views

### perfect group of order 190080

I need to know some properties of the perfect group of order 190080 which is the schur cover of Mathieu group 12 but
by using PerfectGroup(190080), gap runs so slowly. Is there any other order in Gap ...

**4**

votes

**2**answers

142 views

### Frobenius Groups of Automorphisms

Recently, I am looking different papers on the topic
$$\mbox{Frobenius groups of automorphisms of a group.}$$
But I am familiar with Frobenius groups only; not with their (faithful) actions on groups. ...

**14**

votes

**2**answers

455 views

### factorization of the regular representation of the symmetric group

Let $\mathbb{C}[S_n]$ be the regular representation of the symmetric group $S_n$, and let $\mathbb{C}^n$ be the vector representation.
Question: Does there exist a representation $V$ (of dimension ...

**29**

votes

**3**answers

2k views

### Smallest n for which G embeds in $S_n$?

Question: Given a finite group $G$, how do I find the smallest $n$ for which $G$ embeds in $S_n$?
Equivalently, what is the smallest set $X$ on which $G$ acts faithfully by permutations?
This ...

**5**

votes

**2**answers

505 views

### Sylow 3-subgroups of symmetric group

Is there any routine technique to find a set of permutations which generate a Sylow $3$-subgroup of the symmetric group $S_{n}$?

**2**

votes

**0**answers

71 views

### Modularisation on group representations with arbitrary braiding

Applying the modularisation/deequivariantisation procedure to the representation category $\operatorname{Rep}_G$ of a finite group $G$ with trivial braiding gives the fibre functor to vector spaces. ...

**1**

vote

**1**answer

126 views

### The groups with nilpotent Hall $p'$ subgroup

Theorem $1$(Burnside): A simple nonabelian finite group can not have a conjugacy classes with prime power elements.
Theorem $2$: A group of order $p^nq^m$ is solvable.
Theorem $1$ depends on ...

**4**

votes

**0**answers

272 views

### Characterization for special linear group over finite fields

Thanks for any help or comments.
In my research I need a characterization for special linear groups over finite fields by some information of its subgroups, especially centralizers. I saw the ...

**2**

votes

**1**answer

244 views

### On the Suzuki group

Let $G$ be the Suzuki group over the field with $q=2^{2m+1}$ elements, $m>0$. Then, by Theorem 3.10 from B. Huppert, N. Blackburn, Finite Group III, pp 192-193, or wikipedia, the group $G$ contains ...

**6**

votes

**4**answers

471 views

### When does $\langle grg^{-1}|g\in G\rangle = \langle gsg^{-1}|g\in G\rangle$ imply $\langle r\rangle=\langle xsx^{-1}\rangle$?

We call a finite group $G$ normal if for all $s,r\in G$, if $\langle gsg^{-1}:g\in G\rangle =\langle grg^{-1}:g\in G\rangle $ then there exists $x\in G$ such that $\langle r\rangle =\langle ...

**5**

votes

**0**answers

93 views

### Restriction of $H^3(M_{24}, U(1))$ to $M_{12} \rtimes \mathbb{Z}_2$

$M_{12}\rtimes \mathbb{Z}_2$ is a maximal subgroup of $M_{24}$, where $M_{24}$ and $M_{12}$ are Mathieu groups . Also, it is known that $H^3(M_{24}, U(1)) \cong \mathbb{Z}_{12}$. I want to find the ...

**9**

votes

**2**answers

1k views

### learning Deligne-Lusztig theory

Can someone give me a roadmap for learning Deligne-Lusztig theory? (Except for the original article by Deligne and Lusztig)
Edit: You may assume knowledge of representation theory of finite groups ...

**4**

votes

**2**answers

566 views

### Center of finite metabelian p-groups

$\DeclareMathOperator\rk{rk}$
Let $G$ be a finite metabelian $p$-group, i.e. the commutator subgroup $G'$ of $G$ is abelian. Then I ask myself under which conditions does the following hold:
...

**2**

votes

**2**answers

216 views

### Maximal size of minimal generating set

Let $G$ be a finite group. Denote by $D(G)$ the maximal size of a minimal generating set, (minimal in the sense of inclusion). I vaguely remember seeing recently something on $D(G)$. Can anyone refer ...

**-1**

votes

**1**answer

159 views

### Which finite cyclic groups can be characterized by Lattice isomorphism and isomorphism between their automorphism groups?

Given a finite cyclic group $G$, we denote by $L(G)$ the lattice of its subgroups, and by $\mathop{\rm Aut}(G)$ the automorphism group of $G$. Let $H$ be any group. Assume that $L(G)\cong L(H)$ and ...

**0**

votes

**1**answer

220 views

### A finite $p$-group with certain properties

Is there a finite $p$-group $G$ such that :
(a) $G= \langle A,x,y \rangle$, with $G/Z(G)$ has exponent $p$, $A$ is a maximal abelian normal subgroup of $G$, and $G/A$ has order $p^2$ (thus it is ...

**4**

votes

**7**answers

603 views

### classification of $p$-groups

I have two questions regarding to $p$-groups.
A $p$-group $G$ is said to be extraspecial of $G'=Z(G)$ has order $p$. Hence extraspecial groups are examples of $p$-groups with cyclic center. Of ...