Results 1 to 6 of 6

Math Help - Algrbra Help!!! rings and ideals :(

  1. #1
    Newbie
    Joined
    Feb 2008
    From
    coventry
    Posts
    2

    Algrbra Help!!! rings and ideals :(

    I need some help:

    Prove that if an ideal I of R contains a unit then I=R

    Prove that a commutative ring is a field iff it it contains exactly 2 ideals

    Prove that if the ring R is commutative and local then R*=R\I

    some hints/tips would be great.

    Thanks
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor kalagota's Avatar
    Joined
    Oct 2007
    From
    Taguig City, Philippines
    Posts
    1,026
    Quote Originally Posted by gloriad View Post
    I need some help:

    Prove that if an ideal I of R contains a unit then I=R
    Let u \in I, where u is a unit.
    Then there is u^{-1} \in R such that u^{-1}u =1. Since, I is an ideal, 1 \in I
    Let r \in R. Then r \cot 1 \in I. Thus R \subseteq I. Therefore, I = R..
    Follow Math Help Forum on Facebook and Google+

  3. #3
    MHF Contributor kalagota's Avatar
    Joined
    Oct 2007
    From
    Taguig City, Philippines
    Posts
    1,026
    Quote Originally Posted by gloriad View Post
    I need some help:



    Prove that a commutative ring is a field iff it it contains exactly 2 ideals
    Let F be a field.
    If A = \left\{ 0 \right\}, then it is ok. Suppose A \not = \left\{ 0\right\} be an ideal of F. Then A contains a unit. From the previous, A = F.

    Lemma: Let R be a commutative ring with unity. and M a maximal ideal of R. Then R/M is a field iff M is maximal.(You can show this.. )

    Suppose, F contains exactly 2 ideals. Since \left\{ 0 \right\} is the only proper ideal of F, then \left\{ 0 \right\} is a maximal ideal, and so F/\left\{ 0 \right\} is a field which is isomorphic to F. Thus, F is a field. QED.
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Global Moderator

    Joined
    Nov 2005
    From
    New York City
    Posts
    10,616
    Thanks
    9
    Let R be a commutative ring (with unity) that contains only two ideals, {0} and R. Let I be an ideal of R. If R is a ring such that 1\not = 0 (kalagota forgot to mention that) then choose a\not = 0. Now define \left< a\right> = \{ ra|r\in R\}. Then clearly this is an ideal of R and is non-trivial so it means \left< a \right> = R which means there exists a b so that ab=1. This shows all the non-zero elements of R has inverses, this makes R a field. Q.E.D.
    Follow Math Help Forum on Facebook and Google+

  5. #5
    Newbie
    Joined
    Feb 2008
    From
    coventry
    Posts
    2

    can you help me with the third part of the question?

    can you help me with this part:

    Prove that if the ring R is commutative and local then R*(units of R)=R\I, where I is the largest proper ideal of R?

    it seems to me that it follows from the last two parts of the question but i can't phrase it correctly.

    Thanks
    Follow Math Help Forum on Facebook and Google+

  6. #6
    MHF Contributor kalagota's Avatar
    Joined
    Oct 2007
    From
    Taguig City, Philippines
    Posts
    1,026
    Quote Originally Posted by ThePerfectHacker View Post
    Let R be a commutative ring (with unity) that contains only two ideals, {0} and R. Let I be an ideal of R. If R is a ring such that 1\not = 0 (kalagota forgot to mention that) then choose a\not = 0. Now define \left< a\right> = \{ ra|r\in R\}. Then clearly this is an ideal of R and is non-trivial so it means \left< a \right> = R which means there exists a b so that ab=1. This shows all the non-zero elements of R has inverses, this makes R a field. Q.E.D.
    maybe, or maybe not (did i forget). It's because i used to prove the exercise using the lemma i stated.. anyways, thanks TPH!!
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Ideals in rings
    Posted in the Discrete Math Forum
    Replies: 7
    Last Post: May 26th 2010, 08:09 AM
  2. rings and ideals
    Posted in the Advanced Algebra Forum
    Replies: 3
    Last Post: November 29th 2009, 06:52 PM
  3. Ideals of Rings
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: April 5th 2009, 12:41 PM
  4. Rings and Ideals
    Posted in the Advanced Algebra Forum
    Replies: 3
    Last Post: January 16th 2009, 04:55 PM
  5. Ideals and factor rings
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: July 28th 2008, 02:47 PM

Search Tags


/mathhelpforum @mathhelpforum