The finite-groups tag has no wiki summary.

**10**

votes

**0**answers

314 views

### $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

**0**answers

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

**7**

votes

**0**answers

260 views

### Connection between two theorems on character values?

In a recent arXiv preprint here, Dipendra Prasad has revisited a 1976 theorem of Kostant (Theorem 2 in the paper On Macdonald's $\eta$-function formula, the Laplacian and generalized exponents, ...

**2**

votes

**0**answers

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

**-2**

votes

**1**answer

107 views

### Action of automorphism group on Lie algebra [closed]

I want to know whether an automorphism group of a simple Lie algebra over $GF(2)$, acts transitively on non-zero elements of Lie algebra or not? How can I check this property?

**1**

vote

**1**answer

75 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

**0**answers

111 views

### a problem in character theory of finite group

I want to ask a question on character theory of finite group.
Let $G$ be a finite nonablian group， and let $p$ be the minimal divisior of |G|=n. Suppose $\chi\in IRR(G)$. Let $A=Gal(Q_n/Q)$. $A$ ...

**0**

votes

**0**answers

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

**1**

vote

**1**answer

68 views

### Finite quasigroup not coming from a scrambled finite group

Given any finite group with multiplication $m(-,-)$ and three permutations $p,q,r$ on the underlying set of the group, we can obtain a quasigroup with binary operation $g*h:= p(m(q(g),r(h)))$. What is ...

**5**

votes

**1**answer

268 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

**1**answer

245 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

**1**answer

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

**4**

votes

**2**answers

280 views

### Real representation of group of odd order

Let $G$ be a finite group of odd order. Suppose that $G$ has a real 4-dimensional faithful representation. Is it true that $G$ should be abelian in this case?

**15**

votes

**1**answer

429 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

**2**answers

179 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

**1**answer

213 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

**0**answers

88 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

**1**answer

442 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), ...

**1**

vote

**1**answer

125 views

### Max order for which connected Cayley Graphs are known to be Hamiltonian

There is a well-known conjecture that all connected Cayley graphs are Hamiltonian.
For how large a value of n has the conjecture been verified (i.e., for all groups whose order is at most n)?

**2**

votes

**0**answers

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

**12**

votes

**1**answer

698 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$ (This kind of group describes its own symmetry).
From $G/Z(G)\cong Inn(G)$ we know complete group is the ...

**4**

votes

**0**answers

79 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

**1**answer

204 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

**0**answers

91 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

**1**answer

191 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

**1**answer

201 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

**1**answer

218 views

### In which finite groups is there a non-central g such that, for all irreducible characters, Chi(i)(g) <> zero?

What is the character of Pi(G), the tensor product of all inequivalent irreducible representations of G?

**2**

votes

**0**answers

199 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

**1**answer

358 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$ ...

**6**

votes

**1**answer

297 views

### The best upper bound for the number of involutions in a finite non-abelian simple group

Let $G$ be a finite non-abelian simple group and $t$ is equal to the number of involutions of $G$. We know that $t<|G|/3$ or $3t+1 \leq |G|$. Is this the best upper bound for the number of ...

**4**

votes

**0**answers

324 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

**1**answer

357 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

**1**answer

213 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

**1**answer

224 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

**0**answers

237 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

**5**answers

964 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

**6**

votes

**5**answers

491 views

### Reference requested: Random walk on groups

I am looking for a good reference to learn about random walks on groups (either finite groups or Lie groups). Ideally, I would like a reference for general theory of random walks on groups that is ...

**21**

votes

**0**answers

774 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)\, ...

**1**

vote

**0**answers

180 views

### $\mathcal{L}(H_i \subset G_i)$ distributive $\Rightarrow$ $\mathcal{L}(H_1 \times H_2 \subset G_1 \times G_2)$ modular?

Let $\mathcal{L}( G)$ be the lattice of subgroups of $G$ and $\mathcal{L}(H \subset G)$ the lattice of intermediate subgroups.
Definitions: A lattice $(L, \wedge, \vee)$ is distributive if, ...

**0**

votes

**2**answers

140 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

**0**answers

175 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

**3**answers

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

**8**

votes

**2**answers

251 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

**0**answers

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

**4**

votes

**1**answer

157 views

### To whom is the internal characterization of $Q$-groups due?

A group is said to be a $Q$-group if the character of any complex representation is rational valued. A well-known internal characterization of $Q$-groups is the following:
$G$ is a $Q$-group if ...

**1**

vote

**1**answer

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

**11**

votes

**4**answers

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

**4**

votes

**2**answers

307 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

**1**answer

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

**3**

votes

**2**answers

314 views

### n-cocycles of finite abelian groups from cohomology group

Question: Given a generic finite abelian group $G=\mathbb{Z}_{N^{(1)}} \times \cdots \times \mathbb{Z}_{N^{(k)}}$.
(1) What is the explicit forms of its cohomology group (see my definition) in a ...