Related papers: Generators of Bieberbach groups with 2-generated h…

An $n$-dimensional closed flat manifold is said to be of diagonal type if the standard representation of its holonomy group $G$ is diagonal. An $n$-dimensional Bieberbach group of diagonal type is the fundamental group of such a manifold.…

In this paper we prove that for each dimension $n$ there are only finitely many isomorphism classes of pairs of groups $(\Gamma,\mathrm{N})$ such that $\Gamma$ is an $n$-dimensional crystallographic group and $\mathrm{N}$ is a normal…

Let $n\geq 3$. In this paper we show that for any finite abelian subgroup $G$ of $S_n$ the crystallographic group $B_n/[P_n,P_n]$ has Bieberbach subgroups $\Gamma_{G}$ with holonomy group $G$. Using this approach we obtain an explicit…

With high probability, among $O(\log n)$ independent randomly selected elements from a finite $n$-dimensional classical group, some pair of elements power to a $2$-element generating set for a naturally embedded classical subgroup of…

We consider low dimensional diffuse Bieberbach groups. In particular we classify diffuse Bieberbach groups up to dimension 6. We also answer a question from [S. Kionke, J. Raimbault, On geometric aspects of diffuse groups, Doc. Math. 21…

The existence of an infinite simple boundedly generated 2-generated group and the existence of a boundedly simple 2-generated group containing a free non-cyclic subgroup are proved.

In this paper we study three-dimensional orbifolds by 2-groups with a trivially-acting one-form symmetry group BK. These orbifolds have a global two-form symmetry, and so one expects that they decompose into (are equivalent to) a disjoint…

In this short note we confirm a conjecture of James Wiegold. We prove that if $G$ is a finite $p$-group and $|G'|>p^{n(n-1)/2}$ for some non-negative integer $n$, then the group $G$ can be generated by the elements of breadth at least $n$.…

In this paper, we continue the study of the generator graph of a group. In 2023, Tacbobo [9] defined the generator graph of a nontrivial group to be the graph whose vertices are the elements of the group, with two vertices being adjacent if…

It has been shown by several authors that there exists a non-solvable Bieberbach group of dimension $15$. In this note we show that this is in fact a minimal dimension for such kind of groups.

Wajnryb proved that the mapping class group of a closed oriented surface is generated by two elements. We proved that the mapping class group is generated by two pseudo-Anosov elements. In particular, if the genus is greater than or equal…

Let $G$ be a finite almost simple group. It is well known that $G$ can be generated by 3 elements, and in previous work we showed that 6 generators suffice for all maximal subgroups of $G$. In this paper we consider subgroups at the next…

We show that for an oriented 4-dimensional Poincar\'e complex with finite fundamental group, whose 2-Sylow subgroup is abelian with at most 2 generators, the homotopy type is determined by its quadratic 2-type.

A generating function of the number of homomorphisms from the fundamental group of a compact oriented or non-orientable surface without boundary into a finite group is obtained in terms of an integral over a real group algebra. We calculate…

A combing is a set of normal forms for a finitely generated group. This article investigates the language-theoretic and geometric properties of combings for nilpotent and polycyclic groups. It is shown that a finitely generated class 2…

Let $\Gamma$ be a torsion free discrete group acting cocompactly on a two dimensional euclidean building $\Delta$. The centralizer of an element of $\Gamma$ is either a Bieberbach group or is described by a finite graph of finite cyclic…

Following an idea of Gon\c{c}alvez, Guaschi and Ocampo on the usual braid group we construct crystallographic and Bieberbach groups as (sub)quotients of the generalized braid group associated to an arbitrary complex reflection group.

A (2,*)-group is a group that can be generated by two elements, one of which is an involution. We describe the method we have used to produce a census of all (2,*)-groups of order at most 6 000. Various well-known combinatorial structures…

Uhlenbeck proved that a set of simple elements generates the group of rational loops in GL(n,C) that satisfy the U(n)-reality condition. For an arbitrary complex reductive group, a choice of representation defines a notion of rationality…

Beineke, Harary and Ringel discovered a formula for the minimum genus of a torus in which the $n$-dimensional hypercube graph can be embedded. We give a new proof of the formula by building this surface as a union of certain faces in the…