The ZeroElement of a ring needs a unique degree, representing minus infinity. This needs to be added as the closure of a the Degreegroup.