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

**3**

votes

**2**answers

242 views

### Is there a nonabelian free group inside a group of positive rank gradient?

Let $G$ be a finitely generated residually finite group with positive
rank gradient, and let $F_2$ be the free group on $2$ elements. Must
there be an embedding $i \colon F_2 \to G$ ?
A group ...

**7**

votes

**2**answers

80 views

### Generate polyhedra by collapsing vertices of a polyhedron

I am looking for basic information about the following idea:
(I) Consider a square. By collapsing two adjacent vertices, we obtain a triangle.
(II) Consider a three-dimensional cube. By collapsing a ...

**4**

votes

**0**answers

88 views

### Fell topology vs. convergence of matrix coefficients

My question is partially inspired by the following discussion:
Topology on the Unitary Dual
Let me remind/explain how the Fell topology is defined (at least I recall the definition which I saw): let ...

**6**

votes

**2**answers

187 views

### Zero divisors with support of size 3 in group algebras of finite groups

Are there a finite group $G$ and a field $\mathbb{F}$ such that $\gcd(3,|G|)=1$ and the group algebra $\mathbb{F}[G]$ contains a zero divisor whose support is of size $3$?
Recall that the support of ...

**3**

votes

**0**answers

81 views

### largest subgroup of $Out(\hat{F_2})$ which preserves the Nielsen invariant

Let $x,y$ be generators for the free group $F_2$. It's known that $Aut(F_2)$, and hence $Out(F_2)$ preserves the conjugacy class of the subgroup $\langle[x,y]\rangle$ generated by $[x,y]$ (This ...

**4**

votes

**0**answers

67 views

### Roller's problem on median groups

At the end of his dissertation Poc Sets, Median Algebras and Group Actions, Martin Roller asks
A group $G$ is called median if it acts freely and transitively on a median algebra. This is ...

**1**

vote

**1**answer

229 views

### Does $\mathbb Z \times \mathbb Z$ mod the obvious $\mathbb Z$ action have more structure than just a set?

$\mathbb Z$ acts on the lattice $\mathbb Z \times \mathbb Z$ by adding an element to itself n times.
I am studying some function arising from symplectic geometry which happens in my case to be ...

**1**

vote

**2**answers

126 views

### Automorphism group of the affine groups AGL(n,q), ASL(n,q)

I have a question. The automorphism group of the linear groups $GL(n,q)$, the group of linear transformations of $V = \mathbb{F}_q^n$, and $SL(n,q)$, the subgroup of $GL(n,q)$ consisting of elements ...

**4**

votes

**0**answers

88 views

### Generalized identities of (soluble) groups

Let $G$ be a group. Let us say that $G$ satisfies a generalized identity of degree $n$ if there exist $a_1,a_2,\dots a_n \in G$ such that
$$x^{a_1}x^{a_2}\dots x^{a_n}=1,$$
for all $x\in G$.
...

**5**

votes

**0**answers

110 views

### Indecomposable representations of a wreath product

If $G$ is a finite group, we know the irreducible representations of $G ≀ S_n$ (over $\mathbb Q$) are classified by partitions of $n$ 'decorated' by an irrep of $G$.
I'm wondering to what extent the ...

**8**

votes

**2**answers

501 views

### Does the Galois group of a Pisot polynomial contain the alternating group?

Let $n \in \mathbb{N}$, and let $p(X) \in \mathbb{Z}[X]$ be a monic polynomial of degree $n$. Suppose that exactly one complex root of $p$ is of modulus $> 1$, and that the remaining $n-1$ roots of ...

**1**

vote

**0**answers

115 views

### transitive action on finite abelian subgroups [migrated]

Let G be a group and K a finite subgroup of G.
Let H be some subgroup of the normalizer of K in G, and assume the action of H on K by conjugation is transitive on elements of K of same order.
Does H ...

**2**

votes

**2**answers

362 views

