clean up
groups by generators and relations

(derived from the code fo0r abelian groups by cutting and pasting)
free groups and free abelian groups

redo presentations of monoids based on code from groups