Questions about the branch of abstract algebra that deals with groups.

learn more… | top users | synonyms (1)

0
votes
1answer
116 views

Known computations of certain 2-cohomology groups?

I wanted to know if there are any computations of cohomology groups $H^n(\Gamma,A^{(\Gamma)})$ in the literature for certain $n\in\mathbb{N}$, Abelian groups $A$, and infinite groups $\Gamma$. Here ...
27
votes
3answers
963 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 ...
6
votes
1answer
352 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
358 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$? ...
0
votes
1answer
116 views

Why are all involutions conjugate in the special linear group of degree 2?

It appears to be standard that the set of non-identity involutions in $SL(2, 2^n) = PSL(2, 2^n)$ forms a single conjugacy class. What is the best reference for this? I note that ...
6
votes
1answer
219 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 ...
7
votes
3answers
630 views

Is group theory useful in any way to optimization?

For what I have seen, optimization uses a lot of linear algebra and convex analysis, but I have not seen any group theory being used, so I was curious about it. Is group theory useful in any way to ...
1
vote
0answers
47 views

Some resources about minimum-length generator sequences

In the group theory I want to know what are the best results known for problem of finding minimum-length generator sequences. This problam have different titles in articles that cause difficality in ...
2
votes
2answers
138 views

$PSL_2(\mathbb{Z}/p^n)$ isomorphic to automorphism group of depth-$n$, $(p+1)$-regular tree?

A comment on another question (linked below) states "The group $PSL_2((\mathbb{Z}/p^n))$ is the automorphisms group of the $(p+1)$ regular tree of depth $n$, where at level $m$ of the tree you have ...
3
votes
1answer
139 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 ...
4
votes
0answers
101 views

Regularity of polynomial growth of groups

Let $G$ be a finitely generated group of polynomial growth. This means that the size $B_n$ of the ball of radius $n$ satsifies: $$ A n^d \leq B_n \leq Bn^d $$ for some constants $A$, $B$. My question ...
23
votes
1answer
731 views

How strong is this conjecture? $(Z/nZ)^*$ is generated by “small” elements

Conjecture: There are constants $c,k$ such that every $(Z/nZ)^*$ is generated by its elements smaller than $k (\log n)^c$. Where $(Z/nZ)^*$ is the multiplicative group of integers mod $n$. My ...
0
votes
1answer
128 views

A question on direct limits of finite $p$-groups

Where can we find a well developed material on direct limits of finite $p$-groups? For instance, is there a characterization of such groups, which have a finite rank (that is every subgroup can be ...
1
vote
1answer
63 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
43 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 ...
0
votes
1answer
192 views

Examples of groups such that order isomorphism of the subgroups of $G\times G$ and $H\times H$ does not imply isomorphism of $G$ and $H$

Let $G$ and $H$ be groups, $\operatorname{Sub}(G\times G)$ be the set of all subgroups of $G\times G$ and $\operatorname{Sub}(H\times H)$ be the set of all subgroups of $H\times H$. Assume there ...
4
votes
2answers
301 views

a question on rank of fundamental group

Assume $G$ be the fundamental group of a closed orientable hyperbolic 3-manifold. Let $G_{1} = \langle a_{1},...,a_{k} \rangle$ be a free subgroup of $G$, and let $G_{2}=\langle a_{k+1} \rangle$ be a ...
3
votes
2answers
203 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 ...
2
votes
0answers
69 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 ...
10
votes
1answer
309 views

Finitely presented group in which every element is conjugate to its square

Does there exist a nontrivial finitely presented group in which every element is conjugate to its square? Is this an open problem? Motivation: Jahren proved in [Geom Dedicata (2010)] that if $M$ is a ...
4
votes
1answer
440 views

Infinite groups containing maximal subgroups that are abelian

If G is a finite group which contains a maximal subgroup M which is abelian, then it is an exercise to show that G is solvable and that the third term in the derived series equals 1. What happens for ...
1
vote
0answers
113 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: - ...
4
votes
0answers
92 views

When does finite presentability of the associated graded Lie algebra of a group imply the group is finitely presented?

Let $G$ be a finitely generated group; let $L(G)$ denote the graded Lie algebra (over $\mathbb{Q}$) associated to the lower central series of $G$. I would like to know conditions for when the finite ...
9
votes
2answers
312 views

Can the difference of non-conjugate pseudoreflections lie in the commutator subgroup?

Let $G$ be a finite group acting on a complex vector space $V$ by pseudoreflections (i.e. every element of $G$ is a product of elements which fix hyperplanes in $V$). I would like to understand the ...
8
votes
1answer
251 views

Reference for the fact that $SL_n(O_K)$ surjects onto $SL_n(O_K/I)$ for any ideal I

Let $\mathcal{O}_K$ be the ring of integers in an algebraic number field $K$ and let $I \subset \mathcal{O}_K$ be a nonzero proper ideal. It is not hard to see that the map ...
12
votes
3answers
508 views

Is {6,3,7} an 'ultrahyperbolic' Coxeter group?

These pictures, drawn by Roice Nelson, are attempts to visualize a geometry having as symmetries the {6,3,7} Coxeter group, by which I mean the one coming from the Coxeter diagram ...
8
votes
1answer
229 views

Question about doubly transitive groups with an n-cycle

Let $G$ be a doubly transitive subgroup of $S_n$ which contains an $n$-cycle, and let $G_{12}$ be the subgroup of $G$ consisting of all elements $g\in G$ for which $g(1)=1$ and $g(2)=2$. Then ...
0
votes
2answers
181 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 ...
4
votes
0answers
139 views

Is there a notion of “tame” representations of $GL_n(Z)$?

This is a followup to this question about the (left) noetherianity of the group ring of $GL_n(\mathbf{Z})$: Does GL_n(Z) have a noetherian group ring? Given that $\mathbf{Z}[GL_n(\mathbf{Z})]$ is ...
14
votes
1answer
502 views

Does GL_n(Z) have a noetherian group ring?

Has the (left, right, 2-sided) noetherian property of the integral group ring of arithmetic groups like $GL_n(Z)$ been considered in the literature? Motivation: a recent trend has been to study ...
11
votes
0answers
250 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 ...
48
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
316 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}$?
3
votes
2answers
126 views

