{"entities":{"Q5928496":{"pageid":8105298,"ns":120,"title":"Item:Q5928496","lastrevid":47592517,"modified":"2026-01-02T04:13:48Z","type":"item","id":"Q5928496","labels":{"en":{"language":"en","value":"Deciding if the angle is zero inside free groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1582737"}},"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":"Q5928496$91772235-2207-4192-AA60-8F7EDD1942FF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3545f615831486e1cf1de084e2c86ace635c2576","datavalue":{"value":{"text":"Deciding if the angle is zero inside free groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5928496$DD1D4F8A-CAC9-4D4E-B281-721524FA3369","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c8ea2abc0ae3dd02f2cc66663ac032e442631039","datavalue":{"value":"0985.20020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5928496$21AC7485-5626-4129-8D75-22B50530ABF1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"24298c876d8d798fd7e8bc2592cdd620a7aaa9db","datavalue":{"value":"10.1016/S0166-8641(99)00175-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5928496$7B13E9D0-599C-4F83-99AA-9F65F40C0610","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cddd33f0f3b9c416d8e3345397a716f5a13e348f","datavalue":{"value":{"entity-type":"item","numeric-id":168405,"id":"Q168405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5928496$232946D8-438E-4CDC-892C-206CF32BCCBC","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":"Q5928496$DE97A4D6-4262-4A3F-A912-8F9783E0CC06","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a25e98dc91c60613775044cec45f65d097dcde6","datavalue":{"value":{"time":"+2002-05-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5928496$388DE9EC-F6E2-4341-9516-8374C44B607A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b680e5a6f4a464ab3eb78a083d79025abf56cf11","datavalue":{"value":"The angle between subgroups of a group was defined by Gersten and Stallings and used to investigate relation properties of finitely generated subgroups of free groups. If \\(A\\) and \\(B\\) are subgroups of a group \\(G\\), then the angle is defined via the generalized free product \\(A*_{A\\cap B}B\\) amalgamating \\(A\\cap B\\). The inclusions of \\(A\\) and \\(B\\) in \\(G\\) induce a homomorphism of \\(A*_{A\\cap B}B\\) into \\(G\\), which is inclusion if restricted to \\(A\\cap B\\). The angle is defined here to be \\(0\\) if the kernel \\(K\\) of this homomorphism is trivial and \\(2\\pi/N\\) if the minimum alternating length of non-trivial elements of \\(K\\), as elements of \\(A*_{A\\cap B}B\\), is \\(N\\). This paper deals with an algorithm to decide if the angle between two finitely generated subgroups of a free group is zero. This is equivalent to the following question: Is there an algorithm to determine, given two finitely generated subgroups \\(A\\), \\(B\\), of a finitely generated free group \\(F\\), whether or not the natural homomorphism \\(A*_{A\\cap B}B\\to F\\) is injective? One of the main results of this paper answers in the affirmative this question, namely: Let \\(F\\) be a free group with finite subsets \\(X,Y\\subset F\\); let \\(A=\\langle X\\rangle\\), \\(B=\\langle Y\\rangle\\). There is an algorithm to determine whether or not the homomorphism \\(A*_{A\\cap B}B\\to F\\) is injective. Equivalently, there is an algorithm to determine whether or not the angle between \\(A\\) and \\(B\\) is zero. When the angle is non-zero, the algorithm immediately produces a number \\(N\\) such that the angle between \\(A\\) and \\(B\\) is greater than or equal to \\(\\pi/N\\). The treatment is topological and graph theoretic, but there are also many examples illustrating special cases.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5928496$4D486143-74A8-4F61-A5E7-D0EEC0B8F9E3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8acfec936c9f92116ab04a417b25b0b6b0e8ab90","datavalue":{"value":"20F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5928496$1505FCB8-D195-40EC-B6DD-0680C9FED5CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74e7832a915a62c417a3bf8c026eff5989fd94d3","datavalue":{"value":"05C25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5928496$6C328EED-F910-4EF2-A0B2-70DBD7295EE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e478659c80ac196196a2283c8b16b79c8d8cd8d5","datavalue":{"value":"20E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5928496$A2806757-453C-4B87-837D-22E68E2B5D09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fcae15942a1ef1170b65682251799a9bfed1dcd3","datavalue":{"value":"20E06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5928496$9127E922-2293-4F82-9B8B-F6FD6EA4CA27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"357c7c34a1a90d83243f17011b7aa90788d1792d","datavalue":{"value":"05C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5928496$D47C7B4C-2C6E-4744-912E-188039AF0BFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"639e35a4d8066ba3b320b7c5998ad4d73a0cf431","datavalue":{"value":"20F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5928496$24609D0E-3FE8-4BCF-87A3-210255BF4C8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"21f00aab010cafc29f45ee659310afaf13c9d8f3","datavalue":{"value":"57M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5928496$2D49577D-A4AC-4ECB-8690-CFC680D639CD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"63a24f21b58beb4d8b3d7e1abf57f8757e8434a7","datavalue":{"value":"1582737","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5928496$C3DCF4A8-5ED1-488D-91E2-7913AC9BDCFF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30d6a80be4d3f725b8f5ae876a498157eef72606","datavalue":{"value":"angles between subgroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q5928496$363E6226-7C0B-44DB-936D-4D2A5D6F7A43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b8366ba72e846e39aaf530c979097617353482c","datavalue":{"value":"finitely generated subgroups of free groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q5928496$3AD1C722-A7A8-4195-A295-332EB74AD608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"666a0b20d3c8e24f04abd577e305a78fb6f5cf4d","datavalue":{"value":"generalized free products","type":"string"},"datatype":"string"},"type":"statement","id":"Q5928496$6AF933F3-EE9B-405B-ABD4-47F4F7DB13F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d607627523840bd0bf4407097f29a3a99ef4a0a8","datavalue":{"value":"algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q5928496$71DE50F5-6F3F-48B9-ADF1-CE764A0C3566","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":"Q5928496$C2061499-1864-4D41-8D5E-A182A539C50A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"00debc852f8640499ed8f2b406c6bd43dbff990c","datavalue":{"value":{"entity-type":"item","numeric-id":4040880,"id":"Q4040880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5928496$C1B12653-6201-485D-BFE8-1BBC59BB9D82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c87faf8f30657e689b9c32ffdd2e937bb1c0870","datavalue":{"value":{"entity-type":"item","numeric-id":1055548,"id":"Q1055548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5928496$F5BE8DE8-1C80-4798-9DFD-8DDD82C1ABA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90767d470342061f908e4e6b81a0428975b8ef5e","datavalue":{"value":{"entity-type":"item","numeric-id":5905342,"id":"Q5905342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5928496$3222D4D7-2DD2-46E9-B8FB-991BF68F2612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11f3bbb0d599e322294d8eadf429d4a1ff7fcba9","datavalue":{"value":{"entity-type":"item","numeric-id":3341886,"id":"Q3341886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5928496$01B2AE15-1D8B-4CA7-A268-E3F65FA76DCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95a98a40a7d59fb5e8af4f8769b9083630620f46","datavalue":{"value":{"entity-type":"item","numeric-id":4946213,"id":"Q4946213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5928496$4383D4CB-995E-4A42-BD41-07336467BB73","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":"Q5928496$08C33AC8-6741-41F6-8082-569AF0AE7C55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d646c7ebcec41e467750ecb827006ff7744eae5f","datavalue":{"value":{"entity-type":"item","numeric-id":3341041,"id":"Q3341041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5928496$B03F3282-9E61-4C28-BBC9-F5D84C012236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc991b6b90e8360baaa546e9dfdab51d8674e144","datavalue":{"value":{"entity-type":"item","numeric-id":1055547,"id":"Q1055547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5928496$B9A99422-44BE-4A4E-B764-453341207583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a500adbccad2cc92ae77fc9a0d11297b06f9c18","datavalue":{"value":{"entity-type":"item","numeric-id":4865844,"id":"Q4865844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5928496$3FF35459-C576-4788-83B3-A373E081AE0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11d7454bcdca4569bbd027fb2e98b83363385750","datavalue":{"value":{"entity-type":"item","numeric-id":3123512,"id":"Q3123512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5928496$F15DF229-1CB2-4162-B2D2-4F0EEFA3C37E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"96bccf991f257ffed17e093f6e5856233504b3a6","datavalue":{"value":"https://doi.org/10.1016/s0166-8641(99)00175-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q5928496$78A57E5B-2B7A-4D3E-AA5F-F1A7F4CF0148","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fab4afc576bce574346573cb03ee7a8472183414","datavalue":{"value":"W2072902255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5928496$511A7508-BB92-4268-96EE-AF2F8776003A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b4240656bfc6accc1906c733216019c4deeb471","datavalue":{"value":{"entity-type":"item","numeric-id":4946213,"id":"Q4946213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"999709d9cc27b90f7ef62061ac363cd2e640b578","datavalue":{"value":{"amount":"+0.8530983328819275","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":"Q5928496$06982BFF-59D0-4093-98FA-F4C99C03E784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a988e66dc07963c7e31cdad31aeb464255b08ab","datavalue":{"value":{"entity-type":"item","numeric-id":3497262,"id":"Q3497262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"505877b531e2df7bc1e942ca4d34ceaf70177323","datavalue":{"value":{"amount":"+0.853034257888794","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":"Q5928496$9EC553F8-7497-49B8-A679-D9C015CDDBF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f83736089e32acfe9b2f387d2fe17c59178f112","datavalue":{"value":{"entity-type":"item","numeric-id":3123512,"id":"Q3123512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c16db2660e300e9e974ec5ab60ecb8db4e31083","datavalue":{"value":{"amount":"+0.7957842350006104","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":"Q5928496$063F1C88-BD1B-498D-A5B3-EF880E10E42F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d93726d9689e82e9251a63d9277e61468a75d9b","datavalue":{"value":{"entity-type":"item","numeric-id":3584492,"id":"Q3584492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c16db2660e300e9e974ec5ab60ecb8db4e31083","datavalue":{"value":{"amount":"+0.7957842350006104","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":"Q5928496$E6C7762E-8214-4183-8ACF-D6394E4C95F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ca4cdbc73ad57c88270c18fab0eca011007db9e","datavalue":{"value":{"entity-type":"item","numeric-id":3190428,"id":"Q3190428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"372daa1bceb35cc4ac9fe00de77a14c94b43afb3","datavalue":{"value":{"amount":"+0.7588828206062317","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":"Q5928496$95897E4C-692B-48E3-A2CF-BE00D0BB0D01","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5928496","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5928496"}}}}}