群论

Over each nontrivial finite group $G$, there exists a finite system of equations having no solutions in larger finite groups but having a solution in a periodic group containing $G$. We prove several similar facts about amenable, orderable,…

An element $x$ in a finite group $G$ is said to be \textit{vanishing} if some (complex) irreducible character of $G$ takes value $0$ at $x$. In this article, we prove that every non-abelian finite simple group, except $\mathrm{SL}_2(4)$ and…

We introduce a new framework linking group theory and formal language theory which generalizes a number of ways these topics have been linked in the past. For a language class C in the Chomsky hierarchy, we say a group is epiC if it admits…

The famous Brauer-Fowler theorem states that the order of a finite simple group can be bounded in terms of the order of the centralizer of an involution. Using the classification of finite simple groups, we generalize this theorem and prove…

We prove that the virtual cactus group has a finite index subgroup that is the fundamental group of a compact special cube complex.

We use small-cancellation techniques to construct a Morse local-to-global group G with an infinite-order Morse element that is not loxodromic in any action of G on a hyperbolic space. In particular, the element cannot be WPD.

We focus on working on incidence rings, a class of (possibly infinite) matrix rings indexed by ordered sets. Some general properties about them are given, including how they are always the inverse limit of finite matrix rings, giving a…

In this article, we define quasiprimitive quandles and describe them with the help of quasiprimitive permutation groups. As a consequence, we enumerate finite non-affine simple quandles up to order $4096$.

Cellular automata are a fundamental computational model with applications in mathematics, computer science, and physics. In this work, we explore the study of cellular automata to cases where the universe is a group, introducing the concept…

This work introduces and investigates the function $J(G) = \frac{\text{Nil}(G)}{L(G)}$, where $\text{Nil}(G)$ denotes the number of nilpotent subgroups and $L(G)$ the total number of subgroups of a finite group $G$. The function $J(G)$,…

Suppose we have a finite thick generalised quadrangle whose automorphism group $G$ acts primitively on both the set of points and the set of lines. Then $G$ must be almost simple. In this paper, we show that $\operatorname{soc}(G)$ cannot…

We prove that the Center Conjecture passes to the Artin groups whose defining graphs are cones, if the conjecture holds for the Artin group defined on the set of the cone points. In particular, it holds for every Artin group whose defining…

We study the conjugacy class growth function in finitely generated virtually abelian groups. That is, the number of elements in the ball of radius $n$ in the Cayley graph which intersect a fixed conjugacy class. In the class of virtually…

Inspired by work of Szymik and Wahl on the homology of Higman-Thompson groups, we establish a general connection between ample groupoids, topological full groups, algebraic K-theory spectra and infinite loop spaces, based on the…

In this paper, we establish a one-to-one correspondence between the set of biclosed sets in an irreducible root system of type $A_n$ and the set of quasitrivial semigroup structures on a set with $n+1$ elements. Building on this…

A variety of algebras is called Cross if it is finitely based, finitely generated, and has finitely many subvarieties. In present article, we classify all Cross varieties of aperiodic monoids with commuting idempotents.

We study the product formula for Reidemeister numbers on finitely generated torsion-free nilpotent groups in two ways. On the one hand, we generalise the product formula to central extensions. On the other hand, we derive general results…

Reporting on a computer--assisted search for nonpositively curved CW complexes of intermediate rank conducted some years ago. Not intended for publication.

For any $n$ nonnegative integer a family of groups, denoted by $ \mathcal{D}_n $, was introduce by Bianchi et al., as the collection of all finite groups with exactly $n$ conjugacy classes of nontrivial, non self-normalizing subgroups. It…

In this article we introduced algebraic sieves, i.e. selection procedures on a given finite set to extract a particular subset. Such procedures are performed by finite groups acting on the set. They are called sieves because there are…