Related papers: Isomorphism Theorems for Gyrogroups and L-Subgyrog…

The group isomorphism problem asks whether two finite groups given by their Cayley tables are isomorphic or not. Although there are polynomial-time algorithms for some specific group classes, the best known algorithm for testing isomorphism…

If $G$ is a group and $S$ a generating set, $G$ canonically embeds into the automorphism group of its Cayley graph and it is natural to try to minimize, over all generating sets, the index of this inclusion. This infimum is called the…

The concept of topological gyrogroups is a generalization of a topological group. In this work, ones prove that a topological gyrogroup G is metrizable iff G has an {\omega}{\omega}-base and G is Frechet-Urysohn. Moreover, in topological…

The Solomon-Tits theorem says that the poset of proper non-trivial subspaces of a finite-dimensional vector space has realisation equivalent to a wedge of spheres. In this paper we prove a variant of this result for collections of geodesic…

A Lefschetz-type coincidence theorem for two maps f,g:X->Y from an arbitrary topological space X to a manifold Y is given: I(f,g)=L(f,g), the coincidence index is equal to the Lefschetz number. It follows that if L(f,g) is not equal to zero…

In [3] is was shown that for any group $G$ whose rank (i.e., minimal number of generators) is at most 3, and any finite index subgroup $H\leq G$ with index $[G:H]\geq rank(G)$, one can always find a left-right transversal of $H$ which…

In this paper a Bass-Serre theory in the groupoid setting is developed and a structure theorem is established. Any groupoid action without inversion of edges on a forest induces a graph of groupoids, while any graph of groupoids satisfying…

Let G be a discrete group. We give methods to compute for a generalized (co-)homology theory its values on the Borel construction (EG x X)/G of a proper G-CW-complex X satisfying certain finiteness conditions. In particular we give formulas…

We show that if a group $G$ has a finite normal subgroup $L$ such that $G/L$ is hypercentral, then the index of the hypercenter of $G$ is bounded by a function of the order of $L$. This completes recent results generalizing classical…

Sidorenko's conjecture asserts that every bipartite graph $H$ has the property that, for any host graph $G$, the homomorphism density from $H$ to $G$ is asymptotically at least as large as in a quasirandom graph with the same edge density…

We show that every distributive lattice-ordered pregroup can be embedded into a functional algebra over an integral chain, thus improving the existing Cayley/Holland-style embedding theorem. We use this to show that the variety of all…

Given groupoids $\mathscr G$ and $\mathscr H$ as well as an isomorphism $\Psi:\text{Sd}\,\mathscr G\cong\text{Sd}\,\mathscr H$ between subdivisions, we construct an isomorphism $P:\mathscr G\cong\mathscr H$. If $\Psi$ equals $\text{Sd} F$…

By a result known as Rieger's theorem (1956), there is a one-to-one correspondence, assigning to each cyclically ordered group $H$ a pair $(G,z)$ where $G$ is a totally ordered group and $z$ is an element in the center of $G$, generating a…

Given a (not necessarily discrete) proper metric space $M$ with bounded geometry, we define a groupoid $G(M)$. We show that the coarse Baum--Connes conjecture with coefficients, which states that the assembly map with coefficients for G(M)…

Given a finitely generated group $G$ that is relatively finitely presented with respect to a collection of peripheral subgroups, we prove that every infinite subgroup $H$ of $G$ that is bounded in the relative Cayley graph of $G$ is…

Let G_2 be the exceptional Lie group of automorphisms of the complex Cayley algebra and C be a generic, smooth, connected, projective curve over $\mathbb{C}$ of genus at least 2. For a complex Lie group G, let H^0(M(G),L^k) be the space of…

Let $G$ be a generalized dicyclic group with identity $1$. An inverse closed subset $S$ of $G\setminus\{1\}$ is called minimal if $\langle S\rangle=G$ and there exists some $s\in S$ such that $\langle S\setminus\{s,s^{-1}\} \rangle\neq G$.…

We investigate the action of the automorphism group of an acylindrically hyperbolic group G on its space of homogeneous quasimorphisms, and identify its kernel with the subgroup of "strongly commensurating" automorphisms. We deduce that if…

In this paper we prove an inverse function theorem in derived differential geometry. More concretely, we show that a morphism of curved $L_\infty$ spaces which is a quasi-isomorphism at a point has a local homotopy inverse. This theorem…

The Linearization Theorem for proper Lie groupoids organizes and generalizes several results for classic geometries. Despite the various approaches and recent works on the subject, the problem of understanding invariant linearization…