1
vote
1answer
23 views

Question about particular words in the free group on three generators

In the free group generated by the letters $x,y,z$ suppose that we have a word such that for any one of $x,y,z$ the indices of each occurrence of that letter in our word sum to zero. Suppose further ...
2
votes
0answers
34 views

$F/H^{\prime}$ is a torsion free group [closed]

Let $F$ be a free group and $H$ be a normal subgroup of $F$. I want to show that $F/H^{\prime}$ is a torsion free group where $H^{\prime}=[H,H]$.
2
votes
1answer
60 views

Element of Infinite Order of Finitely Presented Group

Let $G$ be finitely presented group with $n$ generators and $r$ relations where $n>r$. I want to show that $G$ has an element with infinite order. My attempt: Assume that $F_n$ is free group with ...
1
vote
1answer
47 views

Are the two inverses in the free group same?

Set G is a group, and the set C is contained in G. Set C contains only 2 elements a and b such that they are the inverse of each other.Set F(C) is the free group made by C. Then in F(C), it contains ...
2
votes
2answers
58 views

Rank of a free group

I am trying to know whether the following result is true. Let $F$ be a free group with a basis $X$, and let $X'=\{xF':x\in X\}$, where $F'$ is the commutator subgroup of $F$. Then, $|X|=|X'|$. ...
3
votes
1answer
50 views

Semidirect products as (amalgamated) free product

It is well known that $\mathbb{Z}\rtimes \mathbb{Z}_2$ is free product $\mathbb{Z}_2 \star \mathbb{Z}_2$. Are there more examples of these kind?
2
votes
1answer
44 views

$\mathbb{F}_2 \times \mathbb{F}_2$ is not subgroup separable

