Some aspects of the SD-world. (English) Zbl 1515.20311
Vojtěchovský, Petr (ed.) et al., Nonassociative mathematics and its applications. Fourth mile high conference on nonassociative mathematics, Denver, CO, USA, July 29 – August 5, 2017. Proceedings. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 721, 69-96 (2019).
Summary: We survey a few of the many results now known about the selfdistributivity law and selfdistributive structures, with a special emphasis on the associated word problems and the algorithms solving them in good cases.
For the entire collection see [Zbl 1410.17001].
For the entire collection see [Zbl 1410.17001].
MSC:
| 20N02 | Sets with a single binary operation (groupoids) |
| 03D40 | Word problems, etc. in computability and recursion theory |
| 08A50 | Word problems (aspects of algebraic structures) |
References:
| [1] | V.D.Belousov, Transitive distributive quasigroups (Tranzitivnyje distributivnyje kvazygruppy), Ukr. Mat. Zh. 10 (1958) 13-22. |
| [2] | Belousov, V. D., The structure of distributive quasigroups, Mat. Sb. (N.S.), 50 (92), 267-298 (1960) · Zbl 0097.01002 |
| [3] | J. Birman, Braids, Links, and Mapping Class Groups, Annals of Math. Studies 82 Princeton Univ. Press (1975). · Zbl 0305.57013 |
| [4] | Cannon, J. W.; Floyd, W. J.; Parry, W. R., Introductory notes on Richard Thompson’s groups, Enseign. Math. (2), 42, 3-4, 215-256 (1996) · Zbl 0880.20027 |
| [5] | Carter, J. Scott, A survey of quandle ideas. Introductory lectures on knot theory, Ser. Knots Everything 46, 22-53 (2012), World Sci. Publ., Hackensack, NJ · Zbl 1255.57009 · doi:10.1142/9789814313001\_0002 |
| [6] | Carter, J. Scott; Jelsovsky, Daniel; Kamada, Seiichi; Langford, Laurel; Saito, Masahico, Quandle cohomology and state-sum invariants of knotted curves and surfaces, Trans. Amer. Math. Soc., 355, 10, 3947-3989 (2003) · Zbl 1028.57003 · doi:10.1090/S0002-9947-03-03046-0 |
| [7] | Carter, J. Scott; Kamada, Seiichi; Saito, Masahico, Geometric interpretations of quandle homology, J. Knot Theory Ramifications, 10, 3, 345-386 (2001) · Zbl 1002.57019 · doi:10.1142/S0218216501000901 |
| [8] | Dehornoy, Patrick, \( \Pi^1_1\)-complete families of elementary sequences, Ann. Pure Appl. Logic, 38, 3, 257-287 (1988) · Zbl 0646.03030 · doi:10.1016/0168-0072(88)90028-0 |
| [9] | Dehornoy, Patrick, Algebraic properties of the shift mapping, Proc. Amer. Math. Soc., 106, 3, 617-623 (1989) · Zbl 0679.20058 · doi:10.2307/2047413 |
| [10] | Dehornoy, Patrick, Preuve de la conjecture d’irr\'eflexivit\'e pour les structures distributives libres, C. R. Acad. Sci. Paris S\'er. I Math., 314, 5, 333-336 (1992) · Zbl 0753.08002 |
| [11] | Dehornoy, Patrick, Sur la structure des gerbes libres, C. R. Acad. Sci. Paris S\'er. I Math., 309, 3, 143-148 (1989) · Zbl 0688.20038 |
| [12] | Dehornoy, Patrick, Braid groups and left distributive operations, Trans. Amer. Math. Soc., 345, 1, 115-150 (1994) · Zbl 0837.20048 · doi:10.2307/2154598 |
| [13] | Dehornoy, Patrick, A normal form for the free left distributive law, Internat. J. Algebra Comput., 4, 4, 499-528 (1994) · Zbl 0827.20079 · doi:10.1142/S0218196794000130 |
| [14] | Dehornoy, P., On the syntactic algorithm for the word problem of left distributivity, Algebra Universalis, 37, 2, 191-222 (1997) · Zbl 0902.08007 · doi:10.1007/s000120050013 |
| [15] | Dehornoy, Patrick, Construction of self-distributive operations and charged braids, Internat. J. Algebra Comput., 10, 1, 173-190 (2000) · Zbl 0977.20052 · doi:10.1142/S0218196700000030 |
| [16] | Dehornoy, Patrick, A fast method for comparing braids, Adv. Math., 125, 2, 200-235 (1997) · Zbl 0882.20021 · doi:10.1006/aima.1997.1605 |
| [17] | Dehornoy, Patrick, A conjecture about conjugacy in free groups, Discuss. Math. Algebra Stochastic Methods, 19, 1, 75-112 (1999) · Zbl 0940.20068 |
| [18] | Dehornoy, Patrick, Strange questions about braids, J. Knot Theory Ramifications, 8, 5, 589-620 (1999) · Zbl 0933.20024 · doi:10.1142/S0218216599000407 |
| [19] | Dehornoy, Patrick, Braids and self-distributivity, Progress in Mathematics 192, xx+623 pp. (2000), Birkh\`“auser Verlag, Basel · Zbl 0958.20033 · doi:10.1007/978-3-0348-8442-6 |
| [20] | Dehornoy, Patrick, The fine structure of LD-equivalence, Adv. Math., 155, 2, 264-316 (2000) · Zbl 0974.20048 · doi:10.1006/aima.2000.1938 |
| [21] | Dehornoy, Patrick, Study of an identity, Algebra Universalis, 48, 2, 223-248 (2002) · Zbl 1058.03043 · doi:10.1007/PL00012451 |
| [22] | Dehornoy, Patrick, Elementary embeddings and algebra. Handbook of set theory. Vols. 1, 2, 3, 737-774 (2010), Springer, Dordrecht · Zbl 1198.03061 · doi:10.1007/978-1-4020-5764-9\_12 |
| [23] | Dehornoy, Patrick, The group of parenthesized braids, Adv. Math., 205, 2, 354-409 (2006) · Zbl 1160.20027 · doi:10.1016/j.aim.2005.07.012 |
| [24] | Dehornoy, Patrick; Dynnikov, Ivan; Rolfsen, Dale; Wiest, Bert, Ordering braids, Mathematical Surveys and Monographs 148, x+323 pp. (2008), American Mathematical Society, Providence, RI · Zbl 1163.20024 · doi:10.1090/surv/148 |
| [25] | Dehornoy, Patrick, The braid shelf, J. Knot Theory Ramifications, 27, 11, 1843005, 30 pp. (2018) · Zbl 1425.20021 · doi:10.1142/S0218216518430058 |
| [26] | O.Deiser, Notes on the Polish Algorithm, arXiv 1711.09580 · Zbl 1204.03002 |
| [27] | V.Dimonte, LD-algebras beyond I0, arXiv:1701.01343. · Zbl 1522.03231 |
| [28] | Dougherty, Randall, Critical points in an algebra of elementary embeddings, Ann. Pure Appl. Logic, 65, 3, 211-241 (1993) · Zbl 0791.03028 · doi:10.1016/0168-0072(93)90012-3 |
| [29] | Dougherty, Randall; Jech, Thomas, Finite left-distributive algebras and embedding algebras, Adv. Math., 130, 2, 201-241 (1997) · Zbl 0884.08006 · doi:10.1006/aima.1997.1655 |
| [30] | Dr\'apal, Ale\v s., Finite left distributive algebras with one generator, J. Pure Appl. Algebra, 121, 3, 233-251 (1997) · Zbl 0889.20039 · doi:10.1016/S0022-4049(96)00071-0 |
| [31] | Dr\'apal, Ale\v s., Finite left distributive groupoids with one generator, Internat. J. Algebra Comput., 7, 6, 723-748 (1997) · Zbl 0917.20059 · doi:10.1142/S0218196797000320 |
| [32] | A.Drapal, About Laver tables, In this volume. · Zbl 1527.20091 |
| [33] | Dr\'apal, Ale\v s.; Kepka, Tom\'a\v s.; Mus\'\i lek, Michal, Group conjugation has non-trivial LD-identities, Comment. Math. Univ. Carolin., 35, 2, 219-222 (1994) · Zbl 0810.20053 |
| [34] | Epstein, David B. A.; Cannon, James W.; Holt, Derek F.; Levy, Silvio V. F.; Paterson, Michael S.; Thurston, William P., Word processing in groups, xii+330 pp. (1992), Jones and Bartlett Publishers, Boston, MA · Zbl 0764.20017 |
| [35] | Fenn, Roger; Rourke, Colin, Racks and links in codimension two, J. Knot Theory Ramifications, 1, 4, 343-406 (1992) · Zbl 0787.57003 · doi:10.1142/S0218216592000203 |
| [36] | R.Fenn, C.P.Rourke, & B.Sanderson, James bundles and applications , http://www.mps.warwick.ac.uk/\(\) cpr/ftp/james.pdf. · Zbl 1055.55005 |
| [37] | Jech, Thomas, Large ordinals, Adv. Math., 125, 2, 155-170 (1997) · Zbl 0868.03020 · doi:10.1006/aima.1997.1603 |
| [38] | Jedli\v cka, P\v remysl, On left distributive left idempotent groupoids, Comment. Math. Univ. Carolin., 46, 1, 15-20 (2005) · Zbl 1106.20049 |
| [39] | Jedli\v cka, P\v remysl, Geometry monoid of the left distributivity and the left idempotency, Algebra Discrete Math., 4, 12-39 (2007) (2006) · Zbl 1116.20306 |
| [40] | Jedli\v cka, P\v remysl, On a partial syntactical criterion for the left distributivity and the idempotency, Math. Slovaca, 60, 2, 213-222 (2010) · Zbl 1240.08003 · doi:10.2478/s12175-010-0007-9 |
| [41] | Je\v zek, Jaroslav; Kepka, Tom\'a\v s.; N\v emec, Petr, Distributive groupoids, Rozpravy \v Ceskoslovensk\'e Akad. V\v ed \v Rada Mat. P\v r\'\i rod. V\v ed, 91, 3, 94 pp. (1981) · Zbl 0484.20031 |
| [42] | Joyce, David, A classifying invariant of knots, the knot quandle, J. Pure Appl. Algebra, 23, 1, 37-65 (1982) · Zbl 0474.57003 · doi:10.1016/0022-4049(82)90077-9 |
| [43] | Larue, David M., On braid words and irreflexivity, Algebra Universalis, 31, 1, 104-112 (1994) · Zbl 0793.08007 · doi:10.1007/BF01188182 |
| [44] | Larue, David Maurice, Left-distributive and left-distributive idempotent algebras, 147 pp. (1994), ProQuest LLC, Ann Arbor, MI |
| [45] | Larue, David M., Left-distributive idempotent algebras, Comm. Algebra, 27, 5, 2003-2029 (1999) · Zbl 0940.20070 · doi:10.1080/00927879908826547 |
| [46] | R.Laver, Elementary embeddings of a rank into itself, Abstr. Amer. Math. Soc. 7 (1986) 6. · Zbl 0822.03031 |
| [47] | Laver, Richard, The left distributive law and the freeness of an algebra of elementary embeddings, Adv. Math., 91, 2, 209-231 (1992) · Zbl 0822.03030 · doi:10.1016/0001-8708(92)90016-E |
| [48] | Laver, Richard, A division algorithm for the free left distributive algebra. Logic Colloquium ’90, Helsinki, 1990, Lecture Notes Logic 2, 155-162 (1993), Springer, Berlin · Zbl 0809.08004 |
| [49] | Laver, Richard, On the algebra of elementary embeddings of a rank into itself, Adv. Math., 110, 2, 334-346 (1995) · Zbl 0822.03031 · doi:10.1006/aima.1995.1014 |
| [50] | Laver, Richard; Miller, Sheila K., The free one-generated left distributive algebra: basics and a simplified proof of the division algorithm, Cent. Eur. J. Math., 11, 12, 2150-2175 (2013) · Zbl 1354.08005 · doi:10.2478/s11533-013-0290-0 |
| [51] | S.V.Matveev, Distributive groupoids in knot theory, Math. USSR Sb. 47 (1984) 73-83. · Zbl 0523.57006 |
| [52] | McKenzie, Ralph; Thompson, Richard J., An elementary construction of unsolvable word problems in group theory. Word problems: decision problems and the Burnside problem in group theory (Conf., Univ. California, Irvine, Calif. 1969; dedicated to Hanna Neumann), Studies in Logic and the Foundations of Math. 71, 457-478 (1973), North-Holland, Amsterdam · Zbl 0286.02047 |
| [53] | F.Muller-Hoissen et al., Associahedra, Tamari lattices and related structures, Progress in Mathematics, vol. 299, Birkhauser/Springer (2012). · Zbl 1253.00013 |
| [54] | Newman, M. H. A., On theories with a combinatorial definition of “equivalence.”, Ann. of Math. (2), 43, 223-243 (1942) · Zbl 0060.12501 · doi:10.2307/1968867 |
| [55] | Peirce, C. S., On the Algebra of Logic, Amer. J. Math., 3, 1, 15-57 (1880) · JFM 12.0041.01 · doi:10.2307/2369442 |
| [56] | Schleimer, Saul, Polynomial-time word problems, Comment. Math. Helv., 83, 4, 741-765 (2008) · Zbl 1172.20028 · doi:10.4171/CMH/142 |
| [57] | Smedberg, Matthew, A dense family of well-behaved finite monogenerated left-distributive groupoids, Arch. Math. Logic, 52, 3-4, 377-402 (2013) · Zbl 1354.20038 · doi:10.1007/s00153-012-0320-9 |
| [58] | Stanovsk\'y, David, On the equational theory of group conjugation. Contributions to general algebra. 15, 177-185 (2004), Heyn, Klagenfurt · Zbl 1076.20062 |
| [59] | Thompson, Richard Joseph, TRANSFORMATIONAL STRUCTURE OF ALGEBRAIC LOGICS, 345 pp. (1979), ProQuest LLC, Ann Arbor, MI |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
