{"entities":{"Q791646":{"pageid":793494,"ns":120,"title":"Item:Q791646","lastrevid":64411392,"modified":"2026-04-11T19:41:07Z","type":"item","id":"Q791646","labels":{"en":{"language":"en","value":"Artin groups and infinite Coxeter groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3851365"}},"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":"Q791646$1F05EA89-3C46-4862-A553-F7375D6B619E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"078c599dcfcf24153359a5a5c8189acf14d73ca1","datavalue":{"value":{"text":"Artin groups and infinite Coxeter groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q791646$8F0D75A3-4ED9-43F2-AC7A-74126B505E9D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e67dd93d9546b936d2957f4eeac2e33b384da84c","datavalue":{"value":"0536.20019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791646$6DF859C6-E790-46B0-B00F-35402CE10B89","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8c96a6bb391e1b8dae10c746706a3cc127d68cfc","datavalue":{"value":"10.1007/BF01389320","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791646$E3398FA7-5A48-4055-A1D7-CEF4AC96C997","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"78c924ab2a87a282c80efa85079613d2f7e99dd9","datavalue":{"value":{"entity-type":"item","numeric-id":163162,"id":"Q163162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791646$E4C2F4BD-20F1-4A0A-8190-F7ACCC72FEF4","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":"Q791646$822D87E1-8462-476A-8E1C-DB8903C9873E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fecd76004d88ade08e2fb336a784f47696b01d69","datavalue":{"value":"https://eudml.org/doc/143017","type":"string"},"datatype":"url"},"type":"statement","id":"Q791646$053F5136-208B-432B-A765-C770A4E40AC9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ea9371f6d4ca1c59c7faf437699d02aa6b641e2d","datavalue":{"value":"A Coxeter matrix over a finite set I is a symmetric matrix with entries in \\(N\\cup \\{\\infty \\},\\) where \\(m_{ii}=1\\) for \\(i\\in I\\) and \\(m_{ij}\\geq 2\\) for \\(i\\neq j\\in I.\\) The Artin group for this matrix has generating set \\(\\{a_ i:\\quad i\\in I\\}\\) and for each pair \\(i\\neq j\\) with \\(m_{ij}<\\infty\\) the relation equating the alternating string of \\(a_ i's\\) and \\(a_ j's\\) of length \\(m_{ij}\\) beginning with \\(a_ i\\) to the alternating string of the same length beginning with \\(a_ j\\). The Coxeter group associated to this Artin group is obtained by setting the squares of the generators equal to the identity. An Artin or Coxeter group is of extralarge type if \\(m_{ij}\\geq 4\\) for all \\(i\\neq j\\). If G is an Artin or Coxeter group with matrix \\({\\mathcal M}\\) over the set I and \\(J\\subseteq I\\), then \\(G_ J\\) is the subgroup of G generated by \\(\\{a_ j:\\quad j\\in J\\}\\) and \\({\\mathcal M}_ J\\) is the restriction of \\({\\mathcal M}\\) to \\(J\\times J\\). After a detailed discussion of the history of these groups and their relationships with other groups, the authors use small cancellation theory to prove the following four theorems: Theorem 1. Let G be an Artin or Coxeter group of extralarge type. If \\(J\\subseteq I\\), then \\(G_ J\\) has a presentation defined by the Coxeter matrix \\({\\mathcal M}_ J\\) and the generalized word problem for \\(G_ J\\) in G is solvable. If \\(J,K\\subseteq I\\), then \\(G_ J\\cap G_ K=G_{(J\\cap K)}\\). Theorem 2. An Artin group of extralarge type is torsion-free. Theorem 3. Let G be an Artin group of extralarge type. Then the set \\(\\{a^ 2_ i: i\\in I\\}\\) freely generates a free subgroup of G. Theorem 4. An Artin or Coxeter group of extralarge type has solvable conjugacy problem.","type":"string"},"datatype":"string"},"type":"statement","id":"Q791646$6F95D1AA-23F4-425E-A503-A21ECCA72594","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791646$7DF85EC6-F98F-4F48-ABFC-268F365CA987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85721e41fd9cd62748521a1a3e2d4a9ff2acb1e3","datavalue":{"value":"20F06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791646$B0B4E5E7-1DF5-4AF6-B7EF-0885982DCDF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8acfec936c9f92116ab04a417b25b0b6b0e8ab90","datavalue":{"value":"20F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791646$B56B961E-E5D3-4F65-AA8E-8D346E82B858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"00c103224d34af523e7fce2ff3e40dd19709f84f","datavalue":{"value":"20F36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791646$31EFED17-9D46-4E6D-90A3-338F22484FAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ea37469d91f3037e8b6809fc66f770f1b27a461d","datavalue":{"value":"20E07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791646$9439D77D-0B8D-46FC-8E3E-E20A5B4F66E6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"99accc6b0afe5b9656994083097c1bb8d0dabd3e","datavalue":{"value":"3851365","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791646$3C930D6D-EFBB-4C93-A18B-789D87E1A24E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef461ff516a332cd543754fa154afbdfd5d7289","datavalue":{"value":"Artin group","type":"string"},"datatype":"string"},"type":"statement","id":"Q791646$2E9CE395-55BD-47AF-BE8C-0ED0F75FF34E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74b5f4be3c43487afcb1a2d28c4b5b0932ae0f3f","datavalue":{"value":"small cancellation","type":"string"},"datatype":"string"},"type":"statement","id":"Q791646$882D1CC5-EB7C-4056-8EB8-2935B969468C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d57867bc0a6386ee1b51f68e769a8eb4ea33ced2","datavalue":{"value":"Coxeter group of extralarge type","type":"string"},"datatype":"string"},"type":"statement","id":"Q791646$C6744A74-D806-481A-B95F-2B31B460F6D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14bd832d9dd89987cea4381068578eae68e20f0d","datavalue":{"value":"Coxeter matrix","type":"string"},"datatype":"string"},"type":"statement","id":"Q791646$B1CA1B70-E2D1-4BCD-8019-15FAD3633083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38f4f6f4d088539378a28886a7c29fd41df02ccf","datavalue":{"value":"generalized word problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q791646$6B69B862-BE27-41F7-A44A-09D7FD2EFD3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c531008f5f4d3ef66efae86a5c00a8dfe223868c","datavalue":{"value":"free subgroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q791646$B2270076-2ECF-4166-A840-8530E31565A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a63ee56c4d2f81c4a9b7f5e8124d077a3591e1b","datavalue":{"value":"conjugacy problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q791646$A67B8D71-16FD-450E-9EF9-DCE8DF451952","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"1a0a5fcd59371aeb619d765b49fa53ceeafa01fe","datavalue":{"value":"Q55918744","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791646$6F632273-5082-4C72-B58F-7A73ED0FEA27","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"72e64ce9cdd69abc0a58d4c43775251a7ed0dada","datavalue":{"value":{"entity-type":"item","numeric-id":1393605,"id":"Q1393605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791646$9A42B645-F66D-4B93-B09A-D0AC9B48D970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"698bc4fe65f79b85d517df655a1aca4a01c66cfe","datavalue":{"value":{"entity-type":"item","numeric-id":444387,"id":"Q444387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791646$DA0F370E-ED37-4B0A-9719-1C205C474C79","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"402d39aad9010d0f33d9345b2fe9a57c7b7c2a18","datavalue":{"value":{"entity-type":"item","numeric-id":593249,"id":"Q593249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791646$4940A315-4586-416F-8811-2033D1786508","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":"Q791646$BAAA02DE-97D1-4803-B8C8-C846A2E5CB7B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"93f90ef4258b6ff673085fd818e971aaf07abd7a","datavalue":{"value":{"entity-type":"item","numeric-id":5580319,"id":"Q5580319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791646$5B55CC3A-C6AB-4B82-8303-375DD2EE7655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f849275142096c4f6db4396ec55bb84e0595d4e2","datavalue":{"value":{"entity-type":"item","numeric-id":2542051,"id":"Q2542051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791646$63CBB030-2FC5-43D4-8C26-1A97ED2CBC44","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":"Q791646$CCFC8FCE-C254-4E53-A970-1AE3D144D92D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df4c4cd76918a6e02d8be4c3303cb7b63a70519d","datavalue":{"value":{"entity-type":"item","numeric-id":4760015,"id":"Q4760015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791646$003E322E-2CE3-4E0D-953E-44064CC509CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00aa7722d8f4e370f66687ba41fc237cdcd87056","datavalue":{"value":{"entity-type":"item","numeric-id":2552945,"id":"Q2552945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791646$2FB92BC2-D0FB-4FE7-9847-67CFC2F96BA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"508f54be2c5b75efb9d7c6ca2484ac0fb2a9266e","datavalue":{"value":{"entity-type":"item","numeric-id":5589369,"id":"Q5589369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791646$FFDB58F0-937B-4428-AC07-613DC241FBF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"595809f60fbedef8b9b312ed033b6781d8dee702","datavalue":{"value":{"entity-type":"item","numeric-id":2521949,"id":"Q2521949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791646$C37BA413-E2AD-48FE-9377-E74F9DC2F010","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":"Q791646$EE61149E-78B9-4408-8D27-4F22D87CA6CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"102c21fb90d81873b85138dc9dd3ee64dba7fb9f","datavalue":{"value":{"entity-type":"item","numeric-id":4043240,"id":"Q4043240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791646$C632D132-6CD1-4883-90F0-2F5EC99E33F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdd86bbc5749cca116810dbf3cce7345d21ec975","datavalue":{"value":{"entity-type":"item","numeric-id":2523886,"id":"Q2523886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791646$3909CE96-FA89-4D9D-9342-B96BB1CF4EFE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4e45086f84882bf9f24a9ffe94580070f1da22b","datavalue":{"value":{"entity-type":"item","numeric-id":3697232,"id":"Q3697232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1480526c1abdface7dad84087778c5e78643fbd0","datavalue":{"value":{"amount":"+0.902234673500061","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":"Q791646$448B54A8-EE13-492B-A3FF-16F94CA7988A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fcc4d7fabb53a258b3f2e3c0966654b3ca58bd2","datavalue":{"value":{"entity-type":"item","numeric-id":2418869,"id":"Q2418869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52826cf0e13ac53b81769c99fb9f242ff5ea5f1c","datavalue":{"value":{"amount":"+0.8699317574501038","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":"Q791646$0AFC7D35-8AD0-45E1-8BF4-76A3B1D651C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93fb0543ebd2d557d2c78cbed5c8b916a2152282","datavalue":{"value":{"entity-type":"item","numeric-id":2343503,"id":"Q2343503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19f8538f1783f7af56ee8e6a0ce668563dbffd3c","datavalue":{"value":{"amount":"+0.8317813873291016","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":"Q791646$B571D5F2-7304-4CE6-B5CD-DEEB7A052D46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78e172d51179123144097cea57e03483be15b593","datavalue":{"value":{"entity-type":"item","numeric-id":2862849,"id":"Q2862849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ff9b50f286922de5234883d2f976a726ef63350","datavalue":{"value":{"amount":"+0.8210928440093994","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":"Q791646$1360C053-48CD-4A59-8265-E05B679FC6F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba9547c1947ded9f252497b32d8af20055023c67","datavalue":{"value":{"entity-type":"item","numeric-id":4761655,"id":"Q4761655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1850ff3b04ad81688a02381b8fd7c21da8eb4c74","datavalue":{"value":{"amount":"+0.8165282011032104","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":"Q791646$A72A5B53-B633-47D9-AFED-E6E051E03A6E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Artin groups and infinite Coxeter groups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Artin_groups_and_infinite_Coxeter_groups"}}}}}