The finite-groups tag has no wiki summary.

**2**

votes

**1**answer

106 views

### Asymptotic of min(#generators times diameter), for a Cayley graph of Sn

This post is a sequel of Diameter of symmetric group.
Let $\Sigma$ a generating subset of $S_n$, $\Gamma(S_n, \Sigma)$ the Cayley graph and $d_{\Sigma}$ the diameter of $\Gamma(S_n, \Sigma)$.
Let ...

**-2**

votes

**0**answers

57 views

### On cyclic decomposition of element in $S_n$? [on hold]

Let $S_n$ be symmetric group and $x\in S_n$ be a permutation of $n$ numbers. Let $|x|=p$, where $n/2<p<n$ is prime. Consider $1^{t_1}2^{t_2}\ldots l^{t_l}$ to be the cyclic decomposition of $x$. ...

**2**

votes

**2**answers

154 views

### Permutation covering of a $G$-lattice

Let $G$ be a finite group.
By a $G$-lattice we mean a finitely generated free abelian group $L$ with an action of $G$.
We say that $L$ is a permutation $G$-lattice if $L$ has a ${{\mathbf{Z}}}$-basis ...

**7**

votes

**5**answers

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

**3**

votes

**0**answers

233 views

### On Thompson conjecture

Let $N(G)$ be the set of conjugacy class sizes of finite group $G$. Let $G$ be a finite group for which $N(G)=N(A_n)$, where $A_n$ is the alternating group of degree $n$.
Let $p$ and $q$ be distinct ...

**-4**

votes

**0**answers

52 views

### On conjugacy class size of an element and its order [closed]

Let $G$ be a finite group and $x\in G$. Also we denote the conjugacy class of $x$ in $G$ by $x^G$. I want to know if there is any relation between $|x|$ and $|x^G|$? Suggestions would be appreciated.

**22**

votes

**0**answers

375 views

### Next steps on formal proof of classification of finite simple groups

While people are steaming ahead on finessing the proof of the classification of finite simple groups (CFSG), we have a formal proof in Coq of one of the first major components: the Feit-Thompson ...

**0**

votes

**0**answers

121 views

### Representation of finite group

Let $\Gamma$ be a finite index subgroup of $SL_2(\mathbb{Z})$. Let $\pi$ be a natural covering from $\Gamma\backslash\mathbb{H}$ to $SL_2(\mathbb{Z})\backslash\mathbb{H}$. Denote by $\text{Deck}(\pi)$ ...

**19**

votes

**1**answer

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

**2**

votes

**2**answers

128 views

### Finite groups which have elements $g$ of order $pq$ such that the sizes of the conjugacy classes of $g^p$, of $g^q$ and of $g^{q-p}$ coincide [closed]

Let $G$ be a finite group and let $g \in G$ be an element of order $pq$, where $p < q$ are
prime numbers. Denote by $g^G$ the conjugacy class of $g$ in $G$. Under which conditions
does the ...

**4**

votes

**2**answers

628 views

**1**

vote

**0**answers

161 views

### Are the finite groups inclusions, almost all relatively cyclic?

Definition: An inclusion of finite groups $(A \subset B)$ is relatively cyclic if $\exists b \in B$ such that $\langle A,b \rangle = B$.
Definition: Two inclusions of finite groups are equivalent, ...

**17**

votes

**2**answers

513 views

### Is there a big solvable subgroup in every finite group?

Definition: Let $G$ be a group, and let $H \leq G$ be a subgroup. We say that $H$ is big in $G$ if for every intermediate subgroup $H \leq L \leq G$ there exists some $x \in L$ such that $\langle H ...

**10**

votes

**1**answer

331 views

### Origin of group theory problem (bound on number of Sylow subgroups)

This problem (prove that the number of Sylow subgroups of a finite group $G$ is bounded by $\frac{2}{3}|G|$) posted on MSE proved rather difficult to solve. The OP has been silent about where the ...

**1**

vote

**1**answer

124 views

### Groups with many vanishing elements

It is well-known that every non-linear character $\chi$ of a finite group $G$ vanishes on some elements of $G\setminus Z(\chi)$. The question is
What can be said about a finite group $G$ for which ...

**6**

votes

**7**answers

969 views

### maximal subgroups of finite simple groups

Is it possible to determine the structure of maximal subgroups of finite simple groups?(Even if in special cases such as minimal simple groups, alternating groups,...)

**13**

votes

**3**answers

916 views

### Restriction from $GL_n$ to $S_n$

Let $V$ be the irreducible representation of $GL_n$ with highest $\lambda$, and $|\lambda|=n$. It is well known that the representation of $S_n$ on the $(1,1,\ldots,1)$ weight space is the Specht ...

**1**

vote

**0**answers

108 views

### Finite quotients of an infinite product of finite groups

