If a field is integral over a subdomain , every nonzero has an inverse in satisfying a monic equation over . Multiplying that equation by expresses as a polynomial in with coefficients in . Hence , and is itself a field. The embedding and integrality assumptions are essential; a fraction field is not generally integral over its source domain.
Articles by others on the same topic
There are currently no matching articles.