Definition talk:Group Presentation

From ProofWiki
Jump to navigation Jump to search

Distinguishing group presentation and presentation of group

It may be worth defining a group presentation as a set with relations (see the first two lines at Definition:Group Defined by Presentation) and a presentation of a group as one that works for a given group. This is what Definition:Presentation of Group was for, in case you wondered. --barto (talk) (contribs) 18:43, 13 January 2018 (EST)

No, a "group presentation" is the same thing as a "presentation for a group". Why change it if it's already good? --prime mover (talk) 18:47, 13 January 2018 (EST)