The tag has no wiki summary.

learn more… | top users | synonyms

2
votes
1answer
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
0answers
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
2answers
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
5answers
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
0answers
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
0answers
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
0answers
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
0answers
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
1answer
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
2answers
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
2answers
628 views

solvable groups

Let $G$ be a finite group which has a cyclic maximal subgroup. Is $G$ solvable?
1
vote
0answers
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
2answers
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
1answer
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
1answer
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
7answers
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
3answers
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
0answers
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
0answers
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
0answers
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
1answer
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
2answers
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
1answer
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
1answer
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
4answers
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
1answer
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
1answer
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
0answers
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
1answer
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
6answers
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
1answer
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
1answer
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
0answers
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
2answers
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
0answers
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
2answers
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
1answer
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
1answer
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
1answer
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
1answer
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
1answer
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
0answers
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
0answers
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
1answer
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
1answer
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
2answers
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
1answer
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
0answers
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
0answers
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
2answers
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 ...