The finite-groups tag has no wiki summary.

**6**

votes

**3**answers

325 views

### Restriction of scalars for the adjoint representation of $SL_2(\mathbb F_q)$

Let $p$ be a prime number, $q=p^e$ a power of $p$, and $G=SL_2(\mathbb F_q)$. Let $V$ be the adjoint representation of $G$, i.e. $V$ is the 3-dimensional $\mathbb F_q$-space of of (2,2)-matrices of ...

**13**

votes

**1**answer

428 views

### Why is Klein's representation of $PSL_2(\mathbb{F}_7)$ hard to obtain?

In his famous article [1] Klein constructs a representation of $G=PSL_2(\mathbb{F}_7)$ in $\mathbb{C}^3$ (of which the first invariant polynomial of three variables gives rise to the famous Klein's ...

**2**

votes

**3**answers

410 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 ...

**3**

votes

**1**answer

81 views

### Idempotents and Structure of Simple GL(n,p) modules in the describing characteristic

Let $F_2$ denote the finite field of two elements, and $GL(n,2)$ the general linear group of degree $n$ over $F_2$. I have a promising line of inquiry into identifying the structure of simple $F_2\ ...

**0**

votes

**1**answer

146 views

### Sylow-subgroups of the group of units of a finite field [closed]

Let $K$ be a finite field with $p^n$ elements. Then the group of unit is cyclic of order $p^n-1$. What are the primes which are dividing $p^n-1$? What are the Sylow-subgroups of the group of units of ...

**9**

votes

**1**answer

118 views

### Representations of $\text{SL}(n,\mathbb{F}_p)$ and $\text{Sp}(2n,\mathbb{F}_p)$ whose dimensions are $p^k$

I should preface this by saying that I am not a representation theorist, so I apologize if this can easily be found in standard sources (but sadly I cannot seem to extract it from any of the books I ...

**2**

votes

**0**answers

130 views

### representations of dihedral group/quaternion group of order 8

Is there a classification of such representations via unitriangular matrices over characteristic two fields?

**-2**

votes

**1**answer

187 views

### The number of Sylow subgroups of a group [closed]

Let $ G $ be a finite group of order $ 2^4\times 3\times 7\times 13$. If $13 $-Sylow subgroup of $ G $ is not normal then $ G $ has 14 Sylow $13$-subgroups. Then $ G$ is $2 $-transitive on the set ...

**7**

votes

**4**answers

384 views

### Normal Covering of a Finite Group

Suppose $G$ is a finite group and $N_1, N_2, \cdots, N_k$ are proper normal subgroups of $G$. The set $\{ N_1, \cdots, N_k\}$ is called a normal cover for $G$, if $G = \cup_{i=1}^kN_i$. I need to the ...

**0**

votes

**0**answers

116 views

### Thin profinite groups - nonabelian analogues of p-adic integers

Let $p$ be a prime number, $S = C_p$ a cyclic group of order $p$, $G = \mathbb{Z}_p$ the profinite additive group of $p$-adic integers. It is well known that all the closed nontrivial subgroups of $G$ ...

**4**

votes

**1**answer

169 views

### a question about minimal non-abelian groups

Let $G$ be a minimal non-abelian group with cyclic Sylow $p$-subgroup $P$ and normal Sylow $q$-subgroup $Q$ , see [ Huppert, Endlich Gruppen I, Aufgaben III, 5.14].
My quesion is, if there is another ...

**18**

votes

**2**answers

998 views

### Is a group uniquely determined by the sets $\{ab,ba\}$ for each pair of elements a and b?

This is a cross-posted question, originally active here on math.stackexchange.
For a given group $G=(S,\cdot)$ with underlying set $S$, consider the function
$$
F_G:S\times ...

**7**

votes

**1**answer

153 views

### Which finite p-groups occur as commutators of finite p-groups?

Let $p$ be a prime number. For which finite $p$-groups $H$ there is a finite $p$-group $G$ such that $[G,G] \cong H$?

**19**

votes

**1**answer

677 views

### Geodesics in finite groups

It seems that I can generalize a result from compact, connected Lie groups to finite groups, but in order to do so, I need to have some kind of geodesics on finite groups.
Below is a proposition for ...

**1**

vote

**1**answer

156 views

### Homomorphisms from irreducible spaces to reducible spaces

Let $P_{\lambda}$ be a Young symmetriser associated to the following tableau $(a_1 a_2 a_3 b_3 ; b_1 b_2)$ where the entries seperated by the ; belong to first and second COLUMNS of the tableau. Take ...

**4**

votes

**1**answer

258 views

### Minimum word length for an unusual set of generators of the symmetric group

Problem. Let $n\geq 2$ and let $T$ be the set of all permutations in $S_n$ of the form
$$t_k:=\prod_{1\leq i\leq k/2}(i,k-i) \qquad \hbox{for $k=3,4,\ldots,n+1$}.$$
Find the least integer ...

**3**

votes

**3**answers

225 views

### Equivalence classes of (2,3)-pairs in PSL(2,q)

This may not be a research-level question, which is why I submitted it to math.stackexchange first, but so far the question there has barely been viewed, let alone answered. Apologies if submitting it ...

**6**

votes

**2**answers

244 views

### Restricting the Steinberg representation of $SL_{2n}$ over a finite field to the symplectic group

Let $\text{St}_n(\mathbb{F}_q)$ be the Steinberg module (over $\mathbb{C}$) for $\text{SL}_n(\mathbb{F}_q)$.
What is the irreducible decomposition of the restriction of $\text{St}_{2n}(\mathbb{F}_q)$ ...

**2**

votes

**1**answer

146 views

### Is inner product preserved only by the stabiliser in a finite reflection group?

Is the following statement true for finite reflection groups?
Let $G$ be a finite reflection group acting on $\mathbb{R}^n$, let $x, y\in \mathbb{R}^n$
and let $z$ be in the orbit of $y$. If ...

**1**

vote

**0**answers

121 views

### An epimorphism into a profinite group

Let $p$ be an odd prime number, $G$ a finitely generated nonabelian profinite group, $L \lhd_o G$ a pro-$p$ group with $[G : L] = 2$. Suppose that there is a continuous surjection from $G$ onto a free ...

**3**

votes

**1**answer

108 views

### A question about minimal nonnilpotent groups

Let $G$ be a minimal nonnilpotent group with cyclic Sylow $p$-subgroup $P$ and normal Sylow $q$-subgroup $Q$ [see Huppert, Endlich Gruppen I]. If $Q$ is abelian and $q > 2$, then can we get that ...

**11**

votes

**1**answer

258 views

### Variety of nilpotent Lie algebras or $p$-groups

Here's a couple of analogous questions, one in terms of finite-dimensional complex Lie algebras and one in terms of finite $p$-groups; I'd be interested in an answer to either:
1) Let $\mathcal{L}$ ...

**0**

votes

**0**answers

86 views

### Dense free subgroups

Let $F$ be a free pro-$p$ group (for a prime number $p$) on a finite set $X$, $\Phi$ the abstract subgroup generated by $X$, $\{1\} \neq N \lhd_c F$. Is it possible that $\Phi \cap N = \{1\}$?

**1**

vote

**0**answers

61 views

### Lower central series in a free pro-p group

Let $F$ be a nonabelian finitely generated free pro-$p$ group, $H \leq_c F$ of infinite index. Denote by $\{F_n\}_{n \in \mathbb{N}}$ the lower central series of $F$, and set $r_n = [F : F_nH]$.
Is ...

**0**

votes

**0**answers

70 views

### A bound on the size of the center

Let $p$ be a prime number, $F$ a free pro-$p$ group, $H \leq_c F$ of infinite index. Can it be that $$\sup_{N \lhd_o F} |Z((F/N)/C_{F/N}(HN/N))| < \infty ?$$

**1**

vote

**0**answers

120 views

### Golod Shafarevich Inequality and Inequalities among higher Cohomology groups

As a consequence of Golod- Shafarevich, we get an inequality between second cohomology group of a $p$-group with coefficients in $F_p$ and the first cohomology group of a $p$-group with coefficients ...

**0**

votes

**0**answers

95 views

### A normal form theorem for presentations of finite $p$-groups of nilpotency class $2$?

When constructing examples of nonabelian finite $p$-groups with abelian automorphism group (and certain other desired properties), the authors of papers like http://arxiv.org/pdf/1304.1974v1.pdf leave ...

**14**

votes

**2**answers

1k views

### (co)homology of symmetric groups

Let $S_n=\{\text{bijections }[n]\to[n]\}$ be the n-th symmetric group. Its (co)homology will be understood with trivial action. What are the $\mathbb{Z}$-modules $H_k(S_n;\mathbb{Z})$? Using GAP, we ...

**15**

votes

**2**answers

783 views

### In what sense is the classification of all finite groups “impossible”?

I think there is a general belief that the classification of all finite groups is "impossible". I would like to know if this claim can be made more precise in any way. For instance, if there is a ...

**11**

votes

**1**answer

310 views

### What are smallest finite images of triangle groups?

Given integers $a, b, c$ all at least 2, I would like to identify the smallest group with an element $x$ of order $a$, element $y$ of order $b$ such that the product $yx$ has order $c$. For example, ...

**10**

votes

**2**answers

283 views

### existence of a finite group which is the union of self normalizing subgroups

Can a finite group G be the union of self normalizing subgroups such that the intersection between any two of these subgroups is equal to the unit of the group G? I don't think so but I can't prove ...

**0**

votes

**0**answers

116 views

### Soluble group algebras and centralizers

Let $K$ be field with $\mathrm{char}(K) = p > 0$ and $G$ a finite group such that $KG$ is soluble. Then the $p$-Sylow-subgroup of $G$ is normal and contains the derived group of $G$ and every ...

**8**

votes

**2**answers

344 views

### Sums of degrees of irreducible complex characters

The sum of the degrees of the irreducible complex characters (not the square sum which is the group order) is relevant to determine the dimension of a maximal torus of the Lie algebra associated to ...

**1**

vote

**0**answers

64 views

### breadth of a ﬁnite p-group

The breadth of an element $x$ in a ﬁnite $p$-group G is deﬁned to be that integer $b = br(x)$ such that $p ^b = |G : C_ G (x)|$, while the breadth $br(G)$ of $G$ is the
supremum of $\{br_ G (x) | x ...

**2**

votes

**1**answer

188 views

### Classification of indecomposable inclusions $(H \subset G)$ with $G$ decomposable

Definition: A group $G$ is indecomposable if: $G = G_1 \times G_2 \Rightarrow \exists i \ G_i = 1$.
We can generalize the notion of indecomposable from groups to inclusion of groups as ...

**8**

votes

**2**answers

935 views

### Generalization of a theorem of Øystein Ore in group theory

Theorem (Øystein Ore, 1938): A finite group $G$ is cyclic iff its lattice of subgroups $\mathcal{L}(G)$ is distributive.
Proof: see below.
Let $(H \subset G)$ be an inclusion of finite groups and ...

**2**

votes

**0**answers

262 views

### Prime order elements in $GL(n,\mathbb{Z})$

What is known about the elements of prime order $p$ in $GL(n,\mathbb{Z})$? All I know at this point is that $GL(n,\mathbb{Z})$ has an element of prime order $p$ iff $p-1\leq n$ and that there are only ...

**2**

votes

**1**answer

295 views

### Irreducible representation of Heisenberg group with characteristic 2?

As we all know that the irreducible representation for Heisenberg group can be classified easily when the group is over a finite field $\mathbb{F}_q$, where $q=p^n$ and $p$ is a prime greater than ...

**5**

votes

**0**answers

97 views

### Uniqueness of the direct product decomposition of inclusions of finite groups

This post is a generalization of Uniqueness of the direct product decomposition of finite groups.
Here we look inclusions of finite groups $(H \subset G)$ instead of just finite groups.
Definition: ...

**0**

votes

**1**answer

99 views

### Absolute irreducibility of a symmetric square?

This is a question I received today by email, which somebody more experienced with finite group representations can probably answer directly. Take $F:=\mathbb{F}_q$ for some prime power $q$, so ...

**3**

votes

**1**answer

433 views

### Existence of finite nonabelian groups satisfying certain identities

Is there a finite nonabelian group satisfying all of the following identities?
$$
(x^py^p)^2 = (y^px^p)^2, \quad p = 2,3,5,7,11,\ldots (\text{primes})
$$
I thank you all in advance.

**1**

vote

**1**answer

151 views

### The coproduct on the 2-boxes space of the group-subgroup subfactor planar algebras

Let $(H \subset G)$ be an inclusion of finite groups.
Let the subfactor $(\mathcal{R} \rtimes H \subset \mathcal{R} \rtimes G)$ with $\mathcal{R}$ the hyperfinite ${\rm II}_1$ factor, and its planar ...

**0**

votes

**1**answer

122 views

### Questions on invariant operators of finite group representations

1) Is there an equivalent of the Casimir operator for an irreducible representation of a finite group?
2) Given an invariant operator of a certain group, can I check if it is invariant under only ...

**6**

votes

**2**answers

188 views

### Asymptotic density of finite abelian and solvable groups

For every natural number n, let:
Gn be the number of distinct group structures with at most n elements;
An be the number of distinct abelian group structures wit at most n elements;
Sn be the number ...

**3**

votes

**0**answers

263 views

### What's the ratio of inclusions of finite groups with a distributive lattice?

Definition: Two inclusions of finite groups are equivalent, $(A \subset B) \sim (C \subset D)$, if: $(A/A_B \subset B/A_B) \simeq (C/C_D \subset D/C_D)$ with $A_B$ the normal core of $A$ in $B$.
...

**5**

votes

**1**answer

193 views

### Special linear groups contained in symplectic groups

Let $q$ be a power of prime $p$, and $n, m, k$ positive integers such that $mk=2n$ and $2\leq m<2n$. Let $\mathrm{Sp}(2n,q)$ be the symplectic group of dimension $2n$ over $\mathrm{GF}(q)$ and ...

**4**

votes

**1**answer

205 views

### orthogonal group in characteristic 2

Let $O(2,\mathbb{Z}_2)$ be the orthogonal group of order two matrices. On $\mathbb{Z}_2$ there should exist just one odd quadratic form, hence the stabilizer subgroup $O^-$ of an odd quadratic for ...

**1**

vote

**1**answer

145 views

### Successive Schur covers

Let $G_0$ be a finite group and $G_j$ a Schur cover of $G_{j-1}$ for $j=1,2,3\ldots$. Is $G_2$ equal to $G_1$? If not, will the sequence stop after finite steps in general?

**1**

vote

**0**answers

105 views

### Combination of two recent problems about finite groups of square orders

Is there any finite group $G$ of order $n=m^2$ satisfying the following conditions?
(a) There is no subgroup of order $m$;
(b) There exist subsets $A$, $B$ such that $|A|=|B|=m$ and $G=AB$.
...

**0**

votes

**3**answers

159 views

### Possible degrees of faithful projective representations of $\mathrm{PSL}(k,q)$ and $\mathrm{Sp}(2k,q)$ over complex numbers

Let $q$ be a prime power and $k$ a positive integer. What are the possible degrees of faithful projective representations of the projective special linear group $\mathrm{PSL}(k,q)$ (over the Galois ...