Group theory library