2-Dimensional Groups with Action : The Category of Crossed Module of Groups with Action

Abstract

In this paper, we define the notion of crossed modules of groups with action and investigate related structures. Functions for computing of these structures have been written using the GAP computational discrete algebra programming language.