{"entities":{"Q1097968":{"pageid":1108720,"ns":120,"title":"Item:Q1097968","lastrevid":66716181,"modified":"2026-04-12T12:21:18Z","type":"item","id":"Q1097968","labels":{"en":{"language":"en","value":"A catalogue of complete group presentations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4036064"}},"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":"Q1097968$0758D004-B4E7-4F7E-8C43-35E20492F4DC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6bbf9fea4f463d9d422ef47c9d44b83e2e6ff443","datavalue":{"value":{"text":"A catalogue of complete group presentations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1097968$24DF8272-1B30-4A84-8DDD-5F8441B28CB7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e795075b9979a69e310d3c6ac59ddf3d1b4c7291","datavalue":{"value":"0636.20021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097968$EE915826-A576-4DA3-9DC7-09196BDC5DFF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"98b16e45c8c4db0ce86c7df523fac11345d12077","datavalue":{"value":"10.1016/S0747-7171(86)80004-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097968$099D42F4-5A2D-4881-848E-EA84D9F8FDBB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"536a02fb4be152c015c219283f828226976ceceb","datavalue":{"value":{"entity-type":"item","numeric-id":1097967,"id":"Q1097967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097968$7D6542DB-C951-46AE-B243-15DC15D00575","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097968$2E6971D2-8E7C-4B6F-9499-8BE9AECFAA10","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1097968$C29A7754-F5F0-40BD-AF17-68B583927A42","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"40c6f4d23732eb77bbe31726a8dfab3a369017c1","datavalue":{"value":"A set of rules R on the symmetrized set of generators \\(\\Sigma =X\\cup X^{-1}\\) of a group G is a collection of pairs \\(u\\to v\\) which induces a reduction on \\(\\Sigma^*\\), namely the reflexive-transitive closure of the relation \\(R_{\\to}\\) given by aub\\(\\to avb\\) for all \\(a,b\\in \\Sigma^*\\). A word is R-irreducible (or in R-normal form) if it admits no reductions. The set R is well-founded if the partial order thus defined has no infinite descending chain \\(w_ 0\\to w_ 1\\cdot \\cdot \\cdot\\). The set R is confluent if \\(u\\to v\\) and \\(u\\to v'\\) implies \\(v\\to w\\) and v'\\(\\to w\\) for some w. A complete presentation is a well-founded and confluent set of rules. Since reductions can be done efficiently (in linear time), a complete presentation allows normal forms for the elements of the group defined by a presentation and thus allows a fast solution to the word problem of the group G. The aim of this paper is to provide complete presentations of the following families of groups: (a) fundamental groups of orientable and nonorientable surfaces; (b) Some Coxeter groups; (c) the Dyck groups (rotation subgroups of Coxeter groups); and (d) the finite symmetric groups. The most general Fuchsian group is believed by the author to have complete presentations. A general study of the problem can be found in the author's monograph ``Canonical forms in finitely presented algebras'' [in the Lecture Notes in Theoretical Computer Science (London, Pitman Pu. Co. series)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097968$0B5A3758-D6A2-492C-8402-FE82C98289AB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097968$2F82FA10-CE41-4E60-9B9C-101A8604664C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8acfec936c9f92116ab04a417b25b0b6b0e8ab90","datavalue":{"value":"20F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097968$E038C33B-9CFB-4DE2-9B59-05C1A393705C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097968$BCA2DC85-0033-4D14-A666-2C75C9EFA1D5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f228dc11335c97ffcea343c58d413f57c53652f0","datavalue":{"value":"4036064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097968$809FD491-8886-440A-AD7B-818DAD25C3AB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bb779c2ee38690ce3b8b9cbdaa15139e67c7912","datavalue":{"value":"symmetrized set of generators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097968$6CE49BBF-C269-4E8F-96F2-866A2F10621B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f5f9fa7c99fed84610c34025a6959701496fde6","datavalue":{"value":"normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097968$1A7DB32F-1D06-4B18-9E97-1D5AC238B51F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a78b648d77b9a51552964b940d3755d3dfabb55","datavalue":{"value":"reductions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097968$A3ECF951-A617-4A6A-935B-282EC72079E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77007501ab38f31558496cfe8b1a359978dfda63","datavalue":{"value":"well-founded and confluent set of rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097968$FD4BFE55-DD17-45AC-B909-DC8B93188F27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"030991ea5d2516776013076ff3061a880753ba98","datavalue":{"value":"complete presentation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097968$72B0AC0A-EF62-4506-A3CE-808246BF4944","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"541e14ca1a9bb27a1cfe827610ca5ddb594a16de","datavalue":{"value":"word problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097968$953966CB-0B6A-478E-8613-239A977142B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86b10d51bd74d748506115d31f2f26a17ef98055","datavalue":{"value":"fundamental groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097968$4B62E679-7A4B-4EA8-940A-7664BE22A1EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acb2d7eb1233c0a41ae41e2c2ef416121bc77d3b","datavalue":{"value":"Coxeter groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097968$E1179C05-F177-4B14-8D2F-735806441455","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":"Q1097968$287ADA98-BB44-4E97-9779-6431B51802B7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2891be9e3d003a28058c1a06e670d14248a4db80","datavalue":{"value":{"entity-type":"item","numeric-id":791646,"id":"Q791646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097968$20B57A3E-7875-4044-B33B-DCC6C9F04651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"431ed2635b92a0fcffe0089ab3fcfb67f37c400b","datavalue":{"value":{"entity-type":"item","numeric-id":791314,"id":"Q791314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097968$B067087A-53AD-4C44-B769-57869163ABA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39f8caa4d24218ecf63bb6d39ed1b79a4c2266ea","datavalue":{"value":{"entity-type":"item","numeric-id":3936184,"id":"Q3936184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097968$754038BE-8011-48AA-AAFF-E212FBF43D75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2429ed7924e2e6a036d9e6607be32790333b7a0","datavalue":{"value":{"entity-type":"item","numeric-id":3941610,"id":"Q3941610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097968$611AC6D7-69AF-485E-AB66-03A8A8ACF117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68764fad61a1075e385b1b3464b92c3be1bb613e","datavalue":{"value":{"entity-type":"item","numeric-id":3043363,"id":"Q3043363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097968$56F9D0E3-0E4F-4D4D-9921-E3072933DE3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaf8f9a5fdefa013473dcce95b54e08993e3c091","datavalue":{"value":{"entity-type":"item","numeric-id":4073550,"id":"Q4073550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097968$821AD630-F5B0-408A-BC01-761E9DB456A3","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":"Q1097968$AA5FE039-ECF4-4668-9F4D-62380FDC41BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0c3db825837f22c67e7c07e3907acc6cc65b9c8","datavalue":{"value":{"entity-type":"item","numeric-id":3855356,"id":"Q3855356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097968$141E4F95-47A4-40E5-B5EB-96AAFD54CD02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c858629afcf6a8a06c5e2e05a906423e4bad1e59","datavalue":{"value":{"entity-type":"item","numeric-id":3718927,"id":"Q3718927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097968$5A655DED-11C0-46CC-9BDC-B3E7898A6424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a57797e7c99953e400e1cfe8efbae934a0ec15a3","datavalue":{"value":{"entity-type":"item","numeric-id":1256061,"id":"Q1256061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097968$2CB74472-2D4C-40E6-B373-6E331DFC9E9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d879fb4df5a2a622d72ed5245635fb65a8fcb861","datavalue":{"value":{"entity-type":"item","numeric-id":3288144,"id":"Q3288144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097968$DA126A09-686F-403C-A60D-C66145F6E43C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"599c5dbf52817fbbe5f2f15e33a96dc6ac97514e","datavalue":{"value":{"entity-type":"item","numeric-id":3908463,"id":"Q3908463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097968$B6368497-E6A1-471C-BB93-02FBF55A0137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097968$85031B4B-9584-4CD9-8AB3-554448236657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc6482fda869c7df0ed32fd6ade8f790a1ff04cc","datavalue":{"value":{"entity-type":"item","numeric-id":5585020,"id":"Q5585020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097968$965820C3-89A7-48A6-8235-79EFAEE67095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5f0648df3e013415550bbff913328f9ac928874","datavalue":{"value":{"entity-type":"item","numeric-id":3338229,"id":"Q3338229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097968$C0C0C7E5-CE6C-4598-AB00-73344C062424","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":"Q1097968$C8E3D5F1-9E73-4014-B965-E567AD934AAB","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":"Q1097968$B3C906C1-738C-4DE1-BE0C-D9B770883D2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6eeeaccfa3f4ec1da93d670c4e0222856ace1e3","datavalue":{"value":{"entity-type":"item","numeric-id":5605923,"id":"Q5605923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097968$EDA1B44E-6C50-4784-8444-F2C12F625917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1667c5fc8984b6974b72bcc598f107f74764e9e3","datavalue":{"value":{"entity-type":"item","numeric-id":5763841,"id":"Q5763841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097968$FDF97CD9-0B96-4E08-BA0B-EDFAF79B2F72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a232ba8c7dc237d176a0fa29e3e96fc88803872","datavalue":{"value":{"entity-type":"item","numeric-id":1141946,"id":"Q1141946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097968$CFF040A2-9E19-4E43-9905-5920C6C9D207","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"93d176f850ddfa10a04db3a52ba2679794d36194","datavalue":{"value":"https://doi.org/10.1016/s0747-7171(86)80004-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1097968$4FFBD0DF-9F69-4D46-A0A7-BE76491C7D61","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6d7f915cf37efb0288784740767e2b62007974ce","datavalue":{"value":"W2008025600","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097968$9B5DE68F-07CD-4952-BDEC-D30B35FA7D95","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e39bddd519ff8d85d54f13703107779ff736ac5","datavalue":{"value":{"entity-type":"item","numeric-id":4449129,"id":"Q4449129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c54ebc6ec77a9a97589ac0da80224664ab1da8c3","datavalue":{"value":{"amount":"+0.8298277854919434","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":"Q1097968$62BF86D2-DEB9-45A2-A9D6-8713F87602A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6c81006f8b73b366aa4582c15c5ed4fb096f4d7","datavalue":{"value":{"entity-type":"item","numeric-id":3623848,"id":"Q3623848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a4e0c466de94d669df6ba543c6ac4b6a10a9413","datavalue":{"value":{"amount":"+0.8127618432044983","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":"Q1097968$D51D42D1-D70A-4543-8E19-DC2109B6163A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dda181a5530a0e468569d5ad58b81382706933c","datavalue":{"value":{"entity-type":"item","numeric-id":1321036,"id":"Q1321036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d52a285f413dd736ba025303fd6230a527b10a51","datavalue":{"value":{"amount":"+0.8072701692581177","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":"Q1097968$9D6A95B9-032C-46B2-A901-BCC3821CA566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3e768edb42de69e0094cced89a050e4a8bfc01b","datavalue":{"value":{"entity-type":"item","numeric-id":1409747,"id":"Q1409747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5d81e1502a68ecf4d006fb6d73d85c71f332f2c","datavalue":{"value":{"amount":"+0.7858498096466064","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":"Q1097968$F3DF63DC-32F7-4DAE-86A0-AE2D678665A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9016960222b429758ae0a8e9a2f54996b65cc413","datavalue":{"value":{"entity-type":"item","numeric-id":1916428,"id":"Q1916428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d9ec6994e6d8d8d99226e4af291ab91854c9362","datavalue":{"value":{"amount":"+0.7757568955421448","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":"Q1097968$DD6158E2-D0E4-4EBB-8094-C52BBDA45EFF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A catalogue of complete group presentations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_catalogue_of_complete_group_presentations"}}}}}