Prethodna tema :: Sljedeća tema |
Autor/ica |
Poruka |
pajopatak Forumaš(ica)
Pridružen/a: 25. 10. 2009. (22:20:04) Postovi: (BE)16
|
|
[Vrh] |
|
kaj Forumaš(ica)
Pridružen/a: 15. 11. 2009. (21:02:20) Postovi: (B8)16
|
|
[Vrh] |
|
some_dude Forumaš(ica)
Pridružen/a: 08. 11. 2009. (16:23:13) Postovi: (59)16
Spol:
Lokacija: Zd-Zg
|
|
[Vrh] |
|
pajopatak Forumaš(ica)
Pridružen/a: 25. 10. 2009. (22:20:04) Postovi: (BE)16
|
|
[Vrh] |
|
goranm Forumaš(ica)
Pridružen/a: 12. 11. 2002. (20:09:12) Postovi: (906)16
Spol:
|
|
[Vrh] |
|
pajopatak Forumaš(ica)
Pridružen/a: 25. 10. 2009. (22:20:04) Postovi: (BE)16
|
Postano: 20:23 pon, 30. 5. 2011 Naslov: |
|
|
Hvala, a kako bi se dokazalo da <x> nije max u R[x,y],mi smo kreirali na vježbama izomorfizam R[x,y]/<x> sa R[y],i to je bio dokaz da nije polje.
Hvala, a kako bi se dokazalo da <x> nije max u R[x,y],mi smo kreirali na vježbama izomorfizam R[x,y]/<x> sa R[y],i to je bio dokaz da nije polje.
|
|
[Vrh] |
|
goranm Forumaš(ica)
Pridružen/a: 12. 11. 2002. (20:09:12) Postovi: (906)16
Spol:
|
Postano: 20:37 pon, 30. 5. 2011 Naslov: |
|
|
[quote="pajopatak"]Hvala, a kako bi se dokazalo da <x> nije max u R[x,y],mi smo kreirali na vježbama izomorfizam R[x,y]/<x> sa R[y],i to je bio dokaz da nije polje.[/quote]
U komutativnom prstenu R vrijedi ako je M maksimalan ideal u R, onda je R/M polje, tj. ako R/M nije polje, onda M nije maksimalan.
Kako ste pokazali da R[x,y]/(x) ~ R[y], a R[y] nije polje, onda niti R[x,y]/(x) nije polje pa (x) nije maksimalan u R[x,y].
pajopatak (napisa): | Hvala, a kako bi se dokazalo da <x> nije max u R[x,y],mi smo kreirali na vježbama izomorfizam R[x,y]/<x> sa R[y],i to je bio dokaz da nije polje. |
U komutativnom prstenu R vrijedi ako je M maksimalan ideal u R, onda je R/M polje, tj. ako R/M nije polje, onda M nije maksimalan.
Kako ste pokazali da R[x,y]/(x) ~ R[y], a R[y] nije polje, onda niti R[x,y]/(x) nije polje pa (x) nije maksimalan u R[x,y].
_________________ The Dude Abides
|
|
[Vrh] |
|
kaj Forumaš(ica)
Pridružen/a: 15. 11. 2009. (21:02:20) Postovi: (B8)16
|
|
[Vrh] |
|
patlidzan Forumaš(ica)
Pridružen/a: 05. 11. 2009. (19:17:28) Postovi: (76)16
Spol:
|
Postano: 20:48 pon, 30. 5. 2011 Naslov: |
|
|
[quote="goranm"][quote="pajopatak"]Hvala, a kako bi se dokazalo da <x> nije max u R[x,y],mi smo kreirali na vježbama izomorfizam R[x,y]/<x> sa R[y],i to je bio dokaz da nije polje.[/quote]
U komutativnom prstenu R vrijedi ako je M maksimalan ideal u R, onda je R/M polje, tj. ako R/M nije polje, onda M nije maksimalan.
Kako ste pokazali da R[x,y]/(x) ~ R[y], a R[y] nije polje, onda niti R[x,y]/(x) nije polje pa (x) nije maksimalan u R[x,y].[/quote]
a kako R(y) nije polje ??
mislim ako je R=skup realnih br
goranm (napisa): | pajopatak (napisa): | Hvala, a kako bi se dokazalo da <x> nije max u R[x,y],mi smo kreirali na vježbama izomorfizam R[x,y]/<x> sa R[y],i to je bio dokaz da nije polje. |
U komutativnom prstenu R vrijedi ako je M maksimalan ideal u R, onda je R/M polje, tj. ako R/M nije polje, onda M nije maksimalan.
Kako ste pokazali da R[x,y]/(x) ~ R[y], a R[y] nije polje, onda niti R[x,y]/(x) nije polje pa (x) nije maksimalan u R[x,y]. |
a kako R(y) nije polje ??
mislim ako je R=skup realnih br
|
|
[Vrh] |
|
kaj Forumaš(ica)
Pridružen/a: 15. 11. 2009. (21:02:20) Postovi: (B8)16
|
Postano: 20:54 pon, 30. 5. 2011 Naslov: |
|
|
[quote="patlidzan"][quote="goranm"][quote="pajopatak"]Hvala, a kako bi se dokazalo da <x> nije max u R[x,y],mi smo kreirali na vježbama izomorfizam R[x,y]/<x> sa R[y],i to je bio dokaz da nije polje.[/quote]
U komutativnom prstenu R vrijedi ako je M maksimalan ideal u R, onda je R/M polje, tj. ako R/M nije polje, onda M nije maksimalan.
Kako ste pokazali da R[x,y]/(x) ~ R[y], a R[y] nije polje, onda niti R[x,y]/(x) nije polje pa (x) nije maksimalan u R[x,y].[/quote]
a kako R(y) nije polje ??
mislim ako je R=skup realnih br[/quote]
Nije polje jer npr. nenul element x+1 nije invertibilan, tj. općenitije invertibilni su samo polinomi oblika f(x) = c, c iz R, dok ostali nisu.
patlidzan (napisa): | goranm (napisa): | pajopatak (napisa): | Hvala, a kako bi se dokazalo da <x> nije max u R[x,y],mi smo kreirali na vježbama izomorfizam R[x,y]/<x> sa R[y],i to je bio dokaz da nije polje. |
U komutativnom prstenu R vrijedi ako je M maksimalan ideal u R, onda je R/M polje, tj. ako R/M nije polje, onda M nije maksimalan.
Kako ste pokazali da R[x,y]/(x) ~ R[y], a R[y] nije polje, onda niti R[x,y]/(x) nije polje pa (x) nije maksimalan u R[x,y]. |
a kako R(y) nije polje ??
mislim ako je R=skup realnih br |
Nije polje jer npr. nenul element x+1 nije invertibilan, tj. općenitije invertibilni su samo polinomi oblika f(x) = c, c iz R, dok ostali nisu.
|
|
[Vrh] |
|
goranm Forumaš(ica)
Pridružen/a: 12. 11. 2002. (20:09:12) Postovi: (906)16
Spol:
|
Postano: 21:01 pon, 30. 5. 2011 Naslov: |
|
|
[quote="kaj"]Dokazali smo da je R[x]/I izomorfno sa C ako je I = (x^2+1), kako bi onda konstruirali izomorfizam za proizvoljan I=(x^2+px+q) ?[/quote]
Neka je f(x)=x^2+px+q (uz p^2-4q<0) i [latex]c\in\mathbb{C}[/latex] td. f(c)=0.
Definiramo [latex]\varphi\colon\mathbb{R}[x]\to\mathbb{C}[/latex] td. [latex]\varphi(r)=r, \forall r\in\mathbb{R}[/latex] i [latex]\varphi(x)=c[/latex].
Kako je [latex]c\in\mathbb{C}\setminus\mathbb{R}[/latex], [latex]\varphi[/latex] je epimorfizam (jer {r,c} je baza za C).
Neka je [latex]F\in\mathbb{R}[x][/latex]. Tada je [latex]\varphi(F)=\varphi(\sum_{i=0}^na_ix^i)=\sum_{i=0}^na_i \varphi(x)^i=\sum_{i=0}^na_i c^i=F(c)[/latex].
Jer je još F=f*g+h, gdje je st(h)<2, onda je
[latex]\varphi(F)=F(c)=f(c)g(c)+h(c)=0*g(c)+h(c)=h(c)[/latex]
Tada je [latex]F\in\ker\varphi\iff F(c)=0\iff h(c)=0 \iff h=0[/latex] jer h mora biti stupnja ili 0 ili 1, a ne može biti stupnja 1 jer c nije realan broj pa x-c nije u R[x].
Dakle [latex]F\in\ker\varphi\iff f | F \iff F\in (f)=I[/latex], tj. [latex]\ker\varphi = I[/latex] pa iz prvog teorema o izomorfizmu slijedi R[x]/I~C.
kaj (napisa): | Dokazali smo da je R[x]/I izomorfno sa C ako je I = (x^2+1), kako bi onda konstruirali izomorfizam za proizvoljan I=(x^2+px+q) ? |
Neka je f(x)=x^2+px+q (uz p^2-4q<0) i td. f(c)=0.
Definiramo td. i .
Kako je , je epimorfizam (jer {r,c} je baza za C).
Neka je . Tada je .
Jer je još F=f*g+h, gdje je st(h)<2, onda je
Tada je jer h mora biti stupnja ili 0 ili 1, a ne može biti stupnja 1 jer c nije realan broj pa x-c nije u R[x].
Dakle , tj. pa iz prvog teorema o izomorfizmu slijedi R[x]/I~C.
_________________ The Dude Abides
|
|
[Vrh] |
|
Gost
|
|
[Vrh] |
|
Gost
|
|
[Vrh] |
|
komaPMF Forumaš(ica)
Pridružen/a: 22. 11. 2007. (10:23:41) Postovi: (E6)16
Spol:
Lokacija: Over the roof
|
|
[Vrh] |
|
kratki89 Forumaš(ica)
Pridružen/a: 19. 09. 2009. (23:36:13) Postovi: (27)16
Lokacija: Zemlja i okolica
|
|
[Vrh] |
|
Gost
|
|
[Vrh] |
|
|