### An approximate version of $g^2 = e$ for all $g \in G$, implies $G$ is Abelian [closed]

I am trying to understand the concept of approximate group.
So I took a group theory exercise from a physics class at Caltech. The question basically states:
Suppose that for any element $g ...

**12**

votes

**1**answer

273 views

### Applications of Lubotzky's linearity theorem?

Lubotzky's theorem is a necessary and sufficient set of conditions for a finitely generated discrete group to be linear, i.e. isomorphic to a subgroup of $GL_n(K)$, where $K$ is a field of ...

**2**

votes

**1**answer

196 views

### Any representation is a sub representation of direct sum of regular representation

I need a reference for the following statement:
Let G be a linear algebraic group over algebraically closed field k. Let V be a finite dimensional G-module. The V is sub representation of k[G]^n for ...

**3**

votes

**0**answers

99 views

### do there exist finite simple characteristic quotients of the free group of rank 2?

Let $F_2$ be the free group of rank 2. Let $Aut^+(F_2)$ be the subgroup of $Aut(F_2)$ consisting of automorphisms of determinant 1 under abelianization.
Do there exist maximal normal finite index ...

**8**

votes

**1**answer

319 views

### Three involutions on the set of 6-box Young diagrams

The set of $n$-box Young diagrams classifies both conjugacy classes in $S_n$ and equivalence classes of irreducible representations of $S_n$. There is an outer automorphism of $S_6$, of order 2. ...

**6**

votes

**1**answer

297 views

### Some questions about the Malcev completion

Let $G$ be an abstract group. The Malcev completion $\widehat{G}$ of $G$ (over $\mathbb{Q}$) is the set of group-like elements in the complete Hopf algebra $\widehat{\mathbb{Q}[G]} = \lim_n ...

**3**

votes

**1**answer

261 views

### Finitness of the Burnside Group

This is something I discussed with Andrezj Zuk, but we didn't arrive to any conclusions. Let $B(d,n)$ be the Burnside group on $d$ generators of exponent $n$. Is there an algorithm to determined ...

**0**

votes

**0**answers

50 views

### What is the size of the automorphism group of an abstract polytope with Schläfli symbol $\{p,q\}$?

Let $\Gamma_{p,q}$ be the automorphism group of the aforementioned abstract polytope. What is the size of this group?

**2**

votes

**1**answer

101 views

### Transitive actions of $Aut(F_2)$ on surjections from $F_2\twoheadrightarrow G$

Here $F_2$ is the free group on two generators $x,y$. I'm interested in examples of finite groups $G$ such that $Aut(F_2)$ acts transitively on the set of surjections $F_2\rightarrow G$. (In ...

**5**

votes

**1**answer

372 views

### Can the Kan-Thurston theorem be turned into some kind of equivalence between groups and spaces?

I not really familiar with these subjects. I read this question and I was really surprised by the answer. My question is probably vague (so please do bear with me).
The cited question/answer ...

**2**

votes

**2**answers

120 views

### Are the Baumslag-Solitar groups BS(n,n) and BS(n,-n) automata groups?

In this article of Bartholdi and Sunik http://arxiv.org/abs/math/0603032, they say that BS(n,n) and BS(n,-n) are automata groups because they are virtually $F_{|n|}\rtimes\mathbb{Z}$ (where $F_{|n|}$ ...

**26**

votes

**2**answers

1k views

### How much of the ATLAS of finite groups is independently checked and/or computer verified?

In a recent talk Serre made some comments about proofs that rely on the classification of finite simple groups (CFSG) and on the ATLAS of Finite Groups. Namely, he said that a proof that relied on the ...

**2**

votes

**2**answers

130 views

### Detecting HNN-Extension and free products with amalgamation

This question is partly connected with the following Connection between Stalling's end theorem and Seifert-van Kampen Theorem.
By Stalling's Theorem a group with more than one end splits over a ...

**2**

votes

**1**answer

