A Testing Algorithm of an Universal Algebra to be a Brandt Groupoid
Loading...
Date
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
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).
21 pages, 2 figures
21 pages, 2 figures