Group_with_operators