Reading about Monoids it seems they derive a lot on the algebraic structures of 'Groups' ? 

Is it then correct to assume that Monoids can be used to represent 'Groups' ?

If not are there any standard haskell libraries which represent algebraic structures such as 'Groups' , 'Fields' etc.

Thanks,