Vorlesuug 4

(1)

Diskrek Mathematic Vorlesuug

⁴

3.5.18 Steffen Reith

(2)

Es

gilt

⁽ ^MK ⁾ ^, ^o

⁾

^isteiu ^Mouoid ^, ^weuu ^[ ^a

^]<

^° ^[ ^b ^] ^,^.

@

=def ^[

q;b

^] ^,

kouhateuatiou

Offeusichttick gilt

^° ^: ^{MCL )} ^x ^MCL) ^→ ^MCL ⁾ ^, ^also ^mcisseu ^win

nock Zeigeu^, ^diass ^°

wohldefiuivt

^ist ^, ^d. ^h^. ^does

fui

^Zwei

'A

quivaleuzhlasseu

Ân ûnd Âz ^wit ^[ ân

]<

^.^- ^Ana ^[ ^a ^.^'

]<

und [ az

]c

⁼ ^A ² ⁼ ^[

ai ]< gilt

^[ ^a ^.

^]<

^° ^[ ^az

^][

⁼ ^[

^aiko

^[ ^a

^;]

^,

( Unabhciugigheit

^vom

Repiaseutauteu)

Da [ _an

]<=[ai][ gilt f.

^a ^zeE* ^a. ^ZEL

gduaizel

und [

aihz

^[ ^a

'z]< gilt ^f.

^a ^. ^Ze ^Z ^*

azzelgdwaizel

(3)

koukateuatiou

Also ^ist ^[ aeoaz

]<

^=L ^be ^-2*1

f.

^a. ^zeZ*

gilt bozelgdu

⁽^a

.o&a¥oze#

²

=L be E^*I

f.

^a. ^ZEE ^*

gilt ^bozetgdw

^qo ⁽ ^azoz ⁾ ^e ^L ^}

= 2 be -2*1

f.

^a. ^ZEE ^*

gilt ^bozelgdu

^aeo ⁽

^aioz

⁾ ^EL ^}

;2.

be -2*1

f.

^a.

bozelgduiaio

^zeE*

gilt aiioz

⁽ ⁾ ^EL ^}

Lai

^.

aide

D. ^h. die

Verhuipfuug

^" ^o ^" ^ist

wohldefiuivt

^and

^EE

^] ^, ^istdas

neutral Element

, da [

]L=[a]co[

^Eoa

]e[ ^Die

^[ â Ê ^] ; [ aoc ] ₍ =[ â

]<

Die Assoziativitoit weird von ur

spring

^lichen ^Mouoid ⁽ ^E ^* ^, ^o

⁾ _geerbt

^.

Diese

Theorie

fiehrt

^zu

_folgeudeu

^Satz ^:

Sate ^: ^sine

Sprache

^List

geuan

^dawn

regular (

^d. ^h^.

Chomsky Typ

³

)

,

weuu das Mouoid _{( MCL} ) _, ^o ) _endlich ist .

(4)

3.3 ^. Element are

Gruppeuitireorie

³

Hiv : besouderseudliche

Gropper

Die

Verhuipfungeiuoeudlicheu

^Gruppe

kauuzweckmoipigerweise

duroheine ^.

Gruppeutafel augegebeu

^werdeu ^. ^See^'

ly

^- ⁽

^Lai

^, ^- ^, ^an ^}^, ^o

)

_,

Clauu

⁰ ân âz âs ^- ^- ^. ^-^- ^.^-^. ân

An Anode Anoaz

a

aim ::;÷i÷÷ ^:

^a

^;oa

:

: ; ^; i

:

y Auoay ^- ^- ^- ^- ^. ^- ^. ^- ^- ^. ^- ^- ^- ^- ^- Auoqn

Deft

^" ^Seieu

Gil ^Guo ⁾

^and

^Gz=

⁽ ^Ge ^,

^#

^Gruppen ^and

z ^: Ge ^→

Gz

.

(5)

Gilt ^fir

^ale ^g.^g^' ^EG ^, ^die ^Gleickuug ⁴

zlgog

^'

⁾⁼ _zl g)

^*

qlg

^'

⁾ ^idauu

heipt _z

⁽

lyruppeu

⁾ ^-

homomorphismus

Jstybijihtiv

^, ^dauu

^heiptq

⁽ ^Gruppen ⁾ ^-

Isomorphism

^us

wud _man

sagt

^cyn ^and

lyz

^Sind

isomorph

⁽

Symbol

^:

g.

^E ^lgz

⁾

^.

Auschaulichler ) ^:

Isomorphic ^bedeutet

^, ^class

^Gruppen

^die

5€

^'

gleicheiuueveSHuhturbesikeuuurdieElemeuteOF@IudoeI.rapiidseIeubesYI.etswuunrerua.e

(6)

Abbildungeu

^"^. ⁵

Dsp

^: ^Z ^modulo ³ ^unit Resthlasseu addition

+ 01 2 . .

0 ⁰ ¹ ² ^~

1 ¹ 20 ⁼ . . .

2 ² 01 .

z

⁽ ^o⁾ ⁼

zl

¹⁾ ⁼

Z

⁽ ²⁾ ⁼

Deft ^Sci ^cy=

⁽

^G.

^°

⁾

^line

^Gruppe

^.

^Die Meichtigheit

^# ^G

heipt

^and

Orduuug_

^von

G

^.

(7)

Sat

"

kirzungsregel fair

_Gruppen^"

@

Sei _by =L G. ^. ) ^line Gruppen , dauu

gilt ^f.

^a ^.

a. bi ^c EG

i, Denn ac= be

, dauu ^a=b

Ii _, Weuu ca ⁼ Cb _, daun ^a ⁼ ^b

Bevis

^: DIY #

Vorlesuug 4

Diskrek Mathematic Vorlesuug

gilt

)

]<

@

q;b

Offeusichttick gilt

wohldefiuivt

fui

quivaleuzhlasseu

]<

]<

]c

ai ]< gilt

]<

][

aiko

;]

( Unabhciugigheit

Repiaseutauteu)

]<=[ai][ gilt f.

gduaizel

aihz

'z]< gilt f.

azzelgdwaizel

]<

f.

gilt bozelgdu

.o&a¥oze#

f.

gilt bozetgdw

f.

gilt bozelgdu

aioz

;2.

f.

bozelgduiaio

gilt aiioz

Lai

aide

Verhuipfuug

wohldefiuivt

EE

]L=[a]co[

]e[ Die

]<

spring

) geerbt

Diese

fiehrt

folgeudeu

Sprache

geuan

regular (

Chomsky Typ

)

Gruppeuitireorie

Gropper

Verhuipfungeiuoeudlicheu

kauuzweckmoipigerweise

Gruppeutafel augegebeu

ly

Lai

)

Clauu

aim ::;÷i÷÷ :

;oa

:

:

Deft

Gil Guo )

Gz=

#

Gz

Gilt fir

zlgog

)= zl g)

qlg

) idauu

⁾

^]<

^]<

^][

^aiko

^;]

'z]< gilt ^f.

gilt ^bozetgdw

gilt ^bozelgdu

^aioz

^EE

]e[ ^Die

⁾ _geerbt

_folgeudeu

^Lai

aim ::;÷i÷÷ ^:

^;oa

Gil ^Guo ⁾

^Gz=

^#

Gilt ^fir

⁾⁼ _zl g)

⁾ ^idauu

heipt _z

^heiptq

⁾

Isomorphic ^bedeutet

^Gruppen

Deft ^Sci ^cy=

^G.

⁾

^Gruppe

^Die Meichtigheit

gilt ^f.