Results 1 to 3 of 3

Math Help - maximal ideal in commutative algebra

  1. #1
    Member Mauritzvdworm's Avatar
    Joined
    Aug 2009
    From
    Pretoria
    Posts
    122

    maximal ideal in commutative algebra

    I would like to show that every commutative algebra contains proper maximal ideals

    My plan is to create en increasing sequence of proper ideals in the commutative algebra A of the sort I_1\subseteq I_2\subseteq\dots such that I=\bigcup^{\infty}_{n=1}I_{n}
    then to show that every other porper ideal J of A will be contained in the union of some finite collection of these proper ideals I_{n} then I will be a maximal ideal.

    My problem is that I didn't really make any use of the commutative structure of the algebra, any ideas?
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Senior Member
    Joined
    Nov 2008
    Posts
    394
    Quote Originally Posted by Mauritzvdworm View Post
    I would like to show that every commutative algebra contains proper maximal ideals

    My plan is to create en increasing sequence of proper ideals in the commutative algebra A of the sort I_1\subseteq I_2\subseteq\dots such that I=\bigcup^{\infty}_{n=1}I_{n}
    then to show that every other porper ideal J of A will be contained in the union of some finite collection of these proper ideals I_{n} then I will be a maximal ideal.

    My problem is that I didn't really make any use of the commutative structure of the algebra, any ideas?
    See link1 and link2.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    MHF Contributor
    Opalg's Avatar
    Joined
    Aug 2007
    From
    Leeds, UK
    Posts
    4,041
    Thanks
    7
    Notice also that when you are taking the union of an increasing chain of proper ideals, you need to ensure that the union is still a proper ideal. If the algebra is unital then this is not a problem, since none of the ideal contains the identity element and so neither does their union. But in the case of a nonunital algebra you need to use the concept of a modular ideal.

    It does not matter that you didn't make any use of the commutative structure of the algebra, because the result is equally valid in the case of a noncommutative algebra (though in that case you need to specify whether you are using left, right, or two-sided, ideals).
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. 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
  2. Prime ideal or maximal ideal
    Posted in the Advanced Algebra Forum
    Replies: 0
    Last Post: January 21st 2010, 06:42 AM
  3. Maximal Ideal
    Posted in the Advanced Algebra Forum
    Replies: 3
    Last Post: October 8th 2009, 07:46 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