I read that $\mathbb{F}_2 \times \mathbb{F}_2$ is not subgroup separable (ie. for every finitely generated subgroup $H$ and $g \notin H$, there exists a finite index subgroup $K$ such that $H \subset ...
2
votes
1answer
37 views

Commuting Elements in a Free Product of Cyclic Groups

In the free group with two generators $F_2\cong\mathbb Z *\mathbb Z$ ($*$ denotes the free product), if two elements $a$ and $b$ commute, then there exists an element $w\in F_2$ such that $\langle ...
5
votes
3answers
81 views

Pairs of $2\times 2$ matrices generating free groups.

The matrices $\begin{pmatrix}1&2\\0&1\end{pmatrix}$ and $\begin{pmatrix}1&0\\2&1\end{pmatrix}$ are well-known to (freely) generate a free group. Some years ago, I read a paper that, ...
3
votes
1answer
51 views

Linear representation of a free group

I need to prove the following: "Prove that the free group of rank 2 is linear." So to my best understanding, and please correct me if I'm wrong: I actually need to show a homomorphism from the free ...
0
votes
1answer
48 views

The action of free group on line

Let $G$ be a free group, if the action of $G$ on $\mathbb{R}$ is free, does it imply that $G$ is abelian?
3
votes
1answer
44 views

the center of amalgamated product of free groups

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.
1
vote
1answer
34 views

Finitely generated groups without the minimal condition on subgroups

Definition A group $G$ is said to satisfies the minimal condition on subgroups iff every descending chain of subgroups stops after a finite number of steps. I know Novikon and Adjan proved that the ...
7
votes
1answer
69 views

An old problem in Group Theory

Definition A group $G$ is said to satisfies the minimal condition on subgroups iff every descending chain of subgroups stops after a finite number of steps. I know this was an unsolved problem in ...
2
votes
1answer
45 views

Show that the group $\langle a, b, c | ab = bac \rangle$ is free

I'm trying to use Tietze transformations tranforms it to the group $\langle a, b, c \rangle$ - is this the right thing to do?
0
votes
1answer
27 views

Free groups: $u^mv^k = v^ku^m \implies uv = vu$

I'm trying to show that if $F_n$ is a free group of rank $n$ and $u,v \in F_n$ and $m, k >0$ then $u^mv^k = v^ku^m \implies uv = vu$. I can't seem to do it by manipulating the equation $u^mv^k = ...
1
vote
2answers
28 views

If $A$ is a set of generators for the free group $F(X)$ then $|A| \geqslant |X|$.

I'm currently revising my course Geometric Group Theory - my notes say that if $A$ is a set of generators for the free group $F(X)$ then $|A| \geqslant |X|$ because otherwise there are at most ...
0
votes
1answer
31 views

Free abelian group of fractional ideals

This question is from Ch.2 of Frohlich and Taylor's Algebraic Number Theory, page 42. Let $R$ be a Dedekind domain, $I_R$ the multiplicative group of fractional $R$-ideals. There is an isomorphism of ...
2
votes
0answers
82 views

Free group of finite rank: subgroup of finite index

This is a well-known result, but I can't find a proof of it, without using topology. Let $m\geq2$ be an integer. Then the free group of rank $2$ contains the free group of rank $m$ as a finite-index ...
3
votes
0answers
40 views

Finite index embedding of $F_{4}$ in $F_{2}$

In this question $F_{n}$ is the free group with $n$ generators. Is there a subgroup of $F_{2}$, isomorphic to $F_{4}$, which index is finite but not in the form of $3k$(not multiple of $3$)? The ...
1
vote
2answers
77 views

Confusion related to definitions involving free groups

From Wikipedia ...the free group $F_{S}$ over a given set $S$ consists of all expressions (a.k.a. words, or terms) that can be built from members of $S$, considering two expressions different ...
3
votes
3answers
66 views

Showing a Mapping Between $\left\langle a,b \mid abab^{-1}\right\rangle$ and $\left\langle c,d \mid c^2 d^2 \right\rangle$ is Surjective

Hypothesis: Let $$ G \cong \left\langle a,b \mid abab^{-1}\right\rangle $$ $$ H \cong \left\langle c,d \mid c^2 d^2 \right\rangle $$ Let the function $f$ be defined as follows. First let $f(a) ...
0
votes
1answer
27 views

The Relationship Between Generators, Relations and Group Homomorphisms

Let $G = \left\langle g_1, \ldots , g_n \mid R_1\right\rangle$ and $H = \left\langle h_1, \ldots , h_n \mid R_2 \right\rangle$. Suppose there's a mapping $f$ s.t. $f(g_i) = h_i$. Can we then merely ...
1
vote
0answers
43 views

Verifying $G*H$ Has Trivial Center and Elements of Infinite Order

Hypothesis: Let $G \ne H$ denote two non-trivial groups. Goal: Show that $G * H$ has a trivial center (hence is non-abelian) and contains an element of infinite order. Is my attempted proof below ...
3
votes
0answers
34 views

Verifying $G*H \cong G' * H' \implies |G| = |G'|$ or $|G| = |H'|$ (All Groups Cyclic)

Hypothesis: Let $G$, $H$, $G'$, and $H'$ be cyclic groups of orders $m$, $n$, $m'$, and $n'$ respectively. Goal: Show that if $G * H$ is isomorphic to $G' * H'$ then $m = m'$ and $n=n'$ or else $m ...
0
votes
1answer
56 views

Notion of group generators

I'm asking myself what the meaning of a statement like the following is: Let $G$ be a group and $T_i \subseteq G$ be a family of subgroups of $G$ indexed by a possibly infinite set $I$. Now let ...
0
votes
0answers
28 views

Isomorphism between free pro-$p$-groups induced by isomorphism on abelianizations

Let $G$, $H$ be free pro-$p$-groups, where $p$ denotes a rational prime. I want to show that a canonical homomorphism $$G \to H$$ is in fact an isomorphism. The next step is a reduction step to ...
0
votes
2answers
54 views

Free group and normal subgroups with corresponding schreier representatives.

Let $\mathbb{F}$ be a free group on $a$ and $b$. Let $N$ be the normal subgroup of $\mathbb{F}$ generated by $a^2,b^3$ and $(ab)^2$. Similarly $H$ is the normal subgroup generated by $a^2,b^3$ and ...
2
votes
1answer
71 views

Freely generated groups and homomorphisms

Let $G$ be a group and $\{x_1,x_2,\ldots,x_n\}$ a set of its elements, such that for any group $F$ and any set $\{y_1,y_2,\ldots,y_n\}$ of elements of $F$ there is one and only one homomorphism $h: G ...
2
votes
2answers
51 views

Basis for singular chains group

The singular chain group $S_p(X)$ is defined as the free abelian group generated by continuous functions $T \in C( \Delta_p , X)$. What I understand this means is that we define $T' \in S_p(X)$ as ...
5
votes
2answers
120 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 ...
13
votes
5answers
882 views

Abelianization of free group is the free abelian group

How does one prove that if $X$ is a set, then the abelianization of the free group $FX$ on $X$ is the free abelian group on $X$?
-2
votes
1answer
110 views

Why isn't $\langle a ; a^2 \rangle$ (or $\langle a;a^3, a^7\rangle$) a presentation of $C_4$?

I've just read the first few pages of Combinatorial Group Theory by Magnus, Karrass, and Solitar, and based on their definitions there, and more specifically, the reasoning given in the hint to ...
5
votes
1answer
117 views

Does this group presentation define a nontrivial group?

Given a presentation $$ \langle x,y,z : x^y=x^2, y^z=y^2, z^x = z^2 \rangle, $$ where $x^y$ is just the usual conjugation. Can we say for sure, whether this presentation defines a nontrivial group?
1
vote
0answers
48 views

Subgroup of a (free) group.

Let $F$ be a group, generated by $x_1,...,x_m$ and $H$ be its subgroup such that $|F:H|=n < \infty$. How to prove that $H$ can be generated by $n(m-1)+1$ elements?
1
vote
2answers
103 views

Group presentations - again

My question is about finding presentations for finite groups. It's along similar lines to my earlier question -- but is subtly different! The earlier question is here Group presentations Let's take ...
1
vote
1answer
63 views

Does every group have a representation?

For any set $A$, we can give it an group structure and make it a free group. For example: $$\mathbb Z=<a;aa^{-1}=1>$$ Further more, we can introduce some relation on it: $$\mathbb ...
3
votes
1answer
107 views

How many normal subgroups is in a free group of rank > 1

How many normal subgroups is in a free group of rank $k>1$, if the quotient group (of the normal subgroups) isomorphic $S_3$?
2
votes
1answer
104 views

Free groups contain “larger” free groups

First of all, I have read this similar question and am satisfied that the answers there prove the result I am interested in. That being said, I'm more interested in this particular approach than in ...
12
votes
5answers
383 views

Prove elements generate a free group

How does one show that the elements $x^2$, $y^2$, and $xy$ have no nontrivial relations among them in the free group generated by $\{x,y\}$? This would prove that the free group $F_2$ has a subgroup ...
2
votes
3answers
97 views

A group presentation for $\mathbb{Z}_2\times \mathbb{Z}_2$

I know that the only groups of order 4 are $\mathbb{Z}_2\times \mathbb{Z}_2$ and $\mathbb{Z}_4$ up to isomorphisms. And I also know that the group presentation of $\mathbb{Z}_4$ is $\left ( a:a^4=1 ...
1
vote
1answer
68 views

locating a square root element with square in a free subgroup

Let $G$ be a group (not necessarily countable discrete) which contains a free subgroup $F=F_2=\langle a, b\rangle$, denote $H=\langle a, b^2\rangle$, and assume that the centralizer of $F$ inside of ...
3
votes
1answer
70 views

An alternative approach to constructing the free group.

Let $A$ be a set. We wish to construct the free group $F(A)$. It seems that this (invariably?) starts out like this: Let $A'$ be a copy of $A$, and let $\mathscr A=A\cup A'$. Let $\mathscr L$ ...
5
votes
1answer
79 views

Automorphism of the free group

Let $\mathbb{F}_2$ be the free group of rank $2$ with generators $a$ and $b$. I would like to build an automorphism $\varphi$ of $\mathbb{F}_2$ such that : 1) $\varphi([a,b]) = [a,b]$ 2) ...
11
votes
3answers
393 views

Could the concept of “finite free groups” be possible?

Is it possible to define "finite free groups" ? could that make it easier to deal with group presentations ?
0
votes
1answer
61 views

subsets of a generating set of a free group

Is it true that, given any free group $F$ and any set $S\subseteq F$ which generates $F$, there is a subset $T\subseteq S$ which is a free generating set for $F$? It would be great if you could give ...
0
votes
1answer
106 views

Groupe generated by elements with a relation

Could someone show me how to prove that the group generated by $x,y,z$ with the single relation $yxyz^{-2}=1$ is actually a free group.
1
vote
0answers
90 views

Conjugacy class of commutators of generators for a free group.

Let $F$ be a free group generated by two elements. Let $\{a,b\}$ and $\{c,d\}$ are two different generating set. Q:Prove that $[a,b]$ is either conjugate to $[c,d]$ or its inverse. Here ...
0
votes
1answer
52 views

free object isomorphisms

In group category if $F_1$ be a free object on $X_1$ and $F_2$ is free object on $X_2$ and $F_1$ isomorphic to $F_2$ prove that |$X_1$|=|$X_2$| whats the relationship between isomorphisms of free ...
3
votes
5answers
98 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?