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.

10.3. CYKELTYPE OG FORTEGN 143<br />

Huskeregel: For en p-cykel gælder:<br />

σ er ulige, hvis p er lige (10.61)<br />

σ er lige, hvis p er ulige (10.62)<br />

Specielt har en transposition <strong>for</strong>tegn sign(τ) = −1 og er altså ulige.<br />

Vi vil nu vise at sign(µ · σ) =sign(µ)·sign(σ). Først vises et lemma:<br />

Lemma 423 Lad τ være en transposition på A og σ en vilkårlig permutation<br />

på A. Da gælder<br />

m(τσ) = m(σ) ± 1. (10.63)<br />

Bevis. Lad A = {a 1 , a 2 , ..., a n }, og τ = (a b). Opskriv banerne B a (σ) og B b (σ)<br />

på følgende måde:<br />

B a (σ) = {a = a 1 , a 2 , ..., a p } (10.64)<br />

hvor σ(a i ) = a i+1 når 1 ≤ i ≤ p − 1, og σ(a p ) = a 1 (10.65)<br />

B b (σ) = {b = b 1 , b 2 , ..., b q } (10.66)<br />

hvor σ(b i ) = b i+1 når 1 ≤ i ≤ q − 1, og σ(b q ) = b 1 (10.67)<br />

Der er nu to tilfælde: enten er B a (σ) og B b (σ) disjunkte, eller også er B a (σ) =<br />

B b (σ) (iflg. sætning 411).<br />

1. Antag at B a (σ) ∩ B b (σ) = ∅. Da er<br />

B a (τσ) = {a = a 1 , a 2 , ..., a p , b = b 1 , b 2 , ..., b q } . (10.68)<br />

For at indse det betragtes elementerne (τσ) i (a) <strong>for</strong> i = 1, 2, ..., p + q:<br />

τσ(a) = τ(σ(a)) = τ(a 2 ) = a 2 (10.69)<br />

(τσ) 2 (a) = τσ(τσ(a)) = τσ(a 2 ) = τ(a 3 ) = a 3 (10.70)<br />

. (10.71)<br />

(τσ) p (a) = τσ((τσ) p−1 (a) = τσ(a p ) = τ(a 1 ) = τ(a) = b (10.72)<br />

(τσ) p+1 (a) = τσ(b) = b 2 (10.73)<br />

.<br />

. (10.74)<br />

(τσ) p+q (a) = τσ(b q ) = τ(b 1 ) = τ(b) = a (10.75)<br />

Altså bliver de to σ-baner B a (σ) og B b (σ) slået sammen til én τσ-bane.<br />

De andre σ-baner <strong>for</strong>bliver baner <strong>for</strong> τσ (overvej). Altså fås i dette tilfælde at<br />

m(τσ) = m(σ) − 1.

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

Saved successfully!

Ooh no, something went wrong!