Related papers: Commensurators and Quasi-Normal Subgroups

If a finite quasisimple group G with simple quotient S is embedded into a suitable classical group X through the smallest degree of a projective representation of S, then the normalizer of G in X is a maximal subgroup of X, up to two series…

Let N be a normal subgroup of a finite group G. We prove that under certain (unavoidable) conditions the subgroup [N,G] is a product of commutators [N,y] (with prescribed values of y from a given set Y) of length bounded by a function of…

A countable, bounded degree graph is almost finite if it has a tiling with isomorphic copies of finitely many F\o lner sets, and we call it strongly almost finite, if the tiling can be randomized so that the probability that a vertex is on…

For a finitely generated group $G$ and collection of subgroups $\mathcal{P}$ we prove that the relative Dehn function of a pair $(G,\mathcal{P})$ is invariant under quasi-isometry of pairs. Along the way we show quasi-isometries of pairs…

We describe structure of quasihomomorphisms from arbitrary groups to discrete groups. We show that all quasihomomorphisms are 'constructible', i.e., are obtained via certain natural operations from homomorphisms to some groups and…

We establish a general normal subgroup theorem for commensurators of lattices in locally compact groups. While the statement is completely elementary, its proof, which rests on the original strategy of Margulis in the case of higher rank…

Suppose that all hyperbolic groups are residually finite. The following statements follow: In relatively hyperbolic groups with peripheral structures consisting of finitely generated nilpotent subgroups, quasiconvex subgroups are separable;…

We study mappings on sub-Riemannian manifolds which are quasi-regular with respect to the Carnot-Caratheodory distances and discuss several related notions. On H-type Carnot groups, quasiregular mappings have been introduced earlier using…

We prove that many normal subgroups of the extended mapping class group of a surface with punctures are geometric, that is, that their automorphism groups and abstract commensurator groups are isomorphic to the extended mapping class group.…

For any ring $R$, we introduce an invariant in the form of a partially ordered abelian semigroup $\mathrm{S}(R)$ built from an equivalence relation on the class of countably generated projective modules. We call $\mathrm{S}(R)$ the Cuntz…

P. Hall constructed a universal countable locally finite group U, determined up to isomorphism by two properties: every finite group C is a subgroup of U, and every embedding of C into U is conjugate in U. Every countable locally finite…

Universality has been an important concept in computable structure theory. A class $\mathcal{C}$ of structures is universal if, informally, for any structure, of any kind, there is a structure in $\mathcal{C}$ with the same…

Suppose that $\tilde{G}$ is a connected reductive group defined over a field $k$, and $\Gamma$ is a finite group acting via $k$-automorphisms of $\tilde{G}$ satisfying a certain quasi-semisimplicity condition. Then the connected part of the…

We prove that either the images of the mapping class groups by quantum representations are not isomorphic to higher rank lattices or else the kernels have a large number of normal generators. Further we show that the images of the mapping…

In this paper we present some algebraic properties of subgroupoids and normal subgroupoids. We define the normalizer of a wide subgroupoid $\mathcal{H}$ and show that, as in the case of groups, the normalizer is the greatest wide…

This paper is a study of the subgroups of the mapping class groups of Riemann surfaces, called "geometric" subgroups, corresponding to the inclusion of subsurfaces. Our analysis includes surfaces with boundary and with punctures. The…

We define a pseudometric on the set of all unbounded subsets of a metric space. The Kolmogorov quotient of this pseudometric space is a complete metric space. The definition of the pseudometric is guided by the principle that two unbounded…

For a finite group $G$, let $B$ be an equivalence (equality, conjugacy or order) relation on $G$ and let $A$ be a (power, enhanced power or commuting) graph with vertex set $G$. The $B$ super $A$ graph is a simple graph with vertex set $G$…

In this paper, we investigate the properties of $\sigma$-A-nuclei of a quasigroup including relations between them and relations between their respective component sets, where $\sigma \in S_3$. We also find connections between components of…

Quasi-isometry is a measure of how similar two graphs are at `large-scale'. Nguyen, Scott, and Seymour [arXiv:2501.09839] and Hickingbotham [arXiv:2501.10840] independently gave a characterisation of graphs quasi-isometric to graphs of…