Journals / Communications Faculty of Sciences University of Ankara Series A1: Mathematics and Statistics / 1998 / Cilt: 47 - Sayı: 1-2
Special cases of $/cat^1$ -groups
- Journal
- Communications Faculty of Sciences University of Ankara Series A1: Mathematics and Statistics
- Pages
- 1–10
- DOI
- —
Abstract
In this paper we describe a package XMOD [2] of functions for computing with crossed modules, their morphisms and derivations; cat-groups, their morphisms and sections, written using the GAP [5] group theory programming language. We have also enumerated the isomorphism classes of $/cat^1$ -groups in [3]. Using these papers, we proved some mathematical results on $/cat^1$ -group structures.