Related papers: Infinite presentations for fundamental groups of s…
Given any finitely presented group G we find a triangular algebra such that has two presentations, one with fundamental group G and another with trivial group. Thus proving that given a collection G1,...,Gn of finitely presented groups…
We construct the first example of a finitely-presented, residually-finite group that contains an infinite sequence of non-isomorphic finitely-presented subgroups such that each of the inclusion maps induces an isomorphism of profinite…
This paper surveys basic properties of finite presentation in groups, Lie algebras and rings. It includes some new results and also new, more elementary proofs, of some results that are already in the literature. In particular, we discuss…
We prove that every finitely generated group with recursive aspherical presentation embeds into a group with finite aspherical presentation. This and several known facts about groups and manifolds imply that there exists a 4-dimensional…
Finite presentations for the mapping class group M(F) are known for arbitrary orientable compact surface F. If F is non-orientable, then such presentations are known only when F has genus at most 3 and few boundary components. In this paper…
In various classes of infinite groups, we identify groups that are presentable by products, i.e. groups having finite index subgroups which are quotients of products of two commuting infinite subgroups. The classes we discuss here include…
We show that the algebraic fundamental group of a smooth projective curve over a finite field admits a finite topological presentation where the number of relations does not exceed the number of generators.
We give a uniform construction that, on input of a recursive presentation $P$ of a group, outputs a recursive presentation of a torsion-free group, isomorphic to $P$ whenever $P$ is itself torsion-free. We use this to re-obtain a known…
The fundamental group of every surface that is not the projective plane or Klein bottle has a representation to a torsion-free group of upper-triangular matrices in SL(2,R) with no simple loop (i.e. a nontrivial element representing a…
Let $S$ be an orientable, connected surface with infinitely-generated fundamental group. The main theorem states that if the genus of $S$ is finite and at least 4, then the isomorphism type of the pure mapping class group associated to $S$,…
We use differential forms on loop spaces to prove that the fundamental group of certain geometric transformation groups is infinite. Examples include both finite and infinite dimensional Lie groups. The finite dimensional examples are the…
In this paper we study the possibility to define irreducible representations of the symmetric groups with the help of finitely many relations. The existence of finite bases is established for the classes of representations corresponding to…
Let $S$ be a closed oriented surface and $G$ a finite group of orientation preserving automorphisms of $S$ whose orbit space has genus at least $2$. There is a natural group homomorphism from the $G$-centralizer in $Diff^+(S)$ to the…
It was proved by Oliveira and Silva (2005) that every finitely generated inverse subsemigroup of the monogenic free inverse semigroup $FI_1$ is finitely presented. The present paper continues this development, and gives generating sets and…
We give a topological interpretation of the core group invariant of a surface embedded in S^4. We show that the group is isomorphic to the free product of the fundamental group of the double branch cover of S^4 with the surface as a…
We exhibit a family of metrizable manifolds such that any finite group appears as the fundamental group of one of them. These spaces are especially interesting as they can be easily visualized, as opposed to classical examples of spaces…
Let $\mathcal G$ denote the space of finitely generated marked groups. For any finitely generated group $G$, we construct a continuous, injective map $f$ from the space of subgroups $Sub(G)$ to $\mathcal G$ that sends conjugate subgroups to…
We construct a finitely presented, infinite, simple group that acts by homeomorphisms on the circle, but does not admit a non-trivial action by $C^1$-diffeomorphisms on the circle. The group emerges as a group of piecewise projective…
We completely classify the orientable infinite-type surfaces $S$ such that $\operatorname{PMap}(S)$, the pure mapping class group, has automatic continuity. This classification includes surfaces with noncompact boundary. In the case of…
Let $G=1+A$ be a finite pattern group over the finite field ${\mathbb{F}}_q$. We give a natural bijection between coadjoint orbits of $G$ and its equivalent classes of irreducible representations. More precisely, given any $T\in A^t$,…