Computing 3-dimensional groups : crossed squares and cat2-groups
Research output: Contribution to journal › Article › peer-review
Standard Standard
In: Journal of Symbolic Computation, Vol. 114, No. Jan-Feb, 31.01.2023, p. 267-281.
Research output: Contribution to journal › Article › peer-review
HarvardHarvard
APA
CBE
MLA
VancouverVancouver
Author
RIS
TY - JOUR
T1 - Computing 3-dimensional groups : crossed squares and cat2-groups
AU - Arvasi, Zekeriya
AU - Odabas, Alper
AU - Wensley, Christopher D.
PY - 2023/1/31
Y1 - 2023/1/31
N2 - The category XSq of crossed squares is equivalent to the category Cat2 of cat2-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 ι2G of isomorphism classes of cat2-groups on groups G of order at most 30 – a total of 1007 cat2- groups. Secondly, it contains general formulae for ι2G in a number of special cases.
AB - The category XSq of crossed squares is equivalent to the category Cat2 of cat2-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 ι2G of isomorphism classes of cat2-groups on groups G of order at most 30 – a total of 1007 cat2- groups. Secondly, it contains general formulae for ι2G in a number of special cases.
KW - cat2-group
KW - crossed square
KW - GAP
KW - XMod
U2 - 10.1016/j.jsc.2022.04.020
DO - 10.1016/j.jsc.2022.04.020
M3 - Article
VL - 114
SP - 267
EP - 281
JO - Journal of Symbolic Computation
JF - Journal of Symbolic Computation
SN - 0747-7171
IS - Jan-Feb
ER -