Questions tagged [free-groups]
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$.
962
questions
4
votes
1
answer
319
views
Is there a general way to find the inverse of an automorphism of the free group? [closed]
If we describe an automorphism of the free group (on n generators) by where it sends the generators, is there some kind of algorithm to find the inverse automorphism? I am particularly interested in ...
- 75
-1
votes
1
answer
34
views
Relative divisibility of derived subgroup of free group [closed]
Let $F$ be a free group (possibly on an infinite set) and let $[F,F]$ denote its derived subgroup.
Can there be a $w \in F \setminus [F,F]$ and an $n>0$ such that $w^n \in [F,F]$?
- 5,125
1
vote
1
answer
52
views
Questions on the $\hom$ Functor and Free Groups
This question arises while learning about the $\hom$ functor. My algebra background is not that strong, so here is my question:
Let $G$ be a free group, and let $f\colon G \to G$ be a group
...
- 649
2
votes
1
answer
28
views
Transition matrix associated to representative of element in $Out(F_n)$
There is a notion of transition matrix associated to elements in $Out(F_n)$ from Bestvina and Handel's paper that I am a little bit confused.
Let $\Phi\in Out(F_n)$ and $\phi:\Gamma\to\Gamma$ a ...
- 689
2
votes
1
answer
33
views
Every graph morphism that is an immersion and surjective on the fundamental group is a homeomorphism
Here, we consider graphs as 1-dimensional CW complex and a graph morphism is a map sending vertices to vertices and $[f(a),f(b)]=f([a,b])$ where $[a,b]$ represents an edge connecting vertices $a,b$. A ...
- 689
2
votes
1
answer
86
views
Direct sum of free abelian group and quotient of abelian group by subgroup
I'm currently studying abelian groups in Kurosh's The Theory of Groups. I'm trying to understand the proof of the theorem:
Let $B \leqq A$ be abelian groups. If $A/B \cong C$ and $C$ is a free group, ...
4
votes
0
answers
67
views
$SO_3(\mathbb Q)$ contains a free group using 5-adic numbers
I am trying to show that $SO_3(\mathbb Q)$ contains a free group using 5-adic numbers, and more precisely using the matrices $M_1=\left(\begin{array}{ccc}1 &0&0\\0&\frac 35&-\frac{4}5\\...
- 41
1
vote
0
answers
42
views
Can we construct a free structure on a non associative algebraic structure.
For any set we can construct a free group on it. Also for non associative structures like Lie algebra, Lie ring we may construct free structures, but these are non associative structures and having ...
- 1,954
4
votes
1
answer
199
views
Technique for showing a group is not free?
The specific case I present here is much less important than the general question. I have two matrices: $$
p = \begin{pmatrix}
1 & 0 & 0 & 0 \\
0 & 1 & 1 & -\frac{1}{2} \\
0 &...
- 424
3
votes
1
answer
58
views
"Almost Retractible" Abelianizations of Groups
I have two related questions.
Is there a name for a nonabelian group $G$ whose abelianization is $\bigoplus_{i=1}^n \mathbb{Z}/p_i\mathbb{Z}$ such that for each $i$ there is an element $g$ whose ...
2
votes
0
answers
37
views
Tiling of a tree to show that a group acting freely on a tree is free
Let me start giving some context:
Let $G$ be a group acting freely on a tree $T$. Let $T'$ be the barycentric subdivision of $T$ (that is, the graph obtained by placing a new vertex at the center of ...
- 904
2
votes
1
answer
49
views
If a graph map is an immersion, then the induced homomorphism on fundamental groups is injective
So I was reading some Geometric group theory and came across Stalling's folding of graphs. Now I am trying to use the folding idea to prove that every finitely generated subgroup of a free group is ...
- 377
2
votes
0
answers
37
views
How to prove the free group $F_n$ cannot be generated by $n$ elements as a monoid?
I cannot figure out how to prove that the submonoid of $F_n$ generated by elements $\alpha_1,\dots , \alpha_n$ will never be the whole group.
It clearly is possible to generate the free group on $a_1, ...
- 5,633
2
votes
0
answers
78
views
Free product contains the free product of itself with a free group.
I saw this answer and I'm thinking if with this idea we can show that $G_1 \ast G_2 \ast F$ (where $F$ is a free group of countable rank) embedds in $G_1 \ast G_2$ if $G_1$ or $G_2$ has cardinality at ...
- 422
0
votes
0
answers
81
views
Sorting integers by looking at their prime factorizations
By the fundamental theorem of arithmetic, we know that any positive integer can be uniquely defined by its prime factors. Now, suppose $S_{\infty}$ is the set of all primes, and let $s_i
\in S$ such ...
- 327
2
votes
1
answer
142
views
A question about commutators in free groups
Let $F$ be the free group on $X=\{ x_1,\dots, x_n\}$ for some $n\geq2$. Define the lower central series of $F$ inductively: $\gamma_1(F):= F$, $\gamma_{i+1}(F)=[\gamma_i(F),F]$ for $i\geq1$. Is it ...
- 104
1
vote
0
answers
39
views
Condition on finitely generated subgroup of $GL_2(\mathbb{Q})$ to be free
I am considering finitely generated subgroup $G=\langle A,B,C\rangle$ of $GL_2(\mathbb{Q})$ such that $A,B,C$ all have the upper triangular form
$$A=\begin{pmatrix}a_1 & a_2 \\ 0 & a_3\end{...
- 1,271
1
vote
0
answers
56
views
Virtual solvability of dense subgroups
Let $G$ be a (finitely generated) dense subgroup of $\mathsf{SL}(2;\mathbb{C})$. Is it possible that $G$ is virtually solvable?
In other words, by Tit's alternative, does being dense necessitate the ...
- 59
2
votes
1
answer
56
views
Exercise on Generators and Relations from Michael Artin's book
The question is:
Let $\phi: G \mapsto G'$ be a surjective group homomorphism. Let $S$ be a subset of $G$ whose
image under $\phi$(S) generates $G$', and let $T$ be a set of generators of $\ker\phi$. ...
- 21
3
votes
1
answer
54
views
Prove a surjective endomorphism $\phi$ of a 1-relator group $ ⟨a, b ∣ a^{-1} b^2 a b^{-3}⟩ $ is not injective
Consider the infinite group $H$ with presentation
$$
⟨a, b ∣ a^{-1} b^2 a b^{-3}⟩
$$
so that the relation is $a^{-1} b^2 a=b^3$.
The map
$$
a ↦ a\\b ↦ b^2
$$
induces a surjective homomorphism $ϕ:H\to ...
- 3,047
-1
votes
1
answer
36
views
How to show that the trivial group is the free group of the empty set (using universal property of free groups)?
Aluffi (in Algebra: Chapter 0) says that given a set $A$, the free group is a group $F(A)$ together with a set map $j_*:A\to F(A)$ st for any group $G$ and any set map $f:A\to G$, there is a unique ...
- 483
2
votes
0
answers
35
views
$T_4/\langle\{b^nab^{-n}\mid n\in\mathbb{Z}\}\rangle$ and the real line with a loop attached to each integer point
Bowditch uses an example in his A Course on Geometric Group Theory, to explain a fact that a subgroup $G\leq F$ need not be freely generated even if $F$ is, but I cannot understand some details of it. ...
- 430
0
votes
2
answers
42
views
Free group on $X$ means no relation in $X^{\pm}$ [closed]
I am reading Free Groups from the book ``Presentations of Groups" by D. L. Johnson.
The author says that the existence of $\theta'$ means there is no relation in $X^{\pm}$. He gives the argument ...
- 117
9
votes
2
answers
134
views
Finding free subgroup $F_2$ in the free product $\frac{\mathbb{Z}}{5\mathbb{Z}} * \frac{\mathbb{Z}}{6\mathbb{Z}}$
Is there any free group isomorphic to $F_2$ contained in the free product group $\frac{\mathbb{Z}}{5 \mathbb{Z}}* \frac{\mathbb{Z}}{6 \mathbb{Z}}?$
Let $\frac{\mathbb{Z}}{5\mathbb{Z}}= \langle a \mid ...
- 435
3
votes
0
answers
50
views
Burnside groups with GAP system [closed]
My question is related to Burnside groups $B(n, 3)$ in the GAP system. I'm interested in ways to represent Burnside groups $B(n, 3)$ in GAP.
The obvious representation using relations (see example for ...
- 149
5
votes
3
answers
1k
views
Is this a valid "easy" proof that two free groups are isomorphic if and only if their rank is the same?
I have read on different sources that it is not possible to give a simple proof that "two free groups are isomorphic if and only if they have the same rank" using only what "a student ...
- 69
0
votes
2
answers
59
views
If there is a bijection from a subset $S$ of a group $G$ onto $X$ then $F(X)$ isomorphic to $\langle S \rangle$, Where $F(X)$ free group on X
Let $\phi: G \to F(X)$ be a group homomorphism suppose that $\phi$ maps a subset $S$ of $G$ bijectively onto $X$. Then $F(X) $ is isomorphic to $\langle S\rangle$, where $F(X)$ free group with basis $...
- 435
0
votes
0
answers
26
views
extension condition for free abelian groups
if $G$ is a free abelian group with basis {${a_\alpha}$} then given the elements {${y_\alpha}$} of an abelian group $H$, there are homomorphisms $h_\alpha : G_\alpha \to H$ such that $h(a_\alpha)=y_\...
- 491
0
votes
4
answers
147
views
Free object is a free group in the category of groups
I have a question and would appreciate a clear answer.
Firstly, I will provide an introduction regarding my understanding, and then I will ask my question.
Let's begin with the definition of a ...
- 123
0
votes
1
answer
90
views
Lee Mosher book definition of a tree.
I was just reading the definition of a tree in Lee Mosher book, and he said if graph is simply connected then it is contractible.
I am wondering how is this true, can someone explain this to me please?...
user965463