Related papers: Computing 3-Dimensional Groups : Crossed Squares a…
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…
In this paper, we described the GAP implementation of crossed modules of commutative algebras and cat$^{1}$-algebras and their equivalence.
In this paper, we define the notion of exterior isoclinism of crossed modules. Functions for computing with these structures have been written using the GAP computational discrete algebra programming language
In this paper using split extensions of group-groupoids we obtain the notion of crossed modules over group-grouoids which are also called 2-groups and we prove a categorical equivalence of these types of crossed modules and double…
The category of crossed complexes gives an algebraic model of the category of $CW$-complexes and cellular maps. We explain basic results on crossed complexes which allow the computation of free crossed resolutions of graph products of…
Two groups are said to have the same character table if a permutation of the rows and a permutation of the columns of one table produces the other table. The problem of determining when two groups have the same character table is…
We outline the main features of the definitions and applications of crossed complexes and cubical $\omega$-groupoids with connections. These give forms of higher homotopy groupoids, and new views of basic algebraic topology and the…
The aim of this paper is to explain how, through the work of a number of people, some algebraic structures related to groupoids have yielded algebraic descriptions of homotopy n-types. Further, these descriptions are explicit, and in some…
This paper focuses on the derivations and automorphism groups of certain finite-dimensional associative algebras over the field of complex numbers. Using classification results for algebras of dimensions two, three, and four, along with…
We solve some computational problems for triangulated closed three-dimensional manifolds using groups of simplicial homology and cohomology modulo 2. Two efficient algorithms for computing the intersection numbers of 1- and 2-dimensional…
The 2-categories of strict 2-groups and crossed modules are introduced and their 2-equivalence is made explicit.
In this paper, we define the notion of Hopf crossed square for cocommutative Hopf algebras extending the notions of crossed squares of groups and of Lie algebras. We prove the equivalence between the category of Hopf crossed squares and the…
In this article, we give a numerical algorithm to compute braid groups of curves, hyperplane arrangements, and parameterized system of polynomial equations. Our main result is an algorithm that determines the cross-locus and the generators…
The automorphism groups for the groups of orders $8p$ and $8p^2$ are given. The calculations were done using the programming language CAYLEY. Explicit presentations for both the groups of these orders and their automorphism groups are…
Families of codes such as group codes, constacyclic and skew cyclic codes, some of which independently suggested in the literature, turn out to be special instances of the general family of crossed product codes. Hamming-metric is a main…
We give the complete list of possible torsion subgroups of elliptic curves with complex multiplication over number fields of degree 1-13. Additionally we describe the algorithm used to compute these torsion subgroups and its implementation.
We introduce the isoclinism of crossed modules. We also give GAP implementations for constructing the isoclinism families of finite crossed modules and consequently give an enumeration about isoclinic crossed modules existing in the GAP…
In quantum mechanics, associative algebras play an important role in understanding symmetries and operator algebras, providing new algebraic frameworks for describing physical systems. This work classifies associative algebras over a field…
The categories of representations of compact quantum groups of automorphisms of certain inclusions of finite dimensional C*-algebras are shown to be isomorphic to the categories of Fuss-Catalan diagrams.
A crossed module is (A,H,d,\la) where d:A\to H is a homomorphism of groups and H acts on A, with conditions leading to a groupoid A\lcross H{\to\atop \to}H as an example of a strict 2-group. We give the corresponding notion of a quantum…