{"entities":{"Q1315328":{"pageid":1326078,"ns":120,"title":"Item:Q1315328","lastrevid":68749971,"modified":"2026-04-13T01:49:24Z","type":"item","id":"Q1315328","labels":{"en":{"language":"en","value":"On braid words and irreflexivity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 513022"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1315328$9F258095-65DD-481E-A3F7-E729CD710DC6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"57a8e032b169982f3e347e893334de1d4e36384b","datavalue":{"value":{"text":"On braid words and irreflexivity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1315328$A3EA1F8C-677C-4AAA-9075-3A913AA3B685","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"49cc6dee1dcd0ae8e24001e6e726ae8790a8ff9e","datavalue":{"value":"0793.08007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1315328$689905BF-9B6E-49F0-A4BA-F4BFA46CA5D9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ec8f9b847efdf8714305bb626a4300f2397ce23f","datavalue":{"value":"10.1007/BF01188182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1315328$0E5E93E0-453E-4D79-8FE1-C277C471C75E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb33919682e404c3c5025f5fd5d2b7455bcea6a6","datavalue":{"value":{"entity-type":"item","numeric-id":1315327,"id":"Q1315327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1315328$89568AF6-4716-4A87-8B59-33F018587EA5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1315328$FBAD50D7-209E-41A0-9700-C27F53DD4B23","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8241ce0b1bfd14f1a976e02b943f8ceddf61248b","datavalue":{"value":{"time":"+1994-08-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1315328$DA188ED8-A5EE-4236-8C98-40FA13B1ED5F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9f45db2f13ed87944bcddc771adaaca81d9160c2","datavalue":{"value":"https://arxiv.org/abs/math/9204208","type":"string"},"datatype":"url"},"type":"statement","id":"Q1315328$495DEAE7-EAD7-4C51-860B-5323CAF4D0BD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"50df7dffc97d1d186c01c36e52e3ce323d112326","datavalue":{"value":"A left-distributive algebra is a set \\({\\mathcal B}\\) equipped with a binary operation such that \\(a(bc)= (ab)(ac)\\) for all \\(a,b,c\\in {\\mathcal B}\\). The free left-distributive algebra on \\(n\\) generators is denoted \\({\\mathcal A}_ n\\), and we write \\({\\mathcal A}\\) for \\({\\mathcal A}_ 1\\).   if \\(P,Q\\in {\\mathcal B}\\) write \\(P<_ L Q\\) iff one can write \\(P\\) as a strict prefix of \\(Q\\), i.e., \\(Q= ((PQ_ 1)\\dots)Q_ k\\) for some \\(Q_ 1,\\dots, Q_ k\\), \\(k\\geq 1\\). Then a proof that \\(<_ L\\) is irreflexive (that is, that \\(P\\neq ((PQ_ 1)\\dots)Q_ k\\) for all \\(P\\), \\(Q_ 1,\\dots,Q_ k\\in{\\mathcal A})\\) on \\({\\mathcal A}\\) was found by \\textit{R. Laver} [Adv. Math. 91, 209-231 (1992)], under large cardinal assumptions, as part of a theorem that \\({\\mathcal A}\\) is isomorphic to a certain algebra of elementary embeddings from set theory.   It was also proved by Laver [loc. cit.] that \\(<_ L\\) linearly orders \\({\\mathcal A}\\), the part that for all \\(P,Q\\in {\\mathcal A}\\) at least one of \\(P<_ L Q\\), \\(P=Q\\), \\(Q<_ L P\\) holds being proved independently and by a different method by \\textit{P. Dehornoy} [J. Pure Appl. Algebra 61, No. 2, 123-146 (1989; Zbl 0686.20041); C. R. Acad. Sci., Paris, S\u00e9r. I 309, No. 3, 143-148 (1989; Zbl 0688.20038)]. The linear ordering of \\({\\mathcal A}\\) gives left cancellation, the solvability of the word problem, and other consequences. Left open was whether irreflexivity, and hence the linear ordering, can be proved in ZFC.   Recently, \\textit{P. Dehornoy} [``Braid groups and left distributive structures'', Preprint (1992)] has found such a proof, involving an extension of the infinite braid group but without invoking axioms extending ZFC. The purpose of this note is to prove the result without the additional machinery of this extended group, and at shorter length.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1315328$BA9DCDB0-6D67-44D5-826D-71275BA8A560","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c3ec75de9d78727d03193af1b75f5a165ed0668","datavalue":{"value":"08B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1315328$AB712477-BC1D-4F6F-A2E8-01A9A55E1203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1315328$7FEA5E4A-C8A2-419D-B137-486C489BD398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c2c1bc14cfdc7229fee5c71b5c4e5c4888c771b2","datavalue":{"value":"08A50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1315328$55B6303E-63FC-43A5-B672-8ED3CC0ED8A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24363e421bb7b6dfa7fe7a9b1ee54d8da8a06bf1","datavalue":{"value":"06A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1315328$F7109FE0-0C70-4106-9A9E-7AAE65D13898","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5ec334cd715c31e9cfb2b975ce9576c46a014c41","datavalue":{"value":"513022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1315328$BC8D25E7-2B64-4672-99E0-E1962C2E6155","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fe7cd7061403e3a88206b637c0aefc1b1177edc","datavalue":{"value":"left-distributive algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1315328$1DB74289-AF9B-447F-A03D-DD2DC7E32719","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1315328$EFBFD943-B71F-4FCB-9585-8371672EF191","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"89facdba25dd44ba6501b98bbaa63dd31f97a46c","datavalue":{"value":{"entity-type":"item","numeric-id":4061704,"id":"Q4061704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1315328$19993E98-9CE3-4200-A72C-8677AFB4F1DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"194553c199a7bdf4f60dbe160321b413d5d0bab2","datavalue":{"value":{"entity-type":"item","numeric-id":1262396,"id":"Q1262396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1315328$11359080-4BB2-47D2-8AE2-370CC8A11E5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80a89183889f6ced4d3e02b4bb9293f2d569e1fd","datavalue":{"value":{"entity-type":"item","numeric-id":4206948,"id":"Q4206948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1315328$75EC49AD-9DF9-4A63-9812-D9A60B1CD3DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db6b3aa108f1f10c212c8fd6b05b7c5738e1ecda","datavalue":{"value":{"entity-type":"item","numeric-id":3991565,"id":"Q3991565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1315328$DE95D7C4-1311-4202-A990-DB8DA1DCE860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef0dafbc044cdcee2911dcb3fa9b0358f306b890","datavalue":{"value":{"entity-type":"item","numeric-id":1188444,"id":"Q1188444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1315328$2D753AE3-9F63-4EBD-9872-D34272CAFB6A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"725a1a53236c51c2cce430ea19cfeb4915e2e11d","datavalue":{"value":{"entity-type":"item","numeric-id":1291115,"id":"Q1291115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d81ddcca05af6602a8028e413c2b1d5ad7d7f4e4","datavalue":{"value":{"amount":"+0.87120783","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1315328$E9BBA04B-9A3C-429D-AD54-F8CBE201F73B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a19058b7ed89d13625c3bc168ef73c6b576f68b","datavalue":{"value":{"entity-type":"item","numeric-id":3421603,"id":"Q3421603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"671950cf9e076abd542f737292df5e495ac6ecd3","datavalue":{"value":{"amount":"+0.8457842","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1315328$D2796182-07CE-4696-8CC3-037F90135BC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eda806e720549ec4e1a5c28385d05e85f130bf04","datavalue":{"value":{"entity-type":"item","numeric-id":1312490,"id":"Q1312490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bb255890b7d5d42b62241c816c310b278c73e64","datavalue":{"value":{"amount":"+0.84371656","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1315328$ECFABE2C-2D1A-4BCC-BF70-955F0B794B93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84f32b50ab48eb6e1790da95be4510a68895ff90","datavalue":{"value":{"entity-type":"item","numeric-id":2397709,"id":"Q2397709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4eba125b80a3bde9e6dbfe1ab43fcce60693c669","datavalue":{"value":{"amount":"+0.8427739","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1315328$7C02DA70-F3E0-4BAA-9A78-F9677BC82AF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78c352b7b4578d99db4a4df808d6f00aee90d8de","datavalue":{"value":{"entity-type":"item","numeric-id":1578891,"id":"Q1578891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f29375298fba2a43981579f658f6b267962a0e2","datavalue":{"value":{"amount":"+0.82548857","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1315328$336C9757-738E-4A4E-98E3-9B9629C67EBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3021bd6386515fa9d1702d5d2ef8e69e81568b7a","datavalue":{"value":{"entity-type":"item","numeric-id":1273842,"id":"Q1273842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3030f14f12ada99641ea1da1698f3ec610fefd58","datavalue":{"value":{"amount":"+0.8219843","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1315328$7ED3246F-5AF2-401D-979A-FE5E62DA0F5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"119a224e337a728458465569ed417ab44e5353e8","datavalue":{"value":{"entity-type":"item","numeric-id":2021411,"id":"Q2021411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cad2abfa345e5a92e1709d182f8c5603801d13c6","datavalue":{"value":{"amount":"+0.82009655","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1315328$112793B4-12F4-4D1E-BE9C-EC0138467A77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f401cd2919b7ab2e0b50eaac0ed67f3240ba7dd","datavalue":{"value":{"entity-type":"item","numeric-id":2637643,"id":"Q2637643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac854e6da6391c628f02b0e58464a04c31866e61","datavalue":{"value":{"amount":"+0.8178991","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1315328$6A5354D8-2A1E-4F53-A09C-B1BB9DB9427F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3bcefdc67d3e66c025f4b7b4a65eb29c15fba6e","datavalue":{"value":{"entity-type":"item","numeric-id":4908222,"id":"Q4908222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"396fb9f267ad2e0e14640b16f83d43102618d813","datavalue":{"value":{"amount":"+0.8174515","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1315328$B31BB815-4196-430D-BF3F-BDAE62E833B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41fc515035491604c112d85b8b686681af29db25","datavalue":{"value":{"entity-type":"item","numeric-id":1781922,"id":"Q1781922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4c8dec8dfadeb66c3dadddafb773d01b88ac16b","datavalue":{"value":{"amount":"+0.8164334","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1315328$098FD6D1-4DC0-4941-AF25-D4692D7D5500","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On braid words and irreflexivity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_braid_words_and_irreflexivity"}}}}}