{"id":"arxiv/2606.26030","url":"https://arxiv.org/abs/2606.26030","tags":["math.GR"],"score":0,"title":"Computing canonical labellings of finite solvable groups","domain":"math.GR","source":"arxiv","authors":["Santiago Barrera Acevedo","Heiko Dietrich","Max Horn"],"reviews":0,"subject":"math.GR","summary":"We define a canonical labelling function on the class of finite solvable groups so that two such groups $G$ and $H$ are isomorphic if and only if can$(G)=$can$(H)$. Specifically, can$(G)$ is a group presentation that describes a group isomorphic to $G$, and our description explains how to construct an isomorphism $G\\to$can$(G)$. Our approach is motivated by O'Brien's (1993) canonical presentations for finite $p$-groups and utilises ideas from group cohomology first described by Robinson (1982) and automorphism group algorithms developed by Smith (1994), Holt (2001), and others. We also…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-24","reactions":{}}