| http://www.w3.org/ns/prov#value | - If D is a residually finite ring and A is finitely generated as a D-module, we show that the integral closure of Int_K(A) is equal to another ring of integer-valued polynomials, namely those polynomials in K[X] which map the roots of the minimal polynomials of all the elements of A into elements which are integral over D (joint result with N. Werner).
|
