Diskrete Matematiske Metoder - Institut for Matematiske Fag ...
Diskrete Matematiske Metoder - Institut for Matematiske Fag ...
Diskrete Matematiske Metoder - Institut for Matematiske Fag ...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
192KAPITEL 13. KOMPOSITIONSREGLER, GRUPPER OG ISOMORFIER<br />
2. Hvis n er et sammensat tal findes der i Zn andre elementer end [0], som<br />
ikke har en multiplikativ invers.<br />
Bevis. 1. Hvis [a] ≠ [0], er a ikke et multiplum af n, og da n er et primtal,<br />
er a der<strong>for</strong> indbyrdes primisk med n. Ifølge sætning 593 har [a] der<strong>for</strong> en<br />
multiplikativ invers.<br />
2. Hvis n er et sammensat tal, har n en divisor a så 1 < a < n. Da er<br />
[a] ≠ [0] og a er ikke indbyrdes primisk med n så ifølge sætning 593 har [a]<br />
ingen multiplikativ invers.<br />
Øvelse 596 Bestem den multiplikativt inverse til alle elementerne i Z5.<br />
Hvilke elementer i Z6 har multiplikativt inverse?<br />
13.3 Grupper<br />
Mængder med en associativ kompositionsregel, hvori der findes et neutralt element,<br />
og hvori ethvert element har et inverst element, er så hyppigt <strong>for</strong>ekommende<br />
i matematikken, at man giver dem et særligt navn:<br />
Definition 597 En gruppe (G, ⋆) er en mængde G udstyret med en kompositionsregel<br />
⋆, der har følgende egenskaber:<br />
1. Kompositionsreglen ⋆ er associativ; d.v.s. <strong>for</strong> alle x, y, z ∈ G gælder<br />
(x ⋆ y) ⋆ z = x ⋆ (y ⋆ z) . (13.34)<br />
2. Der findes et neutralt element e ∈ G ; d.v.s. at <strong>for</strong> alle x ∈ G gælder<br />
x ⋆ e = e ⋆ x = x. (13.35)<br />
3. Ethvert element i G har et inverst element; d.v.s at <strong>for</strong> alle x ∈ G findes<br />
et element, som vi vil kalde x −1 , <strong>for</strong> hvilket<br />
x ⋆ x −1 = x −1 ⋆ x = e (13.36)<br />
Antallet af elementer i gruppen kaldes gruppens orden.<br />
uendelig er dens orden ∞.<br />
Hvis gruppen er<br />
Det fremgår af sætning 568 og 572, at det neutrale element i en gruppe er<br />
entydigt bestemt, og ligeledes at det inverse til et givet element også er entydigt.<br />
Der<strong>for</strong> kan vi tillade os at tale om det neutrale element, og give det navnet e og<br />
vi kan tale om det inverse element til et element x ∈ G og give det navnet x −1 .<br />
Definition 598 En gruppe (G, ⋆) kaldes kommutativ eller abelsk 1 , hvis kompositionsreglen<br />
⋆ er kommutativ.<br />
1 Efter den norske matematiker Niels Henrik Abel (1802-1829)