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

**3**

votes

**1**answer

167 views

### Normal subgroup lattice of the group $U_{6n}$

I need to find the normal subgroup lattice of the group $U_{6n} = \langle a,b | a^{2n} = b^ 3= 1, a^{-1}ba = b^{-1}\rangle$. To the best of my knowledge this group was introduced at first by GORDON ...

**5**

votes

**1**answer

102 views

### What version of the wreath product embedding theorem is actually stated in the famous paper of Kaloujnine and Krasner?

This question is inspired by Terry Tao's blog post and the comments there. I have always cited M. Krasner and L. Kaloujnine, "Produit complet des groupes de permutations et le problème d'extension de ...

**3**

votes

**3**answers

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

**10**

votes

**2**answers

228 views

### Does a classification of simultaneous conjugacy classes in a product of symmetric groups exist?

Let the symmetric group $S_n$ on $n$ letters act on $S_n^d=S_n\times\cdots\times S_n$ by simultaneous conjugation, i.e. $\pi\in S_n$ acts on $(\sigma_1,\ldots,\sigma_d)\in S_n^d$ by ...

**5**

votes

**1**answer

475 views

### Groups whose normal subgroups form a chain with respect to inclusion

Let G be a finite group. In general, given two normal subgroups N and K of G, we need not have N < K or K < N. The easiest example is the Klein 4-group V4 and its subgroups of order 2. So assume ...

**22**

votes

**5**answers

2k views

### Existence of simultaneously normal finite index subgroups

It is well known that if $K$ is a finite index subgroup of a group $H$, then there is a finite index subgroup $N$ of $K$ which is normal in $H$. Indeed, one can observe that there are only finitely ...

**10**

votes

**0**answers

274 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, ...

**-1**

votes

**0**answers

106 views

### Where can I find the classification of groups of order 8p? [on hold]

I need to classify the groups of order $8p$ up to isomorphism. We know that one of these groups is $G=\langle a,b| a^p=b^8=1, b^{-1}ab=a^{-1}\rangle$. Can I find other groups of this classification ...

**12**

votes

**3**answers

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

**6**

votes

**1**answer

147 views

### Center of one-point stabilizer in 2-transitive groups

In this MO question it was mentioned that the following fact seems to be true:
If $G$ is doubly transitive on $X$ and the one-point stabilizer $G_x$ has a
non-trivial center, then $G$ is of ...

**1**

vote

**1**answer

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

**25**

votes

**3**answers

1k views

### Is it decidable whether or not a collection of integer matrices generates a free group?

Suppose we have integer matrices $A_1,\ldots,A_n\in\operatorname{GL}(n,\mathbb Z)$. Define $\varphi:F_n\to\operatorname{GL}(n,\mathbb Z)$ by $x_i\mapsto A_i$. Is there an algorithm to decide whether ...

**3**

votes

**0**answers

92 views

### On a problem of Berkovich

