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

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:

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

Saved successfully!

Ooh no, something went wrong!