Enumerating AG-monoids algebraically
Muhammad Shah, S. Shpectorov
TL;DR
This paper introduces a method to enumerate AG-monoids, algebraic structures satisfying specific identities, and implements these enumerations in GAP for computational analysis.
Contribution
It provides a systematic algebraic enumeration of AG-monoids and implements the enumeration in GAP for computational exploration.
Findings
Successful algebraic enumeration of AG-monoids
Implementation of enumeration in GAP software
Facilitation of computational analysis of AG-monoids
Abstract
An AG-monoid is an AG-groupoid (a groupoid satisfying the identity called left invertive law ) and having a left identiy. In this paper we enumerate AG-monoids algebraically and then implement them in GAP to compute them computationally.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsHomotopy and Cohomology in Algebraic Topology · Advanced Algebra and Logic · semigroups and automata theory