23.11.2014 Views

Diskrete Matematiske Metoder - Institut for Matematiske Fag ...

Diskrete Matematiske Metoder - Institut for Matematiske Fag ...

Diskrete Matematiske Metoder - Institut for Matematiske Fag ...

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

14.1. RINGE 207<br />

Bevis. For alle x ∈ R gælder<br />

0 · x = 0 ≠ 1. (14.25)<br />

Bemærkning 654 I en ring kan man ikke altid slutte, at hvis et produkt er<br />

lig nul, da er en af faktorerne lig nul (nul-reglen). For eksempel i Z/6 er<br />

[2] · [3] = [2 · 3] = [6] = [0] , men [2] ≠ [0] og [3] ≠ [0].<br />

Det betyder også, at man ikke kan ”<strong>for</strong>korte” en fælles faktor væk på begge<br />

sider af et lighedstegn, selv når denne faktor er <strong>for</strong>skellig fra 0. For eksempel<br />

gælder der i Z/6, at<br />

[2] · [3] = [2] · [0] , (14.26)<br />

men vi kan ikke <strong>for</strong>korte [2] væk på begge sider af lighedstegnet, <strong>for</strong> så ville vi<br />

få [3] = [0], hvilket er <strong>for</strong>kert.<br />

Definition 655 En kommutativ ring (som ikke er nulringen) kaldes et integritetsområde,<br />

hvis nul-reglen gælder, altså hvis<br />

x · y = 0 ⇒ (x = 0) ∨ (y = 0) . (14.27)<br />

Eksempel 656 (Z, +, ·) er et integritetsområde.<br />

Sætning 657 Lad R være et integritetsområde og x ∈ R, x ≠ 0. Da gælder<br />

Bevis. Hvis x · y = x · z gælder<br />

Da x ≠ 0 slutter vi fra nulreglen, at<br />

x · y = x · z ⇒ y = z. (14.28)<br />

0 = x · 0 = x · (y + (−y)) = x · y + x(−y) (14.29)<br />

= x · z + x · (−y) = x(z + (−y)). (14.30)<br />

z + (−y) = 0 (14.31)<br />

så<br />

z = z + (−y) + y = 0 + y = y. (14.32)<br />

Sætning 658 Hvis alle elementer i en kommutativ ring R på nær 0 er invertible,<br />

er ringen et integritetsområde.<br />

Bevis. Antag at x · y = 0 og at x ≠ 0. Da har x ifølge <strong>for</strong>udsætningen en<br />

multiplikativ invers x −1 , og vi får:<br />

y = 1 · y = ( x −1 · x ) · y = x −1 · (x · y) = x −1 · 0 = 0. (14.33)

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!