{"entities":{"Q1376340":{"pageid":1387080,"ns":120,"title":"Item:Q1376340","lastrevid":67279812,"modified":"2026-04-12T16:34:08Z","type":"item","id":"Q1376340","labels":{"en":{"language":"en","value":"Bases for the Bruhat-Chevalley order on all finite Coxeter groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1097709"}},"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":"Q1376340$4E8D3B1E-0C12-4C75-8FD7-7CF6AAF96034","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"25ac52008137b8b84b12c91372bbf65f829ead1e","datavalue":{"value":{"text":"Bases for the Bruhat-Chevalley order on all finite Coxeter groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1376340$D8363A19-FBEC-4082-A9FB-1578C1EDF839","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"effeeb01e68daf011fdab3147635cf157ad0ab2a","datavalue":{"value":"0977.20033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1376340$ABE38404-F05E-4FEB-8640-FDA5791EB6D3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d91bd8a1ea7671ed7a7f12351953bead644b7add","datavalue":{"value":{"entity-type":"item","numeric-id":185853,"id":"Q185853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1376340$9323A7AC-97EE-4A86-9493-F9F104C3E074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0be7fa053f33e02d52a5f95a445416f4ab716bd8","datavalue":{"value":{"entity-type":"item","numeric-id":965206,"id":"Q965206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1376340$50316596-874B-40D8-910F-913A1BB652F2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1376340$E6BD8D94-79D6-4D95-ADBF-9162986D9304","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da1e102b79cffd268b6f68feaae2005a6fba4d8e","datavalue":{"value":{"time":"+2002-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1376340$A5C51371-50FC-4964-827C-0618AF4DAEE3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e4c9a45a16209c17fc95a8ff41d52b678d43da2e","datavalue":{"value":"According to the definition by \\textit{A. Lascoux} and \\textit{M. P. Sch\u00fctzenberger}, a base for the Bruhat-Chevalley order \\(\\leq\\) on a Coxeter group \\(W\\) is a minimal subset \\(B\\) of \\(W\\) such that if \\(({\\mathcal P}(B),\\subseteq)\\) is the partially ordered set of all subsets of \\(B\\) then the map \\(W\\to{\\mathcal P}(B)\\), \\(w\\mapsto\\{b\\in B\\mid b\\leq w\\}\\), is an isomorphism of partially ordered sets onto its image [see Electron. J. Combin. 3, No.~2, R27 (1996) = J. Comb. 3, No.~2, 633-667 (1996; Zbl 0885.05111)]. The existence of a base allows us to transform the Bruhat-Chevalley order relation to a purely Boolean condition, the latter provides an efficient and practical criterion for determining the relation \\(v\\leq w\\) in \\(W\\).   An element \\(w\\in W\\) is called a bi-Grassmannian if each of the sets \\({\\mathcal L}(w)=\\{s\\in S\\mid\\ell(sw)<\\ell(w)\\}\\), \\({\\mathcal R}(w)=\\{s\\in S\\mid\\ell(ws)<\\ell(w)\\}\\) consists of precisely one element. The basic result of [loc. cit.] states that the base \\(B\\) of \\((W,\\leq)\\) is contained in the set of all bi-Grassmannians of \\(W\\). In the present paper, the authors determine the base for any finite Coxeter group \\(W\\). In doing this, the authors adopt another (equivalent) definition of the base \\(B\\) of \\(W\\) in [loc. cit.]: \\(B\\) is the set of all elements \\(w\\in W\\) which cannot be obtained as the supremum of a subset of \\(W\\) not containing \\(w\\). The above result of [loc. cit.] is crucial in the present work. In the classical cases (i.e., types \\(A\\), \\(B\\) and \\(D\\)), the authors use a coding of the elements of \\(W\\), which is given in terms of products of minimal right coset representatives along a naturally chosen chain of parabolic subgroups of \\(W\\). In the exceptional cases, they implement an algorithm in the computer algebra systems GAP and CHEVIE.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1376340$1143371B-15FC-4288-84F9-A76D5CEFF3D5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dcc6ef289477f68cffe6414814b60192a325ae7","datavalue":{"value":"20F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1376340$DE5B5FA6-2953-4537-868F-646BE18D2F06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1376340$BB2A8708-AC01-43E3-A8B3-E60A29764B6E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c051ef5dee2177cec8cde962e072e9d3088d95e8","datavalue":{"value":"1097709","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1376340$B320993A-5227-4556-856E-69702D7C5F29","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e38e9a84b150c0f5727b733882864af97c9140f","datavalue":{"value":"Bruhat-Chevalley orders","type":"string"},"datatype":"string"},"type":"statement","id":"Q1376340$ECFDAAC8-FED5-4AF2-B22C-92802BA6479F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bedf903784eeba0fa13d8545c010927ac8abaf15","datavalue":{"value":"partially ordered sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1376340$F657AA6D-4DAA-4840-8740-357E61EA441D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b83ceb011948833a13d5e6937b819b4ae2fc8d8d","datavalue":{"value":"bi-Grassmannians","type":"string"},"datatype":"string"},"type":"statement","id":"Q1376340$DCD53024-0397-4A72-9432-A455EA44E1A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6769093e5ac5c0f34b24ab5f15869763fb113d1c","datavalue":{"value":"finite Coxeter groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1376340$CC52FC75-BB8A-4C05-9542-03AB8F01E069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7f0d17a8ed8fef06fa47cbc48d72cb954b71159","datavalue":{"value":"right coset representatives","type":"string"},"datatype":"string"},"type":"statement","id":"Q1376340$B0CA8A46-8B8E-420B-9966-C9554E51C3A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06ecca2265d3906b9487ee7005c1eb9d85f4d6a4","datavalue":{"value":"parabolic subgroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1376340$E7906E7B-A0C0-49A8-85DF-D100F6B96512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d607627523840bd0bf4407097f29a3a99ef4a0a8","datavalue":{"value":"algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1376340$869565FB-5BB4-475B-B8F7-294ED2BC97BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13a9fa142fc70a7f7edaa670268faab1282344c1","datavalue":{"value":"computer algebra systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1376340$81C50BEF-8CA9-41D3-A0C4-5F112CEE7588","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e970896f3a5038118c0d5a72aa2aa0f42782ad14","datavalue":{"value":{"entity-type":"item","numeric-id":16418,"id":"Q16418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1376340$69FA104F-A88A-45E4-970C-876A5194AE75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dd7f0abef058f8eae97be2e317c30210cbb29e90","datavalue":{"value":{"entity-type":"item","numeric-id":13081,"id":"Q13081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1376340$A95A5FFE-7B4A-45FB-BC21-BBC0366E7294","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":"Q1376340$D5E18B29-58BB-4B5E-997B-C9C8487556B9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5e4022ed8a1cd4021530feb68ad9dcbc9f07e5ee","datavalue":{"value":"https://doi.org/10.1006/jabr.1997.7096","type":"string"},"datatype":"url"},"type":"statement","id":"Q1376340$FAC20907-3D64-4A8D-A637-2E9CD459EA8C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ad8bacb052de014144f70476b0c76b44991fb7ef","datavalue":{"value":"W1986201476","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1376340$214A24DE-EC13-4DF6-9045-D413FAC55CB1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"93f90ef4258b6ff673085fd818e971aaf07abd7a","datavalue":{"value":{"entity-type":"item","numeric-id":5580319,"id":"Q5580319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1376340$08E79D13-4D49-4E7A-9901-29C989B19275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94c52fc0651ad1599fad0c19eaffd8c26e8fc4f5","datavalue":{"value":{"entity-type":"item","numeric-id":1228669,"id":"Q1228669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1376340$79A7A36E-A3F6-46BF-AC9C-284D7A786A79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd5d6cf46166f4eedfc99c20e4a718be5e528f24","datavalue":{"value":{"entity-type":"item","numeric-id":1912709,"id":"Q1912709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1376340$54DFA498-E9D9-4982-B2A9-CF874A83CEEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd86cf4f37b1c15ed8cf6675bd8e4a7c8fa43c2a","datavalue":{"value":{"entity-type":"item","numeric-id":3998721,"id":"Q3998721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1376340$3D7CFB71-6346-40B4-A6E7-245D420B79C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70903b175036bc3b0323ccd85750f2e431a94b3a","datavalue":{"value":{"entity-type":"item","numeric-id":3220754,"id":"Q3220754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1376340$C3C7E7E1-82FE-4337-AD22-5D3610DC46C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7c3314102fd6d7e09a9d5696c3cc48831090232","datavalue":{"value":{"entity-type":"item","numeric-id":1164651,"id":"Q1164651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1376340$EDFB7907-CE81-4100-AB39-0C807894703D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"56e7c2572e95c1f1829ad1164f7f3eab72845026","datavalue":{"value":"10.1006/JABR.1997.7096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1376340$F5A1CAC8-28BB-4933-9EF2-C999324F7291","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"316dcd1189486aae715bf5f893628e5621fbb5a0","datavalue":{"value":{"entity-type":"item","numeric-id":1379157,"id":"Q1379157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"560af6bbd676d62d7ac87e2b8464fa1d155e298a","datavalue":{"value":{"amount":"+0.7959733605384827","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1376340$C4E47A9C-2CC4-4433-AD4E-702BD4913DD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8f282ad8e841c81f8c168fced4a1d6c9fb826be","datavalue":{"value":{"entity-type":"item","numeric-id":4819184,"id":"Q4819184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8baccc7f0ef37c3224fc7d726e58e2c4786f1b85","datavalue":{"value":{"amount":"+0.7931673526763916","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1376340$CFAFB53F-C459-4AC7-BE07-897B5869160A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c4fa350a8cc7ef36ea6f5cab75f556f521517d3","datavalue":{"value":{"entity-type":"item","numeric-id":5189519,"id":"Q5189519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"563c0c7b2fa33358bfd5586ee18d29f582e6c7dd","datavalue":{"value":{"amount":"+0.7856315970420837","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1376340$C5F94643-732E-413A-BA1D-C0B344E538D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"def01fc6061b4688b0ce24e531f8db3c58f3db4e","datavalue":{"value":{"entity-type":"item","numeric-id":3767501,"id":"Q3767501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2734776e3545167411ba89aa650bbb24a1c2b450","datavalue":{"value":{"amount":"+0.7640042901039124","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1376340$DAD592A8-887D-435D-9465-43FE5FFA00C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8669a0e34dbf997385cd75b048047e803790915","datavalue":{"value":{"entity-type":"item","numeric-id":1773150,"id":"Q1773150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e29abb2d568fd4ca99ab29625711b2f9b7312673","datavalue":{"value":{"amount":"+0.7589100003242493","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1376340$3C4F7BD6-8F90-4A12-91A9-AB11FD20E03A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bases for the Bruhat-Chevalley order on all finite Coxeter groups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Bases_for_the_Bruhat-Chevalley_order_on_all_finite_Coxeter_groups"}}}}}