Related papers: Frucht's Theorem without Choice

We give a characterisation of quantum automorphism groups of trees. In particular, for every tree, we show how to iteratively construct its quantum automorphism group using free products and free wreath products. This can be considered a…

In this paper, we introduce the concept of the independence graph of a directed 2-complex. We show that the class of diagram groups is closed under graph products over independence graphs of rooted 2-trees. This allows us to show that a…

We show that any free product of two countable groups, one of them being infinite, admits a faithful and homogeneous action on the Random Graph. We also show that a large class of HNN extensions or free products, amalgamated over a finite…

Let $G$ be the fundamental group of a graph of finitely generated virtually free groups with virtually cyclic edge groups. We shaw that $G$ is cohomologically good if $G$ is residually finite. If $G$ is LERF, we prove that G splits…

We study new relations of the following statements with weak choice principles in ZF and ZFA. 1. There does not exist an infinite Hausdorff space X such that every infinite subset of X contains an infinite compact subset. 2. If a field has…

We prove that for any prime number $p$, every finite non-abelian $p$-group $G$ of class 2 has a noninner automorphism of order $p$ leaving either the Frattini subgroup $\Phi(G)$ or $\Omega_1(Z(G))$ elementwise fixed.

We define a free product of connected simple graphs that is equivalent to several existing definitions when the graphs are vertex-transitive but differs otherwise. The new definition is designed for the automorphism group of the free…

We introduce a class of algebras over a field $\mathbb{F}$ related to directed graphs in which all edges are labeled by nonzero elements of the field $\mathbb{F}$. If all labels are different from $1$, these algebras are axial algebras. We…

Given a free group $F_k$ of rank $k\ge 2$ with a fixed set of free generators we associate to any homomorphism $\phi$ from $F_k$ to a group $G$ with a left-invariant semi-norm a generic stretching factor, $\lambda(\phi)$, which is a…

We show that all finitely generated free-by-cyclic groups are conjugacy separable: if a finitely generated group $G$ surjects onto $\mathbb{Z}$ with free kernel, then for every pair of non-conjugate elements $g,h\in G$, there exists a…

In 1869, Jordan proved that the set $\mathcal{T}$ of all finite group that can be represented as the automorphism group of a tree is containing the trivial group and it is closed under taken direct product of groups of lower order in…

We prove that Matui's AH conjecture holds for graph groupoids of infinite graphs. This is a conjecture which relates the topological full group of an ample groupoid with the homology of the groupoid. Our main result complements Matui's…

An automorphism of a group G is called an IA-automorphism if it induces the identity automorphism on the abelianized group G/G'. Let IA(G) denote the group of all IA-automorphisms of G. We classify all finitely generated nilpotent groups G…

We introduce a formal theory called Flow where the intended interpretation of its terms is that of function. We prove ZF, ZFC and ZFU (ZF with atoms) can be immersed within Flow as natural consequences from our framework. Our first…

Let $G = H\times A$ be a group, where $H$ is a purely non-abelian subgroup of $G$ and $A$ is a non-trivial abelian factor of $G$. Then, for $n \geq 2$, we show that there exists an isomorphism $\phi : Aut_{Z(G)}^{\gamma_{n}(G)}(G)…

A group, $\fl{H}$, of automorphisms of a totally disconnected locally compact group, $G$, is flat if there is a compact open $U\leq G$ such that the index $[\alpha(U):U\cap \alpha(U)]$ is mininimized for every $\alpha\in\fl{H}$. The…

The purpose of this paper is to constructively develop a Galois theory on irreducible shifts of finite type (SFTs) and to analyze the automorphism groups of SFTs using this framework. Let $X$ and $Y$ be irreducible SFTs. We demonstrate that…

Given a free-by-cyclic group $G = F_N \rtimes_\varphi \mathbb{Z}$ determined by any outer automorphism $\varphi \in \mathrm{Out}(F_N)$ which is represented by an expanding irreducible train-track map $f$, we construct a $K(G,1)$ $2$-complex…

We prove a theorem relating the automorphism group of a Cartan geometry to the group on which the geometry is modeled: a component of the adjoint representation of the first embeds in the adjoint representation of the second. Consequences…

We give elementary proofs of the following two theorems on automorphisms of a finite group G: (1) An automorphism of G is inner if and only if it extends to an automorphism of every finite group containing G. (2) There exists a finite…