A Testing Algorithm of an Universal Algebra to be a Brandt Groupoid
Gheorghe Ivan, George Stoianov
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).
Create a lesson
Related papers
The variety generated by all additively idempotent semirings of order four
Mengya Yue, Xiaolei Shao
Generation of Iterated Wreath Products Constructed from Full Transformation Monoids and Symmetric Groups
Jiaping Lu
Kernel--wreath constructions and infinite families of finite simple skew braces
Marco Damele
Explicit equational bases for the power semirings of S7
Mengya Yue, Miaomiao Ren, Zidong Gao
The free multiplicative Lie algebra L(P) for a finitely generated parafree group P
Dessislava H. Kochloukova
An order automorphism of a Dlab group not induced by conjugation
Ting Gong, Yong Yang, Michael Ruofan Zeng