The tag has no wiki summary.

learn more… | top users | synonyms

-1
votes
0answers
37 views

Gaussian Elimination for Orthogonal groups [on hold]

We known the classical Gaussian elimination algorithm where we can reduce any invertible matrix to a diagonal matrix by row-column operations. Is there row-column operations and Gaussian elimination ...
26
votes
2answers
511 views

Why do sporadic simple groups have so few conjugacy classes?

In finite group theory, there's a general intuition that the further away a group is from abelian, the fewer conjugacy classes it will have. So it is to be expected that non-abelian finite simple ...
5
votes
0answers
137 views

Approximating Lie groups by finite groups

How can one approximate compact Lie groups by finite groups? My wish is something like this: Let $G$ be a compact Lie group. There is a sequence of nested finite subgroups $G_n$ so that $G_n\to ...
1
vote
0answers
77 views

Subgroups of the union of conjugates

This question is an attempt to find a version of this question with a positive answer. In this question, we ask if one can find big subgroups in the union of conjugtes of small subgroups of finite ...
2
votes
1answer
161 views

Dihedral subgroups of $\mathrm{PSL}_2(\mathbb{F}_q)$

Let $\mathbb{F}_q$ be a finite field with $q=p^f$ elements. I need to know when $\mathrm{PSL}_2(\mathbb{F}_q)$ contains the group $D_{(q+1)/2}$, where by $D_n$ I mean the dihedral group of order $2n$. ...
2
votes
1answer
164 views

Union of conjugates in p-groups

Fix a prime number $p$. Is there a sequence $\{a_k\}_{k \in \mathbb{N}}$ of real numbers with $$\lim_{k \to \infty} a_k = 0$$ such that for any finite $p$-group $G$, and any subgroup $H \leq G$ with ...
1
vote
1answer
109 views

Decomposing quasi-finite separated group schemes

Let $U$ be a punctured disk, and let $G\to U$ be a quasi-finite separated group scheme. (Assume $K$ of char zero if it helps) Why is $G = G_1\sqcup G_2$, where $G_1 \to U$ is finite and $G_2\to U$ ...
4
votes
1answer
120 views

orders of maximal abelian subgroups

What are the orders of maximal abelian subgroups of the simple groups $F_4(q)$ and $C_4(q)$, where $F_4(q)$ is an exceptional group and $C_4(q)$ is a symplectic group?
3
votes
1answer
192 views

Representation of GL(n, F_p) over F_p, for n small

The question is related to this post Representation theory of the general linear group over a finite prime field However, I am asking for more detailed references for n small, for example, for n=2, ...
6
votes
2answers
378 views

What are the outer automorphisms of a Coxeter group?

I want to know the outer automorphisms of the Weyl group of $\mathrm{E}_8$, if any. But I might as well ask the question more generally. Suppose we have a Coxeter diagram. This gives a Coxeter ...
5
votes
1answer
225 views

Paper by I. N. Sanov, Solution of the Burnside problem for exponent 4

I have searched extensively online and for copies of printed journals containing the paper which details Sanov's solution to the Burnside Problem for exponent 4, which is widely cited in many papers ...
3
votes
2answers
183 views

Smallest non-trivial conjugacy classes in simple groups and classes of involutions

I am interested in finding the size of the smallest non-trivial conjugacy class of the simple groups $PSL(d,q)$ with $d>2$, $Sz(q)$ with $q>2$ and $R(q)$ with $q>3$. My first question is ...
6
votes
1answer
113 views

Is the free abstract group residually of rank d > 2?

Let $d \geq 2$ be an integer, and let $\mathcal{F}_d$ be the family of finite groups such that $G \in \mathcal{F}_d$ if and only if every subgroup of $G$ can be generated by at most $d$ elements. Is ...
4
votes
0answers
131 views

In general, are 'Young symmetrisers' given by Littlewood-Richardson 'Orthogonal projection Operators'?

Consider $V^{\otimes n}$ where $V$ is vector space and the representation of GL(V) acting in the usual way. Now if I consider tensor products or plethysms of irreducible spaces, this is not in general ...
4
votes
0answers
134 views

