All Questions
14 questions
4
votes
1
answer
106
views
Order of $xy$ in various quotients of the free product $G_1 * G_2$, where $x \in G_1, y \in G_2$ are nontrivial
Say we have two arbitrary nontrivial groups $G_1$ and $G_2$, and some arbitrary nontrivial elements $x \in G_1, y \in G_2$. Then it is known that the order of $xy$ in the free product $G_1 * G_2$ is ...
- 734
3
votes
1
answer
66
views
If $F$ is free and $R$ is normal in $F$, then $F/R'$ is torsion-free, where $R'=[R,R]$
If $F$ is free and $R$ is normal in $F$, then $F/R'$ is torsion-free, where $R'=[R,R]$.
This is Exercise 11.50 in Rotman's An Introduction to the Theory of Groups with the following hint attributed ...
- 734
0
votes
1
answer
154
views
Showing $F_X \cong F_Y\implies |X| = |Y|$ [duplicate]
Lately I've been studying free groups, I'm a layman on the subject but I came across a step in the demonstration that I couldn't move forward. I know the question seems to be good but: If $F_X \cong ...
- 3
-2
votes
1
answer
47
views
If $H , K \trianglelefteq F_2$ with $F_2/H\cong F_2/K$ then $H=K$ [closed]
This is probably a basic fact of group theory but I am not able to prove it:
Let $F_2$ be the free group generated by 2 elements and $H,K$ be two normal subgroups of $F_2$. If $F_2/H$ is isomorphic ...
- 891
0
votes
0
answers
57
views
Order of a quotient of a free abelian group
Let $G\subseteq \mathbb{C}$ be a free abelian group of rank $n$ and let $p$ be a prime. Then, we know that $$|G/pG|=p^n$$ and in fact for this we don't even need $p$ to be a prime. Suppose now that ...
- 9
6
votes
1
answer
133
views
Relations from quotient of free product
This question arose from an exercise which asks you show that the fiber coproduct exists in the category of groups. I was eventually able to (mostly) solve the problem by “gluing” the images of ...
- 583
0
votes
1
answer
111
views
Factor group of a free group
Let $F[A]$ be the free group on the generating set $A$. Let $C$ be the commutator subgroup of $F[A]$, then show that $F[A]/C$ is a free abelian group with basis $\{aC \mid a \in A\}$. It is trivial ...
- 731
1
vote
1
answer
84
views
Representing a group as a quotient of a free group
Consider $G=F \rtimes T$, where $F=\mathbb{Z}_3 \times \mathbb{Z}_3$ and $T=\mathbb{Z}_5$. Let $\phi : \mathbb{Z}_5 \rightarrow Aut(\mathbb{Z}_3 \times \mathbb{Z}_3)$.
It is said that any group is ...
- 43
0
votes
1
answer
292
views
Showing this quotient group is isomorphic to $\mathbb{Z}_2\times{}\mathbb{Z}_2$
How do I show that $\mathbb{Z}_4\times{}\mathbb{Z}_2/K$ is isomorphic to $\mathbb{Z}_2\times{}\mathbb{Z}_2$, where $K=\langle(2,0)\rangle$.
I'm getting confused with the details involved here, I will ...
- 1,316
0
votes
2
answers
515
views
How to show that the dihedral group $D_{2\cdot 8}$ is the quotient of the free group on $2$ generators by a certain normal subgroup?
Let $D_{2\cdot 8}$ be given by the group presentation $\langle x,y\mid xy = yx^{-1} , y^2 = e, x^8 = e\rangle$. Let $G = F_{\{x,y\}}$ be the free group on two generators and $N = \langle\{xyx^{-1}y,y^...
- 37.7k
4
votes
1
answer
114
views
Finding the quotient of this free abelian group
I have the group $\langle a,b,c\rangle/\langle -b+c-a,b+c-a\rangle$. I know this is $\mathbb{Z}\oplus\mathbb{Z_2}$. However, I tried doing it like this and got something else :
I have
$$-b+c-a=0, b+...
- 3,224
0
votes
1
answer
39
views
Suppose $F$ is a finitely generated free group, with $M,N \trianglelefteq F$ such that $M \leq N$. If $F/N \cong F/M$ then need we have $N=M$?
As the title states - suppose $F$ is some finitely generated free group, with $M,N \trianglelefteq F$ such that $M \leq N$. If $F/N \cong F/M$ then need we have $N=M$?
Thanks in advance.
- 742
1
vote
1
answer
67
views
Quotient of free groups $\langle a_1,\ldots, a_n\rangle /\langle a_2-a_1,a_3-a_2,\ldots,a_{n}-a_{n-1},a_1-a_n\rangle$
I am trying to show that the quotient
$$\frac{\langle a_1,\ldots,a_n\rangle}{\langle a_2-a_1,a_3-a_2,\ldots,a_{n}-a_{n-1},a_1-a_n\rangle}\cong \mathbb{Z}.$$
Is the following argument correct?
Since ...
- 11.1k
4
votes
1
answer
324
views
Any large group is SQ-universal.
This result is part of the preliminary section of "Largeness and SQ-universality of Cyclically Presented Groups," by Gerald Williams.
The Details:
Definition 1: A group is large if it has a ...
- 47.2k