{"entities":{"Q2215633":{"pageid":2226376,"ns":120,"title":"Item:Q2215633","lastrevid":57790416,"modified":"2026-04-02T13:18:54Z","type":"item","id":"Q2215633","labels":{"en":{"language":"en","value":"Directed diagrammatic reducibility"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7285174"}},"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":"Q2215633$1DA7DB1C-42F3-4E08-9B39-6488D650DCE8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bca0c2687e20a89e9ee3b440dc37ac07fb498887","datavalue":{"value":{"text":"Directed diagrammatic reducibility","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2215633$62B4CC88-4C42-4FF5-86B5-D63E1D0C3703","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7918efdc32d6a74c2abb6b9922dabf66cf1ebebc","datavalue":{"value":"1469.57016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2215633$F87A268B-5506-4FA3-9510-5BF77D15D0E3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5a5e7972a2256be653c53897da43e6f4ef75ca8","datavalue":{"value":{"entity-type":"item","numeric-id":590906,"id":"Q590906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215633$3708D562-4C30-4E91-A456-404329A1D4D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"92b49488bea2a2c816477d47323093d2728885b6","datavalue":{"value":{"entity-type":"item","numeric-id":719062,"id":"Q719062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215633$D38107C9-7AA1-41E0-9B60-F8CD113E4EBC","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":"Q2215633$BFB6262B-AF57-47E1-A3E6-67517A04A3EF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c20a4c36a7fcb7496648edd7b1f2c80441e1493b","datavalue":{"value":{"time":"+2020-12-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2215633$C82E2882-0E58-4DC8-8630-4DCD2C434540","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b86ce4cb50ac351fbb8b2a3eac4c0341da3909bd","datavalue":{"value":"https://arxiv.org/abs/1903.04653","type":"string"},"datatype":"url"},"type":"statement","id":"Q2215633$241007FC-5B38-4C8A-9999-645529845FA0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"01f8b8f4c556d4442f11436ca2fd2821e38b1927","datavalue":{"value":"For context, we first review the main definition of interest in the paper.  It is simple to reduce a word in a free group by cancelling adjacent generators with opposite sign. Thinking of the free group as a labeled graph (\\(1\\)-complex), we see that any trivial word (loop of edges labeled via a map into the free group) must have some edge adjacent to an edge with opposite label. If any word has this property, then actually the graph is a tree, and the group is trivial.  The situation is more complicated when we consider the question of when \\(\\pi_2(K)=0\\) for a \\(2\\)-complex \\(K\\). A combinatorial condition implying \\(\\pi_2(K)=0\\) is diagrammatic reducibility: the requirement that any combinatorial map of a \\(2\\)-sphere into \\(K\\) has some edge at which the two incident \\(2\\)-cells map to the same \\(2\\)-cell in \\(K\\) with opposite orientation (a ``folding edge'').  Directed diagrammatic reducibility is a relative version of diagrammatic reducibility, most easily stated when the \\(K\\) is a presentation complex of a group. If \\(S\\) is a subset of generators in a presentation \\(P\\), and \\(P_S\\) is the sub-presentation, and \\(K(P), K(P_S)\\) the associated two-complexes, then \\(P\\) is diagrammatically reducible directed away from \\(S\\) if every spherical diagram over \\(K(P)\\) that is not a diagram over \\(K(P_S)\\) contains a folding edge with a label in the complement of \\(S\\). In other words, any spherical diagram which maps ``outside'' of \\(K(P_S)\\) can be reduced.  This paper develops the theory of directed diagrammatic reducibility and places it in the context of similar notions such as diagrammatic reducibility of relative presentations. Also, some applications are given, such as to small-cancellation groups. It should be of interest to anyone working in combinatorial group theory or related fields, as the discussion and arguments are accessible and motivated.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2215633$351C4D3E-E4EA-4F1F-9A7C-28979027DB24","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ac857f8c215b2928eddf4039b8949f8b795d5af5","datavalue":{"value":{"entity-type":"item","numeric-id":351711,"id":"Q351711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215633$88E2BD77-B842-41AE-BFD0-D6BD76BAED34","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4f46eaa8986bc0e421c797402e0b7f26c57ee07b","datavalue":{"value":"57K20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2215633$F70F0111-BEFB-4734-A97D-15D2D6E8DDA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5f5206f46c6ca666840f8b4128198bef996fcacb","datavalue":{"value":"57M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2215633$5F45DADC-C4FB-447F-94D6-B55002AD7749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85721e41fd9cd62748521a1a3e2d4a9ff2acb1e3","datavalue":{"value":"20F06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2215633$41FD74ED-664D-4F1D-B4A0-2B335F379103","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a356cc96084bdc8aa09c06dd8246444e4a27129c","datavalue":{"value":"7285174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2215633$EA3C0967-4CA4-4248-9480-B464D96ED913","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fc1094c6a76c07f54533acd8dce5e216f63d5c7","datavalue":{"value":"diagrammatic reducibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q2215633$CE033134-BFE7-4A2E-8D93-F3918D555F1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89268b0990078c4be17789f532f50b120a904a4c","datavalue":{"value":"asphericity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2215633$49725980-A3EA-4D1E-958A-3F0653AFE81F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16d49b797997c50976129e7321f65250f7962c61","datavalue":{"value":"2-complex","type":"string"},"datatype":"string"},"type":"statement","id":"Q2215633$9C59D786-EFD3-42B1-A859-D975A680B9DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3a4905901bea837a6c502152c86283448d18ba0","datavalue":{"value":"group-presentation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2215633$25F5DC45-882E-41BB-AE11-24CBA87FB7B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f0c758a03b9f6239bf168a6471f5cb243ef99f1","datavalue":{"value":"weight test","type":"string"},"datatype":"string"},"type":"statement","id":"Q2215633$53EE2EEF-A523-4D5A-B405-F30F3430538C","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":"Q2215633$0A880C11-E9D1-44DD-BA6C-0061918EDB7A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a5e20bad77e0622221d5f15cac10cbe88273eb84","datavalue":{"value":"W3036486735","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2215633$01F713AB-25D0-415E-A806-BAF76F27B3DC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb65dbc17da2cc2b8090201db9e4f2b40231d597","datavalue":{"value":{"entity-type":"item","numeric-id":5221046,"id":"Q5221046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215633$E3303FC9-D826-4F01-B0A7-1865943DC92C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"694ec82c93af7fd0ab202ed604bf7582c81edf31","datavalue":{"value":{"entity-type":"item","numeric-id":4008213,"id":"Q4008213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215633$8EDADBA6-9D1B-43DF-9E3B-44243C94338C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc00c05b67ba4b7e6b3c093d417e6990a877a141","datavalue":{"value":{"entity-type":"item","numeric-id":1067002,"id":"Q1067002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215633$EE923550-4608-4872-9F51-CB914FF59185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e60acb85918d65dff794c72a6946c044ebcc0df","datavalue":{"value":{"entity-type":"item","numeric-id":5655503,"id":"Q5655503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215633$1A4B94FB-B61B-49C1-87CC-0C69A0E484D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e3ac5deb056f07daf7ecc86461f534acc5419b0","datavalue":{"value":{"entity-type":"item","numeric-id":4515423,"id":"Q4515423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215633$1506E68F-C4EE-4B65-8663-283762339E01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f41a888e6ab4dccaf823c741dfe77f74d3cab6be","datavalue":{"value":{"entity-type":"item","numeric-id":3786636,"id":"Q3786636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215633$C1339D3B-7B75-4C33-83DA-7B8DB5E58BB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5b2a798ac3e972b0645effc4be5b114c35c5219","datavalue":{"value":{"entity-type":"item","numeric-id":2412531,"id":"Q2412531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215633$37B93A90-9D0F-4AC4-ADFB-387D55C13081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"803137cda07ad3cc9f423b9b17d38193164a0d09","datavalue":{"value":{"entity-type":"item","numeric-id":3689888,"id":"Q3689888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215633$F259D903-6508-4143-B5C3-9C864548B38C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dd127760978c0d09c81af109b6db47d90a9d2e5","datavalue":{"value":{"entity-type":"item","numeric-id":1595462,"id":"Q1595462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215633$BB7E5410-2B65-480D-8CF8-25BE74313B1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a59a66cc9a53352f9153f7c0fff49000808fd01","datavalue":{"value":{"entity-type":"item","numeric-id":2747921,"id":"Q2747921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215633$F195EBF2-D0C1-4547-88FD-4FB2382F2BED","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":"Q2215633$464696E1-2C87-4BBC-9B97-109157981B57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ef1271fca34dd303af1b28a910bbc8bfbb7a3b4","datavalue":{"value":{"entity-type":"item","numeric-id":5114717,"id":"Q5114717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215633$DF7F1716-5F4C-4B98-869D-5EA63CA83880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d414bc206ddfd00c95c492855d44d2d2f27e5235","datavalue":{"value":{"entity-type":"item","numeric-id":4306450,"id":"Q4306450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215633$C9294A03-2ACA-450A-B7B2-FAEECDB0FBF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"274e6eb0c288bb54f94807bfd1d31aa6a00ecbbb","datavalue":{"value":{"entity-type":"item","numeric-id":3672725,"id":"Q3672725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215633$D1F91152-6A96-4C13-ABF0-CDEB5B7914ED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"45be035b6427d6dd9de43804a512f8c556d4e19b","datavalue":{"value":"10.1016/J.TOPOL.2020.107307","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2215633$E878A2CD-7DF6-437D-90E1-EDB09CD54858","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"211c32356ba0dc124d138cc2d6d2f105fd6af413","datavalue":{"value":{"entity-type":"item","numeric-id":5003435,"id":"Q5003435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac31a62fae24949a5146992842599526c0c3b498","datavalue":{"value":{"amount":"+0.7702788710594177","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":"Q2215633$23FF6849-6566-4CF1-8D3C-64F9C8296A90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0392be7fca3a660d22761346060772012944efa5","datavalue":{"value":{"entity-type":"item","numeric-id":3786635,"id":"Q3786635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c78bbffd6d29f107518270e4c3b8ae2381ca8de0","datavalue":{"value":{"amount":"+0.7638745307922363","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":"Q2215633$6B249420-4DC7-4D71-8809-7F19347D5117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3501ed41ceaaff021698436579e34fea3bfff15b","datavalue":{"value":{"entity-type":"item","numeric-id":5221046,"id":"Q5221046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e217cc3cb7c22b7815c3c680049fa861a03fa42","datavalue":{"value":{"amount":"+0.7593759298324585","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":"Q2215633$390FF2DA-8B6E-4956-830F-4D3B3A0A2FB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56f8f0f3e3eb9b76888dc531dfe29b7eb820f8c7","datavalue":{"value":{"entity-type":"item","numeric-id":1204290,"id":"Q1204290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3a243bf78d93c94c25d315eb317e326cda65589","datavalue":{"value":{"amount":"+0.7538004517555237","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":"Q2215633$A79763A0-9014-4DD3-9EBB-76933173E2C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4d34b6a6b3a8cfbce5da75dbd495ac73ef78ad3","datavalue":{"value":{"entity-type":"item","numeric-id":2885408,"id":"Q2885408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8253c889b17d9e10b02087d87cb5637ea66f69f2","datavalue":{"value":{"amount":"+0.7537713646888733","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":"Q2215633$A37C3A17-4FA4-4C84-BF49-BE2BD24CCEE2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2215633","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2215633"}}}}}