{"entities":{"Q2098100":{"pageid":2108843,"ns":120,"title":"Item:Q2098100","lastrevid":54445379,"modified":"2026-01-26T20:13:56Z","type":"item","id":"Q2098100","labels":{"en":{"language":"en","value":"Digital fundamental groups and edge groups of clique complexes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7619348"}},"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":"Q2098100$724F8FC5-8F7D-446B-BA4E-609CE6F5AAE4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"75ea5ded37ae49f1287693fb5ac06907c4ada2ed","datavalue":{"value":{"text":"Digital fundamental groups and edge groups of clique complexes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2098100$6795D815-0CF2-4EE6-8100-1B91463D4CDF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0b3c1b7fd68621bb310ee4338fa7ba4bd6cc559","datavalue":{"value":{"entity-type":"item","numeric-id":360563,"id":"Q360563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2098100$26C03D05-CE96-481C-8183-AA3F9521663E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fa8ab287db6b9507acbd35975c7c57f8a3c92b0","datavalue":{"value":{"entity-type":"item","numeric-id":422104,"id":"Q422104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2098100$0B9B5588-4CE2-495E-A18F-4104B80194B4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"beb416faced81cecea274fa4bf7248d0a36a68d7","datavalue":{"value":{"entity-type":"item","numeric-id":141942,"id":"Q141942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2098100$D7EDA50E-B971-42B7-B0B9-D4D224ADC008","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bbd7a4f9b483e0e9b01f79a913d4946a9bd0bf2b","datavalue":{"value":{"time":"+2022-11-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2098100$AD807159-23E6-4AC9-80A4-FBE2CC725C3A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b14713a710d7859cd6c4a2ad12c02c8f83404871","datavalue":{"value":"https://arxiv.org/abs/1910.08189","type":"string"},"datatype":"url"},"type":"statement","id":"Q2098100$FF537F82-EA21-4BE7-BFA3-3A5C3F63191B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4aece0b36e942ed090dfcc5fe6ba7c4ea4c06aab","datavalue":{"value":"The authors study the ``digital fundamental group'', continuing a new approach begun in [\\textit{G. Lupton} et al., J. Appl. Comput. Topol. 5, No. 2, 249--311 (2021; Zbl 1481.55008)]. In this theory, a digital image \\(X\\) is a subset of the integer lattice \\(\\mathbb Z^n\\), where points are viewed as adjacent when their coordinates differ by at most 1 in each position. (In contrast with other adjacencies often considered in the digital topology literature, this paper assumes all possible diagonal adjacencies.)  In [loc. cit.] a digital fundamental group was defined, following basic ideas from [\\textit{L. Boxer}, J. Math. Imaging Vis. 10, No. 1, 51--62 (1999; Zbl 0946.68151)], but changing the homotopy relation in a subtle and important way. This fundamental group enjoys several nice properties related to digital subdivision.  In the present paper the authors relate their digital fundamental group to the ``edge group'' of an abstract simplicial complex. The edge group is a sort of combinatorial fundamental group, defined so that the edge group of an abstract complex \\(K\\) is isomorphic to the classical fundamental group of the geometric realization \\(|K|\\).  The authors prove that, for a digital image \\(X\\), the digital fundamental group \\(\\pi_1(X)\\) is isomorphic to the edge group \\(E(Cl(X))\\), where \\(Cl(X)\\) is the clique complex of \\(X\\) viewed as a graph. This isomorphism allows for facts about the classical fundamental group to be leveraged essentially as-is in the setting of digital images. In particular the authors prove a digital Seifert-van Kampen theorem which allows for computation of many examples.  Their digital Seifert-van Kampen theorem takes the following form: when \\(U\\) and \\(V\\) are digital images with disconnected complements and \\(U\\cap V\\) a single point, then \\(\\pi_1(U\\cup V)\\) is the free product \\(\\pi_1(U) * \\pi_1(V)\\). When \\(U \\cap V\\) is not a single point, then \\(\\pi_1(U\\cup V)\\) is expressed as a certain quotient of this free product. This theorem is used to obtain the very nice result that the digital fundamental group for any \\(X\\subset \\mathbb Z^2\\) is a free group. It is not known what types of fundamental groups can appear for digital images in \\(\\mathbb Z^3\\)  As an interesting sidebar, the authors show that any simple graph \\(G\\) can be realized as a digital image in \\(\\mathbb Z^n\\), where \\(n\\) is the number of vertices of \\(G\\). This allows for any graph to be considered as a digital image, without concern for whether or not it can be embedded into the integer lattice with diagonal adjacencies.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2098100$75955A7D-B918-4245-81C3-424DD1A17B57","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"0673f530437c0c5a6a494df9254b8a073ef971fa","datavalue":{"value":{"entity-type":"item","numeric-id":294405,"id":"Q294405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2098100$A4FB7B22-EFB1-46A4-87F8-F3E8000386D3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"be8077c87150f4def8d44e6ddf15a23c11bc6a76","datavalue":{"value":"55Q99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2098100$EB7C37BE-F441-4F9E-A4FE-53A48FEA08EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5f5206f46c6ca666840f8b4128198bef996fcacb","datavalue":{"value":"57M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2098100$787ED368-EBC9-4777-A853-A3F3731FCEB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab7a0d2add14e0dbd91ec8ae1d32a5bb94f2fb34","datavalue":{"value":"68U10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2098100$45D86BB4-D883-436A-B3B3-07125E94DC73","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"488641089755d9d4d8cc2aa09ba7c8c75e8765c4","datavalue":{"value":"7619348","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2098100$570F9DDA-4062-4358-B822-545BFE82C561","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"217bad226d1a62b3b56660c5f2fc0daba29b0eac","datavalue":{"value":"digital topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q2098100$AB31CEB3-2897-4339-9501-E882FF390D60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2abb1b2dfb8967bf3aa8a1b7494d6eff4c8b2f1f","datavalue":{"value":"homotopy theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2098100$2A41EC04-1BB2-4A34-9A0B-CA723BD93DDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d5efc89aa83edfc12cab2db94178013b9c5bdd1","datavalue":{"value":"fundamental group","type":"string"},"datatype":"string"},"type":"statement","id":"Q2098100$54003E45-529D-4FDD-84CD-2B54C08DA26A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"6ecb88adee34ec4c397a7312ec33d6095877aad3","datavalue":{"value":"Q114217566","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2098100$29A2B4DB-96B7-4D88-ABDE-66126651D3A6","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":"Q2098100$340910B7-7ACC-484A-8EEE-18DC2B7587FC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7bc0b7a765717f3d57bd182d6d2e897f4f67cf1b","datavalue":{"value":"W2980812312","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2098100$6D5435B8-46F7-4D3B-97C5-D49BF0A44863","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"122a81f929bb91e45b5fecff389ffd0204fc7aa6","datavalue":{"value":{"entity-type":"item","numeric-id":1861544,"id":"Q1861544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2098100$0ADF61C6-FE8A-46F8-BDDC-5B19B3688282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df2f4f551084d81e6e4a0447044e071da8e20a3b","datavalue":{"value":{"entity-type":"item","numeric-id":1300073,"id":"Q1300073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2098100$D25555E9-732E-4115-9032-B21172056919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5ca16da50244fa4478a73de2f1ad75aa2890f37","datavalue":{"value":{"entity-type":"item","numeric-id":2573017,"id":"Q2573017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2098100$C1D9C931-F09B-49A1-B3A5-A260124DA1E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c111e007bbfdab28ab6d34011345f21e562ca5ef","datavalue":{"value":{"entity-type":"item","numeric-id":851831,"id":"Q851831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2098100$3A0DB811-B9E1-4D99-AA1D-208334A73605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9b774615b5c5625e5920ceac7fb63d5f7f0fe5f","datavalue":{"value":{"entity-type":"item","numeric-id":3975035,"id":"Q3975035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2098100$0D22D2A0-4307-4E76-9B5A-7156262F214B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d65d522b9e8e4938ecb60b51ac981f64bee4053","datavalue":{"value":{"entity-type":"item","numeric-id":2240095,"id":"Q2240095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2098100$FAE28BAA-1F96-4B3F-B983-423BCB4EF216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"343bc88730efdea3a68e35cd12c1d95a4434c8bd","datavalue":{"value":{"entity-type":"item","numeric-id":2066304,"id":"Q2066304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2098100$F5A36C87-0C66-4795-B3B5-CCE65E662EAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7e431ca44a00918727e0c980904d19c7a93c1c9","datavalue":{"value":{"entity-type":"item","numeric-id":2118215,"id":"Q2118215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2098100$AC596D00-FAAA-4785-90DF-FC208F92866D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70dfa19bef54e7366b1fb7c01be7c7185d4b23be","datavalue":{"value":{"entity-type":"item","numeric-id":4134589,"id":"Q4134589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2098100$379D753A-2F19-4DE0-84B3-BA50DC0869EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0273e40668d4e5df8e76dd6aef8baf76be7f9223","datavalue":{"value":{"entity-type":"item","numeric-id":3999514,"id":"Q3999514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2098100$0B24A1DC-2D6B-4990-B1C2-3C3E9B79A3D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7e9ddf98deef50197dff2a2397f60ea88d6580d","datavalue":{"value":{"entity-type":"item","numeric-id":454847,"id":"Q454847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2098100$2B621F31-6A33-4B58-B5A8-8E52370BA64E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8f740d758629b7ea8ae31f4eeaf06a6a3bfb5cd","datavalue":{"value":{"entity-type":"item","numeric-id":3771679,"id":"Q3771679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2098100$396FADCC-D6DB-44C7-BB73-C4BB68B3BBF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dd264c5dfd5c649381e4cc5b4c1e202d0f51399","datavalue":{"value":{"entity-type":"item","numeric-id":4317890,"id":"Q4317890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2098100$36F9842A-BB84-47C5-82E3-BF56B8162F84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9939c6448ce6e94fe56d3e759a11485ec2c8fc6a","datavalue":{"value":{"entity-type":"item","numeric-id":1073397,"id":"Q1073397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2098100$7C55065E-0AF0-48B3-B7AB-02A3FD5561FC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"77b224bbd3d0995323073daf8f4b31774977401e","datavalue":{"value":"10.1007/S41468-022-00095-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2098100$E88FD174-8ED4-4556-9C2C-0647A7679C2D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"602d176de0cf845ed2bd3a739e9e56369354d33d","datavalue":{"value":{"entity-type":"item","numeric-id":2240095,"id":"Q2240095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dbcc1bb58b63b7ca6f278cfff359e8289562001","datavalue":{"value":{"amount":"+0.8444000482559204","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":"Q2098100$83B5B642-776C-4EA3-8C8C-3CA90864FF60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8176ca4ca2b59c70ed153a780a9ec21c74ee66b7","datavalue":{"value":{"entity-type":"item","numeric-id":1300073,"id":"Q1300073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ff7c1a6bd64df6b6771fc7d5115b17712c586d8","datavalue":{"value":{"amount":"+0.8439558148384094","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":"Q2098100$2A889D71-8933-493E-8C6E-FBF27C049387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87299d3116fcbbb3bd4247a70ee590d04ddc9e2a","datavalue":{"value":{"entity-type":"item","numeric-id":4917092,"id":"Q4917092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8ec6a222f7092af123348d8213ac372fec92af1","datavalue":{"value":{"amount":"+0.8416661620140076","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":"Q2098100$DFA63626-ABBB-44A8-B958-8BFAB704C9E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0babd93bd1772659c82262331689cb63a5e3302","datavalue":{"value":{"entity-type":"item","numeric-id":3393893,"id":"Q3393893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a780939a0c08811c66e370afebf035ccd3794c33","datavalue":{"value":{"amount":"+0.8373397588729858","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":"Q2098100$E1F12C3D-C7A9-49BA-B808-90577DB801EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56094ee18d8e3e3dd31442406b4d73a2f774c52b","datavalue":{"value":{"entity-type":"item","numeric-id":1861544,"id":"Q1861544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"449b0f6bc9f3aa9671356e34e766331ba84458db","datavalue":{"value":{"amount":"+0.8171977996826172","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":"Q2098100$BA5F8D7D-9279-4AB1-87B9-1C2B6DD36FDA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2098100","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2098100"}}}}}