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.
13.3. GRUPPER 193<br />
Eksempel 599 Følgende er eksempler på abelske grupper: (R, +), (R \ {0} , ·),<br />
(Q, +), (Q \ {0} , ·), (Z, +),(Zn, +), (Z/p \ {[0]} , ·) (C, +), (C {0} , ·), hvor<br />
n ∈ N og p er et primtal.<br />
Følgende er eksempler på ikke abelske grupper:<br />
1. Mængden (S M , ◦) af bijektive afbildninger af en mængde på sig selv, udstyret<br />
med kompositionsreglen ◦. Den kaldes den fulde trans<strong>for</strong>mationsgruppe<br />
af M. Hvis M er en endelig mængde med n elementer kaldte vi<br />
oven<strong>for</strong> disse bijektive afbildninger permutationer. Mængden af permutationer<br />
af n elementer og multiplikation (sammensætning) som kompositionsregel<br />
er således en ikke-abelsk gruppe. Disse grupper kaldes permutationsgrupper.<br />
Hvis M = {1, 2, 3, ..., n} benævnes permutationsgruppen<br />
S M også S n .<br />
2. Mængden af lige permutationer af {1, 2, 3, ..., n}. Denne gruppe kaldes den<br />
alternerende gruppe og benævnes A n .<br />
3. Mængden af invertible reelle n × n matricer udstyret med kompositionsreglen<br />
matrixmultiplikation. Den kaldes den generelle lineære gruppe af grad<br />
n, og betegnes GL n (R)<br />
4. Mængden af bijektive lineære afbildninger af et n-dimensionalt vektorrum<br />
på sig selv udstyret med kompositionsreglen ◦.<br />
Sætning 600 Lad (G, ⋆) være en gruppe med neutralt element e. Da gælder<br />
Bevis. Følger af 573.<br />
e −1 = e (13.37)<br />
Sætning 601 Lad (G, ⋆) være en gruppe og x ∈ G. Da gælder:<br />
(<br />
x<br />
−1 ) −1<br />
= x (13.38)<br />
Bevis. Vi skal vise at x er det inverse element til x −1 , altså at<br />
x −1 ⋆ x = x ⋆ x −1 = e. (13.39)<br />
Men det gælder, <strong>for</strong>di x −1 er det inverse element til x.<br />
Sætning 602 Lad (G, ⋆) være en gruppe og x, y ∈ G. Da er<br />
Bevis. Ved gentagen brug af associativiteten fås<br />
(x ⋆ y) −1 = y −1 ⋆ x −1 . (13.40)<br />
(x ⋆ y) ⋆ ( y −1 ⋆ x −1) (13.41)<br />
= x ⋆ (y ⋆ ( y −1 ⋆ x −1) ) (13.42)<br />
= x ⋆ ( ( y ⋆ y −1) ⋆ x −1 ) (13.43)<br />
= x ⋆ (e ⋆ x −1 ) = x ⋆ x −1 = e. (13.44)<br />
På samme vis ses at ( y −1 ⋆ x −1) ⋆ (x ⋆ y) = e.<br />
De følgende såkaldte <strong>for</strong>kortningsregler i grupper kan ofte benyttes: