Tietze transformations

GPTKB entity

Statements (21)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:appliesTo group presentations
gptkbp:category gptkb:transformation
gptkbp:field group theory
combinatorial group theory
https://www.w3.org/2000/01/rdf-schema#label Tietze transformations
gptkbp:introducedIn 1908
gptkbp:namedAfter gptkb:Heinrich_Franz_Friedrich_Tietze
gptkbp:property preserve isomorphism of groups
gptkbp:purpose to show equivalence of group presentations
gptkbp:relatedTo gptkb:Andrews–Curtis_conjecture
group isomorphism problem
gptkbp:type four
adding a generator
adding a relator
removing a generator
removing a relator
gptkbp:usedFor rewriting group presentations
gptkbp:usedIn algorithmic group theory
gptkbp:bfsParent gptkb:Heinrich_Tietze
gptkbp:bfsLayer 5