Explore BrainMass

Explore BrainMass

    Ideals and Factor Rings : Annihilator

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

    If X is contained in R is a nonempty subset of a commutative ring R, define the annihilator of X by ann(X) = { a belonging to R | ax=0 for all x belonging to X}

    Show that X is contained in ann[ann(X)]
    Show that ann(X) = ann{ann[ann(X)]}.

    © BrainMass Inc. brainmass.com February 24, 2021, 2:23 pm ad1c9bdddf

    Solution Preview

    X is contained in R and R is commutative, so we have ax=xa for any elements a,x in R.
    First, I show that X is contained in ann[ann(X)]
    By definition of ann(X), we know, for any x in X and any y in ann(X), we have yz=0 ...

    Solution Summary

    A proof involving an annihilator is provided and the details are in the solution.