The tag has no wiki summary.

learn more… | top users | synonyms

3
votes
2answers
211 views

Elementary abelian $p$-subgroups of maximal rank in finite groups of Lie type

Let $k$ be an algebraically closed field of characteristic $p>0$, and let $G$ be a reductive group defined over $\mathbb{F}_p$. For any $d\in\mathbb{Z}^+$, let $C_d(G)$ be the set of conjugacy ...
5
votes
2answers
253 views

Maximal order of finite subgroups of $GL(n,Z)$

I am interested in the finite subgroups of $GL(n,Z)$ of maximal order. Except for the dimensions $n = 2,4,6,7,8,9,10$ they are -- up to conjugacy in $GL(n,Q)$ -- in each dimension the group of signed ...
7
votes
0answers
194 views

A strong sum-product “for translates” in finite fields

In the course of some recent research, I've sketched out a proof of the following result. My basis question is: is the result interesting? Proposition There exists an absolute constant $c$ such ...
1
vote
0answers
185 views

A question on the poset of classes of isomorphic subgroups of finite groups

Given a finite group $G$, we consider the set $${\rm Iso}(G)=\{[H]\mid H\leq G\},$$where $[H]=\{K\leq G\mid K\cong H\}, \forall H\leq G$. Then ${\rm Iso}(G)$ can be partially ordered by defining ...
3
votes
0answers
210 views

Profinite groups, completions, and Schreier's formula

Let $G$ be a finitely generated profinite group, and $H \leq_o G$. We say that $H$ satisfies Schreier's formula in $G$ if $d(H) - 1 = (d(G)-1)[G:H]$. We say that $G$ satisfies Schreier's formula if ...
4
votes
2answers
330 views

Profinite completions

I call a profinite group $G$ Noetherian, if evrey ascending chain of closed subgroups is eventually stable. A standart argument shows that every closed subgroup of a Noetherian profinite group is ...
2
votes
1answer
140 views

a characterization for cyclic groups [duplicate]

Let $G$ be a group of order $n$ and its subgroup lattice be order-isomorphic to that of $\Bbb Z_n$. Is $G$ cyclic‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌?
0
votes
0answers
70 views

Fibres of square map on finite groups and the inverse set of a subset

Let $G$ be a finite group and $q:G\rightarrow G:g\mapsto g^2$ the square map. Now, if $A$ is a subset of one fibre of $q$, i. e. $$a^2=b^2$$ holds for all $a,b\in A$, is there always some $g\in G$ ...
27
votes
3answers
1k views

When is $S_n \times S_m$ a subgroup of $S_p$?

I asked the following question on math.stackexchange several months ago: Let $n,m,p>1$ be such that $S_n \times S_m \hookrightarrow S_p$. Does it imply that $p \geq n+m$? Derek Holt gave a ...
7
votes
1answer
364 views

Paths in groups

Given a finite group $G$, write $K(G)$ for the complete digraph on the elements of $G$. Label the edge from $g$ to $h$ by element $g^{-1}h$. Question: For what groups does there exist a Hamiltonian ...
1
vote
2answers
388 views

on the extensions of $ A_5$ by $A_5$ [closed]

Let $G$ be a finite group such that $G$ has a normal subgroup $H$ and $H$ is isomorphic to the alternating group $A_5$. Also we know that $G/H \cong A_5$. Can we say that $G \cong A_5\times A_5$? ...
6
votes
1answer
292 views

Fast construction of straight line programs?

Given a group $G$ and a set of generators $A$, we can ask ourselves (and do ask ourselves all the time) to bound the diameter of $G$ with respect to $A$. The diameter, let us recall, is defined to be ...
3
votes
1answer
151 views

Aschbacher's description of Sylow 2-subgroups

I'm looking for a few more examples of using Aschbacher (1980)'s “fundamental SL2 subgroups” description of Sylow 2-subgroups of finite groups of Lie type in odd characteristic. I do not yet ...
1
vote
1answer
73 views

A characterization of almost relatively free, finite $p$-groups

Let $G$ be a finite minimally $d$-generated $p$-group. If $G$ is relatively free, that is $G$ is a quotient of the free group $F$ on $d$ generators by a fully invariant subgroup of $F$, then the ...
2
votes
0answers
58 views

A question on $p$-central $p$-groups

