{"entities":{"Q1763635":{"pageid":1774377,"ns":120,"title":"Item:Q1763635","lastrevid":72472884,"modified":"2026-04-14T05:09:31Z","type":"item","id":"Q1763635","labels":{"en":{"language":"en","value":"A discrete homotopy theory for binary reflexive structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2136505"}},"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":"Q1763635$EF6A7419-9FE8-423E-A18E-34EC00C7A3CF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"036c5420d5dee0cae2b6798e14c5acbad5e08159","datavalue":{"value":{"text":"A discrete homotopy theory for binary reflexive structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1763635$18BAE202-2859-48A9-8B32-011E7ECBF290","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cdbf267181e6984e57e99b2e48397918679d967a","datavalue":{"value":"1061.06005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1763635$EC9424F9-03CA-4CFC-91DB-28EAA8094392","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a393a12087cc5923bdc1a63cb951aaf77f8399a8","datavalue":{"value":{"entity-type":"item","numeric-id":178713,"id":"Q178713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763635$5A2A3322-C8CA-4011-88DA-104537CB3C9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1363ae1d9d703f7fb2acd3ca733e972bbcaf0fee","datavalue":{"value":{"entity-type":"item","numeric-id":178714,"id":"Q178714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763635$A370962D-DEC2-4C9F-B969-E8A4BDBF005F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"87fedd43d9515b94c7651de65777aba7be17422f","datavalue":{"value":{"entity-type":"item","numeric-id":165833,"id":"Q165833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763635$7A16C828-22B7-43E3-BD14-6A0E2B4B7488","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e6fd9f57da46494686492c936ca92ef875382ca4","datavalue":{"value":{"time":"+2005-02-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":"Q1763635$8D13884F-F7A0-45AB-AD6A-731311ADC821","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"08a66f776c55c1c0843071e2426a4812cf684d83","datavalue":{"value":"A (binary reflexive) structure is a set \\(X\\) equipped with a relation \\(\\sigma\\) containing the diagonal of \\(X^2\\). Writing \\(x\\to y\\) for \\((x,y)\\in\\sigma\\) we obtain an associated digraph (with loops \\(x\\to x\\) at all vertices). \\(F\\) has base set \\(X= \\{0,1,2,\\dots\\}\\) and \\(n\\to m\\) provided \\(n= m\\) or \\(n\\) is even and \\(|n-m|= 1\\). A (weak) path in \\(X\\) from \\(x\\) to \\(y\\) exists iff a homomorphism \\(f:F\\to X\\) (\\(x\\to y\\) implies \\(f(x)\\to f(y)\\)) has \\(f(0)= x\\) and \\(f(n)= y\\) for all \\(n\\geq N\\). \\(F^k(X,x_0)\\) is the set of all homomorphisms \\(f: F^k\\to X\\) such that for some \\(N\\geq 0\\), \\(f(\\tau_1,\\dots,\\tau_k)= x_0\\) implies there is a \\(\\tau_i\\) such that \\(\\tau_i= 0\\) or \\(\\tau_i\\geq N\\). \\(F^k(X, x_0)\\) has the relation inherited from Hom\\((F^k,X)\\) (\\(f\\to g\\) iff \\((f(\\tau)\\to g(\\tau))\\) for \\(\\tau\\in F^k\\)) and base point \\(\\overline x_0\\) the constant map \\(f(\\tau)= x_0\\). Let \\(\\sigma_k(X, x_0)\\) denote the set of path components of \\(F^k(X, x_0)\\) with \\(|f|\\) denoting the path component of \\(f\\). For \\(f\\in F^k(X, x_0)\\) and \\(1\\leq i\\leq k\\) let \\(N_1(f)\\) denote the least nonnegative even integer \\(N\\) such that\\(f(\\tau_1,\\dots, \\tau_k)= x_0\\) if \\(\\tau_i\\geq N\\) and \\(N(f)= \\max N_i(f)\\). Let \\(f,g\\in F^k(X, x_0)\\) and \\(N\\geq N(f)\\) an even integer. Then \\((f,g)_N= f(\\tau_1,\\dots, \\tau_k)\\) if \\(\\leq N\\), \\((f,g)_N= g((\\tau_1)- N\\), \\(\\tau_2,\\dots, \\tau_k)\\) otherwise. Finally let \\(|f|*|g|= |(f, g)_{N_1(f)}|\\). Then it is shown that \\(\\sigma_k(X, x_0)= (\\sigma_k(X, x_0),*,|\\overline x_0|)\\) is a group with identity \\(|\\overline x_0|\\).   With \\(\\sigma_k(X, x_0)\\) as defined above one has a precise recipe even if somewhat complicated. Via a reductive process passing through posets and their standard realization as a simplicial complex with facets the maximal chains, it is shown that \\(\\sigma_{k_0}(X, x_0)\\) is naturally isomorphic to the \\(k\\)th homotopy group of the simplicial complex of \\(X\\) whose simplexes are those subsets of \\(X\\) which are homomorphic images of finite chains. In a nice tour de force the authors provide a different way to look at these homotopy groups. As explained in the introduction, this fact can be employed to determine when the \\(\\sigma_k(X, x_0)\\) are all trivial, and this determination plays an important role in sorting certain computational problems as being NP-complete or not.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1763635$D098A186-0924-420C-8D2B-8B8A0F13D15A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f3d0b1de78ad0e32d646815f9dc7561538cada7","datavalue":{"value":"06A07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1763635$3F9494AA-3A6B-4B05-B567-A5EBC855419D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"83bbf0b299346afb89579c3d6a26f4aedc76938a","datavalue":{"value":"05C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1763635$812F38EC-15EE-4CED-B503-EB8A222405F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"be8077c87150f4def8d44e6ddf15a23c11bc6a76","datavalue":{"value":"55Q99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1763635$88616534-0780-4391-81DD-EB3CA0099A69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1763635$EC768B0D-7556-4711-B9B4-86DF861103C6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"28f0ace35adb91a32e76ece09e7e197b4417abde","datavalue":{"value":"2136505","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1763635$1B13023C-2527-4922-8079-82609BD04538","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"697f12e87d14e71316911c21ee25ae420349fbfa","datavalue":{"value":"Binary structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1763635$0BD912DB-04AB-4E84-A53A-0868802090F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c961dc21f34c1a0342aeff9a4ff3b067de901e0","datavalue":{"value":"Reflexive digraphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1763635$17EE7637-D1B4-4458-B608-0456A97BB58E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e96ac7f425982b33e625e5cc8513dd0465f049d","datavalue":{"value":"Homotopy","type":"string"},"datatype":"string"},"type":"statement","id":"Q1763635$927CEFA2-7A29-413C-891C-0B823350BC8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0103c64fdf957d59fac3f3587deb453cb1d4ed9a","datavalue":{"value":"Posets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1763635$F0249016-B169-45E1-B180-0A5731745B82","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b626688718ca3d61fce8479b1c17fa40d92d8dda","datavalue":{"value":{"entity-type":"item","numeric-id":233347,"id":"Q233347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763635$A9ABD7CB-164F-4285-B2AF-88A60295C066","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":"Q1763635$CAEAC3D1-64CB-4D9F-A8DA-C6C359470C63","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"edff5a5a0b00c7a6ee56cd12cb0a73981ec85c0f","datavalue":{"value":"https://doi.org/10.1016/j.aim.2003.11.011","type":"string"},"datatype":"url"},"type":"statement","id":"Q1763635$84FD6484-3933-41C3-8468-D44275A0C45A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7f8a0af96fd59d8fc3de140939e6e3abf41e8a89","datavalue":{"value":"W2078931235","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1763635$9785DA65-32E1-4DB9-934F-B170DF21C6F0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9d3a07608acbb8cc51d11afe6c158e7eeeff974","datavalue":{"value":{"entity-type":"item","numeric-id":2754150,"id":"Q2754150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763635$6E136025-1596-4AAB-A28B-753002B5E69D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da5c6061c3f6daf7454d0e9c58daef6f441530aa","datavalue":{"value":{"entity-type":"item","numeric-id":4210136,"id":"Q4210136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763635$46C2AB7D-5057-47A0-B2F0-313E46290441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95129feb93e690035be7048ddf51a4f5a6e82adb","datavalue":{"value":{"entity-type":"item","numeric-id":1854566,"id":"Q1854566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763635$ECA28C6F-1AB6-4520-BA08-0480701C46EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26e01bab2b80fb31f56625d877bd8cb1e8dd07b7","datavalue":{"value":{"entity-type":"item","numeric-id":1311334,"id":"Q1311334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763635$993D5C84-3083-492E-BF33-25E01BA42EAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"657ad9a57f8376951c3feb76496c568aa7fa4027","datavalue":{"value":{"entity-type":"item","numeric-id":1862108,"id":"Q1862108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763635$130F57E4-A383-4F67-8AF7-1E85DF82041C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75e01bd225cc1eaadd4b3b359e2717f21721c442","datavalue":{"value":{"entity-type":"item","numeric-id":4040245,"id":"Q4040245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763635$29C08A19-D9B7-4916-94BB-4A316119975B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc5f2d4ce832a7fdd748fe6d238cd2a2c0d39343","datavalue":{"value":{"entity-type":"item","numeric-id":5471351,"id":"Q5471351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763635$81523C77-DBEF-4309-94A3-76FE45F2CCA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d5ef1449a29a151898df66ced3174fca9186bd7","datavalue":{"value":{"entity-type":"item","numeric-id":2577685,"id":"Q2577685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763635$6427C432-3396-488D-90C6-931726A8AA1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05da37c2072d06b8eadf9508d32236ad71fe1dc7","datavalue":{"value":{"entity-type":"item","numeric-id":4443125,"id":"Q4443125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763635$88C3E2B0-4241-4736-B23E-AB5D59E31AB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3faa48c6f19abe0735989fd7ff66abaf16bca9d4","datavalue":{"value":{"entity-type":"item","numeric-id":2522848,"id":"Q2522848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763635$90AF3213-1BC6-4C16-8BA0-C124C84B3683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f5e381499b2ea68a35997980df2f0389a4f9aec","datavalue":{"value":{"entity-type":"item","numeric-id":4779171,"id":"Q4779171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763635$FBFCB965-0C33-4D04-B304-8A7EC1026DDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2609998c1d1c9536519a0b0b5ce997b831654f42","datavalue":{"value":{"entity-type":"item","numeric-id":1250632,"id":"Q1250632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763635$A779294C-1313-4256-B4B2-3BD3A68893A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a79fad678f967c6528bd2993b5707c57ab0cbd1","datavalue":{"value":{"entity-type":"item","numeric-id":2530658,"id":"Q2530658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763635$B0ACB601-CB8D-482A-B8E0-919AB598BDE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b577a5ad520b7e73cb32be324a751e863dbbfbdf","datavalue":{"value":{"entity-type":"item","numeric-id":5522742,"id":"Q5522742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763635$B13FC631-A6C2-4D6B-BCDA-7AB2D78546F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd6b0fbc466f97d68787cd32fab899f2f3a65081","datavalue":{"value":{"entity-type":"item","numeric-id":5530356,"id":"Q5530356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763635$2C4401C1-9C32-4512-8180-6A273C264F3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"017c868935d8f1839f60251aaedd51287f004db8","datavalue":{"value":{"entity-type":"item","numeric-id":4129503,"id":"Q4129503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763635$43736228-B353-4D23-A78E-38345A2F5DA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37ed236915ccb1233f4787e6cd0c1006c86717b8","datavalue":{"value":{"entity-type":"item","numeric-id":1838501,"id":"Q1838501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1763635$26F22BBA-7B77-4403-86EB-F94EF738AFB9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"55fc3715554dea2bb6c0b6a40d679f5d1b167be9","datavalue":{"value":"10.1016/J.AIM.2003.11.011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1763635$0315A45F-9880-461B-BD25-8D2D46F0A42C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fd290f39b567d48dc6126f1a2f67e9a941d3636","datavalue":{"value":{"entity-type":"item","numeric-id":949608,"id":"Q949608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adb1c527476ae856531baf2696628f9b0a3a08e6","datavalue":{"value":{"amount":"+0.7567495703697205","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":"Q1763635$9A459744-85A6-498F-A778-69EE6992DB13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64e9af7c1f731668907e5eb13468011de2ac6bea","datavalue":{"value":{"entity-type":"item","numeric-id":2454137,"id":"Q2454137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05e0cf6c7c236dcfbb162666155354b6c98ef4c8","datavalue":{"value":{"amount":"+0.7251686453819275","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":"Q1763635$39AD3481-6500-43F8-8715-56C4850386AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35e1c60f37f13130f984838ab986417f27f035eb","datavalue":{"value":{"entity-type":"item","numeric-id":2344033,"id":"Q2344033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a608113f53b8507f8fdd6abbc1813079808b3713","datavalue":{"value":{"amount":"+0.7241843938827515","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":"Q1763635$EFB448E0-13DA-4B50-B606-A694F50CE0DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d462047440c9786a312761d1bc5d7c4d8e9d144","datavalue":{"value":{"entity-type":"item","numeric-id":2660378,"id":"Q2660378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93300b70e207c411547ffb1a7fa849222671a657","datavalue":{"value":{"amount":"+0.7239660024642944","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":"Q1763635$085A4700-081D-47ED-B9FF-476F81C44C16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b95c89213ce5596667c48dc813e1f3ef503567a2","datavalue":{"value":{"entity-type":"item","numeric-id":5471351,"id":"Q5471351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acb1ac570fca0e3b92ce0e234a558844785661e2","datavalue":{"value":{"amount":"+0.7217409610748291","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":"Q1763635$1A76DE30-A3FE-4743-89B7-6FAA95731876","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A discrete homotopy theory for binary reflexive structures","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_discrete_homotopy_theory_for_binary_reflexive_structures"}}}}}