Bonjour.
La question est pas très claire.
Tu devrais déjà distinguer l'application

de la projection canonique

(qui elle est un morphisme). A ce titre l'égalité
=p(J))
est trompeuse. Elle ne signifie nullement que

.

est définie à l'aide de p :
Si J est un idéal de A contenant I, on pose
=p(J))
.
)
est clairement un idéal de A/I, donc l'application

est bien définie.
Je reviens à ta question :
on prend cette fois un idéal J de l'anneau quotient A/I. Alors
)
est l'idéal de A formé des x de A tels que
\in J)
. En particulier si x est dans I, on a p(x)=0, donc
\in J)
(un idéal est un sous-groupe donc il contient 0), donc
)
. D'où l'inclusion cherchée.