Let $p$ be a fixed prime. A group $G$ is termed $p$-central if every element of order $p$ in $G$ lies in the center. Having a finite $p$-group $G$ of rank $k$ (the least integer, such that every ...
3
votes
2answers
212 views

On the groups of order $p(p^2+1)$

Let $G$ be a group of order $p(p^2+1)$, where $p$ is an odd prime number and $p>3$. Easily we can see that $G$ is solvable and so $G$ has a Hall subgroup $L$ of order $p^2+1$. Also we know that ...
3
votes
0answers
77 views

“A locally dual polar space for the Monster”

I am currently looking at Ronan and Stroth's 1984 paper Minimal Parabolic Geometries for the Sporadic Groups. When considering the $3$-minimal parabolic system of $F_{1}$, they cite a preprint by ...
1
vote
0answers
137 views

Questions about some finite p-groups of coclass 2

I have two questions about a specific type of finite $p$-groups that i've seen in an interesting work on automorphisms of finite p-groups. Let $G$ a finite $p$-group of order $p^{n}$ such that: - ...
0
votes
1answer
202 views

Projective characters with corresponding factor set

The following is just a follow up to my previous question. I have a finite group $H$ with 14 ordinary characters. The Schur multiplier $M(H)\cong 2^2$. Hence the group $H$ will have 3 sets of ...
11
votes
0answers
296 views

Generating random finite groups

I would like a method to efficiently generate a random finite group of a given order $n$. If there are $g(n)$ non-isomorphic groups of order $n$, ideally each group would occur with probability ...
51
votes
3answers
2k views

How do I verify the Coq proof of Feit-Thompson?

I probably don't have the appropriate background to even ask this question. I know next to nothing about formal or computer-aided proof, and very little even about group theory. And this question is ...
6
votes
2answers
384 views

Sylow 3-subgroups of symmetric group

Is there any routine technique to find a set of permutations which generate a Sylow $3$-subgroup of the symmetric group $S_{n}$?
4
votes
2answers
581 views

Decomposing representations of finite groups

Let $G$ be a finite group, $p$ a prime number. We denote by $\mathbb{F}_p$ the field of cardinality $p$. Let $V$ be an infinite dimensional representation of $G$ over $\mathbb{F}_p$. Must there be ...
7
votes
1answer
405 views

Is there a precise notion of “almost all” such that almost all finite groups are Galois groups of extensions of the rationals?

I vainly tried to define a notion of "almost solvable group" such that every "almost solvable group" is the Galois group of a finite extension of the rationals, but I can't figure out the right way to ...
4
votes
1answer
170 views

Maximum length of chains of subgroup in GL(n,q)

Let G=GL(n,q) be a general linear group n-dimensional over a field with q element (q power of a prime). I am looking for an estimate of maximum length of chains of subgroup in G. Thanks.
2
votes
0answers
95 views

Coprime automorphisms of finitely generated pro-$p$ groups

Let $P$ be a finitely generated pro-$p$ group and let $G$ be a semidirect product $P \rtimes A$, where $A$ is a finite group of order coprime to $p$ that acts faithfully on $P$. Then one can show ...
2
votes
1answer
331 views

Groups like symmetric group

For sufficiently large n consider this question Let $G$ be a finite group with the following properties: $|G|=n!$ $H,K$ are subgroups of $G$ such that $H\cap K=1$ and $H\cong S_{3}$ and $K\cong ...
3
votes
0answers
117 views

Automorphisms of profinite groups

Let $d,n \in \mathbb{N}$, and $p$ a prime number. Let $F$ be a free pro-$p$ group on $d$ generators. Is there an automorphism of $F$ of order $n$?
2
votes
1answer
148 views

generality of the lattice of normal subgroups

Let $(X,\le)$ a (finite) modular lattice. Is there a (finite) group $G$ such that the lattice of all normal subgroups of $G$ is isomorphic to $(X,\le)$?
4
votes
1answer
294 views

Which finite groups can be characterized by their subgroup orders?

Given a finite group $G$, we denote by $\pi_s(G)$ the set of orders of its subgroups. Which finite groups $G$ can be characterized by the set $\pi_s(G)$, i.e. $\pi_s(H)=\pi_s(G)$ implies $H\cong G$? ...
6
votes
2answers
274 views

Subgroups from which all class functions extend to class functions on the ambient group

Until someone suggests better terminology, let me call a subgroup H of a finite group G segregated if every class function on H can be extended to a class function on G. Equivalently, H should have ...
25
votes
1answer
759 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 ...
0
votes
0answers
77 views

What algebras does the hidden subgroup problem for finite abelian groups apply to?

Shor's algorithm is said to solve the hidden subgroup problem for finite Abelian groups, of which factoring and the discrete logarithm problem for integers belong to. Apparently the HSP for finite ...
3
votes
2answers
255 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
277 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
252 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 ...
10
votes
0answers
336 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
0answers
287 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 ...
8
votes
0answers
271 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
0answers
136 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
1answer
111 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
1answer
76 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
109 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
1answer
70 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
1answer
271 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
255 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
222 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
2answers
286 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
1answer
450 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
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 ...