plutarco wrote:Nå ser jeg jo at dersom R er en ring som inneholder en kropp k som en underring av R, så kan R betraktes som et vektorrom over k.
Det betyr at kake med tau har helt rett i at $k[x]/(x^4)\cong k^4$ og at dette vil være et vektorrom med dimensjon 4 dersom k er en kropp.
Jippi!

Men er det noen fine sammenhenger mellom $\dim_k(k[x]/(x^4))$=4 og Krull-dimensjonen, $\dim(k[x]/(x^4))$? Jeg har rotet rundt i boken til Kemper, men har ikke funnet noe enda. Fult mulig jeg har oversett noe, men synes idéen om å se på en ring fra to forskjellige synspunkter, som en ring og som et vektorrom, burde ha et fint teorem knyttet til seg. (Er bare nysgjerrig om det går an å løse oppgaven på denne måten)
Tror det går an å vise at $k[x]/(x^4)$ er artinsk ganske rett frem med bare regning. Hvis $(f(x)+u)\subseteq k[x]/(x^4)$ så er $(f(x)+u)=(1)$ $(*)$, så vi trenger kun se på idealer generert av polynomer uten konstantledd, som er inni $(x)$
$(*)$ $f(x)=u+ax+bx^2+cx^3$, [tex](u+ax+bx^2+cx^3)=(u+ax+bx^2+cx^3, ux^3)=(u+ax+bx^2, x^3)=(u+ax+bx^2, x^3, ux^2+ax^3)[/tex][tex]=(u+ax+bx^2, x^3, x^2)=(u+ax+bx^2, x^2)=(u+ax, x^2)=(u+ax, x^2, ux+ax^2)=(u+ax, x)=(1)[/tex]