Related papers: Subnormal closure of a homomorphism

We show the problem of counting homomorphisms from the fundamental group of a homology $3$-sphere $M$ to a finite, non-abelian simple group $G$ is #P-complete, in the case that $G$ is fixed and $M$ is the computational input. Similarly,…

If $f : \tilde{\Gamma} \rightarrow \Gamma$ is a covering map between connected graphs, and $H$ is the subgroup of $\pi_1(\Gamma,v)$ used to construct the cover, then it is well known that the group of deck transformations of the cover is…

Let $\Gamma_{g}$ be the fundamental group of a closed connected orientable surface of genus $g\geq2$. We develop a new method for integrating over the representation space $\mathbb{X}_{g,n}=\mathrm{Hom}(\Gamma_{g},S_{n})$ where $S_{n}$ is…

A group $\Gamma$ is said to be finitely non-co-Hopfian, or renormalizable, if there exists a self-embedding $\varphi \colon \Gamma \to \Gamma$ whose image is a proper subgroup of finite index. Such a proper self-embedding is called a…

Let $f: S^2 \to S^2$ be an expanding branched covering map of the sphere to itself with finite postcritical set $P_f$. Associated to $f$ is a canonical quasisymmetry class $\GGG(f)$ of Ahlfors regular metrics on the sphere in which the…

Let $\Gamma$ be a group acting on with finite stabilizers and finite fundamental domain on a building of type $\tilde A_2$. We prove that any non-trivial normal subgroup of $\Gamma$ is of finite index in $\Gamma$.

The first main result is a topological rigidity theorem for complete immersed hypersurfaces of spherical space forms which extends similar results due to do Carmo/Warner, Wang/Xia and Longa/Ripoll. Under certain sharp conditions on the…

We give a general construction leading to different non-isomorphic families $\Gamma_{n,q}(\K)$ of connected $q$-regular semisymmetric graphs of order $2q^{n+1}$ embedded in $\PG(n+1,q)$, for a prime power $q=p^h$, using the linear…

In this paper, we study the graph classification problem from the graph homomorphism perspective. We consider the homomorphisms from $F$ to $G$, where $G$ is a graph of interest (e.g. molecules or social networks) and $F$ belongs to some…

We classify locally finite joinings with respect to the Burger-Roblin measure for the action of a horospherical subgroup $U$ on $\Gamma \backslash G$, where $G = \operatorname{SO}(n,1)^\circ$ and $\Gamma$ is a convex cocompact and Zariski…

In this paper we continue Prasma's homotopical group theory program by considering homotopy normal maps in arbitrary $\infty$-topoi. We show that maps of group objects equipped with normality data, in Prasma's sense, are algebras for a…

A topological group $G$ is topologically normally generated if there exists $g \in G$ such that the normal closure of $g$ is dense in $G$. Let $S$ be a tame, infinite type surface whose mapping class group $\mathrm{Map}(S)$ is generated by…

Let $G$ be a topological group, let $\phi$ be a continuous endomorphism of $G$ and let $H$ be a closed $\phi$-invariant subgroup of $G$. We study whether the topological entropy is an additive invariant, that is,…

This paper deals with the extension of partial actions of topological groups on topological spaces. Within this framework, we introduce a class of topological embeddings defined via the inverse semigroup of homeomorphisms between open…

Let $G$ be a closed highly homogeneous subgroup of $S_{\infty}$ not involving circular orderings. We show that the closure of a conjugacy class from $G$ contains a conjugacy class which is comeagre in it. Furthermore, we show that the…

We propose a general quantum Hamiltonian formalism of a renormalization group (RG) flow with an emphasis on generalized symmetry by interpreting the elementary relationship between homomorphism, quotient ring, and projection. In our…

This paper is a generalization of a previous paper by the author to connected unipotent linear algebraic groups. The notion of an $ \alpha $-pair answers when an open $ G $-stable, affine, sub-variety $ D(H) $ is a trivial bundle over $ G…

For a countably infinite group $\Gamma$, let $\mathcal{W}_\Gamma$ denote the space of all weak equivalence classes of measure-preserving actions of $\Gamma$ on atomless standard probability spaces, equipped with the compact metrizable…

In the setting of Carnot groups, we are concerned with the rectifiability problem for subsets that have finite sub-Riemannian perimeter. We introduce a new notion of rectifiability that is, possibly, weaker than the one introduced by…

Given an infinity-category C, one can naturally construct an infinity-category Fam(C) of families of objects in C indexed by infinity-groupoids. An ordinary categorical version of this construction was used by Borceux and Janelidze in the…