Related papers: The integer group determinants for SmallGroup(16,1…

We determine the groups of minimal order in which all groups of order n can embedded for 1 < n < 16. We further determine the order of a minimal group in which all groups or order n or less can be embedded, also for 1 < n < 16.

We describe the infinite dihedral group as automaton group. We collect basic results and give full proofs in details for all statements.

Let $D<0$ be a fundamental discriminant and denote by $E(D)$ the exponent of the ideal class group $\text{Cl}(D)$ of $K={\mathbb Q}(\sqrt{D})$. Under the assumption that no Siegel zeros exist we compute all such $D$ with $E(D)$ is a divisor…

By a result known as Rieger's theorem (1956), there is a one-to-one correspondence, assigning to each cyclically ordered group $H$ a pair $(G,z)$ where $G$ is a totally ordered group and $z$ is an element in the center of $G$, generating a…

The automorphism groups for the groups of orders $8p$ and $8p^2$ are given. The calculations were done using the programming language CAYLEY. Explicit presentations for both the groups of these orders and their automorphism groups are…

In this paper we explicitly determine all indicators for the Drinfel'd doubles of the symmetric group acting upon up to 10 objects. We explore when distinct characters give exactly the same indicators and when the indicators have a zero…

In this note, we classify all finite groups having exactly 6, 7 or 8 cyclic subgroups. This gives a partial answer to the open problem posed by Tarnauceanu (Amer. Math. Monthly, 122 (2015), 275-276). As a consequence of our results, we also…

We compute the fundamental group of various spaces of Desargues configurations in complex projective spaces: planar and non-planar configurations, with a fixed center and also with an arbitrary center.

We prove that the displacement group of the dihedral quandle with n elements is isomorphic to the group generated by rotations of the n/2-gon when n is even and the n-gon when n is odd. We additionally show that any quandle with at least…

We give an algebraic characterization of elementary equivalence for polycyclic-by-finite groups. Using this characterization, we investigate the relations between their elementary equivalence and the elementary equivalence of the factors in…

Cyclic sieving is a well-known phenomenon where certain interesting polynomials, especially $q$-analogues, have useful interpretations related to actions and representations of the cyclic group. We propose a definition of sieving for an…

We prove a general divisibility theorem that implies, e.g., that, in any group, the number of generating pairs (as well as triples, etc.) is a multiple of the order of the commutator subgroup. Another corollary says that, in any associative…

The Harborth constant of a finite group $G$ is the smallest integer $k\geq \exp(G)$ such that any subset of $G$ of size $k$ contains $\exp(G)$ distinct elements whose product is $1$. Generalizing previous work on the Harborth constants of…

We write down the mod 2 Chow ring of the classifying space of the central product of two dihedral groups of order 8. This Chow ring has nilpotent elements.

Let $n, m \ge 4$. We classify the Zappa--Sz\'ep products $G = HK$ with $H = \langle x\rangle \rtimes \langle y\rangle \cong \mathrm{SD}_{2^n}$ and $K = \langle z\rangle \rtimes \langle w\rangle \cong \mathrm{SD}_{2^m}$, according to the…

For every Turing machine, we construct an automaton group that simulates it. Precisely, starting from an initial configuration of the Turing machine, we explicitly construct an element of the group such that the Turing machine stops if, and…

We consider finite dimensional representations of the dihedral group $D_{2p}$ over an algebraically closed field of characteristic two where $p$ is an odd integer and study the degrees of generating and separating polynomials in the…

We classify the finite groups $G$ such that the group of units of the integral group ring ${\mathbb Z} G$ has a subgroup of finite index which is a direct product of free-by-free groups.

This note discusses our formalisation in Lean of the classification of the groups of order $p q$ for (not necessarily distinct) prime numbers $p$ and $q$, together with various intermediate results such as the characterisation of internal…

We prove that the automorphism group of the dihedral quandle with n elements is isomorphic to the affine group of the integers mod n, and also obtain the inner automorphism group of this quandle. In [9], automorphism groups of quandles (up…