> elements of a monoid can themselves be groups

Whoops I meant monoids. I started with groups of groups but it was annoying to find meaningful inverse elements.