Year: 2026
Type: preprint
Abstract: A left brace is cofinite integral (CIB) if its additive group is free abelian of finite rank and its quotient by the socle is finite. Rump introduced such braces and showed that the multiplicative group of every CIB is a crystallographic group. We study CIBs from the point of view of crystallographic groups. We prove an analogue of the Bieberbach theorems: in each dimension there are only finitely many isomorphism classes of CIBs. For a fixed crystallographic group, we show that its CIB structures correspond to the orbits of a finite group action on a set of bijective 1-cocycles. We use this description to develop algorithms that enumerate them. Finally, we give a complete census of CIBs on crystallographic and Bieberbach groups up to dimension 6.
Source: arXiv (Cornell University)
Institutions: University of Gdańsk, Warsaw University of Technology
Language: English
Topic: Advanced Topics in Algebra
Subfield: Algebra and Number Theory
Field: Mathematics
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W7223665066