Related papers: Andrews-Curtis groups

Every infinite group $G$ of regular cardinality can be partitioned $G=A_1\cup A_2$ so that $G\neq FA_1$, $G\neq FA_2$ for every subset $F\subset G$ of cardinality $|F|<|G|$. The first author asked whether the same is true for each group $G$…

Sarnak's conjecture in quantum computing concerns when the groups $\operatorname{PU}_2$ and $\operatorname{PSU}_2$ over cyclotomic rings $\mathbb{Z}[\zeta_n, 1/2]$ with $\zeta_n=e^{2\pi i/n}$, $4|n$, are generated by the Clifford-cyclotomic…

Let R be a semi-local regular ring containing an infinite perfect field, and let K be the field of fractions of R. Let H be a simple algebraic group of type F_4 over R such that H_K is the automorphism group of a 27-dimensional Jordan…

This is the second installment of an exposition of an ACL2 formalization of finite group theory. The first, which was presented at the 2022 ACL2 workshop, covered groups and subgroups, cosets, normal subgroups, and quotient groups,…

In this manuscript we consider a special complex torus, denoted $S_{\Delta_{2k}}$ (for each $k \in \mathbb{N},\, k \geq 1$) and called the Dirac spinor torus. It is an Abelian variety of complex dimension $2^{k}$ whose covering space is the…

Let $G$ be a subgroup of $S_n$, the symmetric group of degree $n$. For any field $k$, $G$ acts naturally on the rational function field $k(x_1,x_2,\ldots,x_n)$ via $k$-automorphisms defined by $\sigma\cdot x_i=x_{\sigma(i)}$ for any…

The notion of simple compact quantum group is introduced. As non-trivial (noncommutative and noncocommutative) examples, the following families of compact quantum groups are shown to be simple: (a) The universal quantum groups $B_u(Q)$ for…

A group is $G$ commutative transitive or CT if commuting is transitive on nontrivial elements. A group $G$ is CSA or conjugately separated abelian if maximal abelian subgroups are malnormal. These concepts have played a prominent role in…

A subgroup of a group $G$ is called algebraic if it can be expressed as a finite union of solution sets to systems of equations. We prove that a non-elementary subgroup $H$ of an acylindrically hyperbolic group $G$ is algebraic if and only…

We consider a 2-complex in a particular form, called the Quinn model of a 2-complex. It can be sliced in graphs, where a change from one graph to another can be organized by a sequence of local transitions, which are described in a list of…

For any finitely generated, non-elementary, torsion-free group $G$ that is hyperbolic relative to $\mathbb P$, we show that there exists a group $G^*$ containing $G$ such that $G^*$ is hyperbolic relative to $\mathbb P$ and $G$ is not…

Let $\mathcal{O}_K$ be a complete discrete valuation ring with field of fractions $K$ and algebraically closed residue field $k.$ Let $G$ be a smooth connected commutative algebraic group over $K$ which does not contain a copy of…

A skew-morphism of a finite group $G$ is a permutation $\s$ on $G$ fixing the identity element, and for which there exists an integer function $\pi$ on $G$ such that $\s(xy)=\s(x)\s^{\pi(x)}(y)$ for all $x,y\in G$. It has been known that…

The study of permutation automorphism groups of cyclic codes is a central topic in algebraic coding theory. A cyclic code over $\mathbb{F}_q$ is called irreducible if its check polynomial is irreducible over $\mathbb{F}_q$. Such a code is…

The generalized Andrews-Curtis Conjecture expects that finite PLCW 2-complexes which are simple-homotopy equivalent, can be 3-deformed into each other. If in addition subcomplexes are required to be kept fix during the deformation, this is…

Let $M$ be a cusped finite-volume hyperbolic three-manifold with isometry group $G$. Then $G$ induces a $k$-transitive action by permutation on the cusps of $M$ for some integer $k\ge 0$. Generically $G$ is trivial and $k=0$, but $k>0$ does…

Following Alspach and Parsons, a {\em metacirculant graph} is a graph admitting a transitive group generated by two automorphisms $\rho$ and $\sigma$, where $\rho$ is $(m,n)$-semiregular for some integers $m \geq 1$, $n \geq 2$, and where…

We investigate connected cubic vertex-transitive graphs whose edge sets admit a partition into a $2$-factor $\mathcal{C}$ and a $1$-factor that is invariant under a vertex-transitive subgroup of the automorphism group of the graph and where…

We consider a class of groups $V_n(G)$ which are supergroups of the Higman-Thompson groups $V_n$. These groups fit in a framework of Elizabeth Scott for generating infinite virtually simple groups, and the groups we study in particular are…

We consider compact matrix quantum groups whose fundamental corepresentation matrix has entries which are partial isometries with central support. We show that such quantum groups have a simple representation as semi-direct product quantum…