{"entities":{"Q6974989":{"pageid":21352989,"ns":120,"title":"Item:Q6974989","lastrevid":76226154,"modified":"2026-04-23T07:42:53Z","type":"item","id":"Q6974989","labels":{"en":{"language":"en","value":"Some examples of computer calculations with finitely presented groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8049508"}},"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":"Q6974989$78BF5B0B-34CB-434E-9DA0-BDB53ACDA219","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af41ada39cb46c9d15a3792fcefdcf62e4cd85a2","datavalue":{"value":{"text":"Some examples of computer calculations with finitely presented groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6974989$5C20204A-EC1B-4D34-A09F-83C478FAECEC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"32c2bbb331fb2c97710493c05a227c95fa1d0190","datavalue":{"value":"1567.20004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6974989$E43C7EFE-8C85-4C72-9F9F-929C92735EA0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cd7108e54bf05d0ad44fa4eb41ecf9cd5adfa762","datavalue":{"value":"10.1515/9783111473574-006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6974989$FB9F1456-E6B4-42C8-97A0-906DF7799634","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9fb77ebc5b170be8b74a01befdc6c1a73517795","datavalue":{"value":{"entity-type":"item","numeric-id":237007,"id":"Q237007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6974989$1F76AE0F-185C-415C-B0F4-728CD07F7D1D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6b792aee560d6649dc7374343b7f7f971e584a17","datavalue":{"value":{"time":"+2025-06-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6974989$19453165-9394-4944-849F-C5809A303971","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"68baf4fb7b200e61b6c47270454afc76c6497dbe","datavalue":{"value":"This article provides a practical overview of algorithmic tools available for investigating finitely presented groups via computer calculations, particularly using the GAP system. After a brief discussion of undecidability results, the author surveys major algorithmic strategies: the use of homomorphisms into well-understood groups, the low index subgroup algorithm and various quotient constructions (PQ, SQ, hybrid quotients).\\N\\NA significant part of the exposition is devoted to the implementation and interplay of coset enumeration, rewriting systems and Tietze transformations. Special attention is given to methods for constructing faithful or large quotients through subgroup chains or abelianizations and to recognizing free or finite structures.\\N\\NThree detailed examples illustrate how these methods can be used to establish infiniteness, detect free subgroups, or prove finiteness. The first concerns a generalized tetrahedron group shown to be infinite via subgroup analysis and quotient constructions. The second reveals a free subgroup through analysis of a torsion-free abelian quotient. The third demonstrates finiteness by rewriting the presentation inside a subgroup of manageable index derived from a large permutation quotient.\\N\\NWhile the author emphasizes that computers are ultimately no substitute for human ingenuity and should be seen as tools assisting in routine cases, their role remaining subordinate to mathematical insight, the reviewer takes a different view. In the reviewer's opinion, the role of computation in modern computational algebra is not merely auxiliary but foundational: it enables rigorous proofs and structural results that would otherwise remain inaccessible, thus redefining the boundary between experimentation and formal verification.\\N\\NFor the entire collection see [Zbl 1548.20004].","type":"string"},"datatype":"string"},"type":"statement","id":"Q6974989$B1DDD31C-F4DC-401B-8C01-BA4592CE3A93","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5bfd82087b720927b1a296c318191d7cfc2aac2e","datavalue":{"value":{"entity-type":"item","numeric-id":284097,"id":"Q284097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6974989$DC1AA6FE-4E39-4833-88CD-58C288308F6E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f96720fe29e309c34c82deec20bd95823bb71652","datavalue":{"value":"20-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6974989$A4C286D3-88B9-4740-A0F4-727AD89A496A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6974989$44F3D8CD-26AB-4DAD-9F48-DAEA4F386DE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0da8a0ae39ec16bf06e86cd23430c4f0aa6576dd","datavalue":{"value":"20-08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6974989$F55BA92C-7B0B-4324-BECF-9A39385053CF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a3e93c9d7cb380827e9d2e12ef26343e646446a6","datavalue":{"value":"8049508","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6974989$B00DB606-8ABC-4285-8085-CBA98AE6827D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7d4836dab67ec6d377d7d3ccdb65a585787ef48","datavalue":{"value":"finitely presented group","type":"string"},"datatype":"string"},"type":"statement","id":"Q6974989$456613AE-73B3-4C70-8755-CB7C760893EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d63abd00ba97e023260564ab1e5de7e72c9aae49","datavalue":{"value":"computational group theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6974989$ADA8AA44-6A93-4B3C-902A-406A5C674977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"244488977e2a1618d6d59d5cc24336607aa067eb","datavalue":{"value":"subgroup enumeration","type":"string"},"datatype":"string"},"type":"statement","id":"Q6974989$1D96B37B-9C3C-4FDD-9E78-291DEF3F52E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0e9e18891495c75ec4de539c6c92fc78af31ade","datavalue":{"value":"permutation quotient","type":"string"},"datatype":"string"},"type":"statement","id":"Q6974989$B366B446-D6E9-479A-A8D0-D513CB901116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bcfb0301bb17cb416489e95a0d2e3c5b1efbac9","datavalue":{"value":"rewriting system","type":"string"},"datatype":"string"},"type":"statement","id":"Q6974989$B3A4FC8B-69AA-4FD2-82B8-8A16D53FEDD5","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":"Q6974989$19C8C5FF-64D9-4D6B-B63C-2DD1272F9CAC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Some examples of computer calculations with finitely presented groups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Some_examples_of_computer_calculations_with_finitely_presented_groups"}}}}}