The tag has no wiki summary.

learn more… | top users | synonyms

4
votes
2answers
264 views

Schreier's index formula

A finitely generated group G is said to satisfy Schreier's index formula if for every subgroup H of index k in G we have: d(H) - 1 = k(d(G) - 1). For example, a finitely generated free group satisfies ...
9
votes
1answer
372 views

Is a free group a product of f.g subgroups of infinite index?

Let $F$ be a free group, and let $H,K \leq F$ be finitely generated subgroups of infinite index in $F$. Is it possible that for the set of products we have $HK = F$ ?
5
votes
1answer
186 views

Bases of surface groups

Let $\Gamma_g$ be a surface group of genus $g \geq 2$. A $2g$-tuple $(x_1,y_1, \dots,x_g,y_g) \in \Gamma_g^{2g}$ will be called a Surface Basis if we have the presentation $$\Gamma_g = \langle x_1, ...
4
votes
0answers
179 views

Schreier's formula and descending chains

For a group $G$ we denote by $d(G)$ the cardinality of a smallest set of generators. A finitely generated group $G$ is said to satisfy Schreier's formula if for every subgroup $H \subseteq G$ of ...
9
votes
3answers
481 views

First-order axiomatization of free groups

Is there a way to axiomatize [non-abelian] free groups in first-order logic using the language of groups (which contains the binary operation symbol $\cdot$, and the constant symbol $e$)? Is there ...
3
votes
1answer
199 views

Bases of free groups

Let $F$ be a free group on a finite set $X$. Let $A \subseteq X$ be a subset of $X$ contained in some $H \leq F$, a subgroup of finite index in $F$. Must there be a basis (free generating set) for $H$ ...
2
votes
0answers
123 views

Marshall Hall's theorem for surface groups [closed]

Let $\Gamma_g$ be a surface group of genus $g \geq 2$, that is we have a presentation: $$\Gamma_g = \langle x_1,y_1 \dots, x_g,y_g \vert \prod_{i = 1}^g [x_i,y_i] = 1\rangle$$ Let $H \leq \Gamma_g$ ...