[Haskell-beginners] Monoids and Groups

Hi, 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, Shishir Srivastava