"Ideals" of a ring "R" are the submodules of "R", i.e., the modules contained in "R".In more detail, an ideal "I" is a non-empty subset of "R" such that for all "r" in "R", "i" and "j" in "I", both "ri" and "i" + "j" are in "I".