Absztrakt

Diszkrét matematika II.
gyakorlat
Gráfelmélet gyakorlat
Absztrakt algebra
Bogya Norbert
Bolyai Intézet
2015. május 8.
Bogya Norbert (Bolyai Intézet) Diszkrét matematika II. gyakorlat 2015. május 8. 1 / 20
Tartalom
1 Megjegyzések
2 Gráfelmélet gyakorlat
3 Absztrakt algebra
Megyjegyzések
I Az ötödik elektronikus teszt nyitva van. NO CHROME.
I Szavazás. Mikor legyen a dolgozat a következő alkalommal.

Május 15. 1400 -1800
B Az óra elején. (Ez lett a szavazás eredménye.)
B Az óra végén.
Tartalom
1 Megjegyzések
3 Absztrakt algebra
Feladat
Van-e olyan egyszerű gráf, melynek fokszámsorozata
(a) 1, 1, 2, 3, 3, 4; (b) 3, 3, 4, 4, 5, 5?
Feladat
(a) 1, 1, 2, 3, 3, 4; (b) 3, 3, 4, 4, 5, 5?
(a) igen
(b) igen
Feladat
(a) 1, 1, 2, 3, 3, 4; (b) 3, 3, 4, 4, 5, 5?
(a) igen
(b) igen
Feladat
Van-e a következő gráfokban Euler-vonal, zárt Euler-vonal, Hamilton
út, Hamilton-kör?
e
d e f
b d
a c a b c
Feladat
Egy erdő 5 fájában összesen 16 él van. Hány pontja van az erdőnek.
Feladat
Megoldás. 21.
Feladat
Megoldás. 21.
Feladat
Egy 20 pontú fának 18 darab 1 fokú pontja van.
(a) Mennyi lehet a további két pont fokszáma?
(b) Hány élt tartalmaz a leghosszabb útja?
(c) Hány ilyen fa van, ha a csúcsokat nem különböztetjük meg?
Feladat
Megoldás. 21.
Feladat
Egy 20 pontú fának 18 darab 1 fokú pontja van.
(a) Mennyi lehet a további két pont fokszáma?
(b) Hány élt tartalmaz a leghosszabb útja?
(c) Hány ilyen fa van, ha a csúcsokat nem különböztetjük meg?
Megoldás.
(a) 2 és 18 között bármi
(b) 3
(c) 9
Feladat
Adjunk meg az alábbi gráfokban
(a) minimális lefogó ponthalmazt;
(b) maximális párosítást;
(c) ν(G ) és τ (G ) értékét.
c f e
g d
d b h c
a a b
Feladat
Páros gráfok-e az alábbiak?
h g f e h g f e
a b c d a b c d
Feladat
Páros gráfok-e az alábbiak?
h g f e h g f e
a b c d a b c d
Megoldás. Igen. Nem.
Feladat
Síkgráfok-e az alábbi gráfok?
h g
d e f
e f
d c
a b a b c
Feladat
Síkgráfok-e az alábbi gráfok?
h g
d e f
e f
d c
a b a b c
Megoldás. Igen. Nem.
Tartalom
1 Megjegyzések
3 Absztrakt algebra
Asztrakt algebra
Művelet
Legyen A nemüres halmaz és n ∈ N. Az A-n értelmezett n változós
műveleten egy An → A leképezést értünk. Az n a művelet
változószáma.
Algebra
Ha A nemüres halmaz, F pedig az A-n értelmezett műveletek
halmaza, akkor az (A, F ) párt algebrának nevezzük.
Példák.
Grupoid
Az algebrákat a műveleteik száma, változószáma és tulajdonságai

alapján rendszerezzük.
Grupoid
A grupoid olyan algebra, ahol 1 darab 2-változós művelet van
értelmezve.
Grupoid
Az algebrákat a műveleteik száma, változószáma és tulajdonságai