Let $G$ be a finite group.
Consider the direct product $\Gamma=\prod_{i=1}^{\infty}G$ of (countably) infinitely many copies of $G$. For every finite set of numbers $\{i_1,\ldots,i_n\}$ we have the ...

**0**

votes

**0**answers

95 views

### Subgroups of powers of the alternating group on 5 elements

Definition: Let $G$ be a group, and let $H \leq G$ be a subgroup. We say that $H$ is big in $G$ if for every intermediate subgroup $H \leq L \leq G$ there exists some $x \in L$ such that $\langle H ...

**2**

votes

**0**answers

58 views

### When does a finite group have a lower-dimensional representation than one of its quotients?

The minimal dimension of a nontrivial representation of a central extension of a group $G$ can be smaller than the minimal dimension of a nontrivial representation of $G$. What about non-central ...

**6**

votes

**1**answer

173 views

### Self-duality of the subgroup lattice of $G\times H$

Let $G$ and $H$ be finite groups and $\gcd(|G|,|H|)=1$.
Suppose the lattice of all subgroups of $G\times H$ is self-dual. Is the lattice of all subgroups of $G$ self-dual?

**17**

votes

**2**answers

498 views

### divisors of $p^4+1$ of the form $kp+1$

In group theory the number of Sylow $p$-subgroups of a finite group $G$, is of the form $kp+1$.
So it is interesting to discuss about the divisors of this form. As I checked it seems that for an odd ...

**4**

votes

**1**answer

143 views

### The groups with symmetric subgroups lattice

Let $G$ be a group and $\mathfrak{L}(G)$ be set of all subgroups of $G$. Clearly, $\mathfrak{L} (G)$ is a lattice.
If we know that $\mathfrak{L} (G)$ is symmetric then what can be said about the ...

**4**

votes

**1**answer

232 views

### Arithmetic relations between degrees of irrchar and cardinals of conjugacy classes

Perhaps this question arose already in MO. If so, then I'm ready to delete it.
If $G$ is a finite group, I denote c $=(c_1,\ldots,c_r)$ the cardinals of its congacy classes and m $=m_1,\ldots,m_s$ ...

**7**

votes

**4**answers

893 views

### Center and representations of finite group - how are related ?

If finite group G has a center how does it influence the representations of this group ?
And vice versa - can we see somehow the center (or some of its properties) from representations (from ...

**1**

vote

**1**answer

182 views

### Is a prime index inclusion of finite groups, separating?

Let $(H \subset G)$ be an inclusion of finite groups.
Let $\{ g_i \ \vert \ i \in I=[1, \dots ,n] \}$ a subset of $G$ of double coset representatives, i.e. $$G = \coprod_{i \in I} Hg_iH$$
On the ...

**3**

votes

**1**answer

611 views

### Special automorphisms of extraspecial groups

Let $G$ be an extraspecial group of order $p^{2r+1}$ (where $p$ is an odd prime), and let $V$ be a faithful representation of $G$. Consider the normal subgroup $H$ of $Aut(G)$ consisting of all ...

**4**

votes

**0**answers

55 views

### Minimal rank of a permutation resolution of a $G$-lattice

Let $G$ be a finite group.
By a $G$-lattice I mean a finitely generated free abelian group $L$ with an action of $G$.
One says that $L$ is a permutation lattice if $L$ has a $\mathbb{Z}$-basis ...

**2**

votes

**1**answer

148 views

### The lower bound of a group with characters of special degrees

Is there any lower bound for the order of a group with an irreducible character of degree $p$, where $p$ is a prime.
Is there any similar result for $p^2$ or $p^3$ instead of $p$?
Thanks for your ...

**3**

votes

**6**answers

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

**4**

votes

**1**answer

395 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)$ ...

**-1**

votes

**1**answer

209 views

### A simple group that its order divide order of an alternating group

Let $G$ be a simple group such that
1) $|G|\mid|\mathrm{Alt}_{p}|$
2) $p\mid |
G|$, and $p>13$ is prime.
3) $G$ hasn't any elements of order $rp$ for every prime number $r$.
My question: ...

**0**

votes

**0**answers

35 views

### Is there a better rank bound for fibered products?

Let $G$ be a profinite group of rank $d \geq 2015$, which is a fibered product of two groups of rank at most $2$. That is, there exist closed normal subgroups $N_1, N_2 \lhd_c G$ with $N_1 \cap N_2 = ...

**9**

votes

**2**answers

460 views

### Can any finite lattice be realized as an intermediate subgroups lattice?

Let $G$ be a finite group and $H$ a subgroup.
Let $\mathcal{L}(H \subset G )$ be the lattice of all the intermediate subgroups between $H$ and $G$.
Question: Can any finite lattice be realized as ...

**3**

votes

**0**answers

82 views

### Localized at $p$ integral representations of finite elementary $p$-groups

Let $C_p$ be a cyclic group of prime order $p$.
Let $F=C_p^n=C_p\times\dots\times C_p$ ($n$ times).
I would like to to classify finite dimensional representations of $F$ over ${\mathbb{Z}}$.
However, ...

**9**

votes

**2**answers

522 views

### Regular elements in the torus of a group of Lie type

Let $G$ be a simple linear algebraic group, and $F$ a Frobenius map, i.e. some power of $F$ is the standard Frobenius map which raises matrix entries to the $q$-th power. Then $G^F$ is a group of Lie ...

**4**

votes

**1**answer

162 views

### Finite p-groups and their fibered products

Is every finite $p$-group an epimorphic image of a fibered product of two finite $p$-groups which can be generated by $2$ elements?

**1**

vote

**1**answer

91 views

### Does every connected vertex transitive graph on $n$ vertices (except for $C_n$) have minimum feedback vertex set of size $\Omega(n)$?

Feedback vertex set is a set of vertices whose removal leaves an acyclic graph.
It is known that every vertex transitive graph on $n$ vertices has minimum vertex cover of size $\Omega(n)$. It is also ...

**1**

vote

**1**answer

97 views

### about subgroup of general linear group [closed]

Thanks for any comments
Let $G=GL_n(F)$ be general linear group over finite field $F$. Consider two isomorphic subgeoup $H_1,H_2$ of $G$ such that $H_i\cong GL_k(\bar{F})$, where $\bar{F}$ is an ...

**1**

vote

**1**answer

99 views

### Finite groups normalizing a torus

Let $G$ be a semi-simple linear algebraic group over the complex numbers, e.g. the special linear group. Can you find an example of a finite sub-group $H$ of $G$ which does not normalize any maximal ...

**2**

votes

**1**answer

94 views

### What is the corank of a proper char subgroup of a finite index subgroup of a free group?

Let $F$ be the free group of rank $\aleph_0$, let $L \leq F$ be a finite index subgroup, and let $M$ be a proper characteristic subgroup of $L$. Is it possible that there exists a finite subset $S ...

**1**

vote

**0**answers

61 views

### Orbits of a cyclic group on the powerset [closed]

Let $G$ be a finite cyclic group and denote by $\mathcal{P}(G)$ its powerset. Then $G$ acts on $\mathcal{P}(G)$ by acting on each element in a subset $S\in\mathcal{P}(G)$individually. Is there any ...

**3**

votes

**0**answers

157 views

### Generalization of the fundamental theorem of cyclic groups 2

This post is a sequel of Generalization of the fundamental theorem of cyclic groups
Let $G$ be a finite group then the fundamental theorem of cyclic groups can be formulated as follows:
Theorem: $G$ ...

**5**

votes

**1**answer

317 views

### Generalization of the fundamental theorem of cyclic groups

Let $G$ be a finite group then the fundamental theorem of cyclic groups can be formulated as follows:
Theorem: $G$ is cyclic iff it admits no two different subgroups with the same order.
proof: see ...

**4**

votes

**1**answer

158 views

### Finite solvable groups are generated by a nilpotent subgroup + K elements?

Is there a constant $K \in \mathbb{N}$ such that for every finite solvable group $G$, there exists a nilpotent subgroup $N \leq G$, and a subset $S \subseteq G$ with $|S| \leq K$, and $\langle ...

**5**

votes

**2**answers

235 views

### Extensions of $SL(2,\mathbb{F}_q)$

Let $n = q(q^2-1)$ (the order of $SL(2,\mathbb{F}_q)$ I think). How many groups of order $2n$ contain $SL(2,\mathbb{F}_q)$ as a (necessarily normal) subgroup? Is this number known exactly? Seems ...

**22**

votes

**1**answer

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

**3**

votes

**0**answers

93 views

### scalar multiple of Young symmetrizer

The following is a lemma from Fulton and Harris' book -Representation theory,a first course (page 53):
Lemma: For all $x\in \mathbb{C}\mathfrak{S}_r$, $c_{\lambda}\cdot x\cdot c_{\lambda}= scalar ...

**0**

votes

**0**answers

90 views

### Are such averages known with representations of $S_n$?

Like is there a sense in which one can quantify that for two group elements (in different conjugacy classes) their characters are "close" for some fixed irreducible representation? (feel free to ...

**9**

votes

**2**answers

222 views

### Embedding $\mathrm{PGL}(n,q^h)$ in $\mathrm{PGL}(nh,q)$

It is not very hard to see that for each prime power $q$ and natural numbers $n,h$, we have an embedding
$$\iota \colon \mathrm{GL}(n,q^h) \hookrightarrow \mathrm{GL}(nh, q),$$
obtained by choosing a ...