Здравствуйте! Никак не могу разобраться с одним моментом. Помогите, пожалуйста!
Допустим, я доказал, что (при определннных условиях, сейчас это неважно) существет простой идеал

такой, что

, как отсюда вывести, что существует простой идеал

такой, что

,

- простые идеалы,

--простой.
И еще один вопрос, верно ли что если

--простые идеалы, то

--простой идеал? И почему это так?
Большое спасибо!