Talk:Extension and contraction of ideals