Abstract
Enumeration and classification of mathematical entities is an important part of mathematical research in particular in finite algebra. For algebraic structures that are more general than groups this task is often only feasible by use of computers due to the sheer number of structures that have to be considered. In this paper we present the enumeration and partial classification of AG-groupoids — groupoids in which the identity (ab)c = (cb)a holds — of up to order 6. The results are obtained with the help of the computer algebra system GAP and the constraint solver Minion by making use of both algebraic techniques as well as search pruning via symmetry breaking.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Ali, A., Slaney, J.: Counting loops with the inverse property images. Quasigroups and Related Systems 16(1), 13–16 (2008)
Cho, J.R., Pusan, Jezek, J., Kepka, T.: Paramedial groupoids. Czechoslovak Mathematical Journal 49(124) (1996)
Crawford, J.M., Ginsberg, M.L., Luks, E.M., Roy, A.: Symmetry-breaking predicates for search problems. In: Proc. of KR 1996, pp. 148–159. Morgan Kaufmann, San Francisco (1996)
Distler, A.: Classification and Enumeration of Finite Semigroups. PhD thesis, University of St Andrews (2010)
Distler, A., Kelsey, T.: The monoids of order eight and nine. In: Autexier, S., Campbell, J., Rubio, J., Sorge, V., Suzuki, M., Wiedijk, F. (eds.) AISC 2008, Calculemus 2008, and MKM 2008. LNCS (LNAI), vol. 5144, pp. 61–76. Springer, Heidelberg (2008)
Distler, A., Kelsey, T.: The monoids of orders eight, nine & ten. Ann. Math. Artif. Intell. 56(1), 3–21 (2009)
Distler, A., Mitchell, J.D.: Smallsemi - A library of small semigroups. A GAP 4 package [8], Version 0.6.2 (2010), http://tinyurl.com/jdmitchell/smallsemi
The GAP Group, GAP – Groups, Algorithms, and Programming, Version 4.4.12 (2008), http://www.gap-system.org
Gent, I.P., Jefferson, C., Miguel, I.: Minion: A fast scalable constraint solver. In: Proc. of ECAI 2006, pp. 98–102. IOS Press, Amsterdam (2006)
Holgate, P.: Groupoids satisfying a simple invertive law. Math. Student 61, 101–106 (1992)
Humphreys, J.: A Course in Group Theory. Oxford University Press, Oxford (1996)
Kazim, M.A., Naseerudin, M.: On almost semigroups. Alig. Bull. Math. 2, 1–7 (1972)
Khan, A., Jun, Y.B., Mahmood, T.: Generalized fuzzy interior ideals in Abel Grassmann’s groupoids. Mathematics and Mathematical Sciences (2010)
Khan, M., Nouman, M., Khan, A.: On fuzzy Abel Grassmann’s groupoids. Advances in Fuzzy Mathematics 5(3), 349–360 (2010)
McCune, W.: Mace4 Reference Manual and Guide. Mathematics and Computer Science Division, Argonne National Laboratory, ANL/MCS-TM-264 (August 2003)
McKay, B.D., Meynert, A., Myrvold, W.: Small Latin squares, quasigroups and loops. J. of Combinatorial Designs 15, 98–119 (2007)
McKay, B.D., Wanless, I.M.: On the number of Latin squares. Ann. Combin. 9, 335–344 (2005)
Mushtaq, Q.: Zeroids and idempoids in AG-groupoids. Quasigroups and Related Systems 11, 79–84 (2004)
Mushtaq, Q., Kamran, M.S.: On LA-semigroups with weak associative law. Scientific Khyber 1, 69–71 (1989)
Mushtaq, Q., Kamran, M.S.: Left almost groups. Proc. Pak. Acad. of Sciences 33, 1–2 (1996)
Mushtaq, Q., Khan, M.: Direct product of Abel Grassmann’s groupoids. Journal of Interdisciplinary Mathematics 11(4), 461–467 (2008)
Mushtaq, Q., Yusuf, S.M.: On locally associative LA-semigroups. J. Nat. Sci. Math XIX(1), 57–62 (1979)
Mushtaq, Q., Yusuf, S.M.: On LA-semigroups. Alig. Bull. Math. 8, 65–70 (1978)
Nagy, G.P., Vojtechovsky, P.: LOOPS: Computing with quasigroups and loops in GAP v1.0, computational package for GAP, http://www.math.du.edu/loop
Naseeruddin, M.: Some studies on almost semigroups and flocks. PhD thesis, The Aligarg Muslim University, India (1970)
Rossi, F., van Beek, P., Walsh, T.: Handbook of Constraint Programming (Foundations of Artificial Intelligence). Elsevier Science Inc., Amsterdam (2006)
Shah, M., Ali, A.: Some structural properties of AG-groups. Int. Mathematical Forum 6(34), 1617–1661 (2011)
Shah, M., Ali, A., Sorge, V.: A study of AG-groups as parallelogram spaces (submitted)
Shah, M., Ali, A., Sorge, V.: Multiplication group of an AG-group (submitted)
Shah, M., Ali, A., Sorge, V.: A study of AG-groups as quasigroups (submitted)
Shah, M., Shah, T., Ali, A.: On the cancellativity of AG-groupoids. International Journal Of Algebra (to appear, 2011)
Slaney, J.: FINDER, Notes and Guide. Center for Information Science Research, Australian National University (1995)
Sorge, V., Meier, A., McCasland, R., Colton, S.: Classification results in quasigroup and loop theory via a combination of automated reasoning tools. Comm. Univ. Math. Carolinae 49(2-3), 319–340 (2008)
Stevanovic, N., Protic, P.V.: Composition of Abel-Grassmann’s 3-bands. Novi Sad J. Math. 34(2), 175–182 (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Distler, A., Shah, M., Sorge, V. (2011). Enumeration of AG-Groupoids. In: Davenport, J.H., Farmer, W.M., Urban, J., Rabe, F. (eds) Intelligent Computer Mathematics. CICM 2011. Lecture Notes in Computer Science(), vol 6824. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-22673-1_1
Download citation
DOI: https://doi.org/10.1007/978-3-642-22673-1_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-22672-4
Online ISBN: 978-3-642-22673-1
eBook Packages: Computer ScienceComputer Science (R0)