Related papers: Euler class and free generation

Free groups have many applications in Algebraic Topology. In this paper I specifically study the finitely generated free groups by using the covering spaces and fundamental groups. By the Van Kampen's theorem, we have a famous fact that the…

We find a strong separation between two natural families of simple rank one theories in Keisler's order: the theories $T_\mathfrak{m}$ reflecting graph sequences, which witness that Keisler's order has the maximum number of classes, and the…

We describe the structure of the free actions of the Klein bottle group by orientation preserving homeomorphisms of the plane. This group is generated by two elements $a,b$, where the conjugate of $b$ by $a$ equals the inverse of $b$. The…

Let $G$ be a free group of rank $n$ and $H\subset G$ its subgroup of finite index. Then $H$ is also a free group and the rank $m$ of $H$ is determined by Schreier's formula $m-1=(n-1)\cdot|G:H|.$ Any subalgebra of a free Lie algebra is also…

Let $K$ be a field and let $\sigma$ be an automorphism and let $\delta$ be a $\sigma$-derivation of $K$. Then we show that the multiplicative group of nonzero elements of the division ring $D=K(x;\sigma,\delta)$ contains a free non-cyclic…

For a group $G,$ let $\Gamma(G)$ denote the graph defined on the elements of $G$ in such a way that two distinct vertices are connected by an edge if and only if they generate $G$. Moreover let $\Gamma^*(G)$ be the subgraph of $\Gamma(G)$…

One of the key steps in the proof of the Banach-Tarski Theorem is the introduction of a free group of rotations. First, a free group of reduced words is generated where each element of the set is represented as an ACL2 list. Then we…

We show that for every $N\ge 3$ the free unitary group $U^+_N$ is topologically generated by its classical counterpart $U_N$ and the lower-rank $U^+_{N-1}$. This allows for a uniform inductive proof that a number of finiteness properties,…

A class of algebras is constructed using free fermions and the invariant antisymmetric tensors associated with irreducible holonomy groups. (This version contains minor typographical corrections and some additional references. )

We give a small generating set for the twist subgroup of the mapping class group of a non-orientable surface by Dehn twists. The difference between the number of the generators and a lower bound of numbers of generators for the twist…

Let $G=*_\lambda G_\lambda$ be a free product of torsion-free groups, and let $g\in[G,G]$ be any element not conjugate into a $G_\lambda$. Then scl$_G(g)\ge1/2$. This generalizes, and gives a new proof of a theorem of Duncan-Howie.

The Hanna Neumann conjecture gives a bound on the intersection of finitely generated subgroups of free groups. We explore a natural extension of this result, which turns out to be true only in the finite index case, and provide…

In this expository note we provide a proof of Artin's theorem which states that the commutator subgroup of a free group on two generators is not finitely generated. The proof employs the infinite grid as in two other proofs in the…

Let $p$ be a point of an orientable hyperbolic $3$-manifold $M$, and let $m\ge1$ and $k\ge2$ be integers. Suppose that $\alpha_1,\ldots,\alpha_m$ are loops based at $p$ having length less than $\log(2k-1)$. We show that if $G$ denotes the…

Given two Lagrangian spheres in an exact symplectic manifold, we find conditions under which the Dehn twists about them generate a free non-abelian subgroup of the symplectic mapping class group. This extends a result of Ishida for Riemann…

The Hanna Neumann conjecture states that if F is a free group, then for all nontrivial finitely generated subgroups H,K <= F, rank(H intersect K) - 1 <= [rank(H)-1] [rank(K)-1]. Where most papers to date have considered a direct graph…

In this note, we provide a different proof of Hill's criterion of freeness for abelian groups. Our proof hinges on the construction of suitable families of subgroups of the links in Hill's theorem and, ultimately, on the construction of…

The existence of an infinite simple boundedly generated 2-generated group and the existence of a boundedly simple 2-generated group containing a free non-cyclic subgroup are proved.

We give an efficient algorithm to randomly generate finitely generated subgroups of a given size, in a finite rank free group. Here, the size of a subgroup is the number of vertices of its representation by a reduced graph such as can be…

The theory of covering spaces is often used to prove the Nielsen-Schreier theorem, which states that every subgroup of a free group is free. We apply the more general theory of semicovering spaces to obtain analogous subgroup theorems for…