On proofs in finitely presented groups.

MaRDI QIDQ3440005zbMATH OpenFDO

Authors George Havas, Colin M. Ramsay

Publication date 21 May 2007

zbMATH Keywords

24th Hilbert problemalgorithmsAndrews-Curtis conjectureautomatic theorem provingcoset enumerationsFibonacci groupsfinite presentationsfinitely presented groupsproofsTodd-Coxeter coset enumeration proceduretrivial groupvan Kampen diagrams

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to group theory (20-04) Generators, relations, and presentations of groups (20F05) Cancellation theory of groups; application of van Kampen diagrams (20F06) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Symbolic computation and algebraic computation (68W30)

Recommendations

• scientific article; zbMATH DE number 2070158
• scientific article; zbMATH DE number 934902
• THE MANIFESTATION OF GROUP ENDS IN THE TODD–COXETER COSET ENUMERATION PROCEDURE
• scientific article; zbMATH DE number 534859
• scientific article; zbMATH DE number 1370594

Cited in

(6)

• Groups with given properties of finite subgroups.
• The \(F^{a,b,c}\) conjecture is true. II.
• Alternate proofs of some basic theorems of finite group theory
• scientific article; zbMATH DE number 934902 (Why is no real title available?)
• THE MANIFESTATION OF GROUP ENDS IN THE TODD–COXETER COSET ENUMERATION PROCEDURE
• BEHIND AND BEYOND A THEOREM ON GROUPS RELATED TO TRIVALENT GRAPHS

This page was built for publication: On proofs in finitely presented groups.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3440005)