Results 1 to 6 of 6

Math Help - Maximal ideal in a ring with unity.

  1. #1
    Member
    Joined
    Feb 2009
    Posts
    138

    Maximal ideal in a ring with unity.

    Hi:
    Suppose that R is an arbitrary simple ring such that  R^2 notequal (0) and such that R contains a maximal right ideal A (which is certainly the case if R has a unity). Up to here the statement. Now, why does R contain a maximal right ideal if it has a unity? I don't get this. Thanks.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor

    Joined
    May 2008
    Posts
    2,295
    Thanks
    7
    Quote Originally Posted by ENRIQUESTEFANINI View Post
    Hi:
    Suppose that R is an arbitrary simple ring such that  R^2 notequal (0) and such that R contains a maximal right ideal A (which is certainly the case if R has a unity). Up to here the statement. Now, why does R contain a maximal right ideal if it has a unity? I don't get this. Thanks.
    by Zorn's lemma:

    let (A, \subseteq) be the set of all "proper" right ideals of R. (proper means \neq R.) this set is not empty because it contains \{0\}. now if \{I_k \} is a totally ordered collection of elements of A, then

    J=\bigcup I_k is a right ideal of R and J \neq R, because if J = R, then, since 1 \in R, we must have 1 \in I_k, for some k, which is false. so, by Zorn's lemma, A has a "maximal" element, say

    M. it is obvious that M is a maximal right ideal of R.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Member
    Joined
    Feb 2009
    From
    Chennai
    Posts
    148

    Solution

    HI--

    Its one of the famous theorems .


    for a proof please run this .tex commands


    \documentclass[10pt,amssymb]{revtex4}
    \usepackage{amsmath}


    \begin{document}
    \title{ \huge\mdseries Maximal Ideals in Rings with Unity}
    \maketitle

    \large
    \begin{itemize}

    \item[\textbf{Theorem}:]{ If $R$ is a ring with $1$ and $I$ is a left ideal of $R$ such that $I \neq R$, then there is a maximal ideal $M$ of the same kind as $I$ such that $I \subseteq M$.}

    \item[\textbf{Proof:}]{ Let $I$ be a left ideal of $R$. Consider the family $\mathcal{F}=\mathcal{F}_{1}$ of all ideals in $R$ containing $I$ except the unit ideal $R$, i.e $$\mathcal{F}=\mathcal{F}_{1}=\{ \mathcal{J} \ | \ \text{left ideal in} \ R, J \subseteq I, \ J \neq R\}$$

    The theorem is equivalent to showing that $\mathcal{F}$ has a maximal element with set inclusion as the partial order. To apply \textbf{ Zorn's Lemma} to the family $\mathcal{F}$, we have to verify that totally ordered subset $\mathcal{T}$ of $\mathcal{F}$ has an upper bound in $\mathcal{F}$. Given such a $\mathcal{T}$, let $\displaystyle T_{0}= \bigcup\limits_{T \in \mathcal{T}} T$. We will show that $T_{0} \in \mathcal{F}$ (so that $T_{0}$ is obviously an upper bound in for $\mathcal{T}$.) We have $T_{0} \supseteq I$.

    \item{ $T_{0}$ is a left ideal of $R$}

    \item{ $T_{0} \neq R$}

    For if $T_{0}=R$ then $1 \in T_{0}$. Hence $1 \in T$ for some $T \in \mathcal{T}$. But then this will force $T=R$, a contradiction.

    Now by Zorn's lemma, $\mathcal{F}$ has a maximal element, say $M$. Since $M \in \mathcal{F}$, we have $M \neq R$, $M \supseteq I$ and $M$ is a left ideal.

    \item{ $M$ is a maximal left ideal in $R$.}

    For suppose $J$ is a left ideal such that $M \subseteq J \subseteq R$, if $J \neq R$, then $J \in \mathcal{F}$ which implies $M=J$.}



    \end{itemize}






    \end{document}
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Member
    Joined
    Feb 2009
    Posts
    138
    @chandru1: I utterly regret not being able to read your proof for the time being, but I'll ask for help on how to do it.

    @NonCommAlg: I tried Zorn's lemma but wasn't wise enough. Once again, thanks and good luck with your Ph.D thesis.
    Last edited by ENRIQUESTEFANINI; July 15th 2010 at 02:32 PM.
    Follow Math Help Forum on Facebook and Google+

  5. #5
    MHF Contributor chiph588@'s Avatar
    Joined
    Sep 2008
    From
    Champaign, Illinois
    Posts
    1,163
    Quote Originally Posted by ENRIQUESTEFANINI View Post
    @chandru1: I utterly regret not being able to read your proof for the time being, but I'll ask for help on how to do it.
    Here's his post: Maximal ideal in a ring with unity.-picture-10.png
    Follow Math Help Forum on Facebook and Google+

  6. #6
    MHF Contributor

    Joined
    May 2008
    Posts
    2,295
    Thanks
    7
    Quote Originally Posted by ENRIQUESTEFANINI View Post
    I tried Zorn's lemma but wasn't wise enough.
    who wasn't wise enough? you, me, Zorn or Zorn's lemma?

    anywho, i don't know which part of the solution you didn't understand. if it was Zorn's lemma, here is what exatly Zorn's lemma says:

    let A \neq \emptyset be a set with a partial ordering \leq. suppose that any chain \mathcal{I} \subseteq A has an upper bound in A, i.e. there exists a \in A such that x \leq a, for all x \in \mathcal{I}. then A has a maximal

    element, i.e. there exists b \in A such that if y \in A and b \leq y, then b = y.

    by the way, a subset \mathcal{I} of A is called a chain or totally ordered if for every u,v \in \mathcal{I} we either have u \leq v or v \leq u.

    what i did in my solution was to take A to be the set of all proper right ideals of R and \leq to be the inclusion \subseteq. now if \mathcal{I}=\{I_k\} is any chain in A, then J=\bigcup I_k is also in A. (why?)

    it is obvious that for any I_k \in \mathcal{I} we have I_k \subseteq J. that means J is an upper bound for the elements of \mathcal{I}. so we can apply Zorn's lemma to get a maximal element for elements of A.

    that maximal element is clearly a maximal right ideal of A.
    Last edited by NonCommAlg; July 15th 2010 at 03:28 PM.
    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. [SOLVED] Ring with unity 1 that has subring with unity 1'
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: August 15th 2010, 11:58 AM
  3. maximal left ideal of matrix ring
    Posted in the Advanced Algebra Forum
    Replies: 0
    Last Post: March 3rd 2010, 08:21 AM
  4. Ring without maximal ideal
    Posted in the Advanced Algebra Forum
    Replies: 8
    Last Post: December 6th 2009, 09:01 AM
  5. maximal ideal in ring of quotients of R with respect to S
    Posted in the Advanced Algebra Forum
    Replies: 4
    Last Post: August 18th 2009, 09:46 PM

Search Tags


/mathhelpforum @mathhelpforum