Explore BrainMass
Share

Explore BrainMass

    Ring and ideal proofs

    This content was COPIED from BrainMass.com - View the original, and get the already-completed solution here!

    ** Please see the attached file for the complete problem description **

    Let R be a ring....Prove that radical I is an ideal.....Prove that there is a prime ideal P containing I....

    © BrainMass Inc. brainmass.com October 9, 2019, 10:46 pm ad1c9bdddf
    https://brainmass.com/math/ring-theory/ring-ideal-proofs-231958

    Attachments

    Solution Preview

    (a)

    Denote the radical of I by rad(I).

    Clearly rad(I) is not empty since it contains I (and I is not empty).

    If a, b are in rad(I), then for some integers n, m >= 1 we have that both a^n and b^m are in I.

    Expanding using the binomial theorem we obtain (using commutativity of R)

    (a + b)^{n + m - 1} = sum_{i = 0 to n + m - 1} (n + m - 1 choose i) a^i b^{n + m - 1 - i}

    But for each i, we have either i >= n or n + m - 1 - i >= m (since n - i - 1 is at least 0), in which case either a^i is in I or b^{n + m - i - 1} is in I; in any case, their product is still in I, and since I is an ideal, the above sum is in I, hence rad(I) itself is closed under sums.

    Since a^n is in I, and ...

    Solution Summary

    This provides an example of several proofs regarding rings and ideals, including prime and radical.

    $2.19