Tietze Transformations

A finite set of elementary operations (Tietze moves) on group presentations that transform one finite presentation into another while preserving the isomorphism class of the presented group. Standard moves include adding or removing a generator together with a defining relator expressing it, adding or removing a consequence relator, and replacing relators by their products or conjugates.