# Tagged Questions

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

**2**

votes

**1**answer

176 views

### An expectation of the product of random unitaries

I want to find the answer of
$$\int dU \ U^m X \ U^{\dagger m}$$
Where $m\in\mathbb{N}$ and $U$'s are unitary matrices in $U(n)$ and $dU$ is a normalized Haar measure. $X$ is a given self-adjoint ...

**2**

votes

**1**answer

64 views

### About Central-by-finite subgroups

Let $G$ be a torsion group and $H \unlhd G$. Suppose that $H$ is a locally finite group and suppose that $H$ let be a FC-group.
Let $x \in G$. Then is true that $[H,x]$ is a central-by-finite group?
...

**5**

votes

**0**answers

92 views

### Centralizers of elements in free group algebras

Let $A$ be a group algebra of a free group, and $x \in A$. What is the centralizer of $x$? Is there something like Bergman's theorem for free associative algebras?

**5**

votes

**2**answers

345 views

### Expectation of trace of nth power of unitary matrices

I am trying to find the answer of
$$\int dU \ |Tr(U^m)|^2$$
where $m\in\mathbb{N}$ and $U$'s are unitary matrices in $\textit{U}(n)$ and $dU$ is a normalized Haar measure. In the case $m=1$, the ...

**6**

votes

**1**answer

231 views

### Do free profinite groups satisfy Howson's theorem?

Let $F$ be a free profinite group, and let $A,B \leq F$ be finitely generated closed subgroups. Must $A \cap B$ be finitely generated?

**1**

vote

**0**answers

56 views

### Free profinite products

Let $F$ be a nonabelian finitely generated free profinite group, and let $x \in F$. Must there be some $1 \neq y \in F$ such that $\langle x,y \rangle$ is isomorphic to the free profinite product of ...

**4**

votes

**1**answer

179 views

### Proof of a Proposition regarding the reduction of N-torsion groups on elliptic curves

In Diamond-Shurman A first course in Modular forms p.334 Prop. 8.4.4. It is stated,
For E elliptic curve over $\bar{\mathbb{Q}}$ with good reduction at the prime ideal $\mathfrak{p}$ the reduction ...

**4**

votes

**0**answers

83 views

### Is a finitely generated subgroup of a free profinite group virtually a retract?

Let $F$ be a nonabelian finitely generated free profinite group, and let $H \leq F$ be a finitely generated closed subgroup. Must there be some open subgroup $H \leq U \leq F$, and a closed normal ...

**19**

votes

**4**answers

1k views

### Categorical proof subgroups of free groups are free?

This is a crossport of this question from MSE.
Is there a categorical proof that subgroups of free groups are free?
How about the result that subgroups of free abelian groups are free abelian?
...

**13**

votes

**2**answers

426 views

### Why is “The Higman Rope Trick” thus named?

I'm studiyng Higman's Embedding Theorem, and a fundamental part of the proof is the following lemma:
If R is a benign normal subgroup of finitely generated group F, then F/R can be embedded in a ...

**2**

votes

**1**answer

122 views

### Schur covering group for S4

It is well-known that the symmetric group S4 has two Schur covering groups, S4-tilde and S4-hat. There are explicit presentations for both groups, and we know that S4-hat is isomorphic to GL(2,3). ...

**11**

votes

**0**answers

138 views

### What Is The Minimal Monomial of the Symmetric Group?

In the symmetric group $S_n$ what is the shortest sequence $c_1,\ldots,c_k\in S_n$ such that, for all $x\in S_n$ the following product of conjugates of $x$:
$$x^{c_1}x^{c_2}\ldots x^{c_k}$$
equals the ...

**3**

votes

**1**answer

137 views

### the number of indecomposable modules of finite groups over finite fields of a fixed dimension

I am interested in determining the the number of indecomposable modules of finite groups over finite fields of a fixed dimension. Specifically, I have the following conjecture:
Conjecture. Suppose we ...

**3**

votes

**1**answer

179 views

### Special linear groups over function fields

Let $p$ be a prime number, and let $q$ be a finite power of $p$. Denote by $F_q$ the unique field with $q$ elements.
What is known about the structure and properties of $\mathrm{SL}_2(F_q[t])$ as ...

**11**

votes

**0**answers

190 views

### Elements of order 3 normalizing no non-identity 2-subgroups in Almost Simple Groups

This question is partly motivated by a situation which arises in modular representation theory. A finite group $G$ is said to be almost simple if $G$ has a unique minimal normal subgroup which is a ...

**3**

votes

**0**answers

103 views

### Invariant Laurent polynomials under cyclic group action

Start with the cyclic group $G:=\mathbb{Z}/p$ of prime order $p$ and and an integer lattice $P:=\mathbb{Z}^p$. Let $G$ act on $P$ by cyclic permutation of coordinates. There is an induced action on ...

**3**

votes

**2**answers

190 views

### Limits of conjugated subgroups

I've recently encountered the following problem. Given a group $G$, a subgroup $H$ and a sequence $g_n\in G$, let $$ \liminf_{j\to\infty}H^{g_j} :=\bigcup_{n\ge 1} \bigcap_{j\ge n} H^{g_j}.$$ Here $$ ...

**3**

votes

**0**answers

106 views

### Equalizer in Free groups

Let $F_n$ be the free group generated by $x_1,\cdots,x_n$ and for each $1\leq i\leq n$, let a homomorphism $d_i:F_n\to F_{n-1}$ be defined as follows:
$d_i(x_r)=x_r$, if $i>r$;
$d_i(x_r)=1$, if ...

**11**

votes

**1**answer

340 views

### Is there a faithful transitive locally finite action of the modular group?

Is there a faithful transitive action of $G = \mathrm{PSL}_2(\mathbb{Z})$ on $\mathbb{Z}$ such that orbits under each $g \in G$ are finite?

**0**

votes

**0**answers

64 views

### When is edge colored circulant isomorphism polynomial?

Don't understand enough group theory, but two papers
appear to give partial results about an open problem.
Edge colored graph isomorphism is isomorphism which
preserves the edge coloring (the ...

**1**

vote

**0**answers

127 views

### Zariski dense subgroups and conjugates

Let $H \leq \mathrm{SL}_3(\mathbb{Z})$ be a finitely generated subgroup which is not Zariski dense, and let $g \in \mathrm{SL}_3(\mathbb{Z})$. Must there be some $a \in \mathrm{SL}_3(\mathbb{Z})$ such ...

**5**

votes

**1**answer

354 views

### Why is this group called “The Holomorph of a group”

Many years ago I found in google the notation "Holomorph of group". It is the semi direct product of $G$ with $Aut(G)$. Why is the term "Holomorph" used here, while it is usually used for complex ...

**1**

vote

**0**answers

75 views

### Are lattices in the special real linear group subgroup seperable?

Let $G \leq SL_2(\mathbb{R})$ be a lattice, let $H \leq G$ be a finitely generated subgroup of infinite index, and let $n \in \mathbb{N}$. Must there be some $H \leq U \leq G$ such that $n \leq [G : ...

**6**

votes

**0**answers

151 views

### An example of a simple infinite 2-group

I've asked this question before on Mathematics, and they suggested me to ask here (Link).
Is there an example of a simple infinite $2$-group?
Informations
If a $2$-group is Artinian I know that ...

**6**

votes

**3**answers

1k views

### A categorical method to, say, determine the cardinality of a group

I am trying to figure out how much one can figure out about an object using category theory. Ideally, any property that is well defined up to isomorphism should be computable using only category ...

**5**

votes

**2**answers

221 views

### Embedding $G$ in a $Z(G)$ extension of $\operatorname{Aut}G$

This question follows up a question I asked on math.SE. This is a refinement and a reference request.
For what groups $G$ does there exist a $Z(G)$-extension of $\operatorname{Aut}G$ (call it ...

**2**

votes

**2**answers

207 views

### F.g group with infinite ends not Q.I to a free group

Is there any easy example of a finitely generated group with a Cantor set of ends that is not quasi-isometric to a finitely generated free group?
Thanks in advance.

**2**

votes

**0**answers

116 views

### Special sets of involutions generating ${\rm S}_n$

For which positive integers $k$ and $r$ are there involutions $g_{n,i} \in {\rm S}_n$
$(n \in \mathbb{N}, \ i = 1, \dots, k)$ such that the following hold?:
for any $n$, the $g_{n,i}$ $(i = 1, ...

**2**

votes

**1**answer

199 views

### twists of algebraic groups

If $k$ is some field - for convenience, of characteristic 0 -, $\bar{k}$ is an alg. closure of $k$, and $G$ is some $k$-algebraic group, one can define a twist of $G$ to be some $k$-algebraic group ...

**1**

vote

**0**answers

31 views

### About Abelian Radicable Groups Generated by Chernikov's subgroups

Let $G$ be a abelian and radicable group generated by subgroups abelian, radicable and Chernikov. Then $G$ is Chernikov? ie, if $G = \left<H| H \leq G \right>$ with $H$ abelian, radicable and ...

**4**

votes

**0**answers

260 views

### Very frustrated reading a proof of the faithfulness of Artin's representation of braid groups

I am reading BRAID GROUPS, FREE GROUPS, AND THE LOOP SPACE OF THE 2-SPHERE by F.R. Cohen and J. Wu and here is an extract of the paper:
(The proof is not finished yet but I am very confused by now.)
...

**4**

votes

**1**answer

224 views

### A finite 2-group acts on an elementary abelian group of odd order

I would be grateful if you have an idea how to prove the following:
Let a finite $2$-group $P$ act on an elementary abelian group of odd order $N$ such that the centralizer $C_P(N)=1$, and then form ...

**8**

votes

**1**answer

233 views

### Condition for a certain subset being a subgroup

For any finite group $G$ and $n$ a divisor of $|G|$, consider the following subset of elements of "co-order" dividing $n$:
$$G(n) = \{ g \in G \mid g^{|G|/n} = 1 \}$$
By a classical theorem of ...

**2**

votes

**0**answers

68 views

### Orthosymplectic group, matrix representations

We have the orthosymplectic $osp(n,m|2k)$. The bosonic part is $so(n,m)\times sp(2k)$. The lie algebra generators are given in eg
http://cds.cern.ch/record/524737/files/0110257.pdf$
where the group ...

**29**

votes

**1**answer

586 views

### Two groups that are the automorphism groups of each other

Let $H,K$ be two non-isomorphic groups such that $H\cong Aut(K)$ and $K\cong Aut(H)$.
Is there any example of such groups ?
Note: I had asked the question there.

**0**

votes

**0**answers

58 views

### adjoint quotient and points in DVRs

Let $G$ be a connected reductive group over an algebraically closed field $k$, $T$ a maximal torus and $W$ its Weyl group.
We have a Steinberg map $\chi:G\rightarrow \mathfrak{C}:=T/W$ if we have a ...

**4**

votes

**0**answers

79 views

### Connected compact Lie groups with Lie algebra so(4n, R)

I am trying to write a complete list of connected compact simple Lie groups (or of connected complex simple Lie groups, both tasks are equivalent). I am missing just one case.
Consider the Lie ...

**-5**

votes

**1**answer

144 views

### Is this statement true? [closed]

Let $G$ be a finite group such that $p\mid |G|$ and $p^2\nmid |G|$, where $p\geq3$ is a prime number. Is it true that $G$ is a direct product of simple groups? why?

**2**

votes

**1**answer

112 views

### Totally aperiodic sequence

Let $A$ be a finite set. Let $A^k$ be the set of words in the alphabet $A$ of length $k$ and $A^*$ be the set of infinite words. I was looking for an element $a = \lbrace a_n \rbrace_{n \in ...

**3**

votes

**1**answer

118 views

### Schreier's formula and supersolvable groups

A finitely generated profinite group $G$ is said to satisfy Schreier's formula if for every open subgroup $L \leq_o G$ we have $d(L) = (d(G)-1)[G:L] + 1$. Here $d$ stands for the smallest cardinality ...

**1**

vote

**0**answers

94 views

### Can a profinite completion be free pro-p?

Is there a prime number $p$ and a finitely generated residually finite group whose profinite completion is a free pro-$p$ group on a nonempty finite set?
Thanks to YCor we see that we cannot take the ...

**2**

votes

**1**answer

186 views

### $nse$ for which simple group was determined?

Let $G$ be a finite group and $\omega(G)$ be the set of element orders of $G$. Let $k\in\omega(G)$ and $m_k$ be the number of elements of order $k$ in $G$. Set $nse(G):= \{m_k : k \in\omega(G)\}$. ...

**11**

votes

**3**answers

898 views

### Non-abelian Grothendieck group

By general nonsense the forgetful functor from groups to monoids has a left adjoint. It maps a monoid $(X,\cdot,1)$ to the free group on $\{\underline{x} : x \in X\}$ modulo the relations ...

**0**

votes

**0**answers

110 views

### What does the ring $K[S]$ know about a group generated by $S$?

Given a discrete group $\Gamma$ generated by $S$ let $K[S]$ denote the subring
of the group-ring $K[\Gamma]$ generated by $S$ (over a commutative ring $K$). The ring $K[S]$ is thus a quotient
of the ...

**3**

votes

**1**answer

181 views

### Can the full and reduced group $C^*$-algebras be “noncanonically” isomorphic?

Is there a locally compact group $G$ such that the canonical map from $C^{*}(G)$ to $C^{*}_{red} G$ is not isomorphism, hence $G$ is not amenable but these two $C^{*}$ algebras are isomorphic ...

**3**

votes

**1**answer

190 views

### Are there quasiconvex normal subgroups?

Let $G$ by a hyperbolic group, and let $H \lhd G$ be a normal quasiconvex subgroup. Is it possible that $|H| = [G : H] = \infty$ ?

**2**

votes

**1**answer

100 views

### Conjugates and infinite index subgroups of free groups

Here I am asking for an analogue of Generating infinite index subgroups of a free group
Let $F$ be a nonabelian finitely generated free group, let $H \leq F$ be a finitely generated subgroup of ...

**2**

votes

**0**answers

157 views

### Exotic actions of hyperbolic groups

Let $G$ be a hyperbolic group acting faithfully on $\mathbb{Z}$ such that:
The action is highly transitive - it is $k$-transitive for each $k \in \mathbb{N}$.
For every quasiconvex subgroup $H \leq ...

**7**

votes

**0**answers

136 views

### Is there an infinite increasing sequence of naturals for which Landau's function can be efficiently computed?

Landau's function
$g(n)$ is the largest order of an element of the symmetric group $S_n$.
Equivalently, $g(n)$ is the largest least common multiple (lcm) of any partition of $n$.
In general $g(n)$ is ...

**1**

vote

**1**answer

164 views

### Reconstructibility of a group from subgroups

Let $G,H$ be groups and suppose that $\varphi: G\to H$ is a bijection such that for any proper subgroup $G'\neq G$ of $G$ the image $\varphi(G')$ is a subgroup of $H$ and the restriction ...