Enumeration of cat1-groups of low order
Allbwn ymchwil: Cyfraniad at gyfnodolyn › Erthygl › adolygiad gan gymheiriaid
StandardStandard
Yn: International Journal of Algebra and Computation, Cyfrol 10, Rhif 04, 2000, t. 407-424.
Allbwn ymchwil: Cyfraniad at gyfnodolyn › Erthygl › adolygiad gan gymheiriaid
HarvardHarvard
APA
CBE
MLA
VancouverVancouver
Author
RIS
TY - JOUR
T1 - Enumeration of cat1-groups of low order
AU - Wensley, Christopher D.
AU - Alp, Murat
PY - 2000
Y1 - 2000
N2 - In this paper we describe a share package XMod of functions for computing with finite, permutation crossed modules, cat1-groups and their morphisms, written using the GAP group theory programming language. The category XMod of crossed modules is equivalent to the category Cat1 of cat1-groups and we include functions emulating the functors between these categories. The monoid of derivations of a crossed module X, and the corresponding monoid of sections of a cat1-group C, are constructed using the Whitehead multiplication. The Whitehead group of invert- ible derivations, together with the group of automorphisms of X, are used to construct the actor crossed module of X which is the automorphism object in XMod. We include a table of the 350 isomorphism classes of cat1-structures on groups of order at most 30.
AB - In this paper we describe a share package XMod of functions for computing with finite, permutation crossed modules, cat1-groups and their morphisms, written using the GAP group theory programming language. The category XMod of crossed modules is equivalent to the category Cat1 of cat1-groups and we include functions emulating the functors between these categories. The monoid of derivations of a crossed module X, and the corresponding monoid of sections of a cat1-group C, are constructed using the Whitehead multiplication. The Whitehead group of invert- ible derivations, together with the group of automorphisms of X, are used to construct the actor crossed module of X which is the automorphism object in XMod. We include a table of the 350 isomorphism classes of cat1-structures on groups of order at most 30.
KW - crossed module, cat1-group, derivation, actor
U2 - 10.1142/S0218196700000170
DO - 10.1142/S0218196700000170
M3 - Article
VL - 10
SP - 407
EP - 424
JO - International Journal of Algebra and Computation
JF - International Journal of Algebra and Computation
SN - 0218-1967
IS - 04
ER -