R with unity is divison ring iff no nontrivial right ideals
Lagt inn: 15/09-2017 12:37
Show that a ring R with unity is a divison ring if and only if R has no nontrivial right ideals.
Har klart den ene veien med å anta at det eksesterer et ideal i R som ikke er trivielt. la deretter [tex]r\in I[/tex] som medfører at [tex]1=r^{-1}r\in I[/tex]
som medfører at [tex]I=R[/tex] som er en motsigelse.
sliter derimot med den andre veien.
(bruker notasjonen [tex]\triangleleft[/tex] for ideal i)
Har en ring med unity å ønsker å vise at hvis [tex]I\triangleleft R[/tex] så er [tex]I=R[/tex] eller [tex]I=(0)[/tex] medfører at [tex]\forall r\in R \Rightarrow r^{-1} \in R[/tex]
Det jeg har gjort så langt er å definere [tex]I \triangleleft R[/tex] der [tex]I\neq (0)[/tex] [tex]\Rightarrow \exists a\in I[/tex] som ikke er lik 0.
Som betyr at [tex]\{ra|r\in R\}=J[/tex] er lik et ideal i [tex]R[/tex], som dermed betyr at [tex]J=R[/tex]. Etter dette har jeg ikke kommet lengre, lurte dermed om noen kunne gi meg hint eller hele løsningen.
Har klart den ene veien med å anta at det eksesterer et ideal i R som ikke er trivielt. la deretter [tex]r\in I[/tex] som medfører at [tex]1=r^{-1}r\in I[/tex]
som medfører at [tex]I=R[/tex] som er en motsigelse.
sliter derimot med den andre veien.
(bruker notasjonen [tex]\triangleleft[/tex] for ideal i)
Har en ring med unity å ønsker å vise at hvis [tex]I\triangleleft R[/tex] så er [tex]I=R[/tex] eller [tex]I=(0)[/tex] medfører at [tex]\forall r\in R \Rightarrow r^{-1} \in R[/tex]
Det jeg har gjort så langt er å definere [tex]I \triangleleft R[/tex] der [tex]I\neq (0)[/tex] [tex]\Rightarrow \exists a\in I[/tex] som ikke er lik 0.
Som betyr at [tex]\{ra|r\in R\}=J[/tex] er lik et ideal i [tex]R[/tex], som dermed betyr at [tex]J=R[/tex]. Etter dette har jeg ikke kommet lengre, lurte dermed om noen kunne gi meg hint eller hele løsningen.