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

**1**

vote

**1**answer

63 views

### Groups arising as direct limits of a stationary system of primitive matrices over the integers

I am interested in the kinds of groups of the form $\displaystyle\lim_{\longrightarrow}(\mathbf{Z}^k,M)$ where $M$ is a primitive (some power of $M$ has strictly positive components) $k\times k$ ...

**5**

votes

**1**answer

205 views

### Is there a left orderable profinite group?

Is there a profinite group $G$ with a binary transitive relation $<$ such that for any different $x,y \in G$ either $x < y$ or $y < x$ and such that for any $x,y,z \in G$ we have that $x < ...

**27**

votes

**2**answers

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

**10**

votes

**1**answer

166 views

### Free subgroups in algebras of polynomial growth

What is known about free non-abelian subgroups in finitely generated associative algebras of polynomial growth (e.g., over finite fields, to avoid finite-dimensional free subgroups)? For example, are ...

**5**

votes

**0**answers

162 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

**1**answer

131 views

### Equation for non-invertible elements in Clifford algebras

Suppose we have a Clifford algebra $Cl(V,q)$, $V\simeq \mathbb{R}^n$ and $q$ non-degenerate bilinear form. Then every non-zero element of $V\subset Cl(V,q)$ invertible, but they are not the only ones ...

**0**

votes

**0**answers

130 views

### Comparison of two Chevalley basis

Let $G$ be a connected reductive group over an algebraically closed field and $T$ a maximal torus.
Let $H$ be a pseudo-Levi subgroup, say the neutral component of a centralizer of a semisimple element ...

**1**

vote

**0**answers

81 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

**1**answer

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

**4**

votes

**1**answer

126 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

**1**answer

110 views

### Lower Central Series of Pure Braid Groups?

What is the lower central series $\Gamma_k(P_n)$, where $P_n$ is the pure braid group with $n$ strands? We know that $P_n$ is generated by elements $A_{i,j}$; do we know the generators of ...

**7**

votes

**2**answers

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

**6**

votes

**1**answer

246 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

**2**answers

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

**7**

votes

**2**answers

218 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

**0**answers

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

**8**

votes

**2**answers

301 views

### Dehn algorithm and normal forms in small cancellation groups

I found this statement in B. Cavallo, D. Kahrobaei's paper arXiv:1311.7117
Secret Sharing using Non-Commutative Groups and the Shortlex Order, page 7.
"C′(1/6) continue to be an ideal platform for ...

**1**

vote

**0**answers

51 views

### Exhausting a free pro-p group

Recall that for a profinite group $G$ we define the subgroup rank to be $$\sup \{d(H): H \leq_c G\}$$ where $d(H)$ stands for the minimal cardinality of a set of topological generators of $H$.
Let ...

**3**

votes

**1**answer

203 views

### Base for symmetric group

Given symmetric group $S_n$, is it possible to find $k=\lceil\log_2S_n\rceil=\lceil\log_2n!\rceil$ members $\{\alpha_i\}_{i=1}^{k}$ in $S_n$ such that every member of $S_n$ can be written as ...

**0**

votes

**1**answer

96 views

### Example of a polycyclic group which is not of polynomial growth? [closed]

The title already says everything: What is an example of a polycyclic group $G$ which is not of polynomial growth (equivalently, by Gromov's theorem, which is not virtually nilpotent)?

**1**

vote

**0**answers

82 views

### Conjugacy classes in lie type group

I have two questions. Thanks for any comments.
Suppose $S$ is a simple group of Lie type in characteristic p. Also suppose that $G=Aut(S)$.
1) Is there any reference for conjugacy class of element ...

**6**

votes

**1**answer

211 views

### Action of the homotopy braid groups on reduced free groups

Firstly some definitions:
$B_n$ is the braid group with $n$ strands.
$\widetilde{B_n}$ is "homotopy braid group", which is a factor group of $B_n$ by adding the relation that $A_{j,k}$ ...

**1**

vote

**0**answers

92 views

### Selecting dense diagonals in $\Bbb T^2$

Let $p$ be a prime number and let $G=\bigcup_{n\in \Bbb N}\{\exp(k\frac{2\pi i}{p^n})\mid k\in \Bbb Z\}$ be a Prüfer group. For homomorphisms $f,g:G\to G$ let $H_{f,g}=\{(f(x),g(x))\mid x\in G\}$. ...

**0**

votes

**0**answers

71 views

### faithful action of Hecke algebra

Let $G$ be a connected reductive group split over a number field $F$, $\mathbb{A}$ the adeles.
Let $v$ be a finite place and $\mathcal{H}_{v}$ the spherical hecke algebra at palce $v$.
...

**0**

votes

**0**answers

99 views

### Automorphism of simple lie type groups

I will be so thankful for any comment or answer.
Suppose $S$ is a simple Lie type group of characteristic $p$ and $S\subseteq G \subseteq Aut(S)$ and $G_0$ is a subgroup of $G$ generated by all inner ...

**4**

votes

**0**answers

121 views

### Is it provable in $\mathsf{ZF}$ that there is a group structure on any set $X$? [duplicate]

Given a set $X$ is it provable in $\mathsf{ZF}$ that there is a binary operation $\ast: X\times X\to X$ such that $(X,\ast)$ is a group?

**4**

votes

**1**answer

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

**1**

vote

**1**answer

140 views

### abelian p- subgroups of E_6(q)

Is there any result about maximal abelian p-subgroups of the exceptional group E_6(q), where q=p^a is prime power?

**0**

votes

**0**answers

83 views

### Adelic integral factorization

In order to calculate Tamagawa numbers, I need to justify that for a nice (say Schwartz-Bruhat) function, the following identity holds :
$$\int_{\mathbf{A}^2} f(x)dx = \int_{SL_2(\mathbf{A})/SL_2(K)} ...

**1**

vote

**1**answer

162 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]$. ...

**1**

vote

**0**answers

65 views

### Periodic Growth behaviours of Cayley graphs

This question is related to
On the size of balls in Cayley graphs
and
Folner sequences of amenable groups of exponential growth
Given a Cayley graph of a group $G$ with finite generating set ...

**5**

votes

**1**answer

319 views

### Groups with a unique composition series

Which finite groups $G$ have a unique composition series? I don't mean in the sense of the Jordan-Holder theorem, but rather actually unique.
Some examples are the cyclic groups $C_{p^n}$ and the ...

**4**

votes

**2**answers

273 views

### Powers of finite simple groups

I have heard about the following result: for each finite simple non-abelian group $S$ and each natural number $r\ge 2$ there exists a number $n=n(r,S)$ such that the power $S^n$ is $r$-generator but ...

**1**

vote

**0**answers

129 views

### Finding an overgroup or a subgroup in PGL

Let k be a nonperfect field of characteristic $2$. Let $a\in k\backslash k^2$, $G=PGL_4(k)$ and and $$H= \left\{ \small\left[\begin{array}{cccc}
x ...

**5**

votes

**0**answers

184 views

### Unitary representations of Tarski Monsters and other beasts

Did people study the unitary representations of Tarsky Monsters, for example the ones constructed by Ol'shanskii? Are there any exotic representations, ie. except the ones related to the left regular, ...

**2**

votes

**1**answer

137 views

### (Alternative) Presentation for the pure braid group of the sphere

First I need some notation (it's all standard I think). For a manifold $M$, let $F_nM = F_{0,n}M$ be the space of $n$-tuples of distinct points on $M$ ; let $B_nM = B_{0,n}M = F_nM / \Sigma_n$. When ...

**1**

vote

**0**answers

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

**3**

votes

**2**answers

181 views

### Cohomology of SL(2,R) with coefficients given by linear action

Let $SL(2,{\mathbb R})$ act on ${\mathbb R}^2$ by matrix multiplication.
What is known about group cohomology $H^*(SL(2,{\mathbb R}),{\mathbb R}^2)$?
And about $$H^*(\Gamma,{\mathbb R}^2)$$ for a ...

**8**

votes

**1**answer

211 views

### amenable + without $BS(m,n)$+finite $K(G,1)$implies virtually cyclic?

I heard from someone that the following problem is an open question.
(Open Problem 1)For a countable discrete group $G$, suppose it does not contain any Baumslag-Solitar subgroups $BS(m,n):=\langle ...

**1**

vote

**1**answer

321 views

### Word metrics and finite index subgroups

Suppose that we are given some finitely generated group $ G $ and some finite index subgroup of it $ H $. Given a finite generating symmetric generating set $ S \subset G $, we can define the word ...

**5**

votes

**3**answers

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

**6**

votes

**1**answer

220 views

### Are profinite groups of cardinality $|\mathbb{R}|$ determined by their finite quotients?

Question: Let $G,H$ be profinite groups of cardinality $|\mathbb{R}|$, with the same finite quotients (here I only consider quotients by normal, open subgroups). Then are $G$ and $H$ isomorphic?
...

**7**

votes

**2**answers

583 views

### Every free abelian group is slender, why?

Wikipedia states that every free abelian group is slender. Where can I find a proof?
If this is not trivial, then I will also need a reference to use in my paper.

**2**

votes

**1**answer

148 views

### Every homomorphism from the Baer–Specker group into a slender group factors through ${\bf Z}^n$, why?

Wikipedia states that every homomorphism from the Baer–Specker group ${\bf Z}^{\bf N}$ into a slender group factors through ${\bf Z}^n$ for some natural number $n$. Where can I find a proof?
If this ...

**1**

vote

**0**answers

66 views

### Lower periodic subsets of groups and semigroups

Suppose that $A$ and $B$ are subsets of a group or semigroup. We call $A$ left
upper [resp. lower] $B$-periodic if $BA\subseteq A$
[resp. $A\subseteq BA$]. If $A$ is both left upper and
lower ...

**1**

vote

**1**answer

84 views

### A condition for Hypercentral Groups to be Abelian

I'm reading an article I wrote my doctoral supervisor. In this article he states that if $G$ be a hypercentral group and suppose that $G$ is generated by (a finite number of) Prufer subgroups. Then ...

**4**

votes

**1**answer

184 views

### Are homotopy braid groups residually nilpotent?

A group is called residually nilpotent if given any non-identity element, there is a normal subgroup not containing that element, such that the quotient group is nilpotent. It is known that pure braid ...

**8**

votes

**0**answers

232 views

### Sets which are unions of translates of each other but aren't single translates

I'm a hobbyist mathematician so any question I ask here might be at risk of closure. I hope this one is good enough, but I'm not sure. This is a continuation of two questions I asked on ...

**16**

votes

**1**answer

741 views

### What makes the amenability of Thompsons group $F$ such a tricky problem?

An open problem that seems to get a lot of attention every once in a while is the amenability of Thompsons group $F$.
The problem seems to generate both proofs and disproofs at a fairly high rate, ...

**6**

votes

**0**answers

89 views

### Checking if a multiplication table represents a group [duplicate]

Given an $n \times n$ multiplication table,
can one check if it represents a group in $o(n^3)$ time?
All properties can be checked by mindless try-all possibilities loops:
Whether there is an ...