Related papers: The Andrews-Curtis Conjecture and Black Box Groups

Let $S, K$ be two subrings of a finite ring $R$. Then the generalized non-commuting graph of subrings $S, K$ of $R$, denoted by $\Gamma_{S, K}$, is a simple graph whose vertex set is $(S \cup K) \setminus (C_K(S) \cup C_S(K))$ and two…

The existence of invariant transversals for a normal subgroup $H$ in a group $G$ is investigated. This yields counterexamples to a conjecture in case $H$ is abelian and $G$ is finite.

The set of supercharacter theories of a fixed group $G$ forms a natural lattice. An open question in the study of supercharacter theories is to classify this lattice, and to date, this has only been done for the cyclic groups…

The Brown-Erd\H{o}s-S\'{o}s conjecture, one of the central conjectures in extremal combinatorics, states that for any integer $m\geq 6,$ if a 3-uniform hypergraph on $n$ vertices contains no $m$ vertices spanning at least $m-3$ edges, then…

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…

We present a new notion of non-positively curved groups: the collection of discrete countable groups acting (AU-)acylindrically on finite products of $\delta$-hyperbolic spaces with general type factors. Inspired by the classical theory of…

We show that the only random orderings of finite graphs that are invariant under isomorphism and induced subgraph are the uniform random orderings. We show how this implies the unique ergodicity of the automorphism group of the random…

Let $G$ be a real algebraic group defined over $\mathbb{Q}$, $\Gamma$ be an arithmetic subgroup of $G$, and $T$ be a maximal $\mathbb{R}$-split torus. A trajectory in $G/\Gamma$ is divergent if eventually it leaves every compact subset. In…

A Mumford group is a discontinuous subgroup $\Gamma$ of PGL(2,K), where K denotes a non archimedean valued field, such that the quotient by $\Gamma$ is a curve of genus 0. As abstract group $\Gamma$ is an amalgam of a finite tree of finite…

We determine all factorisations $X=AB$, where $X$ is a finite almost simple group and $A,B$ are core-free subgroups such that $A\cap B$ is cyclic or dihedral. As a main application, we classify the graphs $\Gamma$ admitting an almost simple…

We develop a new framework for analysing finite connected, oriented graphs of valency 4, which admit a vertex-transitive and edge-transitive group of automorphisms preserving the edge orientation. We identify a sub-family of "basic" graphs…

We say that finite groups are isospectral if they have the same sets of orders of elements. It is known that every nonsolvable finite group $G$ isospectral to a finite simple group has a unique nonabelian composition factor, that is, the…

We prove a version of uniqueness theorem for Cuntz-Pimsner algebras of discrete product systems over semigroups of Ore type. To this end, we introduce Doplicher-Roberts picture of Cuntz-Pimsner algebras, and the semigroup dual to a product…

A middle-cube is an induced subgraph consisting of nodes at the middle two layers of a hypercube. The middle-cubes are related to the well-known Revolving Door (Middle Levels) conjecture. We study the middle-cube graph by completely…

In this paper we study the elementary theory of graph products of groups and show that under natural conditions on the vertex groups we can recover (the core of) the underlying graph and the associated vertex groups. More precisely, we…

The classical result, due to Jordan, Burnside, Dickson, says that every normal subgroup of $GL(n, K)$ ($K$ - a field, $n \geq 3$) which is not contained in the center, contains $SL(n, K)$. A. Rosenberg gave description of normal subgroups…

We classify all compact quantum groups whose C*-algebra sits inside that of the free unitary quantum groups $U_{N}^{+}$. In other words, we classify all discrete quantum subgroups of $\widehat{U}_{N}^{+}$, thereby proving a quantum variant…

Let $\mathbb{K}[G]$ be the edge ring of a finite simple graph $G$. Investigating properties of the $h$-vector of $\mathbb{K}[G]$ is of great interest in combinatorial commutative algebra. However, there are few families of graphs for which…

An important problem in the theory of cluster algebras is to compute the fundamental group of the exchange graph. A non-trivial closed loop in the exchange graph, for example, generates a non-trivial identity for the classical and quantum…

Let $N$ be a nilpotent normal subgroup of the finite group $G$. Assume that $u$ is a unit of finite order in the integral group ring $\mathbb{Z} G$ of $G$ which maps to the identity under the linear extension of the natural homomorphism $G…