Verifying nilpotence
DOI10.1016/S0747-7171(87)80002-0zbMATH Open0626.68034OpenAlexW2913322469MaRDI QIDQ580975FDOQ580975
Publication date: 1987
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0747-7171(87)80002-0
finitely presented groupminimal presentations of free nilpotent groups of class 3polycyclicitystring rewriting rules
Symbolic computation and algebraic computation (68W30) Free nonabelian groups (20E05) Limits, profinite groups (20E18) Generators, relations, and presentations of groups (20F05) Software, source code, etc. for problems pertaining to group theory (20-04)
Cites Work
- Free differential calculus. IV: The quotient groups of the lower central series
- Implementation and Analysis of the Todd-Coxeter Algorithm
- Some recognizable properties of solvable groups
- Presentations of groups and monoids
- Groups of exponent five and class four
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (16)
- On the Right and Left 4-Engel Elements
- PATCH graphs: an efficient data structure for completion of finitely presented groups
- The order types of termination orderings on monadic terms, strings and multisets
- Some remarks on the computation of complements and normalizers in soluble groups
- Milnor invariants of braids and welded braids up to homotopy
- Extensions and comparison of simplification orderings
- Algebra and automated deduction
- Weights for total division orderings on strings
- Basic Commutators in Weights Six and Seven as Relators
- Collection from the left and other strategies
- Some experiments with a completion theorem prover
- Implementing the Baumslag-Cannonito-Miller polycyclic quotient algorithm
- A note on division orderings on strings
- 4-ENGEL GROUPS ARE LOCALLY NILPOTENT
- Conditional semi-Thue systems for presenting monoids
- Soluble groups with a finite rewriting system
This page was built for publication: Verifying nilpotence
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q580975)