What is the real history of the following problem proposed by Berkovich [Y. Berkovich, Z.Janko, Groups of prime power order. Volume 2, Expositions in Mathematics, 56, Walter de Gruyter, New York, ...

**12**

votes

**3**answers

784 views

### (un)decidability in matrix groups

Given a collection of matrices $S=\{M_1, \dots, M_k\}$ in (say) $SL(n, Z), \ n>2$ does $S$ generate $SL(n, Z)?$
Similar are questions are undecidable for $n\geq 4$ (eg, given a set $S$ as above, ...

**6**

votes

**1**answer

220 views

### discrete group cohomology vs continuous group cohomology for profinite groups

Let $G$ be a profinite group and $M$ be a finite $G$-module. I can compute the cohomology of $G$ with coefficients in $M$ either as a topological group or as a discrete group. There is an obvious map ...

**16**

votes

**4**answers

702 views

### Computing the Zariski closure of a subgroup of SL(n,Z)

Suppose $\Gamma$ is a finitely generated subgroup of $SL(n,\mathbb{Z})$, given as a list of generators. We would like to (somewhat efficiently) try to compute the Zariski closure of $\Gamma$, which is ...

**3**

votes

**0**answers

100 views

### Unipotent representations of SL(2,R) by quantization

I'm a PhD student in mathematical physics and I happen to need some elements of Kirillov's "orbit method" for producing representations of Lie groups. I'm familiar with symplectic geometry, geometric ...

**7**

votes

**2**answers

506 views

### Translation length functions of non-simplicial trees

Let $G$ be a finitely generated group. By a theorem of Culler and Morgan, the set of non-abelian (not necessarily simplicial) minimal $\mathbb{R}$-trees with isometric $G$-action injects into the ...

**-5**

votes

**0**answers

69 views

### Basic question in group theory [closed]

Considering the group homomorphism $\alpha: F_n\to\mathbb{Z}^{n}$, where $F_n$ is a free group of $n$ elements generated by the letters in the finite alphabet $\mathcal{A}_{n}=\{a_i|\ 1\leq i\leq ...

**7**

votes

**2**answers

114 views

### Can monomial representations induced from nonmonomial representations?

Let $H$ be a subgroup of $G$. Let $\rho$ be an irr representation of $G$ induced from an irr representation $\theta$ of $H$. It is well known that $\rho$ is monomial if $\theta$ is monomial. Is it ...

**7**

votes

**1**answer

617 views

### Generalization of a theorem of Øystein Ore in group theory

Theorem (Øystein Ore, 1938): A finite group $G$ is cyclic iff its lattice of subgroups $\mathcal{L}(G)$ is distributive.
Proof: see below.
Let $(H \subset G)$ be an inclusion of finite groups and ...

**3**

votes

**1**answer

203 views

### Milnor-Wolf result on growth of solvable groups

The Milnor-Wolf theorem says that any solvable group has either polynomial or exponential growth. I wonder about the existence of alternative proofs of this fact. I have an impression that the ...

**14**

votes

**0**answers

237 views

### Partitions of ${\rm Sym}(\mathbb{N})$ induced by convergent, but not absolutely convergent series

Let $(a_n) \subset \mathbb{R}$ be a sequence such that the series
$\sum_{n=1}^\infty a_n$ converges, but does not converge absolutely.
Then there is a partition of the symmetric group ${\rm ...

**1**

vote

**1**answer

148 views

### Two questions about axiomatic rank of groups

Let $G$ be a group and $V=Var(G)$ be the variety generated by $G$. Suppose the axiomatic rank of $V$ is $n$. Let $Id(V)$ be the set of all identities of $V$.
1- Can we say that every element of ...

**-1**

votes

**0**answers

20 views

### Fundamental group of a closed hyperbolic surface is Gromov hyperbolic [migrated]

Does anyone have a reference for the proof of the result in the title?
Thanks!

**3**

votes

**0**answers

34 views

### Boersma and Glasser formula

In http://iopscience.iop.org/0305-4470/38/8/005 (A differentiation formula for spherical Bessel functions) Boersma and Glasser proved the following interesting formula ...

**1**

vote

**2**answers

343 views

### Non-isomorphic groups such that there are epis from one to another [closed]

Are there (infinite) non-isomorphic groups $G, H$ such that there are surjective group homomorphisms $f: G\to H$ and $g: H\to G$?

**3**

votes

**1**answer

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

**0**

votes

**0**answers

38 views

### A question on p-groups, and order of its commutator subgroup [migrated]

$\textbf{QUESTION-}$
Let $P$ be a p-group with $|P:Z(P)|\leq p^n$. Show that $|P'| \leq p^{n(n-1)/2}$.
$\textbf{TRY- }$ If $P=Z(P)$ it is true. Now let $n > 1$, then
If I see $P$ as a nilpotent ...

**2**

votes

**1**answer

97 views

### Number of double cosets of a Young subgroup

Let $\lambda\vdash n$ be a partition of $n$ with $k$ parts and $S_\lambda$ be a Young subgroup of $S_n$.
Further let $S_\lambda\backslash S_n/ S_\lambda$ be the set of double-cosets. Now I would like ...

**8**

votes

**0**answers

671 views

### Distributivity of group topologies on $\Bbb Z$

Let $\mathcal L$ be the set of all group topologies on $\Bbb Z$.
It is known that $(\mathcal L,\subseteq)$ is a modular complete lattice [1].
Is $(\mathcal L,\subseteq)$ distributive?
$$~$$
...

**1**

vote

**1**answer

152 views

### Reference request for generalization of groups with out identity element?

In other words what do we call a magma which is associative and has divisibility property but not existence of identity? Or a groupoid when it loses the identity property?
A reference on such ...

**5**

votes

**1**answer

113 views

### Subgroups of one-relator groups

I know that not every finitely-presented group may be embedded into a one-relator group, for example because of a theorem of Magnus stating that the word problem is solvable in one-relator groups. But ...

**4**

votes

**1**answer

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

**15**

votes

**1**answer

618 views

### Are There Always Group Generators Which Give Unimodal Growth?

Suppose $G$ is a $k$-generated finite group. Is there always a set of $k$ elements which generate the group and have a unimodal counting function?
Background:
The counting function, $f(n)$, is a ...

**4**

votes

**0**answers

163 views

### Computing the pro-solvable closure of a finitely generated subgroup of a free group

The pro-solvable topology on a group $G$ is the unique group topology such that the set of normal subgroups $N\lhd G$ with $G/N$ a finite solvable group is a fundamental system of neighborhoods of the ...

**1**

vote

**1**answer

138 views

### When is Aut(G) the symmetric group of an Aut(G)-invariant generating set?

Let $G$ be a group, $X$ a generating set of $G$. Suppose $X$ is $\operatorname{Aut}(G)$-invariant, i.e. $\sigma(X)\subseteq X$ for all $\sigma \in \operatorname{Aut}(G)$. When is the restriction ...

**31**

votes

**1**answer

1k views

### Order-increasing bijection from arbitrary groups to cyclic groups

In his answer to this previous MO question, Gjergji Zaimi referred to the statement that for every finite group $G$ of order $n$, there is a bijection $\sigma \colon G \to \mathbb{Z}/n\mathbb{Z}$ ...

**9**

votes

**0**answers

88 views

### Detecting invertible elements in group rings by their images for finite quotients of the group

Let $G$ be a "nice" infinite group: at least finitely presented and residually finite, maybe also linear and right-orderable (or even bi-orderable, or residually free nilpotent).
Consider an element ...

**3**

votes

**0**answers

136 views

### Not too classical group characters

When teaching group theory, one has too speak of characters, which are morphisms $\chi:G\rightarrow k^\times$ into the multiplicative group of a field $k$ (mind that I don't mean representation ...

**7**

votes

**1**answer

273 views

### Normal generators of finite index subgroups in a free group

Let $F=F(a,b)$ be the free group of rank $2$.
Question 1: Given any positive integer $d$, can one always find elements $u_j,v_j,w_j \in F$, $j=1,\dots,d$, such that if $1 \le j <k \le d$ then the ...

**1**

vote

**1**answer

218 views

### Under what conditions there is a one-to-one mapping between a product of matrices and the sequence of matrices leading to the product?

I have a set of matrices $A_1,\ldots,A_n$. Let $\mathcal{A} = \{A_i\}$.
What are some simple conditions under which for any sequence of indices between $1$ and $n$, $a_1,\ldots,a_m$, the product
...

**2**

votes

**0**answers

54 views

### What is the minimal girth of a two-generator cayley graph for Alt(n) in which the girth relator is not a proper power?

First, a definition: a girth relator for a Cayley graph is a word that you get by reading the edge labels along a shortest loop. The girth relator is not usually unique, though it is often unique up ...

**3**

votes

**1**answer

390 views

### The category of subfactors extending the category of groups?

This post was inspired by this answer of Dave Penneys.
In the category of (irreducible hyperfinite II$_1$) subfactors, the morphisms of $(N \subset M)$ to $(N' \subset M')$ are usually defined as ...

**17**

votes

**1**answer

910 views

### Numbers of distinct products obtained by permuting the factors

Let $n \in \mathbb{N}$. Is it true that for every $k \in \{1, \dots, n!\}$ there are
some group $G$ and pairwise distinct elements $g_1, \dots, g_n \in G$ such that the set
$\{g_{\sigma(1)} \cdot \ ...

**2**

votes

**1**answer

178 views

### Is the centralizer $Z_G(A)=\{g\in G| a g= g a\}$ of a finite $A\subset G$ connected for a connected compact Lie group?

Let $G$ be a connected compact Lie group, consider the left/right action on itself.
For any finite $A\subset G$, consider the centralizer
$Z_G(A):=\{g\in G| a g= g a\}$.
Q: is $Z_G(A)$ a connected ...

**7**

votes

**2**answers

431 views

### Galois groups and prescribed ramification

What is known about finite groups $G$ for which there exists a Galois extension $K$ of $\mathbb{Q}$ ramified only at $2$ such that $\text{Gal}(K/\mathbb{Q}) \cong G$ ? More generally, which groups can ...

**12**

votes

**3**answers

2k views

### How many conjugacy classes of subgroups does GL(2,p) have?

How many conjugacy classes of subgroups does $\mathrm{GL}(2,p)$ have?
For instance the dihedral group of order $2n$ has $\tau(n)$ cyclic normal subgroups and $\sigma(n)$ "dihedral" subgroups (as ...

**3**

votes

**0**answers

244 views

### What's the ratio of inclusions of finite groups with a distributive lattice?

Definition: Two inclusions of finite groups are equivalent, $(A \subset B) \sim (C \subset D)$, if: $(A/A_B \subset B/A_B) \simeq (C/C_D \subset D/C_D)$ with $A_B$ the normal core of $A$ in $B$.
...

**2**

votes

**1**answer

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