check group law for additive group