Polynomring/Definition