A Testing Algorithm of an Universal Algebra to be a Brandt Groupoid
Group Theory
2007-05-23 v1
Abstract
The main aim of this paper is to present a program on computer for decide if an universal algebra is a groupoid. Using the theory of groupoids and the program BGroidAP1 we prove a theorem of classification for the groupoids of type (4;2).
Keywords
Cite
@article{arxiv.math/0602604,
title = {A Testing Algorithm of an Universal Algebra to be a Brandt Groupoid},
author = {Gheorghe Ivan and George Stoianov},
journal= {arXiv preprint arXiv:math/0602604},
year = {2007}
}
Comments
21 pages, 2 figures