# Tagged Questions

Should be used with the (group-theory) tag. Free groups are the free objects in the category of groups and can be classified up to isomorphism by their rank. Thus, we can talk about *the* free group of rank $n$, denoted $F_n$.

3k views

282 views

### What can we say about the kernel of $\phi: F_n \rightarrow S_k$

Let $F_n$ denote the free group on $n$ generators and let $S_k$ denote the symmetric group on the integers $\{1,\dots, k\}$, and the action of homomorphism $\phi$ (as given in the title) on the ...
746 views

### Power of commutator formula

A few people remember a commutator formula of the form $[a,b]^n = (a^{-1} b^{-1})^n (ab)^n c$ where $c$ is a product of only a few commutators (say $n-1$) of them. Here $a,b$ are in a (free) group ...
427 views

498 views

### Lower central series of a free group

Consider the element $w=x^2yx^{-1}y^{-1}x^{-1}yxy^{-1}x^{-1}$ of the free group $F_2=\langle x,y\rangle$. By considering the image of this element under the abelianization map (equivalently, by adding ...
73 views

### Automorphisms of free groups

Suppose $U$ is a subgroup of finite index in the free group on $k$ generators $F_k$. Suppose $\sigma$ is an automorphism of $F_k$ such that $\sigma|_U = \text{id}$, then must $\sigma = \text{id}$?
135 views

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

Is there a categorical proof that the subgroups of free groups are free? Also that abelian subgroups of free abelian groups are free.
139 views

51 views

### How to Identify a Quotient of a Given Free Group

$\newcommand{\Z}{\mathbf Z}$ Problem. Let $G$ be the free group generated by three symbols $a, b$ and $c$, and let denote $G$ by writing $F(a, b, c)$. Let $N$ be the normal subgroup of $G$ ...
212 views

### Identifying a certain subgroup of a free group

Let $F$ be the free group on the generators $a_1,\ldots,a_n$. Define homomorphisms $\phi_i:F\to F$ by $\phi_i(a_j)=a_j^{1-\delta_{ij}}$, where $\delta_{ij}$ is the Kronecker delta; basically, $\phi_i$ ...
227 views

### Free product of the trivial group with another group

I'm new to the idea of a free product.. Basically I was wondering if G is an arbitrary group and 1 is the trivial group then is $1\star G \cong G$. If not.. what whould it look like?
424 views

### A free group on the non-empty set $X$ is solvable iff $|X| =1$

Let $X$ be a non-empty set. Prove that $F_X$, the free group on $X$ is solvable if and only if $|X| = 1$. We can see that if $|X| = 1$, then $F_X$ is abelian, and hence solvable. However, the other ...
200 views

### Slicker construction of the free product of groups

The usual construction of the free product of groups $\{G_i\}_{i \in I}$ consists of taking the discriminated union $\coprod_{i \in I} G_i$ and taking the set of words satisfying a handful of ...
### Every nonidentity element in a free group $F$ has infinite order
I'm trying to prove that every nonidentity element in a free group $F$ has infinite order. I'm really new on free groups and I found this subject really strange I couldn't understand it very well yet, ...
Let $G_1$, $G_2$, $H$ be free groups, $K=G_1*_H G_2$ is the amalgamated product of free groups, then is center of $K$ trivial? Thanks in advance.