Is there a nontrivial profinite word which is trivial in any group with at most d generators?

Let $F$ be a free profinite group of rank $\aleph_0$, and let $d \in \mathbb{N}$. Let $N_d \lhd_c F$ be the intersection of all open normal subgroups $L \lhd_o F$ for which $F/L$ can be generated by ...
4
votes
1answer
380 views

Generalization of a property of $A_n; n\geq 5$

Let $H$ and $K$ be two proper non-trivial subgroups of the alternating group $A_n; n\geq 5$. Then there exists a maximal subgroup $M$ of $A_n$ such that $H\not\leq M$ and $K\not\leq M$. To see this ...
3
votes
1answer
126 views

On the size of centralizers in a non-abelian finite simple group

It is known that for a finite non-abelian simple group $G$ we have $|G|<|C_G(x)|^3$ for some involution $x$. Is there a better bound for the order of centralizer of a nontrivial element of $G$ (not ...
1
vote
1answer
160 views

Can we say that $A$ is a complement for a group $G$?

Let $A$ be a frobenius complement for a group $G$ i.e. $A$ act on $G$ by automorphism s.t. $C_A(g)=e$ for all nonidentity $g$. Now, Action of $A$ can be linearly extended so that $A$ act on $F[G]$. ...
2
votes
0answers
113 views

Irreducible representations of $Sp(4,\mathbb{F}_2)$

I'm trying to construct the irreducible representations (over $\mathbb{C}$) of the finite group $Sp(4,\mathbb{F}_2)$. Using GAP, the character table is as follows: $$ \left(\begin{matrix} 1 & 1 ...
1
vote
0answers
158 views

Rational conjugation of elements of a finite group

Let $G$ be a finite group. Two elements $x$ and $y$ of $G$ are said to be rationally conjugate, written $x \sim_{r} y$, if and only if $\langle x\rangle$ and $\langle y\rangle$ are conjugate subgroups ...
4
votes
1answer
148 views

Decomposing representations of finite groups of Lie type via computer

This is related to my previous question here. Let me remind you what that question asked: Let $\text{St}_n(\mathbb{F}_q)$ be the Steinberg module (over $\mathbb{C}$) for ...
5
votes
3answers
167 views

bounding from below the cardinality of a set of generators of the $n$-fold cartesian product group of a finite group

Let $G$ be a non-trivial finite group. Let $n\in\mathbf{Z}_{\geq 1}$ and let $G^n$ be the $n$-fold cartesian group product of $G$. Let $S\subseteq G^n$ be a generating set of $G^n$. Q: Is $|S|\geq ...
8
votes
1answer
189 views

Vertex-primitive graphs with two vertices having almost the same neighbourhood

Hypothesis: Let $\Gamma$ be a vertex-primitive graph with two vertices $u$ and $v$ such that $$|N(u) \cap N(v)|=|N(v)|-1$$ Question: Is it true that $\Gamma$ must either be a complete graph or have ...
1
vote
0answers
113 views

Explicitly showing that a free group is LERF [closed]

Let $F$ be a free group on a finite set $X$, and let $M$ be a finitely generated subgroup. Marshall Hall's theorem states that $M$ is closed in the profinite topology on $F$. That is, $M$ is the ...
1
vote
2answers
172 views

Rational Conjugacy Classes of Finite Groups

Suppose $G$ is a finite group and $A$ is the set of all character values of $G$. By character values, I mean entries of the character table of $G$. Let $\Gamma = ...
6
votes
3answers
274 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
1answer
385 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
3answers
376 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
1answer
76 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
1answer
108 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
1answer
115 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
0answers
98 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
1answer
154 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
4answers
332 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
0answers
102 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
1answer
146 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 ...
15
votes
2answers
797 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 ...
6
votes
1answer
137 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$?
16
votes
0answers
418 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
1answer
146 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 ...
3
votes
1answer
209 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
3answers
202 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 ...
5
votes
1answer
175 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
1answer
134 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
0answers
107 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
1answer
103 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 ...
8
votes
1answer
190 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
0answers
74 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
0answers
46 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
0answers
66 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 ?$$