166 views

### How bad can an infinite linear torsion group be?

Following this question I wonder about the following. Examples of infinite torsion groups which are linear in zero characteristic are infinite groups of roots of unit.
Are there other examples ...

**2**

votes

**1**answer

179 views

### Finite sequences which happen to be the sequence of orders of elements of a simple group

Let $n\in \Bbb N$. Any finite group $G$ with $|G|=n$ has a solution for the Diophantine equation
$$\sum_{d|n}x_d\phi(d)=n~~~~~~~~~~~~~~~~~~~~~~~(1)$$
where $\phi$ is the Euler's totient function, $d$ ...

**3**

votes

**1**answer

161 views

### variance of the number of fixed points for a permutation group

It is reasonably well-known that the variance of the number of fixed points for $S_n$ equals $1.$ Now, what about other transitive permutation groups on $\{1, \dotsc, n\}?$ Presumably much is known. I ...

**-2**

votes

**1**answer

71 views

### On Sylow subgroup of a finite group [closed]

Let $p\mid n$, then by $n_p$ we mean the $p$-part of $n$, i.e. $n_p = p^k$ if $p^k\mid n$ but $p^{k+1}\nmid n$. Let $G$ be a finite group, $M\leq G$ and $P\in Syl_p(G)$. Is It true that $|M\cap ...

**3**

votes

**1**answer

88 views

### Classification of finite abelian hypergroups and table algebras

Update: Originally, I formulated this question for finite abelian hypergroups, but in a discussion with Geoff Robinson below I realized that the abelian hypergroups defined below are equivalent to ...

**1**

vote

**0**answers

73 views

### Obtaining a quasi-isometry of the 'boundary'

It is well-known that a quasi-isometry induces a homeomorphism on the space of ends of say a locally finite graph for simplicity. Clearly the converse is not true. In other words the concept of ends ...

**3**

votes

**1**answer

127 views

### Connection between Stalling's end theorem and Seifert-van Kampen Theorem

