Results 1 to 2 of 2

Thread: Prove it is a field

  1. #1
    Member
    Joined
    Feb 2008
    Posts
    125

    Prove it is a field

    Prove that a commutative ring F is a field iff each equation ax+b=c
    (a,b,c is a member of F and a does not equal 0) has a unique solution in F

    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor

    Joined
    May 2008
    Posts
    2,295
    Thanks
    7
    Quote Originally Posted by mandy123 View Post
    Prove that a commutative ring F is a field iff each equation ax+b=c
    (a,b,c is a member of F and a does not equal 0) has a unique solution in F

    well, the condition you have is clearly equaivalent to say that $\displaystyle ax=b$ has a unique solution for any $\displaystyle a \neq 0.$ if $\displaystyle F$ is a field and $\displaystyle 0 \neq a \in F,$ then from $\displaystyle ax=b$ you'll get $\displaystyle x=a^{-1}b$ and you're done.

    but the converse is less trivial: so we have that any equation $\displaystyle ax=b, \ a \neq 0,$ has a unique solution in $\displaystyle F.$ first we show that $\displaystyle F$ has no zero divisor: suppose that $\displaystyle uv=0$ and $\displaystyle u \neq 0.$ now the

    equation $\displaystyle ux=0$ has two solutions $\displaystyle x=0,v.$ thus $\displaystyle v=0.$ this proves that $\displaystyle F$ has no zero divisor. next we show that $\displaystyle F$ is unitary: choose any $\displaystyle 0 \neq a \in F.$ then $\displaystyle ax_0=a$ for some $\displaystyle x_0 \in F.$ now

    let $\displaystyle 0 \neq b \in F.$ then there exists $\displaystyle x_1 \in F$ such that $\displaystyle bx_1=b.$ but then $\displaystyle ab(x_1-x_0)=0.$ since $\displaystyle F$ has no zero divisor, we must have $\displaystyle x_1=x_0.$ clearly $\displaystyle 0x_0=0.$ thus: $\displaystyle \forall b \in F: bx_0=b.$ therefore

    $\displaystyle x_0=1_F.$ finally for any $\displaystyle 0 \neq a \in F$ the equation $\displaystyle ax=1$ has a (unique) solution, which means any non-zero element of $\displaystyle F$ is invertible. $\displaystyle \Box$
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. How can I prove these two field extensions are equal?
    Posted in the Advanced Algebra Forum
    Replies: 4
    Last Post: Mar 21st 2011, 05:54 PM
  2. Prove that matrix W is a field
    Posted in the Advanced Algebra Forum
    Replies: 2
    Last Post: Sep 16th 2010, 07:12 AM
  3. Prove that Z_m is a field iff m is a prime.
    Posted in the Advanced Algebra Forum
    Replies: 5
    Last Post: Jan 10th 2010, 12:05 AM
  4. Prove or disprove the following set is a field.
    Posted in the Advanced Algebra Forum
    Replies: 10
    Last Post: Dec 3rd 2009, 09:34 PM
  5. Field: If A=B; Prove A+C = B+C
    Posted in the Advanced Algebra Forum
    Replies: 8
    Last Post: Apr 10th 2009, 03:21 AM

Search Tags


/mathhelpforum @mathhelpforum