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

**6**

votes

**1**answer

315 views

### Liouville property - a very basic question

Let $\mathbb{F}_2$ be the free group on two generators. By a result of Kaimanovich and Vershik, for each measure $\mu$ on $\mathbb{F}_2$ such that the support of $\mu$ generates $\mathbb{F}_2$, we ...

**-1**

votes

**0**answers

63 views

### A Lie group associated to a matrix via semi direct product [migrated]

Assume that $A \in M_{n}(\mathbb{R}) $ is a matrix. Then $A$ generates a one parameter (with parameter $t\in \mathbb{R}$) family of group automorphisms of $\mathbb{R}^{n}$ with $x\mapsto ...

**2**

votes

**0**answers

159 views

### Unique product groups (and semigroups)

A group $G$ is called a u.p.-group (short for unique product group) if for all nonempty finite subsets $A,B\subseteq G$, there exists an element $g\in A \cdot B$ which can be uniquely written as a ...

**6**

votes

**2**answers

179 views

### Finding an “optimal” quotient in a free group

Consider the abelian free group $G = \mathbf{Z}^n$ of rank $n$ and a finite subset $A \subset G \setminus \{0\}$. Since $G$ is residually finite, there is a subgroup $H \subset G$ such that $A \cap H ...

**7**

votes

**3**answers

226 views

### Signs in Chevalley's commutator formula

I am trying to understand presentations of twisted groups of Lie type (specifically $^2D_5$) over finite fields using Steinberg's presentations (for instance from Gorenstein, Lyons and Solomon, Number ...

**4**

votes

**0**answers

125 views

### Groups with infinitely many finite conjugacy classes

I've been coming across the condition "IMFCC: having infinitely many finite conjugacy classes" often in recent times and I was wondering if there is any serious difference between having "IMFCC" and ...

**2**

votes

**1**answer

101 views

### Intransitive finite irreducible linear groups whose orbits are all large

I am interested in intransitive irreducible linear subgroups $G\subseteq\mathrm{GL}_n(\mathbb{F}_p)$ acting on $V-\{0\}=\mathbb{F}_p^n-\{0\}$ in the natural way, such that all of the orbits are very ...

**0**

votes

**0**answers

91 views

### A question about $p$-solvable groups

$H$ is called $s$-permutable in $G$ if it permutes with every Sylow subgroup of $G$.
$H$ is called $s$-permutably embedded in $G$ if each Sylow subgroup of $H$ is a Sylow subgroup of some ...

**6**

votes

**2**answers

252 views

### Cardinality of factors of infinite non-abelian groups

Let $A$ and $B$ be arbitrary nonempty subsets of a group $G$. Then
the product $AB$ is called direct, and we denot it by $A \cdot B$,
if the representation of every its element by $x=ab$ with $a\in ...

**10**

votes

**0**answers

274 views

### A question concerning model theory of groups

Several days ago, Professor Martin Bridson gave a very nice talk in my department. Some questions concerning his talk came into my brain Since I am neither a model theorist nor a algebraist, I am not ...

**9**

votes

**0**answers

154 views

### Detecting a module for the free group algebra on a finite quotient

Let $F_2$ be the free group on two generators $x,y$ and let $R$ be the group algebra $\mathbf{Q}[F_2]$. Let $a,b,c$ be integers. Then define a right $R$-module
$M = R / (ax + by + c) R$.
I am ...

**7**

votes

**2**answers

260 views

### Thompson group $V$

R. Thompson introduced three groups $F\subset T\subset V$. The question concerning amenability of $F$ is still unanswered and has attracted much attention. I have read that Thompson group $V$ contains ...

**8**

votes

**0**answers

176 views

### Cohomology of central extensions of groups

Let G be a central extension of a finite group H by $Z/2$. I need an explicit description of the differentials $d_2$ and $d_3$ in the Lyndon-Hochschild-Serre spectral sequence which converges to the ...

**4**

votes

**0**answers

94 views

### How to enumerate a discrete group of matrices by their Frobenius norm?

Suppose I have a discrete group $G<\mathrm{SL}_2(\mathbb{C})$,
and it is finitely generated by some known generators.
That is, $G=\langle g_1,\dots,g_n\rangle$.
The Frobenius norm of a matrix ...

**1**

vote

**1**answer

189 views

### What are the finite subgroups of $\operatorname{Sp}_{2n}(\mathbb{Z})$?

I've read the following question:
Finite subgroups of ${\rm SL}_2(\mathbb{Z})$ (reference request)
and it made me wonder. It's easy to see that ...

**3**

votes

**1**answer

153 views

### Braid group: Can a left-twist increase the number of right twists?

Disclaimer: This question was first posted on math.se without any answer.
This is something that naturally occurs in my research, but I am no expert on this - it feels like a natural question so I am ...

**0**

votes

**1**answer

113 views

### The relationship between $p$-solvable Group and solvable group [closed]

Can anyone please tell me The relationship between $p$-solvable Group
and solvable group.and find an example of a $p$-solvable group that is not solvable group or vice-versa.

**7**

votes

**0**answers

209 views

### A “direct” proof that hyperbolic groups are not amenable

