{"entities":{"Q953103":{"pageid":954951,"ns":120,"title":"Item:Q953103","lastrevid":65598420,"modified":"2026-04-12T03:41:28Z","type":"item","id":"Q953103","labels":{"en":{"language":"en","value":"A presentation for the automorphisms of the 3-sphere that preserve a genus two Heegaard splitting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5366346"}},"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":"Q953103$70409CBC-30CC-4AEC-A4F6-30925C180853","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"013012253a58c338c2b3fcf23e25b21351d7c0b8","datavalue":{"value":{"text":"A presentation for the automorphisms of the 3-sphere that preserve a genus two Heegaard splitting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q953103$5D131BE1-53D2-4422-BAA6-231E13B4E74D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8ce599560ed71476bb4975a6d26bfa5ff879165e","datavalue":{"value":"1157.57002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q953103$171F4C37-D421-4697-88C2-D425CB8740E7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9859878857b5eccdba20f1ab0950bf823e5b1be","datavalue":{"value":{"entity-type":"item","numeric-id":953102,"id":"Q953102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953103$9DC7C718-0A68-4597-9620-01C027F00CEB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"edf18db5439a683e98eaf3205ba65f05cfd68a4d","datavalue":{"value":{"entity-type":"item","numeric-id":161301,"id":"Q161301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953103$254CFE39-E8AF-4C20-82C2-F82E3229027C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0df28e4c63490c0dc31164052eefead9dddc9d4e","datavalue":{"value":{"time":"+2008-11-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":"Q953103$ECB4B40B-E66A-45AE-9242-414D41232225","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"adffb51c35146f2c0b5a5fe8e134573cc0de76a3","datavalue":{"value":"https://arxiv.org/abs/math/0504519","type":"string"},"datatype":"url"},"type":"statement","id":"Q953103$3708CAA2-FCD9-46BD-93FD-E68658150D10","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b2360e63b304068a4d9937ae4a5bc9cdbe6b37fb","datavalue":{"value":"Let \\({\\mathcal H}_2\\) be the group of isotopy classes of orientation-preserving homeomorphisms of \\(S^3\\) that preserve the isotopy class of an unknotted handlebody of genus \\(2\\). By a theorem of Goeritz (1933) it is known that \\({\\mathcal H}_2\\) is finitely-generated. That fact was subsequently proved again by \\textit{M. Scharlemann} [Topology Appl. 156, No.~2, 165--185 (2004; Zbl 1095.57017)], whose approach involved constructing a connected simplicial \\(2\\)-complex \\(\\Gamma\\) on which \\({\\mathcal H}_2\\) acts, and which deformation retracts onto a graph \\(\\tilde{\\Gamma}\\). In this paper, the author uses Bass-Serre theory to show that the graph \\(\\tilde{\\Gamma}\\) is a tree, in which shortest paths can be calculated algorithmically. As a consequence, the following finite presentation for \\({\\mathcal H}_2\\) is obtained:   \\({\\mathcal H}_2 \\cong \\langle\\, A,B,C,D \\;| \\;A^2 = C^2 = D^3 = (AC)^2 = [A,B] = [A,D] = 1, \\, [B,C] = A, \\, [D,C] = D \\, \\rangle\\). Accordingly, \\({\\mathcal H}_2\\) is a free product of \\(\\langle B,A,C \\rangle \\cong (\\mathbb{Z} \\oplus \\mathbb{Z}_2) \\rtimes \\mathbb{Z}_2\\) and   \\(\\langle D,C,A \\rangle \\cong (\\mathbb{Z}_3 \\rtimes \\mathbb{Z}_2) \\oplus \\mathbb{Z}_2\\) with a Klein 4-subgroup \\(\\langle A,C \\rangle \\cong\\mathbb{Z}_2 \\oplus \\mathbb{Z}_2\\) amalgamated.","type":"string"},"datatype":"string"},"type":"statement","id":"Q953103$3E0762B3-A8D4-42F9-887C-40F58177749A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5f5206f46c6ca666840f8b4128198bef996fcacb","datavalue":{"value":"57M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q953103$2C811DD0-E28A-4A87-B84C-F0EA5625ABF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q953103$A0119ABD-E4F4-40F7-944A-BF71983B04FE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"973543696d41acad8857860607dd90738b61b769","datavalue":{"value":"5366346","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q953103$83895158-FB1F-4478-9CA0-512A1400C02D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fad9a30c88e316ea6998a41a3cdbd03779f2babd","datavalue":{"value":"Heegaard","type":"string"},"datatype":"string"},"type":"statement","id":"Q953103$E3A1033D-1BC2-46BF-B4D7-6A0487E79AA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4960a21bb7c4303759b244de936bc9fb7fe9dc98","datavalue":{"value":"genus two handlebody","type":"string"},"datatype":"string"},"type":"statement","id":"Q953103$FE089704-5E84-4CFB-BD3B-75FDC2212137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2466c2fcc3e8514a095d05e9647e8cdcb5b08f31","datavalue":{"value":"three-sphere","type":"string"},"datatype":"string"},"type":"statement","id":"Q953103$8323A3A6-FFD3-45AB-9E85-DB7B33E233A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e986f205a53c956ce83852b88693f1f1cb56e42c","datavalue":{"value":"presentation","type":"string"},"datatype":"string"},"type":"statement","id":"Q953103$C72A7DFE-C8A8-4FB5-BDA4-CA775EE95BAF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6d6b76269381eb36ae963a274216cd196b9162a1","datavalue":{"value":{"entity-type":"item","numeric-id":249576,"id":"Q249576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953103$144C03AC-ACD7-4A06-BC04-059A7618F7FA","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":"Q953103$73D4F1CE-8460-49D9-864E-07FE18E6DC74","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b93f009d5bfcbd77e4c0d1b4f39fffe92218f429","datavalue":{"value":"W2111915531","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q953103$0057A7A1-2281-457F-9DB9-F3143376D425","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b5f0fbd83b7aacdfc42459e313c4ad42f8a12083","datavalue":{"value":"10.2140/PJM.2008.236.201","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q953103$4264F14E-F2DB-4D94-8047-E4E495E91C00","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"091ee9575ecccd8fe6a1f5511d0d917c3b5e65bf","datavalue":{"value":{"entity-type":"item","numeric-id":5438486,"id":"Q5438486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e907a6a0932f5e15a8fac4e8ffb6ff6e576405c","datavalue":{"value":{"amount":"+0.8557874","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q953103$CEE8C203-20D8-4570-9463-43CCED296C20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efa2b81128f40d1b5aecd91c302019e0fa256727","datavalue":{"value":{"entity-type":"item","numeric-id":3314587,"id":"Q3314587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d6940a582686e4574f1b1de29d72c0a808dc601","datavalue":{"value":{"amount":"+0.7628052","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q953103$E3A5D17C-7EEC-4D97-B685-64480F9883C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e650f3b182070a9eeda3bb26182b6a4bdbd54e4f","datavalue":{"value":{"entity-type":"item","numeric-id":5360323,"id":"Q5360323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbc0319550fd85b4ca85da4f9d4287efbfc579a6","datavalue":{"value":{"amount":"+0.7587421","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q953103$40A32D37-9CEC-4F37-957C-DDD7FF5A650F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8275ba75249ba48b069a74bb3bbc6d32aa3a4a9c","datavalue":{"value":{"entity-type":"item","numeric-id":4248087,"id":"Q4248087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90347c1e68f1d4f00a9d1eeb4bae338737315340","datavalue":{"value":{"amount":"+0.7545837","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q953103$088067C0-DDD3-4E33-B01D-BB7A466EFB17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edad0e6454c78e34f5d9b7f6e32c58b454d9f486","datavalue":{"value":{"entity-type":"item","numeric-id":4703062,"id":"Q4703062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ebc799a6b43db5880036c7b27709de10a8b186d","datavalue":{"value":{"amount":"+0.74758255","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q953103$82A260B5-9ECD-4D55-AF94-DBE986C9C4E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fb3c3ac0c11429346f509899d5ad62f8a320602","datavalue":{"value":{"entity-type":"item","numeric-id":2867801,"id":"Q2867801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80aa4e097242dd74ad1c79daf707d424863a8c10","datavalue":{"value":{"amount":"+0.739513","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q953103$98DDAC3B-76DA-4E90-AEDF-C7338674487E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dc57843c228b7840b4ffb9b0f1b5c984aff99ee","datavalue":{"value":{"entity-type":"item","numeric-id":536050,"id":"Q536050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8dd4c38c83a54cddd64b670a5639ce23f457190","datavalue":{"value":{"amount":"+0.7294312","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q953103$363D9A86-D233-4DEF-9A3A-1069F9AF8765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5752f258d4932d92ca87bcb100eccd57362f5045","datavalue":{"value":{"entity-type":"item","numeric-id":2493425,"id":"Q2493425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"042b4d10a230966ed063cd4579b01a1f8abc5a59","datavalue":{"value":{"amount":"+0.7262569","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q953103$B7077154-2A87-4913-91E2-EFF3C9A1F699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99e6859677056bedca13b58fb89864fe11eba349","datavalue":{"value":{"entity-type":"item","numeric-id":2474467,"id":"Q2474467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc84bcd766096a2ab5b2e3e757a86888d18481c1","datavalue":{"value":{"amount":"+0.7260101","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q953103$7B8BE941-4D7B-4AFB-9869-A3D1E9F07C7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62100c75df4e4c0deb3ade3794223756ee30cc0d","datavalue":{"value":{"entity-type":"item","numeric-id":1953072,"id":"Q1953072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42734fdb0bd10301874f6f8847ce7fa9931385bf","datavalue":{"value":{"amount":"+0.7188826","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q953103$56087572-AE44-49B0-86B3-F7492CE974D7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A presentation for the automorphisms of the 3-sphere that preserve a genus two Heegaard splitting","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_presentation_for_the_automorphisms_of_the_3-sphere_that_preserve_a_genus_two_Heegaard_splitting"}}}}}