Results 1 to 2 of 2

Math Help - Help with ideal proof

  1. #1
    Newbie
    Joined
    Oct 2006
    Posts
    17

    Help with ideal proof

    Yo. New to the board. Just looking for some help.

    Let F be a field. Prove that the ring M2(F) of 2 x 2 matrices with entries in F has no non-trivial ideals. That is, every ideal is either the zero ideal or M2(F) itself.

    Any help appreciated.
    Benjamin
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Global Moderator

    Joined
    Nov 2005
    From
    New York City
    Posts
    10,616
    Thanks
    10
    Quote Originally Posted by BenWong View Post
    Yo. New to the board. Just looking for some help.

    Let F be a field. Prove that the ring M2(F) of 2 x 2 matrices with entries in F has no non-trivial ideals. That is, every ideal is either the zero ideal or M2(F) itself.

    Any help appreciated.
    Benjamin
    The proper terminology is a non-trivial proper ideal
    Anyway,

    The ring M_2(F) is a ring with unity whose addition operation is matrix addition and multiplication is matrix multiplication.

    If A\in M_2(F) is a matrix that is invertible then, the ideal containing A as an element must contain all elements of M_2(F) (because any ideal containing a unit is improper) thus it is the ring itself.

    Thus, the only way a non-trivial ideal can exist in M_2(F) is when all the elements are non-units, that is non-invertible matrices. But that set cannot be an additive subgroup of the ring because addition would not be closed (since the sum of two non-invertible matrices can be invertible).
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. ideal,nil,nilpotent ideal in prime ring
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: May 24th 2011, 08:57 AM
  2. prove N is a maximal ideal iff N is a prime ideal
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: March 20th 2011, 10:02 AM
  3. Prime ideal or maximal ideal
    Posted in the Advanced Algebra Forum
    Replies: 0
    Last Post: January 21st 2010, 06:42 AM
  4. Maximal Ideal, Prime Ideal
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: September 28th 2008, 03:39 PM
  5. Prime ideal but not maximal ideal
    Posted in the Advanced Algebra Forum
    Replies: 3
    Last Post: November 14th 2007, 10:50 AM

Search Tags


/mathhelpforum @mathhelpforum