Explore BrainMass

Explore BrainMass

    Integral Domain, Localization and Maximal Ideals

    Not what you're looking for? Search our solutions OR ask your own Custom question.

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

    Please see the attached file for the fully formatted problems.

    Let A be an integral domain. For a prime ideal P C A and let S = A P be the complement of P in A. Observe that S is multiplicatively closed (WHY?) and form the subring A_p := S^-1 A of the field of fractions F of A. We regard A as a subring of A_p as usual - i.e. an element a E A is identified with the fraction a/1 = as/s for each s E S.

    The ring A_p is referred to as the location of A at P.

    (i) Show that A_p is a local ring whose unique maximal ideal is PA_p = {a/b | a E P, b E A P}.

    (ii) Show that A = np A_p

    where the intersection occurs inside the field F, and the intersection is taken over all prime ideals P of A.

    © BrainMass Inc. brainmass.com March 4, 2021, 8:12 pm ad1c9bdddf


    Solution Summary

    Integral Domain, Localization and Maximal Ideals are investigated in this solution, which is given in .ps and .pdf format.