All Integers from the Smallest Digit Stream with a Window Filter

Let's represent integers with D digits where each digit has B values (i.e., the base is B and we effectively work only with integers between 1 and B^D). Is it possible to choose a single ...
4
votes
2answers
540 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
390 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
165 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
86 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
324 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 ...
5
votes
2answers
627 views

An application of Maschke's theorem

I've been teaching some elementary representation theory to undergraduates, and want to provide applications of Maschke's theorem to complex group algebras to present in class. In particular, I'd like ...
2
votes
0answers
80 views

Free profinite completions

Let $m,n \in \mathbb{N}$. Which residually finite groups $G$ generated by $m$ elements, have the free profinite group on $n$ generators as their profinite completion?
3
votes
0answers
93 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$?
1
vote
1answer
113 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)$?
5
votes
1answer
185 views

Is any finitely generated nilpotent pro-$p$ group necessarily the pro-$p$ completion of some finitely generated nilpotent group?

While thinking about this question, I was led to the following question: My question: Let $G$ be a topologically finitely generated pro-$p$ nilpotent group. Does there exist a finitely generated ...
2
votes
3answers
140 views

Modular group modulo $N$

Let $N\geq2$ be a positive integer. Is the canonical homomorphism $\pi$ from $SL_2(\mathbb{Z})$ to $SL_2(\mathbb{Z}/N\mathbb{Z})$ surjective? What if we ask the same question for $SL_n$?
5
votes
0answers
74 views

Explicit descriptions of self-replicating pro-$p$ groups

A group $G$ is called self-replicating, if there exists a finite index subgroup $H$, such that $H\cong G\times\dots\times G$. Maybe the most famous example of a self-replicating group is a subgroup ...
4
votes
1answer
276 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$? ...
1
vote
1answer
129 views

Groups in which lower central series and upper central series coincide

Let $G$ a finite two-generated $p$-group in which lower and upper central series coincide. Clearly we obtain that the upper central series become strongly central, we have also that at least half of ...
5
votes
1answer
205 views

A nilpotent quotient of free groups

Let $F$ denote the free group on $n$ generators $g_1,\ldots, g_n$. Consider its quotient $Q$ by the universal relation $[x,[x,y]]$ (a "Serre relation" familiar from Lie theory). This group is ...
4
votes
3answers
203 views

Results about the existence of solutions in groups

Let $G$ be a group. Consider an arbitrary equation given by $w(\vec{g})=e$, where $w: G^n \to G$ takes an $n$-tuple $(g_1,...,g_n)$ to some expression involving products of the $g_i$, their inverses ...