# Questions tagged [free-groups]

The tag has no usage guidance.

176 questions
Filter by
Sorted by
Tagged with
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 ...
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 ...
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$ ...
130 views

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

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 ...
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 ...
294 views

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 ...
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 ...
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$. ...
1 vote
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 ...
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 ...
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 ...
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 ...
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,...
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 ...
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 ...
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 ...
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 ...
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 ...