alapján rendszerezzük.
Grupoid
A grupoid olyan algebra, ahol 1 darab 2-változós művelet van
értelmezve.
Példák.
I (R; +) ◦ 0 1 2 3
0 3 1 0 2
I (Z; ·) I 1 2 1 1 1
I ({i, h}; ∧) 2 0 1 2 3
3 2 1 3 3
Műveletek tulajdonságai
Legyen (A; ◦) egy grupoid. A ◦ művelet

I kommutatív, ha ∀a, b ∈ A esetén a ◦ b = b ◦ a;

I asszociatív, ha ∀a, b, c ∈ A esetén (a ◦ b) ◦ c = a ◦ (b ◦ c);

I kancellatív, ha ∀a, x, y ∈ A esetén
a ◦ x = a ◦ y =⇒ x = y
x ◦ a = y ◦ a =⇒ x = y .

a ◦ x = a ◦ y =⇒ x = y
x ◦ a = y ◦ a =⇒ x = y .
I Az o ∈ A zéruselem, ha ∀a ∈ A esetén a ◦ o = o ◦ a = o.

a ◦ x = a ◦ y =⇒ x = y
x ◦ a = y ◦ a =⇒ x = y .
I Az e ∈ A egységelem, ha ∀a ∈ A esetén a ◦ e = e ◦ a = a.

a ◦ x = a ◦ y =⇒ x = y
x ◦ a = y ◦ a =⇒ x = y .
I Az e ∈ A egységelem, ha ∀a ∈ A esetén a ◦ e = e ◦ a = a.
I Ha a grupoidban létezik e egységelem, akkor az a inverze b,
ha a ◦ b = b ◦ a = e.
Feladat
Milyen műveleti tulajdonságai vannak az alábbi grupoidok
műveleteinek?
(a) (R; +) ◦ 0 1 2 3
0 3 1 0 2
(b) 1 2 1 1 1
2 0 1 2 3
3 2 1 3 3
Feladat
Milyen műveleti tulajdonságai vannak az alábbi grupoidok
műveleteinek?
(a) (R; +) ◦ 0 1 2 3
0 3 1 0 2
(b) 1 2 1 1 1
2 0 1 2 3
3 2 1 3 3
Megoldás.
(a) kommutatív, asszociatív, 0 egységelem, nincs zéruselem, a
inverze −a, kancellatív
(b) nem kommutatív, nem kancellatív, 2 egységelem, nincs
zéruselem, 0 inverze 3 és 2 inverze 2
Tétel
Bármely grupoidban legfeljebb egy darab egységelem és legfeljebb
egy darab zéruselem létezik.
Bizonyítás. Lásd a táblán.
Nevezetes algebrák
asszociatív egységelemes inverz kommutatív

grupoid
félcsoport X
monoid X X
csoport X X X
Abel-csoport X X X X
Nevezetes algebrák
asszociatív egységelemes inverz kommutatív

grupoid
félcsoport X
monoid X X
csoport X X X
Abel-csoport X X X X
Feladat
Készítsünk halmazábrát az alábbi struktúrákkal: (N; +), (N0 ; +),
(Z; +), (Z3 ; +), (Z3 ; ·), (Z; ·), (R \ {0}; +), (R; ·), (R \ {0}; ·),
(M2 ; ·).
Feladat
Tekintsük az (R, M) algebrai struktúrát. A M műveletet a
következőképpen definiáljuk:
a M b = 12 − 3a − 3b + ab
Vizsgáljuk az algebrát asszociativitás, kommutativitás

szempontjából. Van-e benne egységelem, zéruselem? Milyen
elemeknek van inverze?
Feladat
a M b = 12 − 3a − 3b + ab

Megoldás. (R, M) zéruselemes kommutatív monoid
Feladat
a M b = 12 − 3a − 3b + ab

