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

**1**

vote

**0**answers

33 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

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

**0**

votes

**0**answers

50 views

### Characterizing subgroups $H$ of $\Bbb T$ with $\{(f(x),g(x))\mid x\in H\}$ dense in $\Bbb T^2$

Let $\Bbb T$ be the circle group with Euclidean topology. Is there a way to determine all $H\le \Bbb T$ such that there are $f,g\in Aut(H)$ with $\{(f(x),g(x))\mid x\in H\}$ dense in $\Bbb T\times ...

**-1**

votes

**0**answers

82 views

### Calculating the quotient group $\mathbb{Z}\times\mathbb{Z}/<(1,1),(1,-1)>$ [on hold]

Let $G$ be the group $\mathbb{Z}\times\mathbb{Z}$ and $H$ be the subgroup of $G$ generated by $(1,1)$ and $(-1,1)$. I am trying to calculate the quotient group $G/H.$

**5**

votes

**1**answer

262 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

175 views

### Powers of finite simple groups [duplicate]

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

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

**4**

votes

**0**answers

145 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

104 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**

votes

**0**answers

79 views

### Von Dyck Theorem [on hold]

Let $G= \langle X\mid R\rangle$, $X$ and $R$ the set of generators and relations, respectively. Now we define $H = \langle X \mid R \cup \{x\}\rangle $ for some $x \in X$. Indeed in group $H$, we ...

**1**

vote

**0**answers

145 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

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

**0**

votes

**0**answers

104 views

### Alternate proof of Schur orthogonality relations [migrated]

I am trying to find an alternate proof for Schur orthogonality relations along the following lines.
Let $G$ be a finite group, with irreducible representations $V_1$, $V_2$, $\cdots$, $V_d$.
Let $V$ ...

**8**

votes

**1**answer

165 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

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

**4**

votes

**3**answers

156 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

199 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

555 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

139 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

56 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

65 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

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

**7**

votes

**0**answers

107 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

691 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

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

**1**

vote

**2**answers

127 views

### Speed and absence of non-constant bounded harmonic functions

For a (symmetric) random walks on countable groups generated by $\mu$, there is a "brute-force computation" argument of Avez (1974) that shows that if the entropy $h_\mu$ is trivial then there are no ...

**5**

votes

**3**answers

240 views

### Can groups of twice-odd order have quaternionic representations?

Let $G$ be a finite group and $\phi\colon G\to \mathrm{GL}_d(\mathbb C)$ be an irreducible representation, with character $\chi$. Recall that
$\phi$ is complex type if $\chi$ is not real-valued,
...

**3**

votes

**0**answers

101 views

### A lemma on verbal conjugacy classes in groups

I'm reading an article whose title is "On Groups With Finite Verbal Conjugacy Classes". Adapting their notations, the authors propose the following lemma.
Let $w$ be a concise word and $G$ a group ...

**3**

votes

**0**answers

95 views

### torsion free for the 2nd cohomology group?

Let $G$ denotes an infinite coutable discrete group with Kazhdan's property (T),
My question is:
is it known that the 2nd cohomology group $H^2(G,\mathbb{Z}G)$ is torsion free?
Thanks in advance!
...

**8**

votes

**1**answer

152 views

### Vertex-primitive graphs with two vertices having almost the same neighbourhood

Hypothesis: Let $\Gamma$ be a vertex-primitive graph with two vertices $u$ and $v$ such that $$|N(u) \cap N(v)|=|N(v)|-1$$
Question: Is it true that $\Gamma$ must either be a complete graph or have ...

**1**

vote

**0**answers

108 views

### Explicitly showing that a free group is LERF [closed]

Let $F$ be a free group on a finite set $X$, and let $M$ be a finitely generated subgroup.
Marshall Hall's theorem states that $M$ is closed in the profinite topology on $F$. That is, $M$ is the ...

**0**

votes

**1**answer

89 views

### All $2$-designs arising from the action of the affine linear group on the field of prime order

Let $p$ be a prime and $\mathbb{Z}_p$ denote as usual the field of order $p$. Let $AL(p)$ be the affine linear group $\{x\mapsto ax+b \;|\; a\in \mathbb{Z}_p\setminus \{0\}, b\in\mathbb{Z}_p\}$. For a ...

**3**

votes

**1**answer

130 views

### Hall subgroups of general linear group

Let $q=p^k$ for some prime $p$, and let $GL_n(\mathbb{F}_q)$ be the group of invertible matrices over the finite field of $q$ elements. If $\pi$ is the set of primes not equal to $p$, does ...

**12**

votes

**1**answer

370 views

### Why is Klein's representation of $PSL_2(\mathbb{F}_7)$ hard to obtain?

