Added Groups and Monoids