Linear groupoids and the associated wreath products

Journal of Symbolic Computation

Volumn 40, Issue 3, 2005, Pages 1106-1125

  Phillips, J D ^a   Vojtěchovský, Petr ^b  

^a WABASH COLLEGE   (United States)

^b UNIVERSITY OF DENVER   (United States)

Author keywords

Balanced identity; Binary tree; Boolean algebra; Identity hedron; Linear groupoid; Linear identity; Robbins axiom; Strictly balanced identity; The identity (xy)z = y(zx); Wreath product

Indexed keywords

EID: 23344448694     PISSN: 07477171     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jsc.2005.02.003     Document Type: Article

References (23)

1. V.D. Belousov Balanced identities in algebras of quasigroups Aequationes Math. 8 1972 1-73
2. The GAP Group GAP - Groups, Algorithms, and Programming, version 4.3. Aachen, St Andrews 1999 Visit http://www-gap.dcs.st-and.ac.uk/~gap
3. I.R. Hentzel D.P. Jacobs S.V. Muddana Experimenting with the identity (xy)z = y(zx) J. Symbolic Comput. 16 1993 289-293
4. M. Hosszú Some functional equations related with the associative law Publ. Math. Debrecen 3 1954 205-214
5. E.V. Huntington Boolean algebra. A correction Trans. Amer. Math. Soc. 35 1933 557-558
6. E.V. Huntington New sets of independent postulates for the algebra of logic, with special reference to Whitehead and Russell's Principia Mathematica Trans. Amer. Math. Soc. 35 1933 274-304
7. J. Jžek T. Kepka Medial groupoids Rozpravy Československé Akad. Véd Řada Mat. Přírod. Véd 93 2 1983 93
8. J. Ježek T. Kepka Permutable groupoids Czechoslovak Math. J. 34(109) 3 1984 396-410
9. J. Ježek T. Kepka Modular groupoids Czechoslovak Math. J. 34(109) 3 1984 477-487
10. J. Ježek T. Kepka Varieties of groupoids determined by short linear identities Czechoslovak Math. J. 39(114) 4 1989 644-658
11. J. Ježek T. Kepka Linear equational theories and semimodule representations Internat. J. Algebra Comput. 8 5 1998 599-615
12. J. Ježek T. Kepka The equational theory of paramedial cancellation groupoids Czechoslovak Math. J. 50(125) 1 2000 25-34
13. O.U. Kirnasovsky Some results on the up to fourth length balanced identities Quasigroups Related Systems 5 1998 13-34
14. M.H. Kleinfeld Rings with x(yz) = z(yx) Comm. Algebra 6 1978 1369-1373
15. G. Kolata Computer Math Proof Shows Reasoning Power. The New York Times, December 10 1996 Available electronically at http://www.nytimes.com/library/cyber/week/1210math.html
16. W.W. McCune Solution of the Robbins problem J. Automat. Reason. 19 3 1997 263-276
17. W.W. McCune Mace4 and OTTER, Argonne National Laboratory 2003 Available at http://www-unix.mcs.anl.gov/AR
18. J.D. Phillips See Otter digging for algebraic pearls Quasigroups Related Systems 10 2003 95-114
19. J.D. Phillips P. Vojtěchovský GAP library for wreath products associatied with linear identities 2004 Available electronically at http://www.math.du.edu/~petr in section research computing
20. J. Stasheff What is ...an Operad? Notices Amer. Math. Soc. 51 6 2004 630-631
21. M. Stickel A unification algorithm for associative-commutative functions J. ACM 28 3 1981 423-434
22. A. Thedy Ringe mit x(yz) = (yx) z Math. Z. 99 1967 400-404
23. J.H. van Lint R.M. Wilson A Course in Combinatorics 1992 Cambridge University Press