{"entities":{"Q789512":{"pageid":791360,"ns":120,"title":"Item:Q789512","lastrevid":64355265,"modified":"2026-04-11T19:17:50Z","type":"item","id":"Q789512","labels":{"en":{"language":"en","value":"Occurrence problem in Artin groups of finite type"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3845833"}},"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":"Q789512$7225A58C-1E57-45F5-84CC-521AA9B9E958","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8af2e3fb8535b9212c0a2c969276095eb3e2d335","datavalue":{"value":{"text":"Occurrence problem in Artin groups of finite type","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q789512$8931E32E-BE4A-43B6-84D1-F3A8E12BDFED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"132888d5fe0316b4883d989fb0222cb980c1d0b5","datavalue":{"value":"0533.20018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q789512$A179AC95-329B-4195-A689-358720846B8B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6287ad2ef8a51dbcfbc7a07eb53dab5ba50d344d","datavalue":{"value":"10.1007/BF00968651","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q789512$55EF2AC1-E823-42B8-9E0A-8377244DD340","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c82f899673bc22a4022fcf67cc84be35610cfcd","datavalue":{"value":{"entity-type":"item","numeric-id":789511,"id":"Q789511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789512$A0456F30-4F4D-4BC6-998B-7B384C0E0824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab47aa97d745eec4230f9509b1f5b493bde1bb68","datavalue":{"value":{"entity-type":"item","numeric-id":501993,"id":"Q501993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789512$E5F345FF-8925-41D3-8298-3A3F32A8D573","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61db58adbdfd69e4efef1201cb3d1298d7fdae94","datavalue":{"value":{"entity-type":"item","numeric-id":178377,"id":"Q178377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789512$6B0924AC-3EEB-404E-BCB3-664A1394FF6F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q789512$AC0930BA-C1F3-4229-9111-E68CC80CE55D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"73500196b1b903afbae632c62c3a479a95c10345","datavalue":{"value":"An Artin group is a group G with generators \\(a_ i\\) and relations \\(a_ ia_ ja_ i...=a_ ja_ ia_ j...\\) for certain i and j, where both words consist of \\(m_{ij}\\) letters alternately \\(a_ i\\) and \\(a_ j\\). These groups include the braid groups. The associated Coxeter group \\(\\bar G\\) is obtained from G by adding the relations \\(a^ 2\\!_ i=1\\) for all i. If \\(\\bar G\\) is finite, the original group G is called an Artin group of finite type. \\textit{E. Brieskorn} and \\textit{K. Saito} [Invent. Math. 17, 245-271 (1972; Zbl 0243.20037)] showed that the word and conjugacy problems for such groups are solvable. The present paper gives an algorithm that solves the occurrence (or membership) problem for a cyclic subgroup in an Artin group of finite type. The occurrence problem for an arbitrary finitely generated subgroup in such a group is unsolvable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q789512$E8D17A75-70F2-4C5A-A8E8-B3557A9D6B2B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8acfec936c9f92116ab04a417b25b0b6b0e8ab90","datavalue":{"value":"20F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q789512$B97F53BF-1212-48FB-A181-F0F1E24939DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"00c103224d34af523e7fce2ff3e40dd19709f84f","datavalue":{"value":"20F36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q789512$152924A9-FDE3-474B-BCA8-3F0ED364DFA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q789512$3DB7F0A8-9681-4136-926E-056EFB66D701","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"50eeeb2e6a5069630da819d5146793f57ce1eaf4","datavalue":{"value":"3845833","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q789512$6A0304B9-AFA3-4BC7-9363-1AC8E1BDE3A0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a2a5aaf2813613e191091bab6a7937bd2f6db3d","datavalue":{"value":"membership problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q789512$B625E22C-F243-43E7-97F3-FD134CD774FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef461ff516a332cd543754fa154afbdfd5d7289","datavalue":{"value":"Artin group","type":"string"},"datatype":"string"},"type":"statement","id":"Q789512$477905C1-49C5-4DA7-897D-81C9EDD0C122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42884d684a0db176107a7461dc06f6654a79f4f1","datavalue":{"value":"braid groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q789512$DF691DFD-D9E6-44EA-BD6E-4714AFBDAD09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4abbbfa86b96092e03069a925e76a30fe26b4d07","datavalue":{"value":"Coxeter group","type":"string"},"datatype":"string"},"type":"statement","id":"Q789512$F8467DA1-94D0-41EB-AC11-37562D450BB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1aec2db5b78cfbd2d981bffaea0f4ce6eb35d18f","datavalue":{"value":"Artin group of finite type","type":"string"},"datatype":"string"},"type":"statement","id":"Q789512$FD89AB28-F225-4D93-B469-1E7D860E8807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45fdd2e023df6db0c5e54393f1c1e6c3201dd125","datavalue":{"value":"conjugacy problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q789512$B40AD7FC-E307-4B11-801D-341CB3533CED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3adf99bc2643d120a8c7768213af2d75140eebb","datavalue":{"value":"occurrence problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q789512$08A672B5-7281-4B0D-BFB0-90CF3FB5BD3C","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":"Q789512$B85A6E55-B062-4E77-851C-9E067FB9C0B3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a09ebcbc68c6e14e8176f9cbed8f7226f55137c","datavalue":{"value":{"entity-type":"item","numeric-id":5662607,"id":"Q5662607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789512$859F2297-9F28-48F5-BEAD-80441EE6BAF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd1a2afb45e4d2369b7f4e6d90c689575d85933f","datavalue":{"value":{"entity-type":"item","numeric-id":2554422,"id":"Q2554422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789512$AA7E5393-219D-448B-BD96-ED6DE92B2AA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e2d9fe1068618331be37adefa7d9818e1bac73f","datavalue":{"value":{"entity-type":"item","numeric-id":4186545,"id":"Q4186545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789512$271DB8A6-93BA-4163-BCD2-E1CBDF9C1EF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"237c684ef2edcf9081c7d150999c7a70ce33f879","datavalue":{"value":{"entity-type":"item","numeric-id":3252716,"id":"Q3252716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789512$12B529F3-0312-443F-A9A5-7E8A9E59BA5F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8ee9f6a53037a77b03ad6597bf725af946995f8f","datavalue":{"value":"https://doi.org/10.1007/bf00968651","type":"string"},"datatype":"url"},"type":"statement","id":"Q789512$601CCD8E-6CDA-4413-AAFE-C5CBF1CA0DF3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d438398e1a5eb6a793f8a7a13cd8f0e7fcfbceff","datavalue":{"value":"W2067415865","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q789512$0330D5E1-B737-4685-8348-809FC0FA441D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46b75b344ec23162e841dd72944237725b548a86","datavalue":{"value":{"entity-type":"item","numeric-id":1078324,"id":"Q1078324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"558fc8124d1629cb1b9aa792edd73a332c6589f1","datavalue":{"value":{"amount":"+0.95903575","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q789512$C6B680F4-434A-48EC-BC7E-E77184B3F053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c804ef799675ffd99e65165f06719511804400bb","datavalue":{"value":{"entity-type":"item","numeric-id":2862853,"id":"Q2862853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c370f62121c4c334b0dd5b90ecebf91d2f64e4e","datavalue":{"value":{"amount":"+0.90183693","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q789512$07AB615C-C12C-42A9-A543-CFD4ACCDD47A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3de831f2ecdea424bcb813e9fac9f3e462609466","datavalue":{"value":{"entity-type":"item","numeric-id":1295541,"id":"Q1295541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9b24eac51aa694a3bb77d09b933e57cc59d0b68","datavalue":{"value":{"amount":"+0.8929467","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q789512$C7EF3074-F936-45F3-9A0E-1B362B8FB9C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c31020bf9d360a8e918f60b6358f23634fd2df44","datavalue":{"value":{"entity-type":"item","numeric-id":1908458,"id":"Q1908458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0ede6cf4caff9833a4f1fd414ebb1f7ae5d0c23","datavalue":{"value":{"amount":"+0.8875847","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q789512$648D108C-DB07-4729-AA39-F22401E08E17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00155f06e452422aa4146aa47a5c4f98bb88e350","datavalue":{"value":{"entity-type":"item","numeric-id":4951232,"id":"Q4951232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62126f2f3a0dc4fdceed3d16f64396c78b71e0f1","datavalue":{"value":{"amount":"+0.8845962","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q789512$861C89BF-67C6-4C4D-8055-9F5684D353CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c894a31ab50c686f3e4752c66e8fcd43386705b0","datavalue":{"value":{"entity-type":"item","numeric-id":4429367,"id":"Q4429367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2b467425cd6a20033670b4f178d1bea8303291e","datavalue":{"value":{"amount":"+0.88334984","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q789512$B2FA22F7-203F-4A16-AA74-95ED353643F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc9f36142c86d472af6791bc1de3de51970c38fe","datavalue":{"value":{"entity-type":"item","numeric-id":4957775,"id":"Q4957775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdc79c0b7af34c478efc8a0350360eba72f52a00","datavalue":{"value":{"amount":"+0.8798833","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q789512$54BD4436-79FF-427F-A0F1-B47C6FB5A488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2051b0dd6971c4642aec093423a21df6f6b78ee8","datavalue":{"value":{"entity-type":"item","numeric-id":5545557,"id":"Q5545557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae6128f9c8e100b87834f1fe91d938e4d309659e","datavalue":{"value":{"amount":"+0.8761499","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q789512$4E9C0F76-DDCB-4C7D-BB53-B5538BEC7710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ab1329555f8273840c1736ce47ef2fa3b172f76","datavalue":{"value":{"entity-type":"item","numeric-id":4319148,"id":"Q4319148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18363df0f8c013553e192c8e064150db1268e44d","datavalue":{"value":{"amount":"+0.8747003","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q789512$5DFBC519-9E9E-4DD0-96B6-DC2A2619150D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0c74af2334d08e7f454ad36a11bf26525b0b39c","datavalue":{"value":{"entity-type":"item","numeric-id":4266116,"id":"Q4266116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2223405be1b751738d7ecb23731e6a1930504731","datavalue":{"value":{"amount":"+0.8717412","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q789512$BE570665-0EF9-43CA-AC1D-A58F98CF4EAE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Occurrence problem in Artin groups of finite type","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Occurrence_problem_in_Artin_groups_of_finite_type"}}}}}