Re: Another algebra question

On 30 sep, 15:10, quasi <qu...@xxxxxxxx> wrote:
On Sun, 30 Sep 2007 01:55:37 -0700, Snis Pilbor <snispil...@xxxxxxxxx>
wrote:





Thanks for you guys' help on my previous algebra question. Here is
another thing I am stumped on. Suppose R is a ring in a field F, and
R is integrally closed in its field of fractions. I want to show that
an element x in F is integral over R (that is, it's annihilated by
some monic polynomial with coefficients in R), iff its minimal
polynomial has coefficients in R.

When I say R is integrally closed in its field of fractions, I mean:
if z is in the field of fractions, and z is killed by a monic
polynomial with coefficients in R, then z is in R.

Obviously the minimal polynomial divides any other polynomial which
kills x. Unfortunately this doesn't seem to be enough. For one
thing, I have no idea how the integral closure in the field of
fractions condition is relevant.

Obviously one direction of the implication is so trivial it goes
without saying.
Warning: homework related.

Hints:

Suppose x is integral over R. Let K be the quotient field of R.

(1) Let p be the minimal polynomial of x over K. By definition, p is
monic and the coefficients of p are in K.

(2) Argue that the coefficients of p are integral over R [think about
symmetric polynomials].

(3) But R is integrally closed, so ...

quasi-

**************************************************
I think that the OP wants perhaps the equivlent of Gauss lemma with Z
and Q, but I'm afraid one has to require unique factorization in the
domain for that...

Regards
Tonio

.

Relevant Pages

  • Re: Confirmed flaw in the polynomial ring A[X] construction
    ... different ring*. ... all the polynomials would get ... does not address the polynomial with real coefficients and the effect ... usage or construction composed with y. ...
    (sci.math)
  • Re: Another algebra question
    ... R is integrally closed in its field of fractions. ... some monic polynomial with coefficients in R), ... symmetric polynomials]. ... I think that the OP wants perhaps the equivlent of Gauss lemma with Z ...
    (sci.math)
  • Re: Is the polynomial ring interpretation of abstract algebra A[X]
    ... set to which the coefficients belong. ... this way of looking at polynomials that you seem to have, ... ring definition, which provides the sum and product operators. ... Rather than a Kronecker style "God gave us the integers ...", Tim ...
    (sci.math)
  • Re: Is the polynomial ring interpretation of abstract algebra A[X]
    ... > for a polynomial of real coefficients that those coefficients aren't ... In a polynomial ring over some base ring A the ... You are again confusing the polynomials as a function and as the elements ... the reals then all products and sums become real valued. ...
    (sci.math)
  • Re: Is the polynomial ring interpretation of abstract algebra A[X]
    ... set to which the coefficients belong. ... this way of looking at polynomials that you seem to have, ... Seeing that the well behaved algebra does carry on through to the real ... ring definition, which provides the sum and product operators. ...
    (sci.math)
Quantcast