Revision #257 → #1484 · back to history
addedPresentation of a group370ca0fa6877
addedFormal definition (quotient of free group)badccea477dc
addedCyclic group of order nbab65109fce8
addedRelators14ac536f51f5
addedFree group on a setd8b994b2d317
addedDihedral group D8 presentationa6209de579bd
addedGroup defined by a presentation827dd91d9d97
addedGroup has a presentation6c2dec7fe912
addedPresentation from multiplication table8fda449b1463
addedAlternate definition via equivalence classes4df075a22ecc
addedFinitely generated, related, and presentedc81a5c24506c
addedOne-relator groupc920cd4ef5dd
addedRecursive presentation4747681c3957
addedRecursively enumerable relators imply recursive presentation321d084aae0d
addedFinitely presented implies recursively presentedd0777717d800
addedHigman embedding theorem1c90a44c5c4b
addedCountably many finitely generated recursively presented groups42677baaed6d
addedNeumann: uncountably many two-generator groups3f88ccb324ad
addedFinitely generated groups not recursively presented6d872ddea7bb
addedWreath product not finitely presented2a5af00872f1
addedEvery group has a presentationc0878979a034
addedEvery finite group has a finite presentation960bbc121d1e
addedNovikov–Boone theorem6aa533b10bc0
addedFree product presentationb5447ff6e68b
addedDirect product presentation3f0d1b90fdae
addedSemidirect product presentationce6696feb39a
addedDeficiencyfe285d2a5c55
addedDeficiency of a finite group is non-positivece9269d2e3ef
addedSchur multiplicator bound and efficient groups366977aa0d1e
addedWord metric and Cayley graph geometry0583529bbd8f
addedCoarse geometry is intrinsic6097efe81413