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

**11**

votes

**2**answers

355 views

### A sequence of subsets of an infinite group

Is there an infinite group $G$ such that there is not any sequence $(A_n)$ of its subsets such that always
$$A_n=A_n^{-1}, \quad A_{n+1}A_{n+1}\subsetneqq A_n$$
?
link

**3**

votes

**1**answer

370 views

### Orders of Finite Simple Groups

Which finite simple groups have order N so that N+1 is a proper power?
As an example: the simple group of order $168=13^2-1$.

**6**

votes

**0**answers

145 views

### “Twisted” Lyndon equation in a free group

In 1959, Lyndon showed that in a free group, the equation $u^2v^2=w^2$ has only commuting solutions: $uv=vu=w$. Is there in the litterature any information about the following "twisted" version of the ...

**6**

votes

**2**answers

263 views

### Subgroup property stronger than being characteristic

In what follows, all groups are assumed to be finite.
Recall that if $K \leq H \leq G$ are groups, $K$ is said to be a weakly closed subgroup of $H$ in $G$ if, for all $g \in G$, $g^{-1}Kg \leq H$ ...

**1**

vote

**1**answer

197 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

**1**answer

151 views

### On the Suzuki group

Let $G$ be the Suzuki group over the field with $q=2^{2m+1}$ elements, $m>0$. Then, by Theorem 3.10 from B. Huppert, N. Blackburn, Finite Group III, pp 192-193, or wikipedia, the group $G$ contains ...

**3**

votes

**1**answer

153 views

### Switching representatives of right coset in a paper on fundamental domain of tree of GL(2)

I have a question concerning the following paper: "The fundamental domain of the tree of GL(2) over the function field of an elliptic curve" by Shuzo Takahashi. (1993, Duke Math. J., Vol. 72, No. 1). ...

**3**

votes

**1**answer

64 views

### Intersection of Maximal Left Ideals with Finite Dimensional Quotient

Let $\Gamma$ be a finitely generated group and let $A=\mathbb{C}[\Gamma]$ be the corresponding group algebra over $\mathbb{C}$. Let $X$ be the set of all maximal left ideals of $A$ and let $X_0=\{I ...

**30**

votes

**3**answers

2k views

### Fixed points of $x\mapsto 2^{2^{2^{2^x}}} \mod p$

Let $p$ be a prime. For how many elements $x$ of $\{0,1,\dotsc,p-1\}$ can it be the case that
$$2^{2^{2^{2^x}}} = x \mod p?$$
In particular, can you find a simple proof (or, even better, several ...

**2**

votes

**0**answers

95 views

### Acylindrical hyperbolic groups

In Osin's paper "Acylindrically hyperbolic groups" in Lemma 5.7, there is a condition, that $|X_1\triangle X_2|<\infty$ for two relative generating sets. I'm sorry, but I didn't find a definition ...

**0**

votes

**1**answer

127 views

### Semi direct product group

Suppose $G=V \rtimes M$, is a semi product group of an elementary abelian p-group of size $|V|=p^e$ and $M$
is a subgroup of $G$. If $f$ is the natural projection from $G$ onto $M$.
$C_x=\{x^G\}$ is ...

**2**

votes

**1**answer

171 views

### Bases of free groups

Let $F$ be a free group on a finite set $X$. Let $A \subseteq X$ be a subset of $X$ contained in some $H \leq F$, a subgroup of finite index in $F$. Must there be a basis (free generating set) for $H$ ...

**16**

votes

**0**answers

211 views

### Kaplansky's unit conjecture and unique products

There are three conjectures on group rings that bear the name of Kaplansky (see for example this question). The 'unit conjecture' in the title of the present question is the strongest of them, and ...

**2**

votes

**0**answers

108 views

### Subsets of a group as an algebraic structure

Let $F$ be a set and $.$ be a binary operation on $F$ and $.^{-1}:F\to F$ be a so-called inverse operation on $F$ such that $(F,.)$ is semigroup and for each $x,y\in F$,
$$(x^{-1})^{-1}=x,~~~~~ ...

**18**

votes

**3**answers

608 views

### Number of primitive $n$th roots with positive versus negative real parts

Does anyone know a reference to the following results, which I can prove, but I suspect may be known. Let $R(n)$ denote the number of primitive $n$th roots of unity with positive real part, and $L(n)$ ...

**7**

votes

**0**answers

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

**14**

votes

**1**answer

377 views

### Permutation Groups Containing non-commuting $p$-cycles

I noticed that the following is true, and that there is a reasonably elementary proof of it (in particular, the classification of finite simple groups is not needed). Let $G$ be a finite permutation ...

**3**

votes

**1**answer

135 views

### Is it a Frobenius complement?

Let $n$, $m\in \mathbb{N}$. Let $p$, $q$ be primes with $q^{n}|p-1$. Let $H$ the semidirect product of a cyclic group $A=C_{p^{\large{m}}}$ by a cyclic group $B=C_{q^{\large{n+1}}}$ which induces an ...

**4**

votes

**1**answer

140 views

### Generators of Sylow subgroups

Is there a function $f : \mathbb{N} \rightarrow \mathbb{N}$ such that for each finite supersolvable group $G$, and a Sylow subgroup $S \leq G$ we have $d(S) \leq f(d(G))$?
Here $d(H)$ denotes the ...

**-1**

votes

**1**answer

98 views

### Relation of the order of elements in a metabelian group [closed]

Let $n$ be an integer, $n>1$, $n=p_1^{a_1}...p_t^{a_t}$. I define $f(n)=a_1+...+a_t$.
Let be $G$ a finite group and I define $f(G)=max(f(|g|):g\in G)$.
I have to prove that if $G$ is a ...

**2**

votes

**0**answers

117 views

### Dehn functions of Thompson's group $F$

It's well know that the first order Dehn function of $F$ is quadratic. Is a similar result known for its second-order, or even higher-order, Dehn function?
The second-order Dehn function of a group ...

**23**

votes

**1**answer

876 views

### Enumeration of a finite group

Let $G=\{g_1,g_2,...,g_n\}$ be a group with $e=g_1$ and $n$ is odd,
Set $$a_1=g_1$$
$$a_2=g_1g_2$$
$$a_3=g_1g_2g_3$$
$$a_n=g_1g_2...g_n$$
I am looking for example that all $a_i$ are different from ...

**14**

votes

**0**answers

668 views

### Is there an infinite field of characteristic 2 whose multiplicative group is torsion free and (direct-sum) indecomposable?

Let $F$ be a infinite field of characteristic 2 whose multiplicative group $F^*$ is torsion free. I would like to conclude that $F^*$ is decomposable or find an example where $F^*$ is indecomposable.
...

**1**

vote

**1**answer

81 views

### Number of non isomorphic groups in Cext(G,C_p)

I want to modify my question mathoverflow.net/questions/50922. Let $C_{p^e}$ be a cyclic group of order $p^e$, $p$ prime. Denote by $\text{Cext}(G,C_p)$ the group of all central extensions of $C_p$ by ...

**6**

votes

**0**answers

92 views

### Two-relator products of cyclic groups

In "A proof of the Scott–Wiegold conjecture on free products of cyclic groups" Howie proved that every one-relator product of three cyclic groups is nontrivial. Is there a now proven theorem that says ...

**3**

votes

**1**answer

189 views

### How does associativity get twisted by elements of $H^3(G)$?

In Braided Monoidal Categories by Joyal and Street, §6 a monoidal category is $V =T(G,M,h)$ built using a recipe:
objects are are elements of $G$ ✓
$V_0(x,y) = M$ if $( x=y)$ or else ...

**2**

votes

**0**answers

94 views

### Orbit-Stabilizer theorem for continuous groups

The orbit-stabilizer relationship (also known as the orbit-stabilizer theorem) is very clear for finite groups. Is there an equivalent relation for continuous groups?
Also, is there a similar notion ...

**9**

votes

**1**answer

159 views

### Fixed set of order p automorphism of Bruhat-Tits tree

I would like to know the structure of the fixed set of an order $p$ automorphism [Edit: induced by a matrix in $GL_2(K)$] on the Bruhat-Tits tree for a p-adic field $K$, specifically in the case where ...

**11**

votes

**1**answer

401 views

### On the order of finite simple groups

About the order of finite simple groups there exists a very interesting result which stated as follows:
Let $G$ be an non-solvable simple group of order $g$. If $p\mid g$, where $p>g^{1\over 3}$ ...

**11**

votes

**0**answers

222 views

### Are there additive subgroups of reals of dimension 1 with no subgroups of dimension strictly between 0 and 1?

I will use $dimA$ to denote the Hausdorff dimension of a set $A \subseteq \mathbb{R}$. Being a null set means having Lebesgue measure zero.
In the 1966 paper "Additive gruppen mit vorgegebener ...

**1**

vote

**2**answers

245 views

### A semisimple group ring

Let $n \in \mathbb{N}$, $p$ a prime number, and $G$ a finite group of order coprime to $p$. Let $R = \mathbb{Z} /p^n \mathbb{Z}$ be the ring of integers mod $p^n$. Must $R[G]$ be semisimple?
As noted ...

**4**

votes

**0**answers

104 views

### Does this class of groups contain finitely generated infinite periodic groups?

Let $r(m)$ denote the residue class $r+m\mathbb{Z}$, where $0 \leq r < m$.
Given disjoint residue classes $r_1(m_1)$ and $r_2(m_2)$, let the class transposition
$\tau_{r_1(m_1),r_2(m_2)}$ be the ...

**0**

votes

**1**answer

105 views

### Direct limit of primitive integral matrices

I'm interested in computing the direct limit of an arbitrary $2\times 2$ primitive matrix over $\mathbf{Z}$. That is for a fixed primitive matrix $M$, the colimit ...

**5**

votes

**1**answer

217 views

### Index of congruence modular subgroup of level (1,d)

Let $D = \text{diag}(1,d)\in M_{2}(\mathbb{Z})$ be a $2\times 2$ matrix, where $d$ is an odd integer. We define the subgroup $\Gamma_D\subset M_{4}(\mathbb{Z})$ as:
$$\Gamma_D := \left\lbrace R\in ...

**0**

votes

**0**answers

90 views

### Actions and representations of profinite groups

Let $p$ be a prime number, and denote by $\mathbb{Z}_p$ the additive profinite group of p-adic integers. Let $G$ be a finitely generated profinite group of order coprime to $p$, and $V = ...

**5**

votes

**2**answers

370 views

### How to estimate the Haar measure on $G_2$

I have a sequence of real numbers. I want to know whether this sequence looks like the traces in the standard representation of a random sequence of elements of $G_2$. (Here random is according to the ...

**4**

votes

**2**answers

322 views

### Finite groups factorized into two simple alternating groups

My research is somehow related to the following question :
Describe and classify all finite groups $G$ such that $G=HK$ with $H \cap K=1$, where $H \cong A_m$ and $K \cong A_n$ for some integers $m, ...

**3**

votes

**1**answer

150 views

### Integral representations of groups of small order

I have a problem in which it would be helpful to know about the integral representations of some groups of small order (probably of fairly low degree). From what I've gathered so far, cyclic groups of ...

**5**

votes

**1**answer

404 views

### A generalized Burnside's lemma

Let $G$ be a finite group acting on a set $X$, and let $S\subseteq G$ be a union of conjugacy classes. Then I believe I can prove:
$$ \sum_{[x]\in X/G} \frac{|G_x \cap S|}{|G_x|} = \sum_{g\in S} ...

**2**

votes

**0**answers

66 views

### Semidirect products of semigroups [closed]

Let $S,T$ be two semigroups. A function $f:S\to T$ is called multiplicative if for any $x,y\in S$ we have $f(xy)=f(x)f(y)$. If $T=S$ then $f:S\to S$ is called automorphism on $S$.
A function ...

**0**

votes

**0**answers

118 views

### classify antiholomorphic involutions of projective space

On $\mathbb{CP}^1$ with standard complex structure, how to prove that there are only two types of antiholomorphic involution, given by
$$ \tau :[z:w]\mapsto [\bar w, \bar z] \qquad \eta :[z:w]\mapsto ...

**9**

votes

**4**answers

763 views

### Elements of finite order of $\mathrm{PGL}(n,\mathbb{Q})$

For some research work, I need to know the classification of elements of finite order of $\mathrm{PGL}(n,\mathbb{Q})$, up to conjugation.
Since I essentially need $n\le 4$, I think that I can show it ...

**2**

votes

**2**answers

154 views

### Number of generators of the commutator

Can one find a function $f : \mathbb{N} \rightarrow \mathbb{N}$ such that for every finite supersolvable group $G$ we have: $d(G') \leq f(d(G))$?
Here $d(K)$ is the cardinality of a minimal set of ...

**1**

vote

**1**answer

275 views

### Kropholler's Conjecture and 3-manifolds

Suppose that $G$ is a group and that $H$ is a subgroup, both finitely generated, and assume that there is a non-trivial H-almost invariant set $X$ with $HXH=X$. Kropholler's Conjecture asserts that $ ...

**10**

votes

**1**answer

336 views

### Categorical interpretation of disjoint cycle notation for tracing permutations

For a natural number $n\in\mathbb{N}$, let $\underline{n}$ denote the finite set $$\underline{n}:=\{1,2,\ldots,n\}.$$
A permutation $\sigma\in Aut(\underline{n})$ can be uniquely written (up to order) ...

**1**

vote

**1**answer

171 views

### Countable residually finite abelian groups

Is there a countable abelian group for which its subgroups are exactly all of the countable "reduced" abelian groups? (Reduced means that its divisible subgroup is zero)
Is the following group a ...

**5**

votes

**0**answers

167 views

### Is translation by the free group (in two generators) on a certain completion of the group an amenable action?

Let $\mathbb{F}_2 = \langle a,b\rangle$ be the free group in two generators $a,b$ and let $\alpha \in \text{End}(\mathbb{F}_2)$ be given by $\alpha(a) = a^2, \alpha(b)= b^2$. Note that the index ...

**0**

votes

**0**answers

127 views

### Trivial extensions by torsion-free groups

Let $A$ be an abelian group. Recall that $A$ is
($\bullet$) a Whitehead group if $\text{Ext}(A,\mathbb Z)=0$,
($\bullet$) a free abelian group if $\text{Ext}(A,D)=0$ for every abelian group $D$.
...

**4**

votes

**0**answers

73 views

### Generators of the symplectic subgroup $\Gamma^g(1,2)$

Let $\mathbb{A}^{m\times n}$ denote the set of all $m \times n$ matrices with entries in the set $\mathbb{A}$. For a matrix $M$ we let ${^tM}$ denote its transpose, and $M^{-1}$ its inverse, if it is ...

**19**

votes

**0**answers

661 views

### Non-linear expanders?

Recall that a family of graphs (indexed by an infinite set, such as the primes, say) is called an expander family if there is a $\delta>0$ such that, on every graph in the family, the discrete ...