Stalling`s end Theorem (a group has more than one end iff it splits over a finite subgroup) and the Seifert-van Kampen Theorem (the fundamental group of a 'decomposable' space is a free amalgamated ...

**3**

votes

**1**answer

224 views

### Infinite groups of finite exponent inside of SL(2,C)

Fix an integer $n>0$. Are there infinite subgroups of $SL_2(\mathbb{C})$ such that every element is $n$-torsion?

**1**

vote

**0**answers

98 views

### Maximizing sum of matrices

Over the last few months, I've been trying to find the solution to a research-related problem I'm having. However, my research is not in mathematics, and my progress toward reaching a solution has ...

**0**

votes

**0**answers

78 views

### Coxeter Subgroups of Coxeter Groups

Is there an algorithm to determine all the Coxeter subgroups of a given Coxeter group? If we only want the Coxeter subgroups of finite index does that make the question easier? If we only want a ...

**6**

votes

**2**answers

330 views

### How simple does a $\mathbb{Q}$-simple group remain after base change to $\mathbb{Q}_{\ell}$?

Of course the general answer to the question in the title is: not very simple.
I could not think of a better title, so let me explain my question in more detail.
I have a number field $E/\mathbb{Q}$, ...

**0**

votes

**0**answers

72 views

### When is a group generated by three involutions two of which commute a Coxeter group?

Let's say the group is generated by three involutions $a$, $b$, and $c$ such that $ord(ab)= 2$, $ord(bc)=3$, and $ord(ac)=m$. Under which conditions is it isomorphic to the rank 3 Coxeter group $(2, ...

**2**

votes

**4**answers

161 views

### Are the orders of the generators of a group and the product of pairs of thereof enough for this group to be isomorphic to a Coxeter group?

Let's say we have $n$ generators $x_1, x_2, \cdots, x_n$ along with the following facts concerning their orders:
\begin{eqnarray*}
ord(x_i) &=& 2 \text{ for } i = 1, 2, \cdots, n \\
ord(x_i ...

**-1**

votes

**0**answers

21 views

### application of modular theory on matrices [migrated]

i am very new to group theory .... just started reading infact. I could really appreciate some guidance on the following problem with which i am stuck.
Let G be the set of all 2x2 matrices [a b c d] ...

**1**

vote

**1**answer

83 views

### embedding of finite groups into product

Our situation is following. Assume that we have free product $\star_{i<n} G_i$ each $G_i$ finite group and assume that we have normal subgroup $K$ such that composition of canonical embedding and ...

**21**

votes

**2**answers

741 views

### Groups where word problem is solvable, but not quickly?

Are there finitely generated groups whose word problem is solvable, but not quickly? It would be great to have specific examples, but existence results would also be helpful.
All of the groups that ...

**6**

votes

**1**answer

170 views

### GIT quotients and automorphisms

Let $X$ be a smooth projective variety. Then we have an exact sequence:
$$0\mapsto Aut^{o}(X)\rightarrow Aut(X)\rightarrow H\mapsto 0$$
where $Aut^{o}(X)$ and $H$ are respectively the connected ...

**1**

vote

**0**answers

103 views

### Classification of Automorphism set of a Regular graph

Let $A$ be the adjacency matrix of an $r$-regular graph $G$ with $n$ vertices (Not complete or cycle graph) . Also, let $Aut(G)$ be the set of all its automorphisms (i.e. set of permutation ...

**2**

votes

**1**answer

105 views

### Projectivity of torsion-free modules over integral group rings

Let $G$ be a torsion-free group and assume that the integral group ring $\mathbb{Z}G$ is torsion-free as well. Let $M$ be a torsion-free, finitely generated module over $\mathbb{Z}G$.
If we assume ...

**5**

votes

**2**answers

353 views

### What is the permutation group generated by those three given morphisms of the affine space $\mathbb{F}_q^3$?

Let $\mathbb{A}^3 = \mathbb{F}_q^3$. Consider the following three functions $\mathbb{A}^3\to\mathbb{A}^3$:
\begin{eqnarray*}
h: (x, y, z) &\mapsto& (x, y, xy - z) \\
u: (x, y, z) ...

**0**

votes

**0**answers

57 views

### Is there a general theory for the structure of the (semi)group generated by morphisms of an affine space $F_p^3$?

Consider an affine space $\mathbb{F}_p^3$, and assume we have a handful of morphisms $f_i : \mathbb{F}_p^3 \rightarrow \mathbb{F}_p^3$ given by $$f_i(x, y, z) =(P_i(x, y, z), Q_i(x, y, z), R_i(x, y, ...

**3**

votes

**1**answer

109 views

### Commutator subgroups as normal supplmements

The following question has been asked about a week ago on MathUnderflow (no answers).
Let $F$ be a free group and let $N$ be a normal subgroup of $F$ such that
\begin{equation*} \tag{*}
F = [F,F] ...

**1**

vote

**1**answer

171 views

### Generalization of a theorem of Steinberg

Steinberg has a beautiful theorem counting $F$-stable maximal tori in a reductive group. Here's the version of the result that you can find as Theorem 3.4.1 of Carter's Finite groups of Lie type:
...

**15**

votes

**2**answers

365 views

### C$^*$-algebras isomorphic after tensoring with $M_n(\mathbb C)$

In 1977, Joan Plastiras gave a striking example of two non $*$-isomorphic C$^*$-algebras $\mathcal A$ and $\mathcal B$ such that $$\mathcal A \otimes M_2(\mathbb C) \simeq \mathcal B\otimes ...

**8**

votes

**1**answer

503 views

### Which finite groups have no irreducible representations other than characters?

A classical result states that all the irreducible representations of a finite group over $\mathbb{C}$ are characters if and only if $G$ is abelian. I would like to know what happens if we consider a ...