Megoldás. (R, M) zéruselemes kommutatív monoid
Tétel
Monoidban minden elemnek legfeljebb egy inverze van.
Bizonyítás. Lásd a táblán.
Gyűrűk, testek
Definíció
Legyen ∗ és ◦ két tetszőleges kétváltozós művelet az A nemüres
halmazon. A ◦ művelet disztributív a ∗ műveletre, ha ∀a, b, c ∈ A
elemekre
(a ∗ b) ◦ c = (a ◦ c) ∗ (b ◦ c)
c ◦ (a ∗ b) = (c ◦ a) ∗ (c ◦ b)
Gyűrűk, testek
Definíció
elemekre
(a ∗ b) ◦ c = (a ◦ c) ∗ (b ◦ c)
c ◦ (a ∗ b) = (c ◦ a) ∗ (c ◦ b)
Példák.
Gyűrűk, testek
Definíció
elemekre
(a ∗ b) ◦ c = (a ◦ c) ∗ (b ◦ c)
c ◦ (a ∗ b) = (c ◦ a) ∗ (c ◦ b)
Példák. A Zn , Z, R, N halmazokon a · disztributív az +-ra nézve. Az

{i, h} logikai értékek halmazán az ∧ disztributív a ∨ műveletre.
Gyűrűk, testek
Gyűrű
Az (A; +, ·) algebra gyűrű, ha
1 (A; +) Abel-csoport,
2 (A; ·) félcsoport,
3 · disztributív +-ra.
Gyűrűk, testek
Gyűrű Példák
Az (A; +, ·) algebra gyűrű, ha I (Zn ; +, ·)
1 (A; +) Abel-csoport, I (Z; +, ·)
2 (A; ·) félcsoport, I (Mn ; +, ·)
Gyűrűk, testek
Gyűrű Példák
Test
Az (A; +, ·) algebra gyűrű, ha
1 (A; +) Abel-csoport,
2 (A \ {0}; ·) Abel-csoport,
Gyűrűk, testek
Gyűrű Példák
Test Példák
Az (A; +, ·) algebra gyűrű, ha I (Zp ; +, ·)
1 (A; +) Abel-csoport, I (Q; +, ·)
2 (A \ {0}; ·) Abel-csoport, I (R; +, ·)
3 · disztributív +-ra. I (C; +, ·)
Gyűrűk, testek
Feladat
Számoljunk a Z19 testben.
3 38
(a) 12+16; (b) 3 · 12; (c) 5
; (d) 9
Gyűrűk, testek
Feladat
3 38
(a) 12+16; (b) 3 · 12; (c) 5
; (d) 9
Megoldás.
(a) 9; (b) 17; (c) 12; (d) 5
Gyűrűk, testek
Feladat
3 38
(a) 12+16; (b) 3 · 12; (c) 5
; (d) 9
Megoldás.
(a) 9; (b) 17; (c) 12; (d) 5
Tétel
(Zn ; +, ·) test ⇐⇒ n prím

Absztrakt

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Absztrakt

Uploaded by

Copyright:

Available Formats

Diszkrét matematika II.

I Az ötödik elektronikus teszt nyitva van. NO CHROME.

I Szavazás. Mikor legyen a dolgozat a következő alkalommal.

Megoldás. Igen. Nem.

Megoldás. Igen. Nem.

Az algebrákat a műveleteik száma, változószáma és tulajdonságai

Az algebrákat a műveleteik száma, változószáma és tulajdonságai

Legyen (A; ◦) egy grupoid. A ◦ művelet

Legyen (A; ◦) egy grupoid. A ◦ művelet

Legyen (A; ◦) egy grupoid. A ◦ művelet

Legyen (A; ◦) egy grupoid. A ◦ művelet

Legyen (A; ◦) egy grupoid. A ◦ művelet

Legyen (A; ◦) egy grupoid. A ◦ művelet

Bizonyítás. Lásd a táblán.

asszociatív egységelemes inverz kommutatív

asszociatív egységelemes inverz kommutatív

Vizsgáljuk az algebrát asszociativitás, kommutativitás

Vizsgáljuk az algebrát asszociativitás, kommutativitás

Vizsgáljuk az algebrát asszociativitás, kommutativitás

Bizonyítás. Lásd a táblán.

Példák. A Zn , Z, R, N halmazokon a · disztributív az +-ra nézve. Az

(a) 9; (b) 17; (c) 12; (d) 5

(a) 9; (b) 17; (c) 12; (d) 5

You might also like