The tag has no wiki summary.

learn more… | top users | synonyms

1
vote
0answers
27 views

Normal Subgroup Growth

Let $F$ be a free group on $d$ generators. Denote by $F_{k}$ the $k$-th term in $F$'s derived series. Put $G = F/F_k$. What is the normal subgroup growth of $G$? Explicitly, for each natural number ...
3
votes
2answers
168 views

Schreier's index formula

A finitely generated group G is said to satisfy Schreier's index formula if for every subgroup H of index k in G we have: d(H) - 1 = k(d(G) - 1). For example, a finitely generated free group satisfies ...
3
votes
1answer
112 views

intersection growth of free profinite groups

Let $F_n$ be a free profinite group of finite rank $n$ and let $V_k$ denote the intersection of all open subgroups of $F_n$ of rank at most $k$ ($k \in \mathbb{N}$). My questions are: can I ...
-3
votes
1answer
108 views

finite index, self-normalizing subgroup of $F_2$ [closed]

Denote $F_2=\langle a, b\rangle$ to be the free group on two generators $a, b$. Let $H\leq F_2$ to be a subgroup with finite index $n$, so $H\cong F_{n+1}$ by Nielsen–Schreier theorem, recall that ...
7
votes
2answers
335 views

Number of subgroups of a given index of a free group

Given $n,d\in \mathbb{Z}^+$, how many subgroups of index $d$ does the free group of rank $n$ have? In case $n=1$ the question is trivial, and in case $n=2, d=2$ there are 3 such subgroups. I think I ...
5
votes
1answer
193 views

“Concretely” writing down elements in a free profinite group

Let $r$ be a natural number. The elements of the free group $F_r$ on $r$ generators have a nice concrete description as "words" in the $r$ generators (and their inverses). I'd like to know if there is ...
5
votes
0answers
120 views

Dynamics of virtual automorphisms of free group

The setup is that $F$ is a free finitely generated group, $H, H'$ are subgroups of index $2$, and $\tau:H\to H'$ is an isomorphism. Denote by $B_r$ the ball around $1$ of radius $r$ in $F$, in the ...
4
votes
3answers
291 views

Algebraically Independent Numbers and Affine Linear Maps

Suppose I have two lists $\alpha_1,\dots,\alpha_k$ and $\beta_1,\dots,\beta_k$ of real numbers such that all $2k$ numbers are mutually algebraically-independent over the rationals. For each $i \in ...
2
votes
2answers
157 views

Generating certain subgroups of free groups via primitive elements