In his famous article [1] Klein constructs a representation of $G=PSL_2(\mathbb{F}_7)$ in $\mathbb{C}^3$ (of which the first invariant polynomial of three variables gives rise to the famous Klein's ...

**10**

votes

**3**answers

415 views

### Natural associative law for a ternary “group”?

Suppose one were to define a group-like structure based on a set $G$
with a ternary (rather than binary) operator $g( a, b, c ) = \left< a, b, c \right>$.
One possible definition for the ...

**2**

votes

**3**answers

372 views

### Lucido's three prime lemma

Let G be a finite solvable group. If p,q,r are distinct primes dividing |G|, then G contains an element of order the product of two of these three primes.
This is lucido's three prime lemma. I ...

**2**

votes

**0**answers

110 views

### Permuting products of subgroups [migrated]

Suppose $G$ is a group such that $G=H_1H_2$, then one can easily see that $G=H_2H_1$, one can switch the order of the subgroups: for a general element $g$ one writes $g^{-1}$ as $h_1h_2$ with $h_1\in ...

**3**

votes

**0**answers

67 views

### A Karrass-Solitar or Ivanov-Schupp for profinite groups

Let $F$ be a nonabelian free profinite group, $H \leq_c F$ finitely generated with $[F:H] = \infty$. Must there be some $\{1\} \neq N \lhd_c F$ such that $N \cap H = \{1\}$?

**0**

votes

**1**answer

89 views

### on lifting extensions

Let $G$ be a connected reductive group with $G_{der}$ simply connected and $T$ a maximal torus over an algebraically field $k$.
We consider a extension $\tilde{T}$ of the maximal torus $T$ by a torus ...

**7**

votes

**1**answer

254 views

### New relator in hurwitz group

I have found that $([a,b]^2[a,b^2])^n$ is a good relator to use in my search for quotients of $G := \langle a, b \ | \ a^2, b^3, (ab)^7, [a,b]^{10} \rangle$. For n<=5 $H := \langle a, b \ | \ a^2, ...

**6**

votes

**0**answers

86 views

### Outer automorphisms of direct product of residually finite groups

Let $A,B$ be finite generated residually finite groups such that $\mathop{Out}(A)$ and $\mathop{Out}(B)$ are residually finite.
Is $\mathop{Out}(A\times B)$ residually finite?
If not, what is the ...

**7**

votes

**4**answers

316 views

### Normal Covering of a Finite Group

Suppose $G$ is a finite group and $N_1, N_2, \cdots, N_k$ are proper normal subgroups of $G$. The set $\{ N_1, \cdots, N_k\}$ is called a normal cover for $G$, if $G = \cup_{i=1}^kN_i$. I need to the ...

**0**

votes

**0**answers

80 views

### endoscopy and simply connectedness

Let $G$ be a connected reductive group with $G_{der}$ simply connected over a local field $F$.
Let $\hat{G}$ be its Langlands dual, $s$ a semisimple element in $\hat{G}$ and $\hat{H}=\hat{G}_{s}$.
...

**0**

votes

**0**answers

95 views

### Thin profinite groups - nonabelian analogues of p-adic integers

Let $p$ be a prime number, $S = C_p$ a cyclic group of order $p$, $G = \mathbb{Z}_p$ the profinite additive group of $p$-adic integers. It is well known that all the closed nontrivial subgroups of $G$ ...

**-2**

votes

**0**answers

61 views

### Centralizer of element in group PSL(2,F_p) [migrated]

Is it true, that $\forall g\in PSL(2,F_p)\setminus\{e\}$, $Z(g)$ is Abelian?
I think that this is true, but i can't find a simple proof.

**5**

votes

**2**answers

244 views

### Which groups are LERF?

A finitely generated group $G$ is called LERF if every finitely generated $H \leq G$ is closed in the profinite topology on $G$ (equivalently, there is a family of finite index subgroups of $G$ ...

**2**

votes

**0**answers

114 views

### Marshall Hall's theorem for surface groups [closed]

Let $\Gamma_g$ be a surface group of genus $g \geq 2$, that is we have a presentation: $$\Gamma_g = \langle x_1,y_1 \dots, x_g,y_g \vert \prod_{i = 1}^g [x_i,y_i] = 1\rangle$$
Let $H \leq \Gamma_g$ ...

**11**

votes

**0**answers

148 views

### When is a group Fibonacci sequence contained in a single conjugacy class?

First a definition: a Fibonacci sequence in a group is a sequence in which the first two elements may be arbitrary, and from there on each element is a product (using the group operation) of the ...

**1**

vote

**0**answers

22 views

### Central automorphisms of groups act transitively on Krull-Schmidt decompositions

(Cross posted from math.SE)
I'm looking for a modern reference to the subject line, preferably one that doesn't use Ore's generalizations to modular lattices.
To clarify terminology...
Suppose we ...

**4**

votes

**1**answer

143 views

### a question about minimal non-abelian groups

Let $G$ be a minimal non-abelian group with cyclic Sylow $p$-subgroup $P$ and normal Sylow $q$-subgroup $Q$ , see [ Huppert, Endlich Gruppen I, Aufgaben III, 5.14].
My quesion is, if there is another ...