Imam pitanje u vezi 8. zadatka iz 5 zadace. Jasan mi je onaj prvi dio, ono sto ne kuzim je ovo:
[quote]
Ako je J prost ideal u Q, onda je njegova praslika prost ideal u P
(pokaze se iz definicije). Medutim, ako je praslika J prost ideal u P, J
ne mora biti prost ideal u Q. Protuprimjer: f : Z -> Z × Z definirano
sa f(x) = (x, 0), p prost broj, J = <(p, 0), (0, 4)>.
Praslika max ideala ne mora biti max, npr. (0) je max ideal u R, a
njegova praslika po ulaganju Z u R, (0), nije prost u Z. Slika max
ideala uopce ne mora biti ideal.[/quote]
Zanima me kako tocno izgleda taj skup J = <(p, 0), (0, 4)> i kako izgleda njegova praslika.
hvala
Imam pitanje u vezi 8. zadatka iz 5 zadace. Jasan mi je onaj prvi dio, ono sto ne kuzim je ovo:
Citat: |
Ako je J prost ideal u Q, onda je njegova praslika prost ideal u P
(pokaze se iz definicije). Medutim, ako je praslika J prost ideal u P, J
ne mora biti prost ideal u Q. Protuprimjer: f : Z → Z × Z definirano
sa f(x) = (x, 0), p prost broj, J = <(p, 0), (0, 4)>.
Praslika max ideala ne mora biti max, npr. (0) je max ideal u R, a
njegova praslika po ulaganju Z u R, (0), nije prost u Z. Slika max
ideala uopce ne mora biti ideal. |
Zanima me kako tocno izgleda taj skup J = <(p, 0), (0, 4)> i kako izgleda njegova praslika.
hvala
|