{"entities":{"Q1077004":{"pageid":1087756,"ns":120,"title":"Item:Q1077004","lastrevid":66244668,"modified":"2026-04-12T08:30:23Z","type":"item","id":"Q1077004","labels":{"en":{"language":"en","value":"Detecting homotopy equivalences in base-point-free homotopy"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3955979"}},"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":"Q1077004$C2F8B0E6-D1C1-4D85-A3AE-A95C19BE19D5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f6de011215444720f2e46154ebf3843d6340936b","datavalue":{"value":{"text":"Detecting homotopy equivalences in base-point-free homotopy","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1077004$EC44EC2E-C535-43A9-BC11-38E426B7E29D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0c5be6b8f8cc4334bd0920e01a84aea164d3e465","datavalue":{"value":"0594.55005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077004$7A9E2CAA-E082-473E-9407-38629387BA9D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8f287ca0da76d3601b7775a89bb0a38a147339cc","datavalue":{"value":"10.1016/0166-8641(86)90027-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077004$783F10E8-C3A8-4644-8F87-5B0F8A974BB6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e800b80431d08e66f567cb80956091dce15cbbb6","datavalue":{"value":{"entity-type":"item","numeric-id":187291,"id":"Q187291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077004$22F3C3ED-8C82-4DA6-AAF6-18690287E9E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a853b83cf4d9ec5d13bd9b6e3e81288aff2e5d5a","datavalue":{"value":{"entity-type":"item","numeric-id":761659,"id":"Q761659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077004$320FEEFE-52E8-4432-A086-619E3B40374A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"caed9871dffabe010c529575fe8b7c33d0847d94","datavalue":{"value":{"entity-type":"item","numeric-id":161372,"id":"Q161372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077004$FE15CB39-CF9A-4643-B868-48FDE40C3EDE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1077004$1620DA41-3056-4610-AC93-7E95407C85BC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"40b61d9787c60ea2d5beb7d333f54514f2b6f0a1","datavalue":{"value":"This paper is related to the authors' other papers [ibid. 13, 239-253 (1982; Zbl 0481.55007); 22, 297-299 (1986; Zbl 0594.55008)]. A map f: (X,x)\\(\\to (Y,y)\\) of connected CW-complexes is called a pre-homotopy equivalence if the induced map \\(f_{\\#}: [K,X]\\to [K,Y]\\) is a bijection for every finite complex K where [K,X] denotes the set of homotopy classes of maps where the base points are not necessarily held fixed during homotopy. This paper studies the question whether a pre-homotopy equivalence is a homotopy equivalence. Although the answer to this question, in general, is known to be ''no'', an example is given, an affirmative answer is conjectured when Y is homotopy equivalent to a finite dimensional complex.    The following results supporting this conjecture are proved: A pre- homotopy equivalence f: (X,x)\\(\\to (Y,y)\\) is a homotopy equivalence provided (A) or (B) given below are satisfied. (A) Y has finite dimension n and the n-th integral homology group of the universal cover of Y is nonvanishing. (B) The fundamental group of Y is free. Moreover, a necessary and sufficient condition for f, as above, to be a homotopy equivalence is given and it is shown that this condition involves the fundamental group of Y and comes fairly close to being satisfied when Y is finite dimensional.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077004$6BCE0182-0D8B-4AFB-BED4-9C433B16518B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c20816b15de71eb2afe3565caf954727a3a64001","datavalue":{"value":"55P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077004$D5663160-5B94-416C-8448-B2C764EF926A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5f5206f46c6ca666840f8b4128198bef996fcacb","datavalue":{"value":"57M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077004$911C0B10-11FD-41B7-AA82-D61D45CA1528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e478659c80ac196196a2283c8b16b79c8d8cd8d5","datavalue":{"value":"20E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077004$564EC2E7-CA7E-44EA-96BF-0B2464284DDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"00c103224d34af523e7fce2ff3e40dd19709f84f","datavalue":{"value":"20F36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077004$F7534156-D1F2-41D2-AC63-545A198CE661","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9161fd52a8eea0169c49fb21ba7cbcbdd94029a7","datavalue":{"value":"3955979","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077004$052E4A40-CDD3-4F1B-95E3-B313C0C3EF77","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81654418b97aa166ecaf5cbdc07eefddc48e48de","datavalue":{"value":"pre-homotopy equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077004$6A236EF9-3D02-4601-B978-1ABA01ABB95E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6a8fedb6561249aab10a68b98ebf8017de465d4","datavalue":{"value":"homotopy equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077004$85C1DF2B-480F-45CD-BB76-7E838827F5ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ade4b0d0066d54d9a4bb16ac9aaff22ac4f1392f","datavalue":{"value":"finite dimensional complex","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077004$6A3F69F7-2C46-4027-808C-90F6F9F2FAA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57fa264612b481a6dd7374de0990eb1a3e783658","datavalue":{"value":"integral homology group of the universal cover","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077004$1535BA7B-7B31-472F-B408-A1AF8B67829A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d5efc89aa83edfc12cab2db94178013b9c5bdd1","datavalue":{"value":"fundamental group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077004$F142FE69-41B4-44D2-803D-6D181FDCF022","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a15ce6d8c3e840384874d4cbe328f621e216dc52","datavalue":{"value":{"entity-type":"item","numeric-id":251378,"id":"Q251378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077004$3F1D1194-A6C5-4937-A9C6-123FE86D619E","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":"Q1077004$D82B6526-3ED4-478F-8C99-87338758BA08","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"224f88d4699e4accabd3e69b3c09f2d4e9465abc","datavalue":{"value":"https://doi.org/10.1016/0166-8641(86)90027-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1077004$620EE9F6-486A-404B-9737-23F10A589FD5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"543ba5d9ef401fe535e6fa65ab024affbc5dbc96","datavalue":{"value":"W2061845924","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077004$D3F1C626-A102-4E71-A0FB-3A4DE4115714","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e24c5805f99eb65f299cf4efe8eaf2c0213cfd3d","datavalue":{"value":{"entity-type":"item","numeric-id":1162288,"id":"Q1162288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077004$0B995E7F-0339-49EE-9F72-450B584216EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46e9642ccd6bb3bf2cb7c01febbd6f6b46e0a8c9","datavalue":{"value":{"entity-type":"item","numeric-id":1077006,"id":"Q1077006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077004$3C5645FA-506D-40FF-89EE-B51EC64B1F3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f25c29ed47b66d511e5533aec68c16f36bcf1cd","datavalue":{"value":{"entity-type":"item","numeric-id":5599551,"id":"Q5599551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077004$F85021F6-2F49-4D01-82B8-34D5462C3B1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82d3cbffed8a301b84b1253490d8c6b17bf2e322","datavalue":{"value":{"entity-type":"item","numeric-id":4145882,"id":"Q4145882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077004$9E8EF37A-F560-421B-82B1-CC4661B3FB7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9da56556e9cc9370f643332bf91e23a6a74c82e","datavalue":{"value":{"entity-type":"item","numeric-id":3856928,"id":"Q3856928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077004$B3F3351B-74BE-4F78-A5C8-E50C8EB74B56","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1791fbb2072d98bd04f0468e77470931181ad70","datavalue":{"value":{"entity-type":"item","numeric-id":1077006,"id":"Q1077006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36df9da9a5b567aa102e927a034022c4fa2c8f42","datavalue":{"value":{"amount":"+0.7307459712028503","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":"Q1077004$6E207FD6-FBA5-4890-AA0B-3586AF08B594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"640d650721cb081da017c302d3a025167d4f0a09","datavalue":{"value":{"entity-type":"item","numeric-id":5966433,"id":"Q5966433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88807fa8eae9b4500f279d273afaa4af0ab04aa6","datavalue":{"value":{"amount":"+0.7268347144126892","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":"Q1077004$3F38F368-52AE-4700-AE75-A10B7895E71C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"502bf963cd158ec4ec44a6ef59912a1c9b771688","datavalue":{"value":{"entity-type":"item","numeric-id":2266259,"id":"Q2266259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7028be4468908dce11ca8f0314f87f7b7c7ce5bb","datavalue":{"value":{"amount":"+0.7100450992584229","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":"Q1077004$7C178FA3-A7D4-4B76-8E4F-8EE6765F87C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c889d8d66d82cfea6c955939f9e63a32a36d4200","datavalue":{"value":{"entity-type":"item","numeric-id":1181424,"id":"Q1181424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b27659ea7f8c8d0ee74f543d93c9a2252e8ddb65","datavalue":{"value":{"amount":"+0.7099558711051941","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":"Q1077004$05912AF4-D8D7-4895-BB0D-C33668B93004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccabbac54f94c3ab96b17595e83ad01ab9caac97","datavalue":{"value":{"entity-type":"item","numeric-id":5644789,"id":"Q5644789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89ee65b879a7926a886625779527358e97a1bb29","datavalue":{"value":{"amount":"+0.7098993062973022","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":"Q1077004$6D9A9D28-22A6-4698-A1D6-EAFE703C2353","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Detecting homotopy equivalences in base-point-free homotopy","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Detecting_homotopy_equivalences_in_base-point-free_homotopy"}}}}}