Questions tagged [free-groups]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
5 votes
2 answers
217 views

If $K\rtimes \mathbb{Z}$ is a finitely generated group but $K$ isn't, must the fixed points of $1_\mathbb{Z}$ be a finitely generated group?

I've copied over this question from what I asked on StackExchange, in the hope that an expert here can readily answer the question. Is there an example of a group $G=K\rtimes \mathbb{Z}$ satisfying ...
user avatar
2 votes
1 answer
118 views

Compute reduced word for element in particular free group

Let's consider some particular free group, for instance, the example $G = \langle A, B \rangle < \text{SL}(2, \mathbb{Z})$ in Wikipedia about ping-pong lemma, and some element $g \in G$. Problem #1 ...
user avatar
5 votes
2 answers
217 views

Bound on the period of the identity (in a free group) for an automorphism followed by left-multiplication

Let $F$ be a finite-rank free group, $g$ an element of $F$ and $\Phi\colon F \to F$ an automorphism. Consider the dynamical system $\psi_g\colon F \to F$ defined by $x \mapsto g\Phi(x)$. Say that $g$ ...
user avatar
  • 1,328
3 votes
1 answer
130 views

Injectivity of certain homomorphisms on free groups

Consider free groups $F(A)$ and $F(B)$ on finite generating sets $A,B$. Write $A$ and $B$ as the disjoint unions $A=A_1\sqcup A_2$ and $B=B_1\sqcup B_2$. We consider the free groups $F(A_i)$ and $F(...
user avatar
  • 341
2 votes
0 answers
88 views

Probability of a finite cylinder set in a free group

Let $\mathbb{F}_n$ be the free group (each elemen is in its reduced form) generated by the set $\Sigma_n = \{a_1, a_2, \cdots, a_n, a_1^{-1}, a_2^{-1}, \cdots, a_n^{-1}\}$ and let $e$ denote the ...
user avatar
9 votes
1 answer
267 views

Finite presentability of semi-direct product of free group and its commutator subgroup

Let $F_n$ be a free group of rank $n \geq 2$. The group $F_n$ acts on its commutator subgroup $[F_n,\, F_n]$ by conjugation. Let $G = [F_n,\, F_n] \rtimes F_n$. It's not hard to see that $G$ is ...
user avatar
  • 93
2 votes
0 answers
91 views

understanding the definition of subgroup of the Grothendieck-Teichmuller group

Definition. Let $\widehat{G T}^{1}$ be the set of elements $f$ in the derived subgroup $\hat{F}_{2}^{\prime}$ of $\hat{F}_{2}$ such that $x \mapsto x$ and $y \mapsto f^{-1} y f$ extends to an ...
user avatar
8 votes
0 answers
134 views

Uniform amenability at infinity

Let's recall that a group $G$ is amenable if for any finite subset $E\subset G$ and any $\epsilon>0$ there is a finite subset $F\subset G$ such that $$\max_{s\in E} |s F \mathbin{\triangle} F| \le \...
user avatar
-1 votes
1 answer
186 views

Are all Coxeter groups virtually free or virtually surface groups?

From Surface subgroups of Coxeter and Artin groups (Gordon, Long and Reid, 2003) DOI link, we can read that (Theorem 1.1) a Coxeter group is either virtually free or contains a surface group ($\pi_1$ ...
user avatar
  • 443
1 vote
1 answer
120 views

Free partners in semi-direct products

Let $G = N \rtimes K$ be a semi-direct product of groups and suppose that $K$ is a finite group. Call the set $\mathcal{F} = \{ \alpha \in G \mid \langle \alpha, K \rangle = \langle \alpha \rangle \...
user avatar
10 votes
1 answer
415 views

Length of commutators in the free group

Let $G=F_2$ be the free group of rank $2$. Is there a constant $c>0$ such that the word length $|[u,v]|$ of every commutator $[u,v]=uvu^{-1}v^{-1}$ where $u,v\in G$, $|u|,|v|>0$ is at least $c(|...
user avatar
  • 1,769
2 votes
2 answers
244 views

Some questions on a paper of Baumslag and Solitar

I was recently trying taking a look at the paper "Some two-generator one-relator non-hopfian groups" by Baumslag and Solitar where they introduce the groups now known as the Baumslag-Solitar ...
user avatar
  • 5,201
5 votes
0 answers
106 views

Computability of the "free envelope rank" of an endomorphism of a free group

Let $F$ be a free group freely generated by the finite set $S$ and $\sigma\colon F\to F$ be a group morphism. We define the free envelope rank of $\sigma$, written $r(\sigma)$, as the smallest $k$ for ...
user avatar
7 votes
3 answers
399 views

Membership to double cosets in free groups

Is there an elementary and efficient algorithm for testing the membership to a double coset of f.g. subgroups in a free group? Has this membership problem been implemented in GAP/Magma? More ...
user avatar
2 votes
1 answer
146 views

Dirichlet region of a free group

Let $G$ be a non-uniform lattice Fuchsian group and let $P$ be a Dirichlet region for $G$. In particular $G$ has parabolic elements, $P$ is not compact and has finite area. We are in the unit disc. Is ...
user avatar
7 votes
1 answer
160 views

Howson property of automorphism group of $F_2$ and of $F_3$

Is the intersection of any two finitely generated subgroups of $\operatorname{Aut}(F_2)$ (resp. $\operatorname{Aut}(F_3)$) again finitely generated? That is, does $\operatorname{Aut}(F_2)$ (resp. $\...
user avatar
1 vote
0 answers
38 views

When does bottom stratum of relative train track map give rise to irreducible outer automorphism of free groups

Let $F_n$ be the free group of finite rank $n$ and let $\mathcal{O} \in \text{Out}(F_n)$. Let $\Gamma$ be a finite graph and $f : \Gamma \to \Gamma$ a relative train track representative of $\mathcal{...
user avatar
  • 180
1 vote
0 answers
112 views

How can I build free unital magmas?

N. Bourbaki formally defines the free magma $M(X)$ over a set $X$. However, it does not define the free unital magma over $X$, which I am denoting by $M^{\ast}(X)$ (maybe you know some more common ...
user avatar
10 votes
1 answer
224 views

Is there a non-free group $G$ whose subgroups are all freely decomposable?

Suppose that $G$ is a group such that every subgroup $H \subseteq G$ (including $G$ itself) is either free or a non-trivial free product, i.e. $H = H_1 * H_2$ with $H_1, H_2$ both non-trivial. Is ...
user avatar
  • 327
4 votes
2 answers
197 views

Why is every nilpotent-by-finite finitely generated pro-p-group always $p$-adic analytic

I'm studying the paper "On the verbal width of finitely generated pro-p groups" by Andrei Jaikin-Zapirain (link at ProjectEuclid) and I cannot see a claim made in a proof. I don't know if ...
user avatar
  • 193
5 votes
1 answer
174 views

Converse of Schreier theorem

I know that every subgroup of a free group is free (Schreier theorem). I'm wondering that a (non-trivial) converse is true, that is, if every proper subgroup of an infinite group $G$ is free, then $G$ ...
user avatar
3 votes
0 answers
68 views

Extending a representation of a free group to an extension of a mapping torus

Given a free group on $n$ generators, $F_n$, $\phi$ an automorphism of $F_n$, and a non-trivial representation $\rho: F_n \rightarrow \operatorname{Homeo}_+(\mathbb{R})$, are necessary and sufficient ...
user avatar
  • 364
3 votes
0 answers
84 views

Symmetric group in terms of block permutations

For $i+j+k=N$, consider the permutation $\Pi_{i,j,k}\in S_N$, which keeps the numbers $0,\ldots,i-1$ fixed, and exchanges the numbers $i,\ldots,i+j-1$ with the numbers $i+j,\ldots,i+j+k-1$. $$\Pi_{i,j,...
user avatar
  • 2,475
5 votes
0 answers
276 views

Applications of Tits' alternative in algebraic number theory

I have recently studying Tits' alternative. The theorem statement goes like the following: Tits' alternative: Let $G$ be any finitely generated linear group over a field. Then one of the following is ...
user avatar
11 votes
1 answer
266 views

Are groups with the Haagerup property hyperlinear?

In his 2008 paper Hyperlinear and Sofic Groups: A Brief Guide, Pestov asked (Open Question 9.5) whether every group with the Haagerup property is hyperlinear (or sofic). Has this question been ...
user avatar
  • 668
0 votes
0 answers
70 views

Intersection of subgroup of a free group with the lower central series

If I have a subgroup $S$ of a free group $\mathcal{F}_m$, what can I say about the behaviour of the descending sequence of subgroups $\left< S, \Gamma_c(\mathcal{F}_m) \right>$ (where $\Gamma_c(\...
user avatar
6 votes
2 answers
411 views

Free groups are CT-groups [closed]

A group $G$ is called CT-group if being commutative elements is transitive relation on $G\setminus\{1\}$ i.e. if $ 1 \neq x,y,z\in G $ and $[x,y]=1, [y,z]=1 $ then $[x,z]=1$. I encountered the fact ...
user avatar
1 vote
1 answer
152 views

Ideal of the free Lie algebra L(x,y) generated by x

Let $L=L(x,y)$ be the free Lie algebra generated by letters $x,y.$ For a vector subspace $V\leq L$ we denote by $[V,L]$ the vector space spanned by brackets $[v,l],v\in V,l\in L.$ A vector subspace $V\...
user avatar
11 votes
0 answers
343 views

Ascending chain condition for 1-element normal closures in a free group

Let $F$ be a free group of finite rank. Does $F$ satisfy the ascending chain condition on normal subgroups each of which is a normal closure of one element? In other words, can there exist elements $...
user avatar
19 votes
0 answers
435 views

Infinitely generated non-free group with all proper subgroups free

Is there any example of group $G$ satisfying the following properties? $G$ is non-abelian, infinitely generated (i.e. it is not finitely generated) and not a free group. $H< G$ implies that $H$ is ...
user avatar
  • 589
5 votes
0 answers
273 views

How can you order a free group?

A left order on a (discrete) group $G$ is a total order on $G$ satisfying $\forall g,h,k \in G: g < h \implies kg < kh$. A right order is defined symmetrically, and a biorder is an order that is ...
user avatar
  • 4,156
4 votes
1 answer
294 views

outer automorphism classification

I am trying to understand Bestvina's "A Bers-like proof of the existence of train tracks for free group automorphisms". I'm going to ask a probably trivial question ... Here we go: The automorphism $\...
user avatar
7 votes
0 answers
304 views

How does Outer Space look like without a simplex?

Considering the simplicial structure of Culler and Vogtmanns Outer Space $CV_n$. The question is now: Let $\Delta \subset CV_n$ be a closed simplex of dimension $3n-4$ or $3n-5$, how does $CV_n \...
user avatar
  • 243
10 votes
2 answers
673 views

Road map to learn about $\mathrm{Out}{F_n}$

I'm a last year undergraduate student and I have taken a graduate course in geometric group theory. I'd like to start reading some more advanced stuff in geometric group theory and in particular ...
user avatar
6 votes
0 answers
222 views

Generating the monoid of injective endomorphisms of the free group

Let $F$ be the free group of rank $2$ (or any finite rank if this does not matter). The set of injective group endomorphisms $F\to F$ forms a monoid $M$ by compositions. Is there a simple looking set ...
user avatar
5 votes
0 answers
155 views

Description of quasimorphisms of the free group

Let $F$ be a free group of finite rank with a fixed basis and corresponding word metric. Let $Q = Q^0_h(F, \mathbb{R})$ be the space of real homogenous quasimorphisms that vanish on the basis of $F$. ...
user avatar
  • 435
1 vote
0 answers
67 views

Lyndon words and free groups [closed]

It is well known that Lyndon words form a basis for free Lie algebras. Is there any analog result for free groups? What is the connection between Lyndon words and free groups? Since groups and Lie ...
user avatar
  • 1,119
2 votes
0 answers
40 views

Partially commutative elements in powers of augmentation ideal

Let $\vartheta$ a relation of parcial commutation over a set $X,$ and consider the respective free parcially commutative group $F(X, \vartheta).$ Let $K[F(X, \vartheta)]$ the parcially commutative ...
user avatar
4 votes
0 answers
97 views

"Brunnian" words in solvable groups

Let $G$ be a group, and call a word $W(x_1,\dots,x_n)$ in letters $x_i$ and $x_i^{-1}$ "$G$-Brunnian" if there exist $g_1,\dots,g_n\in G$ with $W(g_1,\dots,g_n)\neq1$, but $W(h_1,\dots,h_n)=1$ as soon ...
user avatar
  • 2,287
4 votes
1 answer
152 views

Conjugating generators in free groups

Let $F_n := \langle x_1,\dotsc,x_n\rangle$ be the free group on $n$ generators. Let $w_1,\dotsc,w_n\in F_n$ and consider the endomorphism $\varphi:F_n\to F_n, x_i\mapsto w_ix_iw_i^-$. I conjecture ...
user avatar
  • 1,563
9 votes
2 answers
757 views

A question on the fundamental group of a compact orientable surface of genus >1

Let $G=\pi(X,x)$ be the fundamental group of a compact orientable surface of genus $g\ge 2$. It is well known that a presentation of $G$ is $$G=\langle x_1,y_1,\dots,x_g,y_g \ | \ [x_1,y_1]\cdots [x_g,...
user avatar
  • 1,301
13 votes
1 answer
920 views

Is there a name of semidirect product of a group with its automorphism group?

Consider the construction $G \rtimes \text{Aut}(G)$. Here $ G$ is a group, $\text{Aut}(G)$ is the automorphism group and the semidirect product is over the most obvious action. 1) Is there any name ...
user avatar
2 votes
0 answers
106 views

Projective G-group

Let $G$ be a fixed group. Can there be projective $G$-groups which are not free $G$-groups? If yes, for which groups $G$ it happens? By a "projective $G$-group", I mean a projective object in the ...
user avatar
  • 1,626
5 votes
1 answer
234 views

Nielsen-Schreier with operations

The Nielsen-Schreier theorem states that subgroups of a free subgroup are free. Is this hold also for groups with operations? Explicitly, let $G$ be a fixed group. Let $F$ be a group with $G$-action ...
user avatar
  • 1,626
14 votes
1 answer
311 views

Equivalence of surjections from a surface group to a free group

Let $g \geq 2$. Let $S = \langle a_1,b_2,...,a_g,b_g | [a_1,b_1] \cdots [a_g,b_g] \rangle$ be the fundamental group of a genus $g$ surface and let $F_g$ be a free group with $g$ generators. Given ...
user avatar
  • 5,201
6 votes
4 answers
655 views

What is a geodesic in Outer space?

The Culler-Vogtmann Outer space $\text{CV}_n$ is an analogue of Teichmuller space for the group $\text{Out}(F_n)$. Is there any notion of a geodesic path in $\text{CV}_n$? Are there different ...
user avatar
  • 3,686
4 votes
1 answer
207 views

Database subgroups of free group

Is there some database that contains "all" low-index normal subgroups of the free group on two generators? Extension: does there exist such a GAP-database? Thank you!
user avatar
  • 43
6 votes
0 answers
120 views

Localizations of group algebras of free groups

$\newcommand{\QQ}{\Bbb Q}$ Let $G$ be a free group on the symbols $x_1, \dots, x_n$, with $\QQ[G]$ its rational group algebra. Write $\varepsilon: \QQ[G] \to \QQ$ for the augmentation, and for $\...
user avatar
  • 47.4k
5 votes
1 answer
203 views

Dense abstract free subgroups in a free profinite group

Let $\langle a, b \rangle = F_2$ be a two-generator free group and $\hat{F_2}$ be its profinite completion. Is there an element $c\in \hat{F_2}$ such that $\langle a, b, c\rangle \le \hat{F_2}$ is ...
user avatar
  • 53
7 votes
1 answer
336 views

$\operatorname{Out}(F_n)$ is not linear for $n > 3$

The paper The Tits alternative for $\operatorname{Out}(F_n)$ I by Bestvina, Feighn and Handel and the paper Automorphisms of free groups and Outer space by Vogtmann both state that $\operatorname{Aut}(...
user avatar
  • 265