Computing 3-dimensional groups: Crossed squares and cat2-groups. (January 2023)

• Record Type: Journal Article
• Authors: Arvasi, Z.; Odabaş, A.; Wensley, C.D.
• Is Part Of: Journal of symbolic computation. Volume 114(2023)
• Page Start: 267
• Page End: 281
• Publication Date: 2023-01
• Subjects: 18D35 -- 18G50; Cat2-group -- Crossed square -- GAP -- XMod; Mathematics -- Data processing -- Periodicals; Numerical analysis -- Data processing -- Periodicals; Automatic programming (Computer science) -- Periodicals; Mathématiques -- Informatique -- Périodiques; Analyse numérique -- Informatique -- Périodiques; Programmation automatique -- Périodiques; Automatic programming (Computer science); Mathematics -- Data processing; Numerical analysis -- Data processing; Periodicals; Electronic journals; 510.285
• DOI: 10.1016/j.jsc.2022.04.020
• Languages: English
• ISSNs: 0747-7171

Abstract

Abstract: The category XSq of crossed squares is equivalent to the category Cat2 of cat 2 -groups. Functions for computing with these structures have been developed in the package XMod written using the GAP computational discrete algebra programming language. This paper contains a table listing the numbers ι G 2 of isomorphism classes of cat 2 -groups on groups G of order at most 30 – a total of 1007 cat 2 -groups. Secondly, it contains general formulae for ι G 2 in a number of special cases.