Let $F_n$ be the free group on $n\geq 2$ generators and let $H < F_n$ be a finite index normal subgroup. Let $P\subset F$ be the subset consisting of primitive elements (an element of $F_n$ is ...
7
votes
2answers
308 views

First-order axiomatization of free groups

Is there a way to axiomatize [non-abelian] free groups in first-order logic using the language of groups (which contains the binary operation symbol $\cdot$, and the constant symbol $e$)? Is there ...
2
votes
0answers
93 views

Elements of minimal length in normal closures of elements in free groups

Let $F_n$ be a free group of rank $n$. Let $w\in F_n$ be cyclically reduced. What can be said about the element(s) of minimal length from the $\textit{ncl}(w)$ (normal closure of $w$ in $F_n$)? ...
2
votes
0answers
235 views

Stable commutator length of elements in free groups.

http://arxiv.org/pdf/math/0611889v4.pdf (page 13) In the above paper by Danny Calegari he says that the result $\text{scl}(g) \geq 1/2$ (i.e. a stable commutator length $\text{scl}(g) := ...
4
votes
1answer
214 views

Automorphism classes of the free group

As is well known, the conjugacy classes of the free group $F_2$ are parametrised by cyclically reduced words, up to cyclic permutation. In particular, it's easy to tell whether two elements of $F_2$ ...
4
votes
0answers
135 views

Conjugacy classes of elements in free groups. One-variable equations.

First of all, wasn't sure what could be a good title for this question. If mods think of a better name, pls feel free to change it... Let $F$ be a (non-abelian) free group of finite rank, a vector ...
11
votes
1answer
222 views

A question on normal closures of elements in free groups.

Let $F$ be a free group of finite rank, and $p, b \in F$, where $b$ is a root element (i.e. not a proper power). I have a case where $p^{n_k} = V_{n_k}^{-1}b^{-1} V_{n_k} \cdot U_{n_k}^{-1}b ...
7
votes
2answers
378 views

How to solve this one-variable equation in a free group?

Let $F_n$ be a free group, $u, v \in F_n$, where $[u,v] \neq 1 $. Trying to show that the following equation does not have a solution in $F_n$ : $$ [v,x] = [u,v] .$$ Any ideas are appreciated. I ...
8
votes
1answer
385 views

Commutators in free groups

Let $F_m$ be the free group with $m$ generators $S:=\{x_1,\dots, x_m\}$. I am interested in the following quantity $$ F(n):=\frac{|\{w\in [F_m:F_m]: \|w\|_S\leq n\}|}{|B_S(n)|} $$ where ...
8
votes
1answer
282 views

Commutator length modulo finite index subgroups

We write $cl$ for the commutator length, i.e. the least number of commutators which multiply to a given element of a group. Given an element $g$ in the commutator subgroup of the free group $G=F_2$ ...
14
votes
0answers
374 views
+200

Explicit path in the unitary group of a $C^*$-algebra

For $G$ a discrete group, there is a canonical inclusion $g\mapsto u_g$ of $G$ into the unitary group of the reduced $C^*$-algebra $C^*_r(G)$. Denote by $[u_g]$ the class of $u_g$ in the (topological) ...
1
vote
1answer
323 views

Direct proof that a group is Hopfian

Consider the group $G=\langle x_1,x_2,x_3|x_1^2,x_2^2,x_3^2\rangle$. Using a slightly modified version of S. Ivanov's proof here that free groups are residually finite, I can show that this group is ...
9
votes
3answers
421 views

Non-generating sets in a free group.

Let $F_n$ be the free group generated by $x_i$, for $1\leq i\leq n$. Let $a_i$ be some elements of $F_n$, also for $1\leq i\leq n$. Is there a nice way to tell when the list $\{a_i^{-1}x_ia_i\}$ does ...
17
votes
1answer
582 views

What are the relations between conjugates and commutators?

The following algebraic structure came up when I was thinking about invariants of coloured knots. The elements are all elements of a noncommutative free group $F$, and the operations are: $a^b= ...
4
votes
2answers
226 views

Primitive subwords in a free group of rank 2

I am not sure yet about what I exactly need to prove, but I guess I can formulate a rough statement similar to the following: Suppose $w\in F_2$ is a primitive word whose length is big enough. Then ...
5
votes
2answers
388 views

Which polynomials are Fricke polynomials ?

Let me recall the definition which seems the most standard of Fricke polynomials. Let $G$ be the free group with two generators $u,v$. It is not very hard to prove that there exists a unique ...
1
vote
1answer
167 views

Lefschetz numbers for homomorphisms of free groups

Let $G = F_X$ be the free group on a finite set $X$, and $\phi\colon G\to G$ a group homomorphism. Consider the number $$ \sum_{x\in X} (\text{number of occurrences of the generator $x$ in the word ...
3
votes
0answers
160 views

Generating set for abelianization of “mod $p$ commutator subgroup” of a free group

Let $F_n$ be a free group on $n$ letters, and fix some prime $p \geq 2$. Define $$K_{n,p}=\text{ker}(F_n \rightarrow H_1(F_n;\mathbb{Z}/p))$$ and $$V_{n,p} = H_1(K_{n,p};\mathbb{Q}).$$ For $x \in ...
4
votes
1answer
208 views

Algorithm for image of a free group homomorphism

Let $G$ and $H$ be finitely generated free groups, and let $f:G\to H$ be a homomorphism specified by giving the images of the generators of $G$. Is there an algorithm which takes such an $f$ and a ...
4
votes
1answer
202 views

How to determine free generators of a closed subgroup of a free pro-$p$-group ?

If $F$ is a free discrete group, then any subgroup $H$ of $F$ is free: this is the well-known theorem of Nielsen-Schreier. Moreover, there is a well-known algorithm, the Nielsen-Schreier method that ...
6
votes
2answers
369 views

A metabelian quotient of a free group

I don't know much about free groups (excepted the very basics), and the following question may be trivial, although it isn't to me. Let $F$ be a free group with $n$ generators $x_1,\dots,x_n$. ...