Related papers: Infinite presentations for fundamental groups of s…
By recognizing them as fundamental groups of developable complexes of groups we prove that mapping class groups of compact orientable surfaces have finite asymptotic dimension.
We characterize the indecomposable injective objects in the category of finitely presented representations of an interval finite quiver.
A Coxeter group admits infinite-dimensional irreducible complex representations if and only if it is not finite or affine. In this paper, we provide a construction of some of those representations for certain Coxeter groups using some…
Let M be a compact closed non-orientable surface. We show that the space of representations of the fundamental group of M into PSL(2,R) has exactly two connected components. These two components are the preimages of a certain…
We consider the oriented graph whose vertices are isomorphism classes of finitely generated groups, with an edge from G to H if, for some generating set T in H and some sequence of generating sets S_i in G, the marked balls of radius i in…
We classify finite groups in which the centralisers of certain non-central elements are soluble. This includes a full structural description of groups whose non-central element centralisers are all soluble, and a reduction theorem for the…
We show that an infinite group is definable in any non trivial geometric $C$-minimal structure which is definably maximal and does not have any definable bijection between a bounded interval and an unbounded one in its canonical tree. No…
It is a classical result that the direct product AxB of two groups is finitely generated (finitely presented) if and only if A and B are both finitely generated (finitely presented). This is also true for direct products of monoids, but not…
We study the structure of minimal parabolic subgroups of the classical infinite dimensional real simple Lie groups, corresponding to the classical simple direct limit Lie algebras. This depends on the recently developed structure of…
We give presentations of braid groups and pure braid groups on surfaces.
For finitary regular monads T on locally finitely presentable categories we characterize the finitely presentable objects in the category of T-algebras in the style known from general algebra: they are precisely the algebras presentable by…
We answer two questions about the topology of end spaces of infinite type surfaces and the action of the mapping class group that have appeared in the literature. First, we give examples of infinite type surfaces with end spaces that are…
We construct finitely generated groups with strong fixed point properties. Let $\mathcal{X}_{ac}$ be the class of Hausdorff spaces of finite covering dimension which are mod-$p$ acyclic for at least one prime $p$. We produce the first…
We prove that curve complexes of surfaces are finitely rigid: for every orientable surface S of finite topological type, we identify a finite subcomplex X of the curve complex C(S) such that every locally injective simplicial map from X…
We describe isomorphisms of groups of several periodic infinite matrices and isomorphisms of groups of invertible elements of unital locally matrix algebras.
Let $K$ be a commutative Noetherian ring with identity, let $A$ be a $K$-algebra, and let $B$ be a subalgebra of $A$ such that $A/B$ is finitely generated as a $K$-module. The main result of the paper is that $A$ is finitely presented…
We study the category $\mathcal{A}$ of smooth semilinear representations of the infinite symmetric group over the field of rational functions in infinitely many variables. We establish a number of results about the structure of…
Two finitely generated groups have the same set of finite quotients if and only if their profinite completions are isomorphic. Consider the map which sends (the isomorphism class of) an S-arithmetic group to (the isomorphism class of) its…
All nonabelian finite simple groups of rank $n$ over a field of size $q$, with the possible exception of the Ree groups $^2G_2(3^{2e+1})$, have presentations with at most $80 $ relations and bit-length $O(\log n +\log q)$. Moreover, $A_n$…
In the paper we show that any irreducible representation of a finitely generated nilpotent group $G$ over a finitely generated field $F$ of characteristic zero is induced from a primitive representation of some subgroup of $G$.