Citat:
Ursprungligen postat av pIkEL
Gäller detta: R,S ringar. R integritetsområde. R isomorf med S ==> S integritetsområde ??
Ja. Beviset lämnas som övning för läsaren.
Generellt så ska du ju tänka att "R, S isomorfa" betyder att R och S är "samma" ring, och att alla egenskaper som "bara beror på hur ringstrukturen ser ut" kommer vara identiska för R och S. I det är fallet är egenskapen att vara ett integritetsområde bara definierat i termer av multiplikation (vilket är en operation i ringen och en del av ringstrukturen) och det att vara 0 (vilket också är en del av ringstrukturen, då 0 per definition bara är det additiva identitetselementet, och additionen är en del av ringstrukturen.)