Results 1 to 3 of 3
Like Tree1Thanks
  • 1 Post By Deveno

Math Help - Field

  1. #1
    Member
    Joined
    Jan 2011
    Posts
    83
    Thanks
    1

    Field

    If R is commutative intergal domain. and K is a subring of R such that K is field. if R is considered as vector space over K, it is of finite dimension. prove that R is field.

    can any one explain, please.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor

    Joined
    Mar 2011
    From
    Tejas
    Posts
    3,316
    Thanks
    697

    Re: Field

    let a be in R, but not in K (if there is no such element, then R = K, and thus R is a field). suppose that dimK(R) = n, and consider the n+1 elements:

    1,a,a2,...,an. these must be linearly dependent over K so we have c0,c1,....,cn not all 0 with:

    c0 + c1a +...+ cnan = 0.

    if p(x) = cnxn +...+ c1x + c0, we have p(a) = 0.

    now p(x) is a non-zero polynomial with p(a) = 0, so let m(x) be a monic polynomial of least degree with m(a) = 0

    (since there is at least one such polynomial with p(a) = 0, there must be one of minimal degree, which has non-zero leading coefficient, which we can therefore divide by to obtain a monic polynomial).

    so me have m(a) = 0, for some polynomial m(x) = xr + dr-1xr-1 +...+ d1x + d0, with r ≤ n.

    note that we cannot have d0 = 0, for if so, then m(x) factors as xq(x), and since a ≠ 0 (since a is not in K, and 0 is), then q(a) = 0, contradicting the minimality of the degree of m(x).

    (this is where we use the fact that R is an integral domain. for if 0 = m(a) = aq(a), then either a = 0, or q(a) = 0, since an integral domain has no zero-divisors).

    thus d0 = -d1a - d2a2-...- dr-1ar-1 - ar, so

    1 = (-d1/d0 - (d2/d0)a -...- (dr-1/d0)ar-1 - (1/d0)ar-1)a

    which shows that every non-zero a in R is a unit.
    Last edited by Deveno; May 13th 2012 at 11:36 AM.
    Thanks from saravananbs
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Member
    Joined
    Jan 2011
    Posts
    83
    Thanks
    1

    Re: Field

    oh! very thanks
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Ring, field, Galois-Field, Vector Space
    Posted in the Advanced Algebra Forum
    Replies: 4
    Last Post: November 15th 2012, 03:25 PM
  2. Splitting Field of a Polynomial over a Finite Field
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: April 1st 2011, 03:45 PM
  3. field
    Posted in the Advanced Algebra Forum
    Replies: 5
    Last Post: October 28th 2009, 06:25 PM
  4. Field of char p>0 & splitting field
    Posted in the Advanced Algebra Forum
    Replies: 2
    Last Post: April 22nd 2009, 12:20 AM
  5. Field in Mod 10
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: November 8th 2007, 06:25 PM

Search Tags


/mathhelpforum @mathhelpforum