Let be a ring map. We can look at the ideal generated by the image of , which is called an extended ideal and is denoted by .
It is not true in general that if is an ideal in , the image of under will be an ideal in . (For example, consider the embedding . The image of the ideal is not an ideal in , since the only ideals in are and all of .)
|Date of creation||2013-03-22 12:55:34|
|Last modified on||2013-03-22 12:55:34|
|Last modified by||drini (3)|