Kommutativ ring
Moderatorer: Vektormannen, espen180, Aleks855, Solar Plexsus, Gustav, Nebuchadnezzar, Janhaa
Ser ikke helt hvordan du får de implikasjonene. Den siste gjelder vel kun for heltallsdomener, og den første forutsetter at $xy=yx$, noe du skal bevise.stensrud skrev:$1$ kommuterer med alle elementene i $R$, og for $x\neq 1,y\in R$ så er
\[ (x^2-x)y=y(x^2-x)\iff (x-1)(xy-yx)=0\implies xy=yx. \]
Hoooppsann, gikk litt fort i svingene der... Skal se om jeg får fiksa det litt senere.Gustav skrev: Ser ikke helt hvordan du får de implikasjonene. Den siste gjelder vel kun for heltallsdomener, og den første forutsetter at $xy=yx$, noe du skal bevise.
1. $(x^2-x)y=y(x^2-x) \ \ \Leftrightarrow \ \ x^2 y-yx^2=xy-yx$
2. $(y^2-y)x=x(y^2-y) \ \ \Leftrightarrow \ \ y^2 x-xy^2=yx-xy$
3. $((x-y)^2-(x-y))y=y((x-y)^2-(x-y)) \ \Leftrightarrow \ \ (x^2 y-yx^2)+(y^2 x-x^2)=xy-yx \ \Rightarrow \ \ 0=xy-yx$
2. $(y^2-y)x=x(y^2-y) \ \ \Leftrightarrow \ \ y^2 x-xy^2=yx-xy$
3. $((x-y)^2-(x-y))y=y((x-y)^2-(x-y)) \ \Leftrightarrow \ \ (x^2 y-yx^2)+(y^2 x-x^2)=xy-yx \ \Rightarrow \ \ 0=xy-yx$
Ser bra ut!
Løste den for øvrig selv slik:
Lemma: $a,b\in C\Rightarrow a+b\in C$. Bevis: $ay=ya, by=yb\Rightarrow ay+by=ya+yb\Rightarrow (a+b)y=y(a+b)$. Likedan vil $a,a+b\in C\Rightarrow b\in C$.
Nå er $(x+y)^2-(x+y)\in C\Rightarrow (x^2-x)+(y^2-y)+xy+yx\in C$. Fra lemmaet vil derfor $xy+yx\in C$. Dermed er $(xy+yx)x=x(xy+yx)\Rightarrow x^2y=yx^2\Rightarrow x^2\in C$.
Til slutt er $(x^2-x)y=y(x^2-x)\Rightarrow xy=yx$.
Løste den for øvrig selv slik:
Lemma: $a,b\in C\Rightarrow a+b\in C$. Bevis: $ay=ya, by=yb\Rightarrow ay+by=ya+yb\Rightarrow (a+b)y=y(a+b)$. Likedan vil $a,a+b\in C\Rightarrow b\in C$.
Nå er $(x+y)^2-(x+y)\in C\Rightarrow (x^2-x)+(y^2-y)+xy+yx\in C$. Fra lemmaet vil derfor $xy+yx\in C$. Dermed er $(xy+yx)x=x(xy+yx)\Rightarrow x^2y=yx^2\Rightarrow x^2\in C$.
Til slutt er $(x^2-x)y=y(x^2-x)\Rightarrow xy=yx$.
1. $b^2 a=ab^2$
Bevis:
$(aba)^3=aba^2 ba^2 ba=a(aba)a^2 ba=a^2 b^2 a$
$(aba)^3=aba^2 ba^2 ba=aba^2(aba)a=a b^2 a^2$
så $a^2b^2a=ab^2a^2$ og derfor $b^2a=a^2b^2a^2=ab^2$
2. $a^2ba=b^3$
Bevis:
$(aba)^{3n}=(ba^2b)^{3n}$
$(aba)^{3n}=((aba)^3)^n=(a^2b^2a)^n=a^2b^{2n}a=a^2ba$
$(ba^2b)^{3n}=ba^2b^2\cdots b^2a^2b=ba^{6n}b^{6n-1}=b^{6n}=b^3$ på grunn av (1).
3. $b=e$
Bevis:
$a^2ba=b^3 \ \ \Rightarrow \ \ ba^2ba=b^4 \ \ \Rightarrow \ \ aba^2=b^4 \ \ \Rightarrow \ \ a^2ba=b^5$
Fortsetter vi videre slik, kommer vi til $a^2ba=b^{2n-1}=e$.
$a^2ba=b^{2n-1}=e \ \ \Rightarrow \ \ ba=a \ \ \Rightarrow \ \ b=a^3=e$
Bevis:
$(aba)^3=aba^2 ba^2 ba=a(aba)a^2 ba=a^2 b^2 a$
$(aba)^3=aba^2 ba^2 ba=aba^2(aba)a=a b^2 a^2$
så $a^2b^2a=ab^2a^2$ og derfor $b^2a=a^2b^2a^2=ab^2$
2. $a^2ba=b^3$
Bevis:
$(aba)^{3n}=(ba^2b)^{3n}$
$(aba)^{3n}=((aba)^3)^n=(a^2b^2a)^n=a^2b^{2n}a=a^2ba$
$(ba^2b)^{3n}=ba^2b^2\cdots b^2a^2b=ba^{6n}b^{6n-1}=b^{6n}=b^3$ på grunn av (1).
3. $b=e$
Bevis:
$a^2ba=b^3 \ \ \Rightarrow \ \ ba^2ba=b^4 \ \ \Rightarrow \ \ aba^2=b^4 \ \ \Rightarrow \ \ a^2ba=b^5$
Fortsetter vi videre slik, kommer vi til $a^2ba=b^{2n-1}=e$.
$a^2ba=b^{2n-1}=e \ \ \Rightarrow \ \ ba=a \ \ \Rightarrow \ \ b=a^3=e$