I am looking for a proof that a finitely generated hyperbolic groups is non-amenable [unless it is virtually cyclic] which is as "metric/combinatoric" as possible.
Here are the two proofs I am aware ...

**4**

votes

**1**answer

116 views

### A decomposition of $w_0$ which is similar to the reduced decomposition

Some basic definitions about reduced decomposition:
In the symmetric group $S_n$, let $s_i$ denote the adjacent transposition $(i,i+1),i\in \{1,2,\cdots,n-1\}.$ Since $S_n$ is generated by adjacent ...

**5**

votes

**1**answer

166 views

### A question on the commutativity degree of the monoid of subsets of a finite group

The commutativity degree $d(G)$ of a finite group $G$ is defined as the ratio
$$\frac{|\{(x,y)\in G^2 | xy=yx\}|}{|G|^2}.$$It is well known that $d(G)\leq5/8$ for any finite non-abelian group $G$. If ...

**1**

vote

**2**answers

99 views

### Any analysis on phase of eigenvalue of unitary matrix?

I understand that there are invariant Haar measure for eigenvalues of unitary matrix. I further understand that absolute value of eigenvalues of unitary matrix is 1. But, I could not find any analysis ...

**0**

votes

**2**answers

496 views

### Is the absolute Galois group the same as the automorphism group? [closed]

Is the absolute Galois group $\mathrm{Gal}(\overline{\mathbf{Q}}|\mathbf{Q})$ the same as the group $\mathrm{Aut}_{\mathbf{Q}}(\overline{\mathbf{Q}})$ the automorphism group in the category of ...

**2**

votes

**2**answers

434 views

### For a ring R, does $GL_n(R)$ embed into $GL_m(F)$ for some field F?

Suppose $R$ is a noncommutative ring. What is the sufficient and necessary condition for $GL_n(R)$ embedding into $GL_m(F)$ for some field $F$?
In particular, what if $R$ is the group ring ...

**0**

votes

**0**answers

73 views

### Embedding a cancellative monoid into another in such a way that $|X-x|=|X|$, where $X$ is a fixed finite set and $x\in X$

Preliminaries.
Let $\mathbb A = (A, +)$ be a possibly non-commutative semigroup. For $X, Y \subseteq A$ we set
$$
X - Y := \{a \in A: a + y \in X\text{ for some }y \in Y\},
$$
which is just the usual ...

**3**

votes

**1**answer

95 views

### free subgroups of the fundamental group of nonorientable surfaces

Sorry for this possibly trivial or stupid question, but I'm very far from being an expert in Algebra.
Let G be the fundamental group of the nonorientable surface of even rank n=2k (n generators, 2n ...

**6**

votes

**1**answer

190 views

### Embedding a cancellative monoid into another in such a way that a prescribed element becomes left-invertible

Let $\mathbb A = (A, +_A)$ be a cancellative, but possibly non-commutative, monoid with identity $0$, and fix an element $x \in A$. Does there always exist a cancellative monoid $\mathbb B = (B, +)$ ...

**7**

votes

**1**answer

242 views

### Does the Fano plane “embed” in the complex projective plane?

$PSL(2,7)$ acts on the projective plane over $\mathbb{F}_2$ (the Fano plane) through its identification with $GL(3,2)$. It also acts on the projective plane over $\mathbb{C}$ through either of its ...

**1**

vote

**0**answers

121 views

### Which conjectures are proved for sofic groups? [closed]

Which conjectures about groups are resolved in case of sofic groups?
I know two examples:
Kaplansky's direct finiteness conjecture (proved by Gabor Elek).
Some versions of Ornstein's isomorphism ...

**31**

votes

**1**answer

553 views

### Identities of commutators

Let $G$ be a group and set $[x,y]:= x^{-1}y^{-1}xy$ as usual and consider it as a binary operation.
Question: Is there a description of the identities that the operation $[.,.]$ satisfies for all ...

**1**

vote

**0**answers

71 views

### Infinite Hirsch length [closed]

Can a residually finite group $G \in LFin \rtimes VPoly$ ($G$ is a semi-direct product of a locally finite group by a virtually polycyclic group) have an infinite Hirsch length?

**2**

votes

**0**answers

176 views

### Mixed up by definitions of mildly mixing

Here are two setup where the notion of "mildly mixing" comes up: for representations and for group acting by measure preserving transformations (see definitions below). Since a natural class of ...

**10**

votes

**1**answer

205 views

### p-groups such that the center is contained in many cyclic subgroups

I'm looking for examples of $p$-groups $G$ with the following three properties:
the center of $G$ is $\mathbb{Z}/p$, and
$G^{\text{ab}} = (\mathbb{Z}/p)^n$ for some $n$, and
for every $g \in G$ ...

**0**

votes

**0**answers

62 views

### Matrix representation of the Heisenberg quaternionic group

Equiped with the law $(a,b,c)\circ (a',b',c') = (a + a', b + b', c + c' + ab'),$ the matrix representation of the Heisenberg group $H^3= \mathbb C\times \mathbb R$ is given by
$$
\begin{pmatrix}
1 ...

**17**

votes

**3**answers

697 views

### Simplicity of $A_n.$

I am teaching an introductory group theory course, and it has come to the inevitable proof that $A_n$ is simple for $n\geq 5.$ Now, there seem to be a number of proofs that I can find - one the ...

**0**

votes

**0**answers

102 views

### On the structure of groups according to their conjugacy classes

A finite group $G$ satisfies property $P_n$ if for every prime integer $p$, $G$ has at most $(n-1)$ non-central conjugacy classes the order of the representative element of which is a multiple of $p$. ...

**3**

votes

**0**answers

113 views

### Cocycle condition for 2-groups

I know that if $\omega_d(g_1, \ldots, g_d)$ is an d-cocycle characterized by $H^d(G,U(1))$, it satisfies the co-cycle condition
$(d\omega_d)(g_1, \ldots, g_{d+1}) = g_1.\omega_d(g_2,\ldots,g_{d+1}) + ...

**1**

vote

**0**answers

91 views

### Exponent of the quotient of the commutator of a free group

Let $F$ be a free group on two generators, let $F^p$ denote the normal subgroup of $F$ generated by the $p$-th power, $p$ a prime. Do we know anything about the exponent of $[F,F]/[F^p,F]$.
Edit: ...

**5**

votes

**0**answers

91 views

### Mal'cev completions of finitely generated torsion-free nilpotent groups

There is some question from geometric group theory:
One wonders if the following conditions are equivalent for finitely generated torsion-free nilpotent groups $\Gamma$ and $\Lambda$:
$\Gamma$ and ...

**3**

votes

**0**answers

63 views

### Have locally principal crossed homomorphisms been studied?

Take a (multiplicative finite) group $H$ acting on the left (by automorphisms) on an (additive finite) abelian group $A$, and recall that the abelian (additive) group of crossed homomorphisms from $H$ ...

**8**

votes

**1**answer

213 views

### Need a good name for an algorithmic problem in groups that generalizes the conjugacy problem

I am looking for a good name for the following problem:
Given elements $g_1,\dotsc,g_n$ in a (finitely generated) group $G$, determine if the product of their conjugacy classes $g_1^G\dotsb g_n^G$ ...

**1**

vote

**1**answer

60 views

### Character kernels in the lattice of subgroups of a finite abelian group

I am looking for any efforts that have been made to characterize the character kernels (equivalently, the subgroups yielding cyclic quotients) inside the lattice of subgroups of a finite abelian ...

**1**

vote

**0**answers

158 views

### Semidirect product of semidirect products

For algebraic objects, say for groups $ N,K$ and algebra $A$, if we have the semidirect product of a semidirect product,
$(A \rtimes_{\gamma} N ) \rtimes_{\theta} K$, are there conditions that would ...

**0**

votes

**0**answers

99 views

### generalized word problem

If $H$ is a finitely generated subgroup of $G$ and if $H$ given by say a finite set
of words which generate it, then the generalized word problem for $H$ in $G$
is the problem of deciding for an ...

**7**

votes

**1**answer

234 views

### What does the unique mean on weakly almost periodic functions look like?

There is a unique invariant mean $m$ on WAP functions on any discrete group (see definitions below, theorem of ?). However, the proofs I found are fairly non-explicit on how to obtain this invariant ...

**8**

votes

**1**answer

303 views

### Is $[729,57]$ a Sylow $3$-subgroup of some well-known group?

Let $G$ be the group $[729,57]$, using GAP's notation. I have so far two descriptions of the group:
a presentation
an embedding (not surjective!) of the group into a Sylow $3$-subgroup of the unit ...

**1**

vote

**1**answer

176 views

### Finite groups $G$ satisfying property $P_n$

A finite group $G$ satisfies property $P_n$ if for every prime integer $p$, $G$ has at most $(n−1)$ non-central conjugacy classes the order of the representative element of which is a multiple of $p$. ...

**1**

vote

**1**answer

102 views

### 'Accidental' isomorphisms for $Spin^C(n)$

The complex spin groups $Spin^C(n)$ appear in the fibration
$Spin(n)\rightarrow Spin^C(n)\rightarrow\ S^1$
which must split since $BSpin(n)$ is 3-connected to give a homotopy equivalence
...

**2**

votes

**0**answers

69 views

### Groups with special character degrees

Let $G$ be a finite group of order $p_1^{a_1}\times p_2^{a_2}\times\cdots \times p_n^{a_n}$. Is there any classification for simple groups such that for each $i$, $p_i^{a_i}$ is an irreducible ...

**1**

vote

**2**answers

212 views

### Nilpotency of Lie Algebra from Structure Constants

Suppose we have a Lie algebra with structure constants
$$\mathrm{d}e^i=\sum_{j<k}a_{ijk}e^j\wedge e^k$$
for some coefficients $a_{ijk}$.
In this setting, how may be checked (perhaps ...

**3**

votes

**1**answer

173 views

### Representations of p-groups where 1 is never an eigenvalue

Fix some $n \geq 1$ and some prime $p$. I'm looking for finite $p$-groups $G$ and finite-dimensional complex representations $V$ of $G$ with the following two properties:
The abelianization of $G$ ...