19
votes
1answer
345 views

Properties to have matrices that commute in $\mathrm{GL}_n(\mathbb C)$

Let $G$ be a finite subgroup of $\mathrm{GL}_n(\mathbb C)$, $A,B \in G$ whose eigenvalues are thus in the unit circle. Assume that the eigenvalues ​​of $A$ are included in a circle arc of ...
2
votes
2answers
114 views

Bound for the Frattini subgroup of a $p$-group

Assume that $G$ is a finite $p$-group, $p$ odd, with a non-trivial elementary abelian Frattini subgroup. Then both $\Phi(G)$ and $G/ \Phi(G)$ are vector spaces over $\mathbb{F}_p$. Is it possible to ...
4
votes
1answer
189 views

Normal Subgroup Growth

Let $F$ be a free group on $d$ generators. Denote by $F_{k}$ the $k$-th term in $F$'s derived series. Put $G = F/F_k$. What is the normal subgroup growth of $G$? Explicitly, for each natural number ...
4
votes
2answers
227 views

Simple groups and words

Let S be a finite simple nonabelian group, w a word in a finite number of variables which is not a power of another word. Must there be a substitution of elements of S in w such that the resulting ...
9
votes
0answers
146 views
+100

$2$-group with two isomorphic normal subgroups of index $4$ with non-isomorphic quotients

Hypothesis: Let $P$ be a finite $2$-group with two isomorphic normal subgroups $M$ and $N$ such that $P/M\cong C_4$ (the cyclic group of order $4$) while $P/N\cong C_2^2$. By the lattice theorem, ...
9
votes
0answers
174 views

Non split extension isomorphic (as a group) to a split extension

$\def\Z{\mathbb{Z}}$ Let $A$ be a finite abelian group and $G$ a finite group acting on $A$. Then the extension $0 \to A \to E \to G \to 1$ is splits if and only if the corresponding $2$-cocycle is ...
1
vote
0answers
75 views

Two $p$-groups whose automorphism groups have isomorphic Sylow $p$-subgroups

Fix a prime $p$, and let $M$ be the unique nonabelian group of order $p^3$ and exponent $p$. Let us denote by $E_n$ the elementary abelian group of rank $n$. Is it true that $\operatorname{Aut}(M ...
1
vote
1answer
65 views

Control of $p$-extensions by subgroups of index coprime to $p$

Let $G$ be a finite group and let $M$ be a $G$-module that is a finite abelian $p$-group. Suppose we have extensions $1 \rightarrow M \rightarrow E_1 \rightarrow G \rightarrow 1$ and $1 ...
0
votes
0answers
97 views

Orbits of stabilizer of two points in a 2-transitive permutation group

I was doing something which needs to know sizes of all orbits of the stabilizer of two points in a 2-transitive permutation group. Since all 2-transitive permutation groups are known ans so are their ...
5
votes
1answer
204 views

In which fixed-point free representations is the sum of every 3 elements invertible?

A representation $\rho:G\to GL_k(\mathbb{F})$ is called fixed-point free if for every $1\neq g\in G$ and every $0\neq v\in \mathbb{F}^k$, $\rho(g)v\neq v$. Stated differently, it is a representation ...
6
votes
1answer
205 views

Primitive, non-2-transitive groups with very large orbitals?

Let $G$ be a transitive permutation group on a set $X$ with $n$ elements. Assume that $G$ is primitive, i.e., $G$ preserves no non-trivial partition of $X$. Assume as well that $G$ is not ...
1
vote
1answer
185 views

On the Complement of a subgroup

This question was asked in http://math.stackexchange.com/questions/729648. Since I did not get any answer I am asking it here. In an answer in Mathoverflow I see an answer but I could not ...
15
votes
1answer
334 views

Finite groups $G$ so that $G$ has exactly two subgroups of a given order

Is there a finite group $G$ and a divisor $d$ of $|G|$ so that $G$ contains exactly two subgroups of order $d$? The motivation for this question is an old qual problem (see ...
4
votes
2answers
166 views

Are the following Cayley digraphs Hamiltonian?

Consider the Cayley graphs $A'G_n$ on the alternating group $A_n$ with generating set $S = \{(1i2) : 3 \leq i \leq n\}$, for $n \geq 4$. See the following page on Alternating Group Graphs for ...
1
vote
0answers
126 views

Existence of homogeneous single chain compositions of a given maximal subfactor?

All the subfactors here are irreducible inclusion of hyperfinite II$_1$ factors. A subfactor $(N \subset M)$ is Homogeneous Single Chain ($HSC$) if its lattice of intermediate subfactors is a ...
3
votes
0answers
52 views

Double coset relation for unique intermediate subgroup (with homogeneity)

Let $G$ be a group and $H$ a subgroup such that there is a unique (non-trivial) intermediate subgroup $K$ (i.e. $H < S < G$ implies $S=K$) and $(H \subset K) \sim (K \subset G)$ (homogeneity) ...
3
votes
1answer
379 views

On a metric associated to certain finite groups

Let $G$ be a finite group. Define $d:G\times G\longrightarrow\mathbb{N}$ by $d(x,y)=o(xy^{-1})-1, \forall\, x,y\in G$. Then $d$ is a metric on $G$ if and only if $$(*)\hspace{5mm}o(ab)<o(a)+o(b), ...
2
votes
0answers
211 views

Are the homogeneous single chain subfactors, Dedekind?

Background: See here and there. Recall that a subfactor is Dedekind if all its intermediate subfactors are normal. A subfactor $(N \subset M)$ is Homogeneous Single Chain (HSC) if its lattice ...
11
votes
1answer
459 views

Find finite groups $G\cong Aut(G)$

I become interested in this problem because $G\cong Aut(G)$ suggests a special symmetry in $G$. From $G/Z(G)\cong Inn(G)$ we know complete group is the anewer for the simplest case, though this class ...
4
votes
0answers
68 views

Automorphisms with an orbit “transversal” to a subgroup

Let $G$ be a finite group, $H$ be a subgroup of index $2$, $\phi\colon G\to G$ an automorphism. For $d\in \mathbb N$ let us say that $\phi$ is $d$-transversal to $H$ iff there is $h\in H$ such that ...
1
vote
1answer
179 views

On the character degrees of a finite group with special structure

Let $G$ be a finite group such that $G$ has a normal subgroup $N$ of order $p(p^2+1)/2$, where $p>13$ is an odd prime and $p\ne 239$. Also $G/N\cong \text{PSL}(2,p)$. Can we say that there exists a ...
0
votes
0answers
80 views

Brauer characters of finite simple group $E_8(5)$

I would like to find the irreducible characters of the group $E_8(5)$ (mod 2)? Can anyone help? (I am elementary in working with Brauer characters) Many thanks
1
vote
1answer
152 views

List of Conjugacy Classes of the General Linear group over $\mathbb{Z}/p^2\mathbb{Z}$

Does anybody know the answer to this or a good way to go about working this out? I have a list for $GL_2(Z/pZ)$ and I am trying to lift it to this; I have mostly been using fairly elementary algebraic ...
-5
votes
1answer
149 views

on the solvable groups of order $p^aq^b$ [closed]

We know that if $ p$ is a prime number then $ O^p (G) $ is the smallest normal subgroup of $ G $ such that $ G/O^p (G) $ is a $ p $-group. Now let $ G $ be a finite group of order $ p^aq^b $ where $ ...
2
votes
0answers
190 views

The tallest possible lattice?

Let O be a complete discrete valuation ring and G a finite group. Recall that a finitely generated O-free OG-module $M$ such that the traces of the invertible endomorphisms of $M$ generate a strictly ...
5
votes
1answer
335 views

Finite groups for which the element orders form an arithmetic progression

Which are the finite groups $G$ such that the element orders of $G$ form an arithmetic progression? Several remarks: $S_3$, $A_4$ and any $p$-group of exponent $p$ satisfy this property. If $G$ ...
4
votes
0answers
256 views

More on Moonshine for the Thompson group and weakly holomorphic weight one half modular forms

This question is a follow-up to Monstrous Moonshine for Thompson group $Th$? and is based on various comments to that question, in particular S. Carnahan's mention of the connection to known ...
2
votes
1answer
318 views

A second isomorphism theorem for the inclusions of groups

The usual second isomorphism theorem for groups is: let $G$ be a group, $S$ and $N$ subgroups with $N$ normal, then $SN$ is a subgroup of $G$, $S\cap N$ is a normal subgroup of $S$ and $SN/N \simeq ...
2
votes
1answer
206 views

on the prime divisors of $(p^2+1)/2 $

The following question is equivalent to a problem in group theory. Let $ p > 13$ be a prime number distinct from 239. Let $ a=(p^2+1)/2 $. Is there any prime divisor $r$ of $a$ such that $r\mid ...
3
votes
1answer
181 views

Normal intermediate subgroup and normal core

Let $G$ be a finite group and $H$ a subgroup. The normal core of $H$ in $G$ is $core_G(H) := \bigcap_{g \in G}g^{-1}Hg$ Definition: $K$ is a normal intermediate subgroup of the inclusion $(H ...
3
votes
0answers
217 views

On the Groups of Order $(p^2+1)/2$

A few days ago I asked a question (Groups of order $p(p^2+1)/2$) about a finite group of order $p(p^2+1)/2$ and I got a lot of useful information about it. Thanks for the nice and very helpful ...
5
votes
5answers
710 views

Groups of order $p(p^2+1)/2$

It seems that when $p>3$ is a prime, then each group of order $p(p^2+1)/2$ is abelian as I checked by Gap for small $p$. Is it true for each $p$? Thanks for your answers
21
votes
0answers
641 views

Monstrous Moonshine for Thompson group $Th$?

I. As a background, in Traces of Singular Moduli (p.2), Zagier defines the modular form of weight 3/2, $$g(\tau) = \frac{\eta^2(\tau)}{\eta(2\tau)}\frac{E_4(4\tau)}{\eta^6(4\tau)}=\vartheta_4(\tau)\, ...
0
votes
0answers
114 views

Is the direct product of distributive inclusions of groups, modular?

Let $H$ a subgroup of $G$ and $\mathcal{L}(H \subset G)$ the lattice of intermediate subgroups ($\mathcal{L}( G)$ if $H= \{ e \}$). Definitions: A lattice $(L, \wedge, \vee)$ is : - Distributive if ...
0
votes
2answers
118 views

Products of maximal inclusions of finite groups with a non-obvious intermediate

Let $(H_1 \subset G_1)$ and $(H_2 \subset G_2)$ be core-free maximal inclusions of finite groups. Their product, the inclusion $(H_1 \times H_2 \subset G_1 \times G_2)$, admits four obvious ...
2
votes
0answers
165 views

Existence of inclusions of finite groups with a particular lattice property

Definition : Let $\sim$ be the equivalence relation on inclusions of finite groups, generated by : $(H \subset G) \sim (\phi(H) \subset \phi(G))$, with $ \phi: G \to L$ a finite group morphism and ...
9
votes
3answers
418 views

Classification of automorphism groups of groups of order $p^4$

For the purpose of classifying another algebraic structure which is parametrised by the choice of a group and of an automorphism I need the classification up to isomorphism of automorphism groups of ...
7
votes
2answers
183 views

3-cocycle representatives for the dihedral group $D_{2n}$?

I am looking for a reference for a complete list of 3-cocycle representatives for $H^3(D_{2n},\mathbb{C}^\times)$, where $$ D_{2n}=\langle a, b\mid a^2=b^2=(ab)^n=e\rangle $$ is the dihedral group of ...
7
votes
0answers
105 views

Fusion pattern in a cyclic subgroup of order 8

Can a finite simple group $G$ have an element $x$ of order 8 such that $x^2$ is conjugate to $x^{-2}$ but $x$ is not conjugate to any element of $\{x^3,x^5,x^7\}$? In other words, does this fusion ...
1
vote
1answer
95 views

Index of agemo subgroups in $p$-groups

Having a finite $p$-group $G$ ($p$ odd). we denote by $\Omega_1(G)$ the subgroup generated by all the elements of $G$ of order dividing $p$. Is there an example of such a group $G$, such that ...
10
votes
4answers
409 views

Iterated semi-direct products

Let $G$ be a finite group. Suppose that we can write $G= A \rtimes B$ and also $A = C \rtimes D$. Further suppose that C is normal in $G$ (not just in $A$). Then can we write $G = C \rtimes E$ where ...
3
votes
2answers
202 views

Factor subset of finite group

Let $G$ be a group of order $n$ and $d$ a positive divisor of $n$. Is it true that there exists a subset $A$ of $G$ with $d$ elements and a subset $B$ such that $G=AB$ and $|AB|=|A||B|$ ...
13
votes
1answer
275 views

Does O'Nan-Scott depend on CFSG?

My question is in the title. Some context: there are two versions of the O'Nan-Scott theorem. The first, weaker version, is due to O'Nan and Scott (independently) and gives the structure of the ...
6
votes
6answers
418 views

Almost uniquely generated groups

This is inspired by this question. Does there exist an infinite finitely generated group having (a) a unique (b) finitely many inclusion-minimal generating set(s) up to ...
2
votes
1answer
166 views

Doubly primitive groups with simple socle

The classification of doubly transitive groups with simple socle is known. A good account of such classification can be found for example in this paper: Cameron, Peter J. Finite permutation groups ...
18
votes
2answers
486 views

Reference for the triple covering of A_6

I would like to ask for a reference (book, paper ...) for the following nice construction, which I have found as an exercise in some notes of a course by R. Borcherds. For $n=6$ or $7$ (and only in ...
24
votes
2answers
841 views

A group-theoretic perspective on Frankl's union closed problem

Here is a group theoretic phrasing of a special case of the union closed conjecture: Question: Given a finite group $G$, is there an element of prime power order which is contained in at most half ...
5
votes
2answers
321 views

Decomposing the conjugacy representation of Sym$(n)$ for small $n$

I am trying to compute the decomposition of the conjugacy representation of some small symmetric groups. Perhaps someone has undertaken a similar calculation. My own calculations are quite slow, ...
11
votes
1answer
234 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, g_{k+1}) ...
0
votes
1answer
145 views

relatively free groups in $Var(S_3)$

Suppose $S_3$ is the symmetric group of order 6. Which elements of the variety $Var(S_3)$ are relatively free? This question is related to my previous question Relatively free algebras in a variety ...