ABSZTRAKT ALGEBRA

Gonda Istvn
2012/2013

Tartalomjegyzk

1. Bevezets

1.1.

Mvelet

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.2.

Mveleti tulajdonsgok

1.3.

Additv rsmd

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.4.

Klnlegessg . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.5.

Invertlhatsg . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2. Vges halmaz permutcija

2
2

3. Csoportok

11

3.1.

Rszcsoportok . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

12

3.2.

Ciklikus csoportok

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

14

3.3.

Izomorzmus, homomorzmus . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

15

3.4.

Mellkosztly

19

3.5.

Normloszt, konjugls . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

20

3.6.

Kongruencia, kompatibilis osztlyozs

23

3.7.

Faktorcsoport, mag . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

25

3.8.

Termszetes homomorzmus . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

26

3.9.

Izomora ttelek

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

28

3.10. Egyszer csoportok . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

29

3.11. Csoportok direktszorzata

30

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

4. Gyrk

35

4.1.

Ismtls

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

4.2.

Komplexusmveletek gyrkben

4.3.

Idelok . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

37

4.4.

Homomorzmus, izomorzmus

38

4.5.

Kongruencia, osztlyozs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

39

4.6.

Faktorgyr, mag . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

39

4.7.

Homomora, izomora . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

40

4.8.

Gyrk direkt szorzata . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

41

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

5. Testek

35
36

45

5.1.

Egyszer algebrai bvts

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

47

5.2.

Vges testek . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

48

Nhny informci
Ajnlott irodalom:
1) Blintn Szendrei Mria, Czdli Gbor, Szendrei gnes: Absztrakt algebrai feladatok
2) Cskny Bla: Algebra
3) Fried Ervin: Algebra I,II
4) Fuchs Lszl: Algebra
5) Kiss Emil: Bevezets az algebrba
6) Schmidt Tams: Algebra

FELELSSGET NEM VLLALOK A JEGYZETRT. MINDENKI SAJT FELELSSGRE HASZNLJA.

Tovbb ez nem tanknyv (nem Polygon Knyvtr, nem Polygon Jegyzettr, stb.). Az eladst nem helyettesti, nem tartalmaz minden fontos informcit, csak irnyadknt, segdletk'ent kszlt.
A jegyzetben az brk a megrtst prblnk segteni s nem mvszi, pontos alkotsok (kzzel vagy Paint
segtsgvel kszltek, s nem pl. AutoCAD, GeoGebra, stb.).
Az esetleges gpelsi, szakmai hibkat a kvetkez e-mail cmen tudod jelezni felm:
gondaistvan91@gmail.com

Elad: Blintn Dr. Szendrei Mria (egyetemi tanr)

Jegyzet: Gonda Istvn (matematika-zika szakos egyetemi hallgat)
Letlthet: www.gondaistvan.minus.com

Kszlt: 2012/2013-as tanv tavaszi flve sorn

1. Bevezets

1.1. Mvelet
Legyen
-

(nem res) alaphalmaz. Az alaphalmazon rtelmezett mveletek:

0-vltozs mvelet
Egy A-beli elem kijellse

("kitntetett" elem)

Pldul: zrusvektor, zruselem

-

1-vltozs mvelet
a 7 A-beli elem
Pldul: inverzkpzs

2-vltozs mvelet (+, )

a, b A-ra (a, b) 7 A-beli
n-vltozs mvelet
(A ... A) A
(a1 , ..., an ) A-beli

elem

elem

1.2. Mveleti tulajdonsgok

- Asszociativits (csoportosthat)

a(bc) = (ab)c
- "ltalnos" asszociativits
Vges sok elem kz (megfelel szm) zrjelet tehetnk.
- Kommutativits
Tetszleges

a, b A-ra: ab = ba

- "ltalnos" kommutativits (asszociativits esetn)

- Disztributivits

(A, +, ) egy struktra.

a(b + c) = ab + ac egyszerre

Legyen

A szorzs disztributv az sszeadsra

teljesl.

a, b, c A-ra: (a + b)c = ac + bc

1.1. Denci. Az a s b elemek felcserlhetk, ha ab = ba.

1.2. Ttel. A szorzs kommutatv akkor s csak akkor, ha brmely 2 elem felcserlhet.
Legyen

(A, )

egy struktra.

- Egysgelem: legfeljebb 1 van.

- Balegysgelem:

a A e : ea = a.

- Jobbegysgelem:

a A e : ae = a

- Baloldali zruselem:

a A-ra ba = b.
2

- Jobboldali zruselem:

a A-ra ab = b.

- Zruselem: jobb- s baloldali zruselem megegyezik, s ez a zruselem.

Legyen

(A, )

egy struktra s tegyk fel, hogy egysge 1.

1.3. Denci. Az a-nak inverze b, ha ab = ba = 1.

1.4. Ttel. Ha a szorzs asszociatv, akkor minden elemnek legfeljebb 1 inverze van (jele: a1 ).
1.5. Denci (Csoport). Az (A, ) struktrban ha a szorzs asszociatv, egysgelemes s minden elemnek
van inverze, akkor (A, ) csoport.

1.6. Plda
Legyen

(Csoportokra)

halmaz.

Az

(Z, +), (R, +), (Q, +), (C, +), (C , ), (Q , ), (R , ), (Zn , +), (Zn , )
SX

az

X X

bijekcik halmaza (a szoksos lekpezsre nvze).

Neve:

X -en

denilt szimmetrikus csoport.

Skbeli alakzatok:
- Szimmetrii - Szablyos hromszg:

id. (identikus lekpezs)

2
3 -mal,
tkrzs (3db)

forgats (

2
3 -mal)

- Szimmetrii - Szablyos hatszg:

id. (identikus lekpezs)

forgats (6db, kztk van az identikus is)
tkrzs (6db)
Adott n esetn Dn a szablyos n-szg szimmetria csoportja. Neve: n-edfok didercsoport. Elemszma:
|Dn | = 2n.
Legyen V egy vektortr. Ekkor G(V ) az sszes bijektv lineris transzformci V -n a szoksos lekpezsszorzssal.

V -n.
{A K nn : |A| =
6 0}.

Neve: ltalnos lineris csoport

A

test esetn:

G(K, n). Neve: ltalnos lineris csoport.

(G, ) egy csoport, akkor az inverzkpzs tulajdonsgai:

Jele:
Ha

(ab)1 = b1 a1 ,

(a1 )1 = a.

Egszkitevs hatvnyozs:

Tetszleges

n = 0-ra: an = a0 = 1,

n > 0-ra: an = a ... a,

n < 0-ra: an = a1 ... a1 .

1.7. Tulajdonsgok. Legyen a, b G,

a G, n Z-re:

m, n Z. Ekkor

- am+n = am an ,
- (am )n = amn ,
- ha a s b felcserlhet, akkor (ab)n = an bn .

Bizonyts.
- Pldul legyen

m>0

n<0
am = a
... a}
| {z
m db

a = |a
m+n

{z
... a1}
n db

= a ... |a {z
a } ... a1 = amn
=1

m>0

- Legyen

n = 1.

A bizonytand, hogy

(am )1 = am .

1
am = a
... a1}
| {z
m db

am am = a ... |a {z
a1} ... a1
=1

=a

... |a1
{z a} ... a
=1

Teht

- Legyen

m 1

= (a )

n > 0.
(ab)n = ab
... ab} = a
... a} b| {z
... }b
| {z
| {z
n db

n db

n db

1.3. Additv rsmd

Legyen

(A, +)

csoport (ltalban Abel-csoport). Egysgelem: 0. Inverz jele:

(a + b) = (b) + (a),

(a) = a.

Tbbszrzs egsz szmokkal (nem szorzs):

-

n = 0-ra: 0a = 0,

n > 0-ra: n a = a + ... + a,

n < 0-ra: n a = (a) + ... + (a).

Additv hatvnyozs:

(additv inverz).

a A, n Z:

(m + n)a = ma + na, n(ma) = (nm)a, n(a + b) = na + nb.

1.4. Klnlegessg
Q = {1, i, j, k}

egy 8-elem csoport, melyre teljeslnek a kvetkezk:

- Egysgelem: 1,
-

i2 = j 2 = k 2 = 1,

(1)i = i(1), (1)j = j(1), (1)k = k(1),

ij = k, jk = i, ki = j ,

ji = k, kj = i, ik = j .

1.5. Invertlhatsg
1.8. Denci. Legyen (A, ). Azt mondjuk, hogy a invertlhat, ha a, b A x, y A : ax = b s ya = b
(nem kell egysgelem).
1.9. Ttel. Legyen (A, ) adott. Tegyk fel, hogy a szorzs asszociatv A-n. Ekkor ekvivalensek:
(1) (A, ),
(2) a szorzs invertlhat.

Bizonyts.
(1)

(2) Tegyk fel, hogy

(A, )

csoport s tetszleges

a, b A-ra:

a(a1 b) = (aa1 )b = b
(ba1 )a = b(a1 a) = b
(2)

a A e : ea = a. Tetszleges b A-ra b = ax valamely

x A-ra eb = e(ax) = (ea)x = ax = b. Teht e balegysgelem Hasonlan mkdik a msik oldalra is,
az legyen f . Akkor van egysgelem, ha e = f s ez a kzs rtk az egysgelem. Tovbbiakban jele: 1.

(1) A mvelet asszociatv s invertlhat:

a A : a0 , a00 A : aa0 = 1, a00 a = 1

Ekkor

a0 = a00 : a00 = a00 (aa0 ) = (a00 a) = a0 .

Teht

a-nak

van inverze.

2. Vges halmaz permutcija

Legyen

vges halmaz s elemei

{1, 2, ..., n} (n? N). Sn -t n-edfok

szimmetrikus csoportnak nevezzk.

|Sn | = n!
Permutci (ktsoros rsmd-plda):


=

1
6

2
2

3
7

4
4

5
1

6
5

7
3

Permutcit nyl-diagramm segtsgvel is "brzolhatjuk". Ha


S7

n 3,

akkor

Sn

nem lesz Abel-csoport.

2.1. Plda. Legyen n = 3.




1
1

2
3

3
2



1
2

2
3

3
1



1
2

2
3

3
1

1
1

2
3

3
2

1
2

2
1

3
3

1
3

2
2

3
1

=
=

2.2. Denci. Ha Sn permutci, akkor a ltal mozgatott elemek halmaza:

M = {a {1, ..., n} : a 6= a}.
Fenti pldban (ktsorosban):

M = {1, 3, 5, 6, 7}.

2.3. llts. Tetszleges Sn s a {1, ..., n} esetn, ha a M , akkor a M .

Bizonyts.

Ha

a
/ M ,

akkor

(a) = a .

De

injektv, ezrt

a = a,

teht

a
/ M .

Ellentmon-

dshoz jutottunk, gy az eredeti lltsunk igaz.

2.4. Denci. A , Sn , akkor a kt permutci idegen, ha M M = .

2.5. llts. Ha

M = M M .

Bizonyts.

Hasonl

, Sn idegenek (idegen permutcik), akkor = (azaz , felcserlhetk) s

a {1, ..., n}.

a,
a,
a() =

a,

Legyen

ha
ha
ha

a
/ M M : a() = (a) = a = a
a
/ M s a M : a() = (a) = a
a M s a
/ M : a() = (a) = a

a()-re is, s a() = a(), a {1, ..., n}-re.

M = M M .

A msik felttel teljeslse pedig a kpletbl

ltszik, hogy

2.6. llts. Legyen 1 , ..., k Sn . Ha 1 , ..., k pronknt idegenek (azaz i, j -re i s j idegenek),
akkor
S
a 1 , ..., k szorzat nem fgg a tnyezk sorrendjtl: [1 ...k =?1 ...k , Sn ] s M1 ...k =

k
i=1

M i .

Ez az llts belthat az elz llts s teljes indukci segtsgvel.

2.7. Denci. Legyen

Sn . Azt mondjuk, hogy ciklus (vagy ciklikus permutci), ha a1 , ..., ak

{1, ..., n} pronknt klnbz elemek, amelyre a1 = a2 , a2 = a3 , ..., ak = a1 s M = {a1 , ..., ak }.
6

2.8. Jells.

(a1 ...ak )

2.9. Megjegyzs. Ugyanazt a ciklust tbbflekppen jellhetem:

(a2 ...ak a1 ), stb.

2.10. Megjegyzs. Nem ltszik, hogy melyik Sn -ben van. Pldul (1 2) S2 , S3 , ...
2.11. Denci. Ciklusok hossza:

|M |. Pldul (a1 ...ak ) egy k( 2) hossz ciklus.

2.12. Denci. A 2 hossz ciklusok neve transzpozci.

2.13. Megjegyzs.

(a1 ...ak )1 = (ak ...a1 ).

2.14. Plda. Legyen = (1 6 5) s = (3 7). Mi a szorzatuk?

Ltszik, hogy pronknt idegen ciklusok.


= (1 6 5)(3 7) =

1
6

2
2

3
7

4
4

5
1

6
5

7
3

2.15. Ttel. Minden Sn -beli permutci elll, mgpedig a tnyezk sorrendjtl eltekintve egyrtelmen
pronknt idegen ciklusok szorzataknt. (Specilisan az identikus permutci esetn ez 0 tnyezs szorzat,
mg ciklus permutci esetn ez 1 tnyezs szorzat.)
Bizonyts.
|M | = 0 = id.
k -nl kevesebb elemet mozgat Sn -beli prok
elllnak pronknt idegen ciklusok szorzataknt Legyen Sn oly mdon, hogy |M | = k 1.
Vlasszuk az a M -t. Denci szerint a = a1 s a2 = a 6= a1 , a3 = a2 gy, hogy a3 6= a1 , a2 s gy
tovbb... Vgessg miatt lesz egy olyan s index, hogy as , ..., a1 pronknt klnbz s as+1 = as
{a1 , ..., as }. lltjuk, hogy as+1 = a1 . Tegyk fel, hogy as+1 6= ai , ahol i 6= 1.

1. Elllthatsg:

Teljes indukci a

Indukcis feltevs:

k N

rgztett.

ltal megadott elemek szma szerint.

Tegyk fel, hogy

as+1 = as = ai = ai1

as = ai1 . Denci szerint legyen = (a1 a2 .. as ), M = {a1 , a2 , ..., as }.

M M = {a1 , a2 , ..., as }. Tekintsk a = 1 permutcit

injektivitsa miatt

hogy

Tudjuk,

a1 = (a 1 ) = as = a1 ,
ugyangy

ai -re

igaz lesz. Az

a M \{a1 , a2 , ..., as } :

az

ai = ai

M M = (a = (a 1 ) = a)
M
Teht

|M | < k ,

az indukcis feltevs miatt

M , a1 , a2 , ..., as
/ M
= 1 ...t ,
M =

t
[

ahol

1 , ..., t

pronknt idegen ciklusok.

M i ,

i=1
de

M M = ,

mert

Mi M = .

Teht a

1 , ..., t

pronknt idegen ciklusok

= = 1 ...t .

2. Egyrtelmsg:

|M |

|M | = 0 = id.

Cl: Ha = 1 ...s = 1 ...t , ahol i -k s j -k is

Ss , amelyre 1 = 1 , ..., s = t . Tudom, hogy
nem, azaz = 1 ...s , ahol s 1 s i -k pronknt idegen

szerinti teljes indukci.

pronknt idegen ciklusok, akkor

s = t

Tegyk fel, hogy

ciklusok

M =

s
[

Mi 6= ,

i=1

i -k

k N

Tegyk fel, hogy k -nl

Sn , melyre |M
St | = k .
Tegyk fel, hogy (a fenti felttelekkel) = 1 ...s = 1 ...t (). Az a Mi , M1 ..t =
j=1 Mj
(pronknt diszjunktak). Ltezik pontosan egy j : 1 j t, amelyre a Mj . Tegyk fel, hogy j = 1

mert

nem resek- ellentmonds.

kevesebb elemet mozgat

Sn -beli

Indukcis feltevs:

rgztett.

permutci ellltsa egyrtelm.

a1 = (a1 )2 ...s = a = (a1 )2 ...t = a1

a 2 = (a1 )1 = ... = (a1 )1
(a1 1 )1 = ... = (a1 1 )1
l

a = (a1 )l = ... = a1l (l = 1, ...)

Ss
1 = 1 , () 2 ...s = 2 ...t . {a, a, a 2 , ...} M2 ...s = i=2 Mi . Kvetkezik
feltevs miatt: s 1 = t 1 s 2 , ..., t sorrendtl eltekintve ugyanaz, mint a 2 , ..., s .

az indukcis

2.16. Plda. Legyen = (1 6 5)(3 7) idegen ciklusokra bontott alak.

Szorzsnl:

(1 2 4 5 6) = (1 6 5)(3 7)(1 2 4 5 6) = (5 2 4)(3 7)

2.17. Plda. Legyen = (a1 ...ak ). Tudjuk, hogy k = id s 2 = (a1

a3 a5 ...).

(1 2 3)2 = (1 3 2)
(1 2 3 4)2 = (1 3)(2 4)

2.18. Plda. Legyen = (1 6 5)(3 7) idegen ciklusokra bontott alak. Mi a kbe?

3 = ((1 6 5)(3 7))3 = (1 6 5)3 (3 7)3 = (3 7)3 = (3 7)

2.19. Plda. Legyen = (1 2)(1 3). Mi a ngyzete?

Ltszik, hogy

nem idegen ciklusok szorzatra van felbontva.

2 = ((1 2)(1 3))2 = (1 2 3)2 = (1 3 2)

Ha gy jrtunk volna el, hogy tagonknt emelnk ngyzetre, akkor az identikus lekpezst kapjuk, ami nem
j (ltszik a msik megoldsbl is).

2.20. Ttel. Minden Sn -beli permutci elll transzpozcik szorzataknt.

Bizonyts.

Elz ttel miatt elg ciklusokra bizonytani:

(i1 ... ik ) = (i1 i2 )...(i1 ik )

Ez

k1

darab transzpozci.

2.21. Megjegyzs. Nincs egyrtelmsg. Pldul:

(i2 ...ik i1 ) = (i2 i3 )...(i2 i1 ).

(1 2) = (1 2)(1 2)(1 2) = (1 2)(2 3)(2 3). ltalnosabban:

2.22. Ttel. Minden Sn -beli permutci vagy csak pros sok, vagy csak pratlan sok transzpozci szorzatra
bonthat.

Bizonyts.
id. permutci csak pros sok transzpozci szorzatra bonthat. Tegyk
id. = 1 ...s , ahol i -k transzpozcik Sn -ben, akkor s pros. Legyen egy tetszleges
= 1 ...k = 1 ...l , ahol i -k s j -k is transzpozcik

1. Elg bebizonytani, hogy az

fel, hogy ha

Sn -beli

id. = 1 ...k (1...l )1 = 1 ...k 11 ...l1 = 1 ...k l ...1

Feltevsbl kvetkezik, hogy
2. Megmutatjuk, hogy az

id.

k+l

pros, ami akkor s csak akkor, ha

kl

(mod 2).

csak pros sok transzpozci szorzataknt ll el. Plda a megrtshez:

(1 2)(1 4)(1 2)(1 3)(1 4)(2 3)(3 4)(1 2) = id.

(1 2)(1 4)(1 2)(1 3)(1 4)(2 3)(1 2)(3 4) (j k)(i j) = (i j k) = (i k)(j k)
(1 2)(1 4)(1 2)(1 3)(1 4)(1 3)(2 3)(3 4) (i k)(i j) = (i k j) = (j i k) = (j i)(j k) = (i j)(j k)
(1 2)(1 4)(1 2)(1 3)(1 3)(3 4)(2 3)(3 4)
(1 2)(1 4)(1 2) id. (3 4)(2 3)(3 4)
(1 2)(1 4)(1 2)(3 4)(2 3)(3 4)
(2 4)(3 4)(2 3)(3 4)
Ebbl az ltjuk, hogy
mek szma).

id. = (..)...(..).

Ha ez a szm 2, akkor

Teljes indukcival ltjuk be (az ellltsban fellp ele-

id. = (i j)2 2|s.

Tegyk fel, hogy az llts igaz, ha

s-nl kevesebb elem lp fel az ellltsban (indukcis feltevs, s > 2). id. = (..)...(..) pontosan s darab elem lp fel. Kivlasztjuk az egyik elemet, legyen i {1, ..., n}. Megkeressk az utols elfordulst. Elllts: id. = (..)...(..) tnyezk szmnak paritsa ugyanaz, mert identikus.
VAGY
itt mr nem szerepel

i,

VAGY

id. = (i j)(..)...(..),

teht alkalmazhat

az indukcis feltevs (ld. plda)

az

tnyezbe

tnyezbe kerl, ez nem fordulhat el,

pros sok ellltsban lesz, hiszen vigyztunk,

hogy megtartsuk a paritst

mert a jobboldali szorzat a

j -t i-be

viszi, ez ellentmondsos, mert a szorzat identikus

2.23. Denci. Ha Sn pros (pratlan) sok transzpozci szorzata, akkor pros (pratlan) permutcinak nevezzk.

2.24. Jells.

An - Sn -beli pros permutcik halmaza

2.25. szrevtel.

id. An , (i1 ...ik ) An k pratlan. Specilisan: transzpozcik pratlanok ( Sn \An ).

2.26. llts. Legyen , Sn -beli permutci. Ekkor

1. An , An , akkor An .
An , Sn \An , akkor Sn \An .
Sn \An , An , akkor Sn \An .
Sn \An , Sn \An , akkor An .
9

2. An akkor s csak akkor, ha 1 An .

2.27. Kvetkezmny. Az An csoport a szoksos permutci szorzatra nzve.

Neve:

n-edfok

alternl-csoport

(n 2)

2.28. llts. Ha n 2, akkor |An | = |Sn \An |, hasonl mdon |An | = n!/2.
Bizonyts.
Tegyk fel, hogy

transzpozci Sn -bl: f : An Sn \An , 7 .

, 0 An , melyre
f = 0 f

Legyen

lltom, hogy bijekci. Injektv:

= 0
Szrjektv: Ha

Sn \An ,

akkor

An

( )f = = .

2.29. llts. Egy

Sn -beli permutci pontosan akkor pros, ha idegen ciklusokra bontott alakjban pros
sok pros hosszsg ciklus van.

10

3. Csoportok

Legyen

a G.

egy csoport s

Az

sszes hatvnya:

1. Ha ezek pronknt klnbz elemek, azaz

rendje vgtelen. Jells:

..., a2 , a1 , 1, a, a2 , ....

i 6= j

egszre

ai 6= aj ,

i 6= j egszre ai = aj ,
i j N.

2. Ha nem pronknt klnbz, azaz

Ekkor

ij

i j

=aa

akkor azt mondjuk, hogy az

elem

o(a) = .

= a = 1,

ahol

akkor

i<j

vagy

j < i.

Legyen

j < i.

6= {k N : ak = 1} N
Van legkisebb eleme, ez legyen
szm, amelyre

o(a) = n,

n.

Ekkor az

a elem rendje n.
a rendje

akkor azt mondjuk, hogy

Jells:

o(a) = n. Ha ltezik n termszetes

o(a) < .

vges. Jells:

3.1. Pldk.
1.

C\{0}-ban: o(i) = 4

2.

C\{0}-ban: o(2i) =

3.

(i1 ...ik ) Sn , o((i1 ...ik )) = k

3.2. szrevtel. Vges csoportban brmely elem rendje vges.

3.3. szrevtel. Egy csoportban tetszleges a G-re o(a) = 1 akkor s csak akkor, ha a = 1 (egysgelem).
3.4. llts. Legyen G egy csoport s a G s tegyk fel, hogy o(a) = n N. Tetszleges k Z-re ak = 1
(egysgelem) akkor s csak akkor, ha n|k.

Bizonyts.

Legyen

k = qn + r, 0 r n, q N.
1 = ak = aqn+r = (an )q ar = ar ,

de

r
/ N-nek

a rend dencija miatt, ezrt

r = 0.

3.5. llts. Legyen

G egy csoport s a G s tegyk fel, hogy o(a) = n N. Ekkor i, j Z-re ai = aj

akkor s csak akkor, ha i j (mod n).

Bizonyts.
maradka,

Az elz bizonytsbeli szmtsbl ltszik, hogy

a =a

, ahol

j -n

ai = ar ,

ahol

az

i-n

maradkos oszts

maradkos oszts maradka.

3.6. llts. Legyen G egy csoport s a G s tegyk fel, hogy o(a) = n N. Ekkor az a elem pronknt
klnbz hatvnya: 1, a, a2 , ..., an1 .

Az elz lltsbl kvetkezik, pronknt klnbz maradkosztlybl kell venni.

3.7. llts. Legyen G egy csoport s a, b G s tegyk fel, hogy o(a) = m s o(b) = n. Ekkor tetszleges
i Z-re o(ai ) = o(a)/lnko(i, m).

Bizonyts.
lltsunk, hogy

Legyen d = lnko(i, m) s ekkor i = i1 d, m = m1 d, ahol lnko(i1 , m1 ) = 1. Bizonytand

o(ai ) = m1 . Legyen t Z : 1 = (ai )t = ati m|it m1 d|i1 dt m1 |i1 t m1 |t

o(ai ) = m1 .
11

3.8. llts. Legyen G egy csoport s a, b G s tegyk fel, hogy o(a) = m s o(b) = n. Ekkor, ha a s b
felcserlhet, akkor o(ab)|lkkt(o(a), o(b)).

Bizonyts.
mert

(ab)lkkt(m,n) = alkkt(m,n) blkkt(m,n) = 1,

m|llkkt(m, n)

n|lkkt(m, n).

3.9. llts. Legyen G egy csoport s a, b G s tegyk fel, hogy o(a) = m s o(b) = n. Ekkor, ha a s b
felcserlhet s lnko(m, n) = 1, akkor o(ab) = mn.

Bizonyts.

o(ab)|mn kvetkezik az elz lltsbl. Tegyk fel, hogy t Z : 1 = (ab)t . Ekkor 1 =

[(ab) ] = (ab) = amt bmt = (am )t bmt = bmt n|mt n|t. Ugyangy szerepcservel addik, hogy m|t.
Az lnko(m, n) = 1 mn|t.
Legyen pronknt idegen ciklusokra bontott permutci. Ekkor o() = lkkt(l1 , ..., ls ) s a 3.8.-as lltsbl
n
n
n
kvetkezik, hogy o()|lkkt(l1 , ..., ls ). s = (..) ...(..) .
Legyen G egy vges Abel-csoport. Ekkor m = lkkt(o(a) : a G). Az m a legkisebb olyan egsz, amelyre,
mint kitev emelve brmely a G hatvny 1 lesz. Neve: G exponense m.
m t

mt

3.10. Ttel. Legyen G vges Abel-csoport s m a fenti. Ekkor ltezik a G : o(a) = m..
Bizonyts.

Legyen

m = pk11 pk22 ..pks s , ahol pi -k pronknt klnbz prmek s kj -k termszetes szmok.

i(1 i s) : pki i : gi G : pki i |o(gi )
o(gi ) = pki i ui (ui N)
o(hi ) =: o(gik ) = pxi i

a = h1 ...hs , o(a) = o(h1 ...hs ) = o(h1 )...o(hs ) = pk11 pk22 ...pks s = m.

3.11. Denci. Legyen

esetn ab A.

G csoport s A G. Azt mondjuk, hogy A zrt a G-beli szorzsra, ha a, b A

3.12. Denci. Legyen G csoport s A G. Azt mondjuk, hogy A zrt a G-beli inverzkpzsre, ha a A
esetn a1 A.

3.13. szrevtel. Az A zrt a szorzsra akkor s csak akkor, ha a G-beli szorzs A-ra megszortva mvelet
A-n.

3.14. szrevtel. Az
mvelet A-n.

A zrt az inverzkpzsre akkor s csak akkor, ha a G-beli inverzkpzs megszortva

3.1. Rszcsoportok
3.15. Denci. Legyen G csoport s H G, amely zrt a szorzsra. Azt mondjuk, hogy H a G-nek
rszcsoportja, ha H csoportot alkot a G-beli szorzs megszortsra, mint mveletre nzve.
3.16. Pldk.
1.

G = Z, H = N. N
rszcsoport Z-ben.

2.

G = Zn , H = Zn . Zn csoport
Zn nem rszcsoport Zn -ben.

az sszeadsra nem alkot csoportot, br zrt az sszeadsra.

Teht

nem

a szoksos szorzsra nzve, de nem az sszeads megszortsra. Teht

12

3.

ZQR

4.

An Sn

5.

tetszleges csoport, akkor

3.17. Jells.

{1} G

GG

H G - a H rszcsoportja G-nek

3.18. llts. Legyen G csoport s H

G. A H pontosan akkor alkot rszcsoportot G-ben, ha teljeslnek

a kvetkezk:
1. 1 H ,

2. H zrt a G-beli szorzsra,

3. H zrt a G-beli inverzkpzsre.

Bizonyts.
""

Nzzk meg a kt irnyt kln-kln:

1. Tegyk fel, hogy

HG

s legyen

H -ban

az egysgelem

e.

ee = e H ban, de G ben is
eee1 = ee1 = 1(e1 G ben)
Teht

e = 1.

2. Denci szerint zrt

3. Legyen

h H.

G-beli

Jellje

szorzsra a

elem inverzt a

csoporban.

G-ben: hh0 (= h0 h) = 1.

h1 hh0 = h1 1 = h1 , h0 = h( 1)
"" Trivilis.

3.19. Ttel. Legyen G csoport, I indexhalmaz s Hi G (i I). Ekkor

Bizonyts.
1.
2.

iI

Hi G.

Elz llts szerint:

T
Hi G 1 Hi , i I -re i iI Hi .
T
T
a, b iI Hi a, b Hi (i I) ab Hi (i I) ab iI Hi .

3. Ugyangy.
Legyen

csoport s

A G.

Ekkor

[A] = {H G : A H}.

nem res halmaz, mert

ez rszcsoport az elz llts miatt.

a legszkebb olyan rszcsoport

eleme.

G-ben,

amely

A-t

rzhalmazknt tartalmazza.

3.20. Denci. Az [A] neve: az A halmaz ltal generlt rszcsoport G-ben.

3.21. Denci. Ha [A] = G, akkor A a G genertorrendszernek nevezzk, azaz A generlja G-t.
3.22. Plda.

[] = {1} = [1].
13

3.23. Jells.

A = {1}, [A] = [n] vagy A = {a1 , ..., an , ...}, [A] = [a1 , ..., an , ...].

3.24. Ttel. Legyen G csoport s A G. Ekkor [A] = {ak1

...aks s : s N0 , i {1, .., s} : ai A,

ki {1, 1}} =: K(..). Ha s = 0, akkor 0-tnyezs szorzat denci szerint 1 (egysgelem).

Bizonyts.
K

rszcsoport.
1.

1K

(0-tnyezs szorzat)

s+t
s+1
K
, ..., as+t
ak11 , ..., aks s ; as+1
ks+t
k1
ks ks+1
a1 ...as as+1 ...as+t

2. Tegyk fel, hogy

Szorzatuk:

3. Tegyk fel, hogy

ak11 ... aks s

1
s
(ak11 ... aks s )1 = (ak11 )1 ... (aks s )1 = ak
... ak
K
s
1

A K: a A

tetszleges:

a = a1 K

Legyen H G, amelyre A H . Cl:

ak11 ...aks s K tetszleges. Cl: ak11 ...aks s H . Tudjuk, hogy
1
1
inverzkpzsre: a1 , ..., as H s H zrt a szorzsra. Ekkor
A legszkebbsg:

3.25. Pldk.

K H (s = 0, ak11 ...aks s = 1 H ).
a1 , ..., as H s H rszcsoport zrt az
ak11 , ..., aks s H ak11 ...aks s H .

h i
Z = [1] = [1], Zn = 1 , Sn =[ciklikus permutcik szorzta]=[transzpozcik szorzata]

3.2. Ciklikus csoportok

3.26. Denci. Azt mondjuk, hogy G ciklikus csoport, ha ltezik a G, amelyre [a] = G.
3.27. Pldk.

Z, Zn - ciklikus
Zn 3 a primitv gyk modulo n, ha a hatvnyaknt minden Zn -beli elem elll [a] = Zn .

3.28. Ttel. A p prm esetben modulo p ltezik primitv gyk (akkor s csak akkor, ha Zp ciklikus).
Legyen

csoport s

a G.

Az

[a] = {az : z Z}.

Ha

o(a) = n,

akkor

[a] = {1, a, a2 , ..., an1 }.

Ha

ciklikus s
-

o(a) = ,

o(a)7n,

akkor

akkor

[a] = {az : z Z}.

[a] = {1, a..., an1 }.

3.29. Ttel. Ciklikus csoport minden rszcsoportja ciklikus.

Bizonyts.

Legyen

H = {1} = [1]

H 6= {1},

G = [a]

H G.

Cl:

ciklikus.

ai H : ai 6= 1. Ekkor 1 6= (ai )1 H
n
n
Teht n N : a H s a 6= 1

akkor ltezik

termszetes szm.

{n N : an H esan 6= 1} =
6
Azaz van legkisebb eleme:

k
14

s ekkor

kzl az egyik

H = [ak ], ak H (gy vlasztottuk). Ekkor (ak )i H [ak ] H .

H [a ]: legyen aj H tetszleges, j = kq + r alak, 0 r < k : aj = akq+r = (ak )q ar ar = (ak )q aj
H r = 0, azaz j oszthat k -val (k|j) aj = (ak )g [ak ] H [ak ] H = [ak ].

lltjuk, hogy

3.30. szrevtel. Ha o(a) < , akkor j = o(a) vlasztssal k|o(a).

3.31. Kvetkezmny. Legyen G = [n]. Ekkor G sszes pronknt klnbz rszcsoportjai az albbiak:
- ha o(a) = , akkor [ak ], k N0 ,
- ha o(a) < , akkor [ak ], k|o(a), k N0 .

3.32. Plda.

Z2 -ben:

0 1
1
-1
1
-1
0 0 1 s ({1, 1})-ben: 1
-1
-1
1
1 1 0
: Z2 {1, 1}, 0 1, 1 1 bijekci. a, b Z2 : (ab) = a b.

3.3. Izomorzmus, homomorzmus

3.33. Denci. Legyen G s H egy-egy csoport s : G H bijekci. Azt mondjuk, hogy izomorzmus

G-bl H -ba, ha teljesl a kvetkez: a, b G esetn (ab) = a b () ( felcserlhet a G s H -beli

szorzssal).

3.34. Pldk.
-

A = {a
 1 , ..., an }


1 ... n
a1
: Sn An , =
7
1 ... n
a1
Sn , An ,

ahol

Dn

GL(V ) GL(K, n)
: GL(V ) GL(K, n)

...
...

an
an


izomorzmus

izomorzmus. Minden rgztett bzis esetn:

7 A

3.35. Denci. Legyen G s H egy-egy csoport s : G H tetszleges lekpezs. Azt mondjuk, hogy
G-t H -ba kpz homomorzmus, ha () teljesl.

3.36. Pldk.
1.

2.

3.

: Z Zn , a 7 a szrjektv homomorzmus

0, An
: Sn Z2 , =
szrjektv
1, klnben
: Dn Sn , szimmetria 7 a cscsok
szrjektv, ha n > 3, de ha n = 3, akkor

homomorzmus

megfelel permutcija- injektv homomorzmus, s nem

izomorzmus

3.37. Ttel. Legyenek G, H, K csoportok, : G H s : H K homomorzmusok. Ekkor : G K

homomorzmus.

15

Bizonyts.

Tegyk fel, hogy

homomorzmus. Tetszleges

a, b G : (ab)() = ((ab)) = (a b) = (a) (b) = a() b()

3.38. Ttel. Ha : G H izomorzmus, akkor 1 : H G is izomorzmus.

Bizonyts.

Tegyk fel, hogy

: G H

izomorzmus

bijekci.

Cl:

u, v H -ra (uv)1 =

((uv)1 ) = (u1 v1 ) (uv)(1 ) = (u1 ) (v1 ) uv = uv

3.39. Ttel. Ha , izomorzmus, akkor izomorzmus.

3.40. Denci. Legyen G, H csoportok. Azt mondjuk, hogy G izomorf H -val (jele:
izomorzmus.

G
= H ), ha u : G H

3.41. llts. Csoportok brmely halmazn a

= relci ekvivalencia.
Bizonyts.
- Reexivits:

id : G G

- Szimmetria: ha

- izomorzmus,

: G H,

- Tranzitivits: ha

G
=H

akkor

1 : H G

H
= K , ,

is izomorzmus,

izomorzmus, akkor

: G K

izomorzmus

G
= K.

rendelkezik a

P -vel

3.42. Pldk.
1.

Z2
= ({1, 1}, )

2.

Sn
= Z2

3.

D3
= S3

4.

GL(V )
= GL(K, n),

ha

V n-dimenzis K

(P ), ha
rendelkezik P -vel.

"Absztrakt" tulajdonsg
annyiszor

is

valahnyszor

fltt

G, H

csoportokra

G
= H

mind-

3.43. Denci. Legyen : G H homomorzmus. Ekkor G = {a : a G}.

Neve:

kpe

mellett

3.44. Denci. Legyenek

morzmus.

G, H csoportok. A H homomorf kpe G-nek, ha : G H szrjektv homo-

3.45. llts. Legyen : G H tetszleges homomorzmus. Ekkor

(1) 1G = 1H (egysgelem).
(2) a G : a1 = (a)1 .
(3) G H s gy G homomorf kpe G-nek.
(4) tetszleges a G-re, ha o(a) < , akkor o(a) < s o(a)|o(a).
(5) G = [A], akkor G = [A].
16

Bizonyts.
(1)

1G 1G = 1G
1G 1G = (1G 1G ) = 1G
(1G )1 1G 1G = (1G )1 1G
1G = 1H

(2)

a G tetszleges
a a1 = (aa1 ) = 1G = 1H
1
Ugyangy: a
a = 1H . Ebbl

kvetkezik, hogy

(a)1 = a1 .

1G = 1H G 3 1H .
a G tetszleges (a)1 = a1 G.
Harmadszor: a, b G tetszleges a b = (ab) G.

(3) Elszr:

Msodszor:

(4)

(a)o(a) = a ... a = (ao(a) ) = 1G = 1H .

(5)

G = [A] G

minden eleme elll.

a1n ... ann (ai A, i {1, 1})

G = {(a1n ... ann ) : ai A, i {1, 1}} = {(a1 )n ... (an )n : ai A, i {1, 1}} = [A]

3.46. Kvetkezmny. Ciklikus csoportok minden homomorf kpe ciklikus.

3.47. Ttel. Minden ciklikus csoport izomorf Z-vel vagy Zn -nel valamely n-re.
Bizonyts.
1. Minden vgtelen ciklus csoport izomorf
klnbz elemei

: Z G, i 7 ai

Z-vel.

Tegyk fel, hogy

G = [a]

o(a) = G

pronknt

ai : i Z
- bijekci. Cl:

(i + j) = i j.
ai+j = ai aj

2. Minden

elem ciklus csoport izomorf

Zn -nel: G = [a], o(a) = n.

G = {1, a, ..., an1 }

i Z : ai = aj gy,
injektv. Cl: (i + j)
s

hogy

ij

(mod

n). : Zn G, i 7 ai

lekpezs-e? Igen, szrjektv s

ai+j = ai aj

3.48. Denci. Permutci csoportnak hvjuk a szimmetrikus csoportok rszcsoportjait.

3.49. Ttel (Cayley-fle reprezentci ttele). Minden csoport izomorf egy permutcis csoporttal.
Bizonyts.
ahol

Legyen G tetszleges
a : G G, g 7 ga.

permutci

csoport.

SG

szimmetrikus csoport. Deniljunk a

G-n:

17

: G SG , a 7 a ,

- Injektv:

ga = ga

g, h G s ga = ha g = h
s ha = ha
ga = ha
1

gaa

= haa1

g=h
- Szrjektv: tetszleges

g G-re x G : xa = xa = g
x = ga1
(ga1 )a = ga1 a = g

Teht

a G

G injektv homomorzmus
a, b G s a = b a = b
a = a s b = b a = b
a = 1a = 1a = 1b = 1b = b

Homomorzmus: minden

a, b G : (ab) = a b
ab = a b
x G : xab = x(a b )

x = (ab ) = x(ab) x(a b ) = (xa )b = (xa)b = (xa)b

: G SG injektv homomorzmus.
homomorzmus izomorzmus.

Teht

Ezrt

G SG

0 : G G, a 7 a injektv s szrjektv

3.50. Denci. Komplexusnak nevezzk egy csoport nem res rszhalmazt.

3.51. Denci. Komplexusszorzs:
3.52. Denci. Komplexusinverz:

A, B G s A, B 6= , AB = {ab : a A, b B}.
A1 = {a1 : a A}.

3.53. llts. Legyen H G. Ekkor H G akkor s csak akkor, teljesl, ha a kvetkezk:

1. 1 H (egysgelem),
2. HH H ,
3. H 1 H .
Ha

A = a,

akkor

AB

helyett

aB

s ha

B = b,

akkor

AB

18

helyett

Ab.

3.4. Mellkosztly
Legyen
a

H G, {aH : a G}- a G csoport H rszcsoportja szerinti

H rszcsoportja szerinti jobboldali mellkosztly.

baloldali mellkosztly s

{Ha : a G}-

csoport

3.54. llts. Legyen H G, a, b G. Ekkor

(1) b aH (b Ha).
(2) a1 b H (b1 a H ).
(3) aH = bH (Ha = Hb).

Bizonyts.
(1)(2)

b H b = ah (h H) a1 b = a1 ah a1 H .

(2)(3)

a1 b H a1 b = h (h H) b = ah bH = ahH = aH .
hH HH H
H 3 h0

(3)(1)

tetszleges:

h0 = h(h1 h) hH

ab = bH b 1 bH = aH .

3.55. Megjegyzs. Ha H G, akkor HH = H .

3.56. llts. A
mellkosztlyok.

Bizonyts.

H szerinti jobboldali mellkosztlyok ugyanannyian vannak, mint a H szerinti baloldali

: J.o. B.o.. Hg 7 g 1 H - ez bijekci.

Neve: {Hg : g G}- a G H szerinti jobboldali mellkosztlyozsnak nevezzk.
{gH : g G}- a G H szerinti baloldali mellkosztlyozsnak nevezzk.
Legyen

3.57. Ttel. Legyen H G.

1. A jobboldali s baloldali mellkosztlyozsok a G halmaz osztlyozsai.
2. Tetszleges a G-re : H Ha, h 7 ha lekpezs bijekci.

Bizonyts.
1. Elszr:

Hg S
G, g G :SHg 6= , hiszen 1 S
g = g Hg .
Hg

{g}
=
G
,
gy
gG
gG
gG Hg = G.

Msodszor:

Harmadszor: Brmely 2 klnbz jobboldali mellkosztly metszete nem res.

Hc = Hg1

c (Hg1 Hg2 )

Hc = Hg2 Hg1 = Hg2 .

2. Szrjektivits ltszik (ha-nak

Injektivits: Tegyk fel, hogy

h az skpe).
h1 , h2 H : h1 = h2 , h1 a = h2 a h1 = h2 .

3.58. Denci. Legyen

H G. A H indexe G-ben: [G : H] := G H szerinti jobboldali mellkosztlyok

szma = G H szerinti baloldali mellkosztlyok szma.

3.59. Ttel (Lagrange ttel). Tegyk fel, hogy G vges csoport s H G. Ekkor |G| = |H| [G : H].
Bizonyts.

|Hg| = |H| |G| = |H| [G : H]

19

3.60. Kvetkezmny. Legyen G vges csoport. Ekkor, ha



1. H G, akkor |H||G|.



2. a G, akkor o(a)|G|.

3. |G| = p prmszm, akkor G ciklikus csoport s G
= Zp .

Bizonyts.
1. Lagrange-ttel miatt igaz (trivilis).
2.

H = [a],

3.

1 6= a G

o(a) = |H|

akkor

tetszleges

s alkalmazzuk az elz ttelt.



o(a)|G| = p o(a) = p |[a]| = p [a] G

|G| = p G = [a].

3.61. Denci. A |G|-t a G csoport rendjnek nevezzk.

3.5. Normloszt, konjugls

3.62. Denci. Legyen H G. A H normlosztja (normlis rszcsoportja) G-nek, hogy ha G H szerinti
jobboldali mellkosztlyai egybeesnek a G H szerinti baloldali mellkosztlyaival.

3.63. Megjegyzs. Abel-csoport minden rszcsoportja normlosztja.

3.64. Plda. Legyen H = {id., (12)} S3 , de H 6 S3 .
Jobboldali mellkosztly:

{id., (1 2)} = H = H(1 2); H(1 3) = {(1 3), (1 2 3)} = H(1 2 3); H(2 3) = {(1 3 2), (2 3)} = H(1 3 2)
Baloldali mellkosztly:

{id., (1 2)} = H; (1 3)H = {(1 3 2), (13)}; (2 3)H = {(1 2 3), (2 3)}

3.65. Ttel. Tegyk fel, hogy H G. Ekkor a kvetkezk ekvivalensek:

(1) H normlosztja G-nek.
(2) g G-re gH = Hg .
(3) g G-re g 1 Hg = H .
(4) g G-re g 1 Hg H .

Bizonyts.
(1)(2)

g -t

tartalmaz

osztlyok:
(2)(3)

gH .

szerinti jobboldali mellkosztlyok:

Mivel

H C G,

ezrt

Hg , g -t

Hg = gH .

gH = Hg
g 1 gH = g 1 Hg
H = g 1 Hg
20

tartalmaz

szerinti baloldali mellk-

(3)(4)

g 1 Hg H

(4)(1)

g H, g G-re: g 1 Hg H, g 1 G
(g 1 )1 Hg 1 H
gHg 1 H
Hg 1 g 1 H
H g 1 Hg
gy

H = g 1 Hg gH = Hg

3.66. Pldk.

tetszleges

g G-re H C G.

{1} C G, G C G.

3.67. Ttel. Legyen G tetszleges csoport s tegyk fel, hogy H G s [G : H] = 2. Ekkor H C G.

Bizonyts.
kezik, hogy

G jobboldali
H C G.

3.68. Kvetkezmny.

mellkosztlyai:

H, G\H

baloldali mellkosztlyai:

H, G\H .

Ezekbl kvet-

An C Sn , hiszen [Sn : An ] = 2.

3.69. Denci. Legyen G csoport, a, g G s A G. Ekkor

- az a elemnek a g -vel val konjugltja g 1 ag G.
- A-nak a g -vel vval konjugltja g 1 Ag G.
Azt mondjuk, hogy A zrt a g -vel val konjuglsra, hogy ha g 1 Ag A. Azt mondjuk, hogy A zrt a
konjuglsra, ha tetszleges g G elemre val konjuglsra zrt.

3.70. Megjegyzs.

H C G akkor s csak akkor, ha H G s zrt a konjuglsra.

3.71. Denci. Tetszleges a, b G : a b (a konjuglt b-vel) akkor s csak akkor, ha g G : b = g1 ag.

3.72. Ttel. A konjuglsi relci ekvivalencia G-n.
Bizonyts.
- Reexv: tetszleges

a G-re a a g G : a = g 1 ag .

- Szimmetrikus: tetszleges

a, b G-re a b

b a. g G : b = g 1 ag
(g 1 )

bg 1 = g 1 a
(g)
gbg 1 = a

(g

akkor

c=h

(g

a, b, c-re a b s b c,
ag)h = (gh)1 a(gh).

- Tranzitv: tetszleges

1 1

bg 1 = a

akkor

21

a c,

hiszen

g, h : b = g 1 ag

c = h1 bh,

3.73. Denci. A osztlyait G konjuglt osztlyainak nevezzk.

3.74. Pldk.
- Abel-csoportban a konjuglsi relci az egyenlsg.
- A konjuglt osztlyok az egyelem halmazok.

3.75. Ttel. Tegyk fel, hogy , Sn permutci. Ekkor akkor s csak akkor, ha tetszleges k 2-re
-nak pontosan annyi k hossz ciklusa, mint -nak az idegen ciklusok szorzataknt val ellltsban.
Bizonyts.
-

Legyen

Sn

permutci. lltom, hogy

(a1 ) = a1 ( 1 a1 ...ak ) = (a1 (a1 ...ak )) = a2

= 1 (a1 ...ak ) = (a1 ...ak ) = .

(a1 ) = a2 ,

akkor

(a1 ) = (a1 )

(ai ) = (ai )

- Hasonlan addik a tbbire is:

-

(a1 ...ak )

b
/ {a1 , ..., ak }

b = b( 1 (a1 ...ak )) = (b 1 ) = b
b 1
/ {a1 , ..., ak }

b = b. Legyen Sn : = (a1 ...ak )...(z1 ...zl ) pronknt idegen ciklusok. Legyen Sn :

1 = 1 (a1 ...ak ) 1 ... 1 (z1 ...zl ) = (a1 ...ak )...(z1 ...zl ). Teht konjugltjra igaz a ttelben
lert felttel. Legyen Sn olyan, hogy idegen ciklusokra val felbontsban ugyanannyi k hossz ciklus
szerepel, mint felbontsban s k l. = (b1 ...bk )...(v1 ...vl ) pronknt idegen ciklusok.

gy

Sn : a1 7 b1 , ..., ak 7 bk , ..., z1 7 v1 , ..., zl 7 vl

Ilyen

permutci van. Ekkor erre a

-ra:

1 = (a1 ...ak )...(z1 ...zl ) = (b1 ...bk )...(v1 ...vl ) =

Teht

3.76. llts. Tetszleges csoportban a normlosztk metszete normloszt.

Bizonyts.
-

iI

Legyen

Ni G,

- tetszleges

csoport.

Ni C G, i I .

Krds:

iI

Ni C G

teljesl-e.

hiszen rszcsoportok metszete rszcsoport

g G-re

tetszleges

T
n ( iI Ni )

g 1 ng (n Ni , Ni C G) g 1 ng Ni g 1 ng

\

Ni

iI
gy

iI

Ni

zrt a konjuglsra.

3.77. Denci. Tegyk fel, hogy G csoport s A G. Az A ltal generlt normloszt a legszkebb A-t
tartalmaz normloszt (elz llts szerint ilyen ltezik).
3.78.
Ttel. Tegyk fel, hogy
S
[

1
Ag)]-vel.
gG (g

G csoport s A G. Az A ltal generlt normloszt G-ben egyenl az

22

Bizonyts.

az

G-ben.
[
B=
g 1 Ag

ltal generlt normloszt

gG
-

A N:

tetszleges

g G-re g 1 Ag g 1 N g = N N B .

B N. B C G
11 A1 = A B .

- lltom, hogy

B A,

egy tipikus eleme:

n
Y

a :=

akkor

N B. B G B C G

B A,

hiszen

gi1 aki i gi B, ai A, gi G

i=1
tetszleges,

ki Z, i {1, ..., n}
g 1 ag =

n
Y

g 1 gi1 aki i gi g =

i=1

n
Y

(gi g)1 aki i (gi g) B,

i=1

(gi g)1 aki i (gi g)

[

g 1 Ag

gG
gy

Bg B .

3.79. Plda. Legyen G = S3 s A = {(1 2)}.

Az

S3 -ban:
i h
i h
i
{1 (1 2)} = {(1 2)} : S3 = {(i j) : i, j {1, 2, 3}} = S3

ltal generlt normloszt

N=

h[

S 3

3.6. Kongruencia, kompatibilis osztlyozs

3.80. Denci. Legyen G csoport s tegyk fel, hogy % (%-r, grg bet) ekvivalencia. A % a G kongruencija, ha tetszleges a1 , a2 , b1 , b2 G elemekre teljesl, hogy a1 %a2 s b1 %b2 , akkor (a1 b1 )%(a2 b2 )

3.81. llts. Ha % kongurencia G-n s a%b, akkor a1 %b1 .

Bizonyts.

Rexlexivits miatt:

a1 %a1

b1 %b1 ,

valamint

a%b.

kongruencia miatt kvetkezik,

hogy

a1 a%a1 b 1%a1 b b1 %a1 bb1 b1 %a1 ,

mert szimmetrikus, gy

a1 %b1

3.82. Plda. Z-n kongruencia a kvetkez relci:

a%n b a b (mod n)
Tnyleg kongruencia, mert

ekvivalencia s

(a1 a2 (n)

b1 b2 (n)),

akkor

a1 + b1 a2 + b2 (n).

3.83. Denci. Tegyk fel, hogy C osztlyozs a G csoportban. C a G kompatibilis osztlyozsa, ha

tetszleges C1 , C2 C -re C3 C gy, hogy tetszleges a C1 s b C2 esetn ab C3 .
23

3.84. Ttel. Legyen G csoport. Ekkor

1. G tetszleges kongruencijhoz tartoz osztlyozs kompatibilis osztlyozsa G-nek.
2. tetszleges kompatibilis osztlyozshoz tartoz ekvivalencia G kongruencija.

Bizonyts.
1. Tegyk fel, hogy

ab C3 .

Legyen

% kongruencia G-n. a C1 , b C2
a0 C1 s b0 C2 .

legyen

%-hoz

tartoz osztlyozs kt osztlya,

(a, a0 C1 a%a0 es b, b0 C2 b%b0 ) ab%a0 b0 a0 b0 C3

2. Legyen

C G egy kompatibilis
a s b C ugyanazon

akkor, ha

osztlyozsa. Legyen
osztlyba esik. A

C -hez

tartoz ekvivalencia

a%b

akkor s csak

ekvivalencia (tanultuk)

a1 %a2 es b1 %b2 a1 b1 es a2 b2
szorzatok ugyanazon osztlyba esnek. De

a1 %a2

esik s

akkor s csak akkor, ha

a1

b1 %b2 akkor s csak akkor, ha b1 s b2 C ugyanazon osztlyba

a2 C ugyanazon osztlyba esik. Teht a1 b1 %a2 b2 , azaz %

kongruencia.
Ha

N C G,

akkor

N -hez

tartoz osztlyozs

{N g(= gN ) : g G}.

3.85. Ttel. Csoport kompatibilis osztlyozsai s normloszt szerinti osztlyozsai megegyeznek.

Bizonyts.
- lltom, hogy ha

N C G,

akkor az

N -hez

tartoz osztlyozs kompatibilis.

a0 N a, b0 N b
a0 b0 (N aN b) a0 b0 N N ab = N ab
-

legyen kompatibilis osztlyozsa

G-ben s N -hez
tetszleges g G-re:

mloszt

G-nek.

Ekkor

tartoz osztlyozs.

N , norg 1 N g N

1-et (egysgelemet) tartalmaz osztlya

lltom, hogy

N C G,

azaz

N G

1 N ,
a, b N 1

aC

ugyanazon osztlyozsba esik.

bC

ugyanazon osztlyozsba esik.

kompatibilis

1 s

ab C

ugyanazon osztlyba esik

a, b N ,

a N 1 s a C ugyanazon osztlyozsba esik. a s a1 C

a1 s aa1 = 1 C ugyanazon osztlyozsba esik a1 N .
Teht

ugyanazon osztlyozsba esik

N G.

a N 1 s a C ugyanazon osztlyba esik, g s g C ugyanazon osztlyba esik,

g 1 s g 1 C ugyanazon osztlyba esik. C kompatibilitsa miatt kvetkezik, hogy g 1 1g s g 1 ag
C ugyanazon osztlyba esik 1 s g 1 ag C ugyanazon osztlyba esik g 1 ag N . Teht
g 1 N g N tetszleges g G-re.

- Tetszleges

24

- Legyen

C0 C

tetszleges s

a C0

tetszleges. Beltjuk, hogy

N a = C0 .

N 3 n tetszleges, 1 s n N . a s a C ugyanazon osztlyba

s na C0 ugyanazon osztlyba esik. Kvetkezik: N C0 .

esik. Ezekbl kvetkezik, hogy

b C0 tetszleges. b s a C0 . a1 , a1 C ugyanazon osztlyba esik.

ba1 s aa1 = 1 N -be esnek.
ba1 N

legyen
hogy

Ezekbl kvetkezik,

b = (ba1 )a N a
Teht
Azaz

N a = C0 .

3.86. Plda.
ZN

C0 N a.

(Z, +), N = {nk : k Z}, N C Z.

szerinti osztlyozsa kompatibilis osztlyozsa

Ez ppen

Z-n.
Zn = {{nk + a : k Z}, 0 a n 1} = {0, ..., n 1}.

3.7. Faktorcsoport, mag

3.87. Denci. Legyen G csoport, N C G. Ekkor G/N : a G N szerinti mellkosztlyainak halmaza (teht

G/N = {N a : a G}).
G/N -en

deniljunk egy szorzst:

N a N b := N ab.

Jl denilt, mert

G/N

kompatibilis osztlyozs.

- asszociatv (dencibl addik),

- egysgelemes (N
- ltezik inverz:
Teht a

G/N

3.88. Plda.

1=N

az egysgelem),

N a N a1 = N aa1 , N a

inverze.

N a1

halmaz csoport az elbb denilt szorzssal s neve

GN

szerinti faktorcsoportja. Jele:

Zn = {0, ..., n 1}
N + a + N + b = N + (a + b)
a+b=a+b

Teht a

Z = {nk : k Z}

szerinti faktorcsoportja ppen

Zn

csoport.

3.89. Denci. Legyenek G, H csoportok s : G H homomorzmus. A magja:

Ker = {g : g = 1} G.

3.90. Ttel. Legyenek G, H csoportok s : G H homomorzmus. Ekkor

1. Ker C G.
2. |Ker | = 1 akkor s csak akkor, ha injektv.

Bizonyts.

25

G/N .

% = {(a, b) : a = b} G G. % ekvivalencia (reexv, szimmetrikus, tranzitv).

% kongruencija G-nek: (a, b) % s (c, d) %, akkor (ac, bd) % (ezt kell beltni).
(a, b) % a = b s (c, d) % c = d

1. Legyen

lltom,

hogy

ac = bd, homomorzmus, ezrt kvetkezik, hogy (ac) = (bd) (ac, bd) %. %-hoz tartoz
kompatibilis osztlyozs 1-et tartalmaz osztlya N normlosztlya G-nek, N C G.
N = {b : (1, b) %} = {b : 1 = b} = {b : b = 1} = Ker
2.

%-hoz tartoz osztlyozs = {N a : a G} (N szerinti mellkosztly). injektv akkor s csak akkor,

ha % az egyenlsgrelci %-hoz tartoz osztlyozs osztlyai egyelemek N (= Ker ) egyelem.

3.8. Termszetes homomorzmus

3.91. Denci. Legyen G csoport s N C G. A G N szerinti termszetes homomorzmusa
: G G/N, g 7 N g .

3.92. Megjegyzs. Ez a szrjektv homomorzmus.

= {g : N g = N } = N .

magja Ker = {g : g = N (egysgelem)} =

3.93. Megjegyzs. Tetszleges faktorcsoport homomorf kpe az adott csoportok.

3.94. Ttel

(Homomora ttele). Tetszleges G csoport brmely homomorf kpe izomorf G valamely faktorcsoportjval. St, ha : G H szrjektv homomorzmus, akkor H
= G/Ker -vel.

Bizonyts.

G/Ker
Legyen

N = Ker .

Deniljuk a kvetkezt:

N g1 = N g2 g1 = g2

gy

szrjektv, hiszen

(Ker

G/N H, N g 7 g.

Be kell ltni, hogy

jl denilt:

dencija szerint)

tetszleges eleme

alak, hisz

szrjektv s

se

-nl N g

jl denilt bijektv.

(N g1 N g2 ) = (g1 g2 )
(N g1 )(N g2 ) = (g1 )(g2 ) = (g1 g2 ),
mert

homomorzmus. gy

szintn homomorzmus.

3.95. Plda. Legyen G = Sn , n 2 s H = ({1, 1}, ).

Sn H

1,
1,

pratlan

= { : = 1} = { :
An C Sn , Sn /An
= H.

szrjektv homomorzmus. Ker

homomora ttelt:

pros

26

pros}

= An

(alternl csoport). Alkalmazzuk a

3.96. Denci. Legyen G csoport. G automorzmusai: : G G bijektv homomorzmusaik. A G

automorzmusai csoportot alkotnak a lekpezsek szorzatra.
Jele: Aut

3.97. Denci. Legyen g G. A G g-hez tartoz bels automorzmusa g : G G, x 7 g1 xg lekpezs.

Az Inn G. = {g : g G}- bels automorzmusok halmaza.

3.98. Denci. A G csoport centruma Z(G) := {a : a G s tetszleges g G-re ag = ga}.

3.99. Ttel. Legyen G csoport s g G. Ekkor
1. Inn G Aut G.
2. : G Inn G, g 7 g szrjektv homomorzmus, amelynek magja G centruma: Z(G) s
Inn G
= G/Z(G).

Bizonyts.
1. Megjegyzs:

Z(G) C G.

- Szrjektv:
- Injektv:

aG

Megmutatjuk, hogy Inn

tetszleges, ltezik-e

g 1 xg = g 1 yg x = y

Be kell mg ltni, hogy

(xg )(yg ) = g 1 xgg 1 yg = g 1 xyg .

gy, hogy

homomorzmus. Tetszleges

(x, y)g = g 1 xyg ,

automorzmus

Aut

Inn

Aut

G.

Ehhez kell:

g 1 xg = a

ilyen

bijektv.

van, hiszen

x = gag 1 .

(mert csoportban vagyunk).

x, y G-re

G.

Rszcsoport-e?

1 = idG

Inn

g g1 =? 1

G.
g Inn G ? (g )1 = g1 Inn G
maitt ksz.

g h Inn G : g h =? gh Inn G
xg h = (xg )h = h1 (g 1 xg)h = (gh)1 x(gh) = xgh
Teht Inn
2.

Aut

G.

homomorzmus. Tetszleges

g, h G-re
(gh) = gh

(g)(h) = g h

(ezt bizonytottuk az elbb). Szrjektivits trivilis.

Ker = { : g = idG } = {g : g = idG } = {g : g G : g 1 xg = x} = {g : x G : xg = gx} = Z(G)

Homomora ttelbl Inn

3.100. llts. Legyen H, N

G
= G/Z(G).

G s N C G. Ekkor teljeslnek a kvetkezk:

1. HN = N H G.
2. ha H is normlosztja G-nek, akkor HN C G.
27

Bizonyts.
1.

2.

HN = N H ,

mert

normlosz.

1 HN ,

hiszen

(HN )

(HN )(HN ) = HN HN = HHN N = HN (N, G G).

HN G

=N

1 H, 1 N ,
H

ezrt

1 1 = 1.

= N H = HN (N, G G),

az 1.-es llts szerint.

g 1 HN g = g 1 Hgg 1 N g = HN (H, N C G)

3.9. Izomora ttelek

3.101. Ttel

kvetkezk:

(Els izomora ttel)

. Tegyk fel, hogy

G csoport, H G s N C G. Ekkor teljeslnek a

1. HN G.
2. N C HN .
3. H N C H s HN/N
= H/H N .
G rszcsoportjnak Hasse-diagramja:

3.102. Plda. Legyen G = S3 , N

= A3 s N C G.

G H = {id, (1 2)}
Mit mond ilyenkor a ttel?

HN = S3 , H N = {id}
S3 /A3
= {id, (1 2)}/{id}
28

3.103. Ttel
kvetkezk:

. Legyen

(Msodik izomora ttel)

G csoport s M, N C G, M N . Ekkor teljeslnek a

1. M C N .
2. N/M C G/M .
.

3. G/M N/M
= G/N .

3.104. Plda. Legyen G = Z, M

= {4k : k Z}, N = {2k : k Z} C G, N M .

2

G/N = {0 , 1 }
4

G/M = {0 , 1 , 2 , 3 }
N/M = {0 , 2 }
Ttel alapjn:

{0 , 1 }
= {0 , 1 , 2 , 3 }/{0 , 2 }

3.10. Egyszer csoportok

3.105. Denci. A G egyszer, ha |G| > 2 s nincs valdi nemtrivilis osztja.
3.106. llts. Egy Abel-csoport pontosan akkor egyszer, ha prmrend (ciklikus).
Bizonyts.

Ha

[g] = G G

|G| > 1. Tegyk fel,

g G\{1}. [g]- valdi

egy Abel-csoport s

nemtrivilis valdi rszcsoportja.

Legyen

hogy

egyszer, akkor nem ltezik

nemtrivilis akkor s csak akkor, ha

ciklikus. Ciklikus csoportok rszcsoportjnak lersbl ltszik, hogy

|G| = p.

3.107. Denci. Legyen G egy csoport s N C G. Azt mondjuk, hogy N maximlis normloszt G-ben, ha
N ( G s nem ltezik M C G, amelyre N M G.

3.108. Ttel. Legyen G csoport s N C G. Ekkor G/N pontosan akkor egyszer, ha N maximlis normloszt.

Bizonyts.
"" (Indirekt) Tegyk fel, hogy

N C G s N nem maximlis. Ekkor M C G : N M G. Tudjuk, hogy

G/N M/N . A 2.izomora ttelbl kvetkezik, hogy G/N B M/N . Mivel N M |M/N | > 1 s
M G g G\M : gN G/N s gN
/ M/N . Mindezekbl kvetkezik, hogy G/N M/N . Teht
G/N nem egyszer.

"" (Indirekt) Tegyk fel, hogy

M = {a G : aN M }.

G/N

nem egyszer. Ekkor

lltom, hogy

M C G/N : |M | 6= 1

M 6= G/N .

1N = N M 1 M

a, b M aN, bN M aN bN M a1 N M ab1 M M G

a M, g G aN M

Mivel

|M | =
6 1,

gN G g 1 N aN gN M g 1 ag M .

a G : aN M ( a M ), de aN = N akkor s csak akkor,

M ) N . Mivel G/N = M a G : aN
/M a
/M M
normloszt G-ben.
gy

kvetkezik, hogy
maximlis

Legyen

M C G.

29

a
/ N . Ezekbl
G. Teht N nem

ha

3.109. Ttel. Ha n 5, akkor An egyszer.

Bizonyts.

Legyen

s gy tovbb. Ezrt

G B M1 B M2 B M3 B ... B Mk B {1}.
G/M1 , M1 /M2 , ... egyszer.

Az

M1

maximlis

G-ben, M2

maximlis

M1 -ben

3.11. Csoportok direktszorzata

Legyenek

G1 , ..., Gk

tetszleges csoportok. Ekkor

G =def (G1 G2 ... Gk , )

(Descartes-fle szorzat).

(g1 , g2 , ..., gk )(h1 , h2 , ..., hk ) = (g1 h1 , g2 h2 , ..., gk hk )

3.110. llts. A G csoport.

[Egysgelem:

(1, ..., 1),

3.111. Denci.
3.112. Jells.
Legyen

inverze:

(g1 , ..., gk )1 = (g11 , ..., gk1 )]

G neve: a G1 , ..., Gk csoportok direktszorzata (ez egy konstrukci).

G1 ... Gk ("kls")

k = 2.

Ekkor

G = G1 G2 .

1 : G G1 , (g1 , g2 ) 7 g1

szrjektv homomorzmus

2 : G G2 , (g1 , g2 ) 7 g2

szrjektv homomorzmus

Ker 1 = {(g1 , g2 ) G : (g1 , g2 )1 = 1} = {(1, g2 ) G : g2 G2 } =def G2 , G2

= G2
G2 C G, G2 G2 , g2 7 (1, g2 )

gy

izomorzmus.

Hasonlan:

Ker 2 = {(g1 , g2 ) G : (g1 , g2 )2 = 1} = {(g1 , 1) G : g1 G1 } =def G1 , G1

= G1
G1 C G, G1
= G1 .
Tovbb G1 G2 = {(1, 1)} s G1 G2 = G ( (g1 , g2 ) = (g1 , 1)(1, g2 )).
ltalnos eset: G = G1 ... Gk .
s

(1) : G G2 .... Gk , (g1 , ..., gk ) 7 (g2 , ..., gk )

(2) : G G1 G3 .... Gk , (g1 , ..., gk ) 7 (g1 , g3 , ..., gk )

.
.
.
-

(i) : G G1 .... Gi1 Gi+1 ... Gk , (g1 , ..., gk ) 7 (g1 , ..., gi1 , gi+1 , ..., gk )

Ezel szrjektv homomorzmusok.

Ker i = {(1, ..., 1, gi , 1, ..., 1) : gi Gi } =def G1 , Gi C G, Gi

= Gi
Tovbb
1.

G = G1 ... Gk ,

2. Minden

indexre

ugyanis

(g1 , ..., gk ) = (g1 , 1..., 1)...(1, ..., 1, gk ).

(1 i k) : Gi (G1 ... Gi1 Gi+1 ... Gk ) = (1, ..., 1)

30

3.113. Denci. Legyen

G tetszleges csoport s N1 , ..., Nk C G. Azt mondjuk, hogy G az N1 , ..., Nk

normlosztinak direktszorzata, ha teljeslnek a kvetkezk:

(1) G = N1 ... Nk ,
(2) i-re: Ni (N1 ...Ni1 Ni+1 ...Nk ) = (1, ..., 1) (sszefggs csoport s normloszti kztt).

3.114. Jells.

G = N1 ... Nk ("bels")

3.115. Segdttel. Legyen

mn = nm.

Bizonyts.
1 1

G csoport s M, N C G, melyre M N = {1}, akkor m M ?n N esetn

Tekinstk a kvetkezt:

mn (M N ).

Mivel

1 1

m1 n1 mn. Tudjuk,
mn = 1 mn = nm.

hogy

m1 n1 m N

n1 mn M ,

akkor

3.116. Ttel (Jellemzsi ttel). Legyen G csoport s N1 , ..., Nk C G. Ekkor a kvetkezk ekvivelansek:
(1) G = N1 ... Nk .
(2) Minden G-beli elem elll, mgpedig egyrtelmen n1 , ..., nk alakban, ahol ni Ni (i = 1, ..., n).
(3) Teljesl a (2) s n1 , n01 N1 , ..., nk , n0k Nk esetn (n1 , ..., nk )(n01 , ..., n0k ) = n1 n01 ... nk n0k .
(4) G = N1 ... Nk s j(1 < j < k) indexre Nj (N1 ...Nj1 ) = 1.

Megjegyzs. Ha k = 2, akkor (3) (4).

Bizonyts. Csak k = 2 esetre bizonytjuk.
(1)

(2) Tegyk fel, hogy

G = N1 N2

Egyrtelmsg: Tegyk fel, hogy

N1 N2 = {1}, azaz g G elll n1 n2

g = n1 n2 = n01 n02 (ni , n0i Ni ).

alakban, ahol

ni Ni i(1, 2).

n1 n2 n01 n02 = n1 n01 n2 n02 .

Az egyenlsg

n2 (n02 )1 = (n01 )1 n1
| {z } | {z }
N2

n2 (n02 )1 = (n01 )1 n1 = 1 n1 = n01

(2)

(3) Tegyk fel, hogy

(2)

teljesl. Cl:

N1

n2 = n02 .

ni , n0i Ni (1 = 1, 2)

esetn

teljesl a segdttel miatt.

(3)

(3) teljesl. A (2)-es elllthatsgi rszbl kvetkezik, hogy G = N1 N2 .

a (N1 N2 ). a G-re: a = a 1 = 1 a. Egyrtelmsg miatt a = 1.

(1) Tegyk fel, hogy

fel, hogy

Tegyk

Kacspolat a "kls" s "bels" direktszorzat kztt:

3.117. Ttel. Legyenek G, G1 , G2 , ..., Gk tetszleges csoportok. Ekkor a kvetkezk ekvivalensek:

(1) G
= G1 ... Gk ,
(2) G-ben lteznek olyan N1 , .., Nk normlosztk, amelyekre G = N1 ... Nk s N1
= G1 , ..., Nk
= Gk .

Bizonyts.
(2) (1)

G = N1 ...Nk . Ekkor G izomorf N1 , ..., Nk kls direktszorzattal. : N1 ...Nk

G, (n1 , .., nk ) 7 n1 ...nk . Elz ttel (3)-a akkor s csak akkor, ha izomorzmus (t tudom rni
N1
= G1 , ..., Nk
= Gk , mert izomorfak).
Tegyk fel, hogy

31

(1) (2)

G
= G1 ... Gk , akkor Ni = Gi vlasztssal igaz az llts.
G1 ... Gk .) Izomorf mdon rendelek hozz j jelet, tbetzs.
Ha

(Specilisan:

G1 ... Gk =

3.118. Denci. Legyen

G csoport. Azt mondjuk, hogy direkt felbonthat, ha M, N C G, melyek nem

trivilisak (|M |, |N | > 1) s G = M N .

3.119. Megjegyzs.

G = {1} G = G {1}, st G = {1} N N = G, mert {1}N = N , de ezrt

G = N . A fenti denciban az M, N valdi nemtrivilis normloszt.

3.120. Pldk.
1.

G tetszleges csoport.
G C G, {1} C G s G = G {1} = {1} G.

2.

Cn - n-edredn ciklikus csoport, Cn = [a] s o(a) = n.

C6 = [a].
[a3 ] - 2-odrend rszcsoport, [a2 ] - 3-adrend rszcsoport
C6 = [a3 ] [a2 ] (bels)
(1)

C6 = [a3 ][a2 ]-

(2)

[a3 ] [a2 ]

elg, hogy

a [a3 ][a2 ],

Lagrange-ttel miatt

igen:

a = a3 (a2 )1 .

|[a3 ][a2 ]| = 1 [a3 ][a2 ] = {1}.

Abel-csoport: a csoport elll ... rszcsoportjainak direkt szorzataknt

A Abel-csoport, H, K A.
H K = {0}, A additv, ha H s K direkt

Additv rsmd:

Jells:

sszege.

2.'

Z6 = [3] [2]

2.

C6
= C2 C2

3.

A = H K A = H +K

(komplexussszeg)

(kls)

V = {id., (1 2)(3 4), (1 3)(2 4), (1 4)(2 3)}

(1 2)(3 4), (1 3)(2 4), (1 4)(2 3)
lltom: V = [(1 2)(3 4)] [(1 3)(2 4)] = [(1 2)(3 4)] [(1 4)(2 3)] = [(1 3)(2 4)] [(1 4)(2 3)]
Bizonytsa: [(1 2)(3 4)][(1 3)(2 4)] = V , mert (1 2)(3 4)(1 3)(2 4) = (1 4)(2 3) s
[(1 2)(3 4)] [(1 3)(2 4)] = {id.}.
V

(Kleim-fle csoport),

Van 3 db 2-rend rszcsoport:

3.

V
= C2 C2

3.121. Ttel. Ha n 5, akkor Sn egyetlen valdi nemtrivilis normlosztja An .

Bizonyts.

Tegyk fel, hogy

An N = An ,
An N = {id.},

N = [(1 2)(3 4)...], N

N C Sn , n 5

N 6= {id.}.

Tudjuk, hogy

An N C Sn ,

st

An N C An

An N , de [Sn : An ] = 2 s ha N % An , akkor [N : An ] = 2 s |N | = |Sn | N = Sn

N An C Sn s An , N C Sn , akkor Sn N Sn = N An (bels) |Sn | |N | |An |,
1
de |A| = |Sn |, |N | 2 |N | = 2, |Sn | = |N An | Sn = An
2
zrt a konjuglsra, teht

ellentmond annak, hogy

|N | = 2.

N 3 (1 2)(3 4)... sszes

An N .

konjugltja: (pl.

(1 3)(2 4)...),

Teht csak az lehet, hogy

3.122. Denci. A G csoport direkt felbonthat, ha M, N C G, hogy |M |, |N | > 1, melyekre G = M N .

3.123. Plda. Korbbi pldkbl ltszik, hogy
- V direkt felbonthat
32

- C6 direkt felbonthat
- Cpk , ahol pk prmhatvny s Cpk direkt felbonthatatlanok
Cpk = [a] rszcsoportjai: [ad ], ahol d|n
i

[ap ], i = 0, ..., k

- C - vgtelen ciklikus csoport direkt felbonthatatlan

C = {al : l Z}

sszes rszcsoport: [ai ], i N0 , [ai ] [aj ] 3 aij

- Sn direkt felbonthatatlan
a) Ha n = 3 vagy n 5, akkor Sn -nek 3 db normlosztja van, ebbl 2 trivilis.
b) Ha n = 4, akkor Sn , An , V, {id.} a normlosztk
c) Ha n = 2, akkor Sn
= C2 , direkt felbonthatatlan-

3.124. Ttel (Vges Abel-csoport alapttele (1.

alak)). Minden vges Abel-csoport elll prmhatvnyrend

ciklikus rszcsoportjainak direkt szorzataknt s az ilyen ellltsokban fellp prmhatvnysok
rendszere egyrtelmen meghatrozott.

3.125. Ttel

(Vges Abel-csoport alapttele (2. alak)). Minden vges Abel-csoport izomorf prmhatvnyrend ciklikus csoportok direkt szorzatval s az ilyen fellp prmhatvnyrendek rendszere egyrtelmen
meghatrozott.
[Egyrtelmsgi llts:
s

q1 , ..., qs

Cr ... Cr ,
A
= Cq1 ... Cqs s A =
1
t
r1 , ..., rt -vel.]

ahol

qi , rj -k

prmhatvnyok.

s=t

sorrendtl eltekintve egyenl

3.126. Plda.

C2 C2  C4 , V  C4 .

3.127. Kvetkezmny. "Ismerjk" az izomortl eltekintve az sszes vges Abel-csoportot.

3.128. Plda. 8-adrend:

C8 , C4 C2 , C2 C2 C2

36-odrend: C4 C9 , C2 C2 C9 , C4 C3 C3 , C2 C2 C3 C3 .

3.129. llts.
Bizonyts.

Cm1 ...Cmk -ban minden elem rendje osztja lkkt(m1 , ..., ml )-t.
(a1 , ..., ak )i = (1, ..., 1)
m
j {1, ..., k} : ai=1
j

aij = 1

akkor s csak akkor, ha

3.130. Kvetkezmny.
Bizonyts.

mj |i.

Cm1 ...Cmk ciklikus akkor s csak akkor, ha m1 , .., mk pronknt relatv prmek.

Cm1 ...Cmk

ciklikus akkor s csak akkor, ha van benne

Ebbl kvetkezik, hogy a vges Abel-csoport alapttele alapjn

n = pk11 ... pks s

A

pi -k

pronknt relatv prmek.

Cn
= Cpk1 ... Cpks s
1

33

m1 ...mk

rend elem.

akkor s csak akkor

(d|n : ! d-rend

rszcsoport

Cn -ben),

ha

Cn = [a].

h kn i
h n i
1
k
Cn = a p1 ... a ps s
"
#
#
n
n
Zn = k1 ... ks
p1
ps
h i
h i h i h i
h i h i
h i
= 15 12 20 , Z60 = 15 4 , ahol 15
= C4 s 4
= C15 .
"

3.131. Megjegyzs.

Z60

3.132. Ttel. Minden vges ciklikus csoport elll, mgpedig a tnyezk sorrendjtl eltekintve egyrtel-

men prmhatvnyrend ciklikus rszcsoportjainak direkt szorzataknt. (Ezek a prmhatvnyok prontknt

klnbz prmhatvnyhoz tartoznak.)

34

4. Gyrk

4.1. Ismtls
4.1. Denci. Az (R, +, ) (R nem res) gyr, amelyre teljeslnek a kvetkezk:
- (R, +) Abel-csoport (egysgelem: 0, inverz: "-", tbbszrzs),
- (R, ) flcsoport (szorzs asszociatv),
- a szorzs disztributv az sszeadsra nzve (a, b, c R : c(a + b) = ca + cb s (a + b)c = ac + bc).
Tnyek:

0 mindig zruselem a szorzsra nzve. Neve: a gyr zruseleme.

4.2. Denci. Ha van egysgelem a (R, )-ban, akkor a gyr egysgelemnek nevezzk.
4.3. Denci. Azt modnjuk, hogy az R
kommutatv, ha a szorzs kommutatv.
egysgelemes, ha a szorzsra van egysgelem.
zrusosztmentes, ha a, b R : ab = 0 a = 0 vagy b = 0.

4.4. Denci. Integritstartomny: egysgelemes, kommutatv, zrusosztmentes gyr.

4.5. Denci. Az
nzve.

(R, +, ) test, ha kommutatv a szorzsra s R\{0} halmaz csoportot alkot a szorzsra

4.6. Kvetkezmny. Testben mindig van egysgelem s 1 6= 0.

4.7. Pldk (Gyrkre).
1.

R, C, Z, Q,

algebrai szmok

2.

Zn (Zn

3.

R[x], R[x1 , ..., xk ]

4.

K[x]

5.

6.

7.

V n-dimenzis vektortr K test fltti

Hom(V, V )-az sszes V V lineris transzformci

test akkor s csak akkor, ha

prm)

(integritstartomny, st euklideszi gyr),

Z[i]

(Gauss-egszek)

gyke egsz egytthats irreducubilis fpolinomnak.

test,

K nn - K

fltti

n n-es

2, ..., Z[] = {a + b : a, b Z}

mtrixok

halmaza pontonknti sszeadsra s a szoksos

lekpezsszorzsra
Emlkezetet:

V -ben

rgztett bzis:

, Hom(V, V )7 A -

Kapcsolat a mveletek kztt:

-

A+ = A + A
35

bijekci

A = A A

8.

(A, +)- Abel-csoport

End A =Hom(A, A) = { : A A, csoport homomorf izmus}
Mveletek: pontonknti sszeads s szoksos lekpezsszorzs

9.

a( + ) = a + a

a() = a a

(A, +)-

Abel-csoport. Szorzst denilunk rajta:

ab = 0.

Ez egy gyr. Neve: Zrusgyr.

4.8. Denci. Legyen R, S gyr. Azt mondjuk, hogy S rszgyrje R-nek, ha S R s S -beli sszeads,
illetve szorzs az R-beli megfelel mveletek megszortsa.
Jele:

SR

4.9. Pldk.
-

Z Q, R, C, A

- pros egsz szmok

-

tetszleges gyr:

{0} R

(trivilis rszgyr),

RR

4.10. llts. Legyen R gyr s S R. Ekkor S rszgyrt alkot R-ben [az R-beli mveletek
megszortsra] akkor s csak akkor, ha teljeslnek a kvetkezk:
- 0 S,
- a, b S : a + b S ,
- a, b S : a S ,
- a, b S : ab S .

Bizonyts.

(S, +) (R, +) (csop. elm.) (1)-(2)-(3) kell, hogy teljesljn. S -n

(4).
Fordtva: (1)-(2)-(3)-(4) teljesl, akkor (csop. elm.) (S, +) (R, +) s Abel-csoport, mert (R, +) Abelfle. (4) (S, ) rtelmezve van s assziociatv, mert a szorzs R-n asszociatv.
A szorzs disztributv az sszeadsra S -n, mert az egsz R-n az.

mvelet az

Teht ha

R-beli

S R,

akkor

szorzs megszortsa

4.2. Komplexusmveletek gyrkben

Legyen

gyr,

A, B R,

ahol

A, B

A + B = {a + b : a A, b B}

A = {a : a A}

AB = {ab : a A, b B}

nem resek.

Komplexussszeads, komolexusszorzs asszociatv,

{a}

36

helyett "a"-t runk,

4.11. llts

(Elz komplexusok nyelvn). Legyen R gyr s S R. Ekkor S rszgyrt alkot R-ben

akkor s csak akkor, ha teljeslnek a kvetkezk:

- 0 S,
- S + S S,
- S S ,
- SS S .

4.12. Plda.

Z[i] C, K[x] K[x, y]

4.13. llts. Legyen R gyr s Si R (i I). Ekkor

R

gyr s

Si R.

AR
\
{S R : A S}

R-ben, ami A-t rszhalmazknt tartalmazza.

A halmaz ltal generlt rszgyr R-ben.
Jele: [A]
Ha R = [A], akkor A az R genertorrendszere, illetve A generlha R-t.
nP
k
4.14. Ttel. Legyen R gyr s A R tetszleges rszhalmaz. Ekkor [A] =
i=0 si : k N0 s i-re si
o
a1 a2 ...an alak, ahol a1 , ..., an A .
Ez lesz a legszkebb olyan rszgyr
Neve:

4.3. Idelok
4.15. Denci. Legyen R tetszleges gyr s I R. Azt mondjuk, hogy I idel R-ben, ha teljeslnek a
kvetkezk:

(a) I rszcsoport (R, +)-ban,

(b) a R, u I : au, ua I (szvtulajdonsg).
Jells:

I CR

4.16. llts. Legyen R gyr s I R. Ekkor I pontosan akkor idel R-ben, ha teljeslnek a kvetkezk:
(1) 0 I ,
(2) I + I I ,
(3) I I ,
(4) RI, IR I .

4.17. Megjegyzs. (1)-(2)-(3) (a).

4.18. szrevtel. Minden idel rszgyr.
4.19. llts. Ha R egysgelemes gyr s I R, akkor I CR akkor s csak akkor, ha (1)-(2)-(4) tuljdonsg
teljesl.

37

Bizonyts.

(1)-(2)-(4)(3)
u I tetszleges. u = (1)u (u + (1)u = 1u + (1)u = (1 + (1))u = 0u = 0).
u I, 1 R u I .
Legyen

Mivel

4.20. Pldk.
1.

tetszleges gyr:

{0} C R, R C R

2.

integritstartomny:

a D: < a >= {d D : a|d}

az

ltal generlt fidel

< a > CD

legszkebb idel, ami

a-t

tartalmazza

4.21. Denci. Ha az integritstartomny minden idelja fidel, akkor t fidelgyrnek nevezzk.

Tny: Minden euklideszi gyr (specilisan

s minden

test fltti

K[x])

fidelgyr.

4.4. Homomorzmus, izomorzmus

4.22. Denci. Legyen

: R S lekpezs, ahol R, S gyrk. Azt mondjuk, hogy homomorzmus

R-bl S -be, ha a, b R-re (a + b) = a + b s (ab) = a b.

4.23. Denci. Ha : R S gyrhomomorzmus bijektv, akkor izomorzmusnak nevezzk.

4.24. llts. Legyen R, S, T gyr s : R S , : S T homomorzmusok. Ekkor
(1) : R T homomorzmus.
(2) ha s izomorzmus, akkkor 1 s is izomorzmusok.

4.25. Denci. Legyenek R, S gyrk. Azt mondjuk, hogy S izomorf R-rel, ha ltezik R S izomorzmus.
Jells:

R
=S

4.26. llts. Gyrk brmely halmazn a

= relci ekvivalencia.
4.27. Denci. Azt mondjuk, hogy S gyr R gyr homomorf kpe, ha ltezik R S szrjektv homomorzmus.

4.28. llts. Legyenek R, S gyrk s varphi : R S tetszleges homomorzmus. Ekkor

(1) 0 = 0.
(2) (a) = (a).
(3) R = {a : a R} S , teht R homomorf kpe R-nek.
(4) [A] = [A].

4.29. Pldk.
1)

Z Zn , k 7 k

2)

egysgelemes, kommutatv gyr:

aR

rgztett.

morzmus.

38

a : R[x] R, f 7 f (a), a

(gyr) homo-

4.5. Kongruencia, osztlyozs

4.30. Denci. Legyen R gyr, % ekvivalenciarelci R halmazon (R alaphalmazn). Azt mondjuk, hogy

% kongruencia(relci) az R gyrn, ha a, a0 , b, b0 R-re a%a0 s b%b0 , akkor (a + b)%(a0 + b0 ) s (ab)%(a0 b0 ).

4.31. Plda. A mod n kongruencia Z-n.

4.32. Denci. Legyen

R gyr, C osztlyozs az R halmazon. Azt mondjuk, hogy C kompatibilis osztlyozs az R gyrn, ha teljeslnek a kvetkezk: C, D C -hez E, F C , amelyre C + D E (komplexussszeg) s CD F (komplexusszorzs).

4.33. Plda. A mod n maradkosztlyozs.

4.34. Denci. Legyen

R gyr, I C R. Az I szerinti osztlyozs R-ben az (R, +) additv csoportjnak

az I rszcsoport szerinti osztlyozsa (gy {a + I : a R).

4.35. Ttel. Gyr kompatibilis osztlyozsai ppen az idel szerinti osztlyozsok.

Bizonyts.
1. Idel szerinti osztlyozsok kompatibilisek
Legyen

I C R s {a + I : a R
C + D E s CD F

gyr,

Denci maitt

teljesl.

(a + I)(b + I) = ab + Ib + aI + II ab + I
2. Minden kompatibilis osztlyozs idel szerinti

C kompatibilis
(R, +)-nak az I

Tegyk fel, hogy

elm.)

idel

ppen

(R, +)-on (csop.

I =def 0-t tartalmaz osztly.
a R, u I . Krds: au I . a C osztlyozshoz tartoz
akkor, ha u 0 s a a au a 0 = 0 au I

osztlyozs

gyrn.

kompatibilis osztlyozs

rszcsoport szerinti osztlyozsa, ahol

R-en: szvtulajdonsg:
u I akkor s csak

kongruencia:

4.6. Faktorgyr, mag

Legyen

gyr s

I C R.
R/I = {a + I : a R}

Mveletek:

(a + I) (b + I) = (a + b) + I

(a + I)  (b + I) = (ab) + I

4.36. llts.

R/I a mveletekre gyrt alkot.

Neve: R gyr I szerinti faktorgyrje

: R R/I , a 7 a + I - mindig szrjektv

(gyr) homomorzmus

4.37. Kvetkezmny. Gyr brmely faktorgyrje a gyr homomorf kpe is.

Legyen

:RS

4.38. Denci.

homomorzmus.

magja: Ker = {a R : a = 0}.

39

4.39. llts. Ker C R.

Bizonyts. Legyen + : (R, +) (S, +).
a+ = a (csop. hom.)
(teht

ugyanazok a lekpezsek)

Ker + = {a R : a = 0} (csop. hom. magja),

+ .Ezekbl

teht Ker

a Ker

tetszleges.

Ker

kvetkezik, hogy (Ker

, +) (R, +).

Szvtulajdonsg:

rR

tetszleges,

(ra) = r a = r 0 = 0 ra Ker
(ar) = a r = 0 r = 0 ar Ker

4.7. Homomora, izomora

4.40. Ttel (Homomorattel). Gyr brmely homomorf kpe izomorf a gyr valamely faktorgyrjvel.
Rszletesebben. Legyen R, S gyr, : R S szrjektv homomorzmus. Ekkor S
= R/Ker .
Bizonyts. Tekintsk a : R/Ker S/(r+Ker ) = r.
(R/Ker , +) = (R, +)/Ker +
+ -

ppen a csoprotelmleti homomorattelbl kaphat csoporthomomorzmus. Kvetkezmny:

jldeni-

lt s az sszesadsra felcserlhet, szrjektv s injektv.

(r + Ker ), (s + Ker ) R/Ker

tetszleges elemek.


(r + Ker )(s + Ker ) = ((rs) + Ker ) = (rs)
(r + Ker ) (s + Ker ) = r s

Egyenlk, mert

gyrhomomorzmus (felcserlhet a szorzs). Teht

gyrhomomorzmus.

4.41. szrevtel.
1. Ker
2.

= {0}

akkor s csak akkor, ha

injektv.

: K[x] (K test fltti polinomgyr) K K , f 7 f -hez tartoz

f (a). K K gyr a pontonknti (+, )-ra. gyrhomomorzmus.
- Ha

polinomfggvnyt,

fe : K K, a 7

vgtelen (pldul az sszes szmtest), akkor ez injektv:

Ker = {f K[x] : f (a) = 0 a K ra}

- Ha

vges, akkor Ker

4.42. Plda. Legyen K = Zp .

Ker

=< g >.

Ha

p = 2,

> {0}.

g = x(x 1)...(x (p 1)) (p-edfok polinom).

akkor

g = x2 x.

4.43. Ttel (1. izomora ttel). Legyen R gyr, I C R s S R. Ekkor I + S R, I C I + S s

4.44. Ttel (2. izomora ttel). Legyen R gyr, I , J idelok gy, hogy I J . Ekkor I CJ s J /I CR/I
.
R/I J /I
= R/J .

40

4.8. Gyrk direkt szorzata

R, S tetszleges gyrk. R S - Descartes-fle
(R S, +, ), ahol + s komplexusmveletek:

szorzat

(r1 , s1 ) + (r2 , s2 ) = (r1 + r2 , s1 + s2 )

Ez gyr. Neve:
Jele:

RS

(r1 , s1 )(r2 , s2 ) = (r1 r2 , s1 s2 ).

direkt szorzata.

("kls")

(R S, +) = (R, +) (S, +)
csoportelmleti szempontbl. Legyen

I1 = {(r, 0) : r R}
I2 = {(0, s) : s S}
I1 , I2 C R S .

Szvtulajdonsg:

(r, 0) I1

(r0 , s0 ) R S .

Ekkor

(rr0 , 0s0 ) = (rr0 , s) I1 .

Elhelyezkedsk (csop. elm.):

I1 I 2 = R S
I1 I2 = {(0, 0)}

4.45. Denci. Legyen R gyr, I1 , I2 C R tetszleges. Azt mondjuk, hogy R az I1 , I2 ideljnak sszege,
ha teljeslnek a kvetkezk:

(1) I1 + I2 = R (komplexussszeg),
(2) I1 I2 = {0}.
Tbb idel esetn:
(1)
(2)

Pn

i=1

I1 + ... + In C R

Ii = R ,

Ij (I1 + ... + Ij1 + Ij+1 + ... + In ) = {0}.

Jells:

R = I1 I2 ,

illetve

R = I1 ... In

4.46. Ttel (Jellemzsi ttel). Legyen R tetszleges gyr s I1 , ..., In CR. Ekkor ekvivalensek a kvetkezk:
(1) R = I1 ... In .
(2) r-beli elem elll, mgpedig egyrtelmen i1 + ... + in alakban (add. csop. elm. tulajdonsg), ahol
ij Ij , j = 1, ..., n.
(3) teljesl a (2)-es s a kvetkezk: ha r = i1 + ... + in s s = j+ ... + jn , ahol ik , jk Ik , k = 1, ..., n,
akkor
r + s = (i1 + j1 ) + ... + (in + jn )

s
rs = (i1 j1 ) + ... + (in jn ).

(4) R = I1 + ... + In s j 2 indexre: Ij (I1 + ... + Ij1 ) = {0}.

Bizonyts. Csak n = 2 esetben bizonytunk. R = I1 ... I2

I1 I2 = {0}. (R, +)-ra s (I1 , +), (I2 , +)-ra vonatkoz felttelek.
(1)(2) Megfelel csoportelmleti dolgok.

41

akkor s csak akkor, ha

R = I1 + I2

(2)(3) Elg

rs = ... ellenrizni. Legyen r = i1 + i2 s s = j1 + j2 . Ekkor rs = (i1 + i2 )(j1 + j2 ) =

i1 j1 + i1 j2 + i2 j1 + i2 j2 =. lltom: I1 I2 , I2 I1 I1 I2 = {0} (egyrtelmsgbl kijn - csop. elm.:
a I1 I2 : a + 0, 0 + a). gy = i1 j1 + i2 j2 .

(3)(1) Csoportelmleti kvetkezmny.

4.47. Megjegyzs. Ha n = 2, akkor (4)=denci.

Kapcsolat a gyrk direkt szorzata s az idelok direkt sszege bontsa kztt:

4.48. Ttel. Legyenek R, R1 , ..., Rn tetszleges gyrk. Ekkor R pontosan akkor izomorf R1 ... Rn , ha
I1 , ..., In , amelyekre rvnyes a kvetkez: I1
= R1 , ..., In
= Rn s R = I1 ... In .
R

gyr:

R + R {0} + {0} + R.

4.49. Denci. Azt mondjuk, hogy R direkt felbonthat, ha ltezik I, J

hogy R = I J .

4.50. Plda.

6= {0} nemtrivilis idelok R-ben,

Zn gyrk direkt felbontsa:

+ [l], k, l|n,
(Zn , +) = [k]

2-tag:

ltalban:

n = k1 ... ks

lnko(k, l)

= 1. [k]

pronknt relatv prmek.

Dn
E
kj

Zn gyrben. Zn =< k > < l >.

D E
D E
Zn = kn1 ... knn knai maradkttel.

idelt alkot

= Zkj

Zn
= Zk1 .... Zks

4.51. Denci. Az R gyr egyszer, ha |R| 2 s nincs valdi nemtrivilis idelja.

4.52. Denci. Legyen
@ J C R : I $ J $ R.

4.53. szrevtel.

R gyr s I C R. Azt mondjuk, hogy I maximlis idel R-ben, ha I $ R s

R gyr egyszer akkor s csak akkor, ha {0} (trivilis idel) maximlis R-ben.

4.54. Ttel. Legyen R gyr s I C R. Ekkor I maximlis idel pontosan akkor, ha R/I egyszer.
4.55. Plda. Mutassuk meg, hogy minden test egyszer gyr.
Bizonyts.

Legyen

test.

I C K, I =
6 {0}.

Tegyk fel, hogy

a I\{0}.

lltom:

aK C K .

0 = a 0 aK ,
ak1 , ak2 aK : ak1 + ak2 = a + (k1 + k2 ) aK .
ak1 aK

k2 K : ak1 k2 = a(k1 k2 ) aK .

Mivel aK 3 a aK 6= {0} (aK nemtrivilis), ezrt aK IK I . Tekintsk a a(K\{0}) K\{0}.

b K\{0} esetn: b = a(a1 b) a(K\{0}). a(K\{0}) K\{0}. gy aK K . Teht I = K .

4.56. Ttel. Tetszleges K test s n N esetn K nn egyszer gyr.

Bizonyts.
1. Test egyszer. (elbb belttuk)

42

2.

kommutatv, egysgelemes gyr s tegyk fel, hogy egyszer. Legyen

aR C R

(mint elbb

a R\{0}.

esetn),

a aR (a = a 1) aR =
6 {0},
a, b R\{0} : abR = a(bR) = aR = R ab 6= 0.
R\{0} zrt a szorzsra (azaz flcsoportot alkot). Cl: (R\{0}, ) csoport.
aR\{0} = R, ugyanis b R\{0}: b aR, de b 6= 0, gy b a(R\{0}). a0 : aa0 = 1 s a0 az a inverze.
Teht (R\{0}, ) csoport.

Mindezekbl kvetkezik, hogy

4.57. Ttel. Legyen

D fidelgyr (integritstartomny, minden idel fidel). < a > maximlis fidel

D-ben akkor s csak akkor, ha a irreducibilis elem D-ben.

Bizonyts.

a irreducibilis: a 6= 0, a - 1 (nem egysg) s @b D : b|a, de b  a s b - 1.

a reducibilis, ha a = 0 vagy a = 1 vagy a 6= 0, a - 1 s b|a : b - 1, b  a. a reducibilis < a > nem maximlis:
< a >= R vagy < a >$ R s b elem: < a > $ < b > $ R. < b > $ R b - 1 s < a > $ < b > b|a,
de a  b|a, de a - b.

4.58. Ttel. Legyen D fidelgyr, a D. Ekkor a kvetkezk ekvivalensek:

(1) D/ < a > egyszer.
(2) D/ < a > test.
(3) < a > maximlis idel D-ben.
(4) a irreducibilis D-ben.

4.59. Testkonstrukcik.
(1)

D = Z (euklideszi
Z/ < p >= Zp

gyr), irreducibilis elemek (asszociltsgtl eltekintve) a prmszmok.

Multiplikatv inverz:

a Zp \{0}, b

inverze

a-nak

akkor s csak akkor, ha

ab = 1, ab 1

ab + pc = 1.
(2)

K[x], K test, f K[x] irreducibilis.

K[x]/ < f > test, elemei: p+ < f >, p K[x]. r

r+ < f >= p+ < f >

maradka

f -fel

osztva. Ekkor

r < f (f oksz
am)

r+ < f >= r0 + < f >, r , r0 < f . f |r r0 (r r0 ) < f r = r0 .

p+ < f > helyett: p, ahol p < f
()
p+q =p+q

Egyrtelmsg:

()
Multiplikatv inverz:

p q = pq = pq maradka f fel osztva

p (K[x]/ < f >)\{0}.

p = 0 f - p lnko(p, q) = 1

inverze

4.60. Plda.

p-nek

akkor s csak akkor, ha

pq = 1 pq + f s = 1.

K = R, f = x2 + 1. R[x]/ < x2 + 1 >= {a + bx : a, b R}.

43

(mod

p),

a + bx + c + dx = (a + c) + (b + d)x

(a + bx)(c + dx) = (ac) + (bc + ad)x + bdx2 = (ac) + (bc + ad)x + [bd(x2 + 1) bd] = (ac bd) + (bc + ad)x
R[x]/ < x2 + 1 > C, a + bx 7 a + bi

izomorzmus.

4.61. Ttel. Legyen f

K[x] irreducibilis polinom.

(1) : K K[x]/ < f >, a 7 a injektv gyrhomomorzmus, kvetkezskppen: K rsztest

K[x]/ < f >-ben s K
= K . K -t azonostjuk K -val az a 7 a "szabllyal", gy K rszteste
K[x]/ < f > faktorteste.
(2) K {x} generlja a K[x]/ < f >-et, mint gyrt.
(3) x gyke az f polinomnak (f (K[x]/ < f >)[x])

Bizonyts.
(1) Ha
(2)

()

-ban,

K[x]/ < f >

()-ban p, q

konstanspolinom (0 vagy 0-adfok).

tetszleges eleme:

r = r+ < f >,

ahol

r < f .

r = c0 + c1 x + ... + cs xs
x = c0 + c1 x + ... + cs xs = c0 + ... + cs xs

gy
(3)

c0 = c0 , ..., cs = cs .

f = a0 + ... + an xn

(itt

hatrozatlan).

f (x) = a0 + a1 x + ... + an xn = a0 + ... + an xn = a0 + ... + an xn = f = 0

4.62. Plda.
+
0
1
x
1+x

K = Z2 , f = x2 + x + 1 irreducibilis. Z2 [x]/ < x2 + x + 1 > 4-elem test.

0
0
1
x
1+x

1
1
0
1+x
x

x
x
1+x
0
1

1+x
1+x
x
1
0

0
1
x
1+x

Pldul:

x x = x2 = (x2 + x + 1) + (x + 1) = x + 1 + x2 + x + 1 = x + 1.
Zp [x]/ < f >, f = n. Elemszma: pn .

ltalban:

44

0
0
0
0
0

1
0
1
x
1+x

x
0
x
1+x
1

1+x
0
1+x
1
x

5. Testek

5.1. Denci. A kommutatv, egysgelemes, zrusosztmentes gyr neve integritstartomny.

(Gy)

(R, +, )

gyr.

(K)

a, b R : ab = ba.

(E)

1 Ra R : a 1 = a.

(Z)

a, b R\{0} : ab 6= 0.

(I)

a R\{0}b R\{0} : ab = ba = 1.

Ekkor

b = a1 .

5.2. Denci. Testnek neveznk egy integritstartomnyt, ha legalbb ktelem, s minden nemnulla elemnek van multiplikatv inverze. (Teljesl (Gy) + (K) + (E) + (Z) + (I).)
Legyen

test.

5.3. Denci. Azt mondjuk, hogy K karakterisztikja n N0 , ha a kvetkez teljesl:

- 0, ha K egysgelemeinek additv rendje vgtelen.
- n(> 0), ha K egysgelemeinek additv rendje n.

5.4. Pldk.
- Az sszes szmtest esetn: 0 a karakterisztika.
-

Zp

karakterisztikja

p.

5.5. Ttel. Test karakterisztikja 0 vagy prmszm.

Bizonyts. Legyen K test, karakterisztikja m 6= 0. Tegyk fel, hogy m = kl (k, l N). Cl: k vagy l = 1.
m1 = 1+...+1 = 0 (additv rsmd). (k 1)(l 1) = (1+...+1)(1+...+1) = 1+...+1 = m1 = 0 k 1 = 0
vagy l 1 = 0. Ha (pldul) k 1 = 0 : m|k , de m = kl , gy k|m k = m l = 1.
5.6. llts. Minden testhez van legszkebb rsztest, tudniillik az sszes rsztest metszete.
Neve: a test prmteste.

5.7. Pldk.
- szmtestek prmteste:
-

Zp

prmteste:

Zp

5.8. Ttel. Legyen K test.

(1) Ha K karakterisztikja 0 akkor K prmteste
= Q.
(2) Ha K karakterisztikja p akkor K prmteste
= Zp -vel.
Tovbbiakban feltesszk, hogy

prmteste

vagy

Zp .

5.9. Denci. Ha K rszteste L-nek, akkor azt mondjuk, hogy L a K bvtse.

45

Jele:

L|K .

5.10. Pldk.
-

R|Q, C|R
K
s

test, f K[x] irreducibilis polinom. Ekkor K[x]/ < f > |K .

K[x]/ < f >
= K . "rdekes", ha f 2

Ha

f = 1,

akkor a fenti

szrjektv

5.11. Denci. Legyen L|K testbvts, a L. Azt mondjuk, hogy a algebrai elem K fltt / az L|K
testbvtsben, ha f K[x] nem 0 polinom, melynek a gyke.
5.12. Pldk.
-

i algebrai: C|R, C|Q.

2, 3 2 algebrai: R|Q.

- Algebrai szm

= C|Q-ban

algebrai elem. Megjegyzs: az algebrai szmok rsztestet alkotnak

C-ben

algebrailag zrt test az algebrai szmok.

-

K[x]/ < f > |K -ban x

Nem algebrai

algebrai

transzcendens:

fltt.

, e.

5.13. Ttel. Legyen L|K testbvts, a L algebrai. Ekkor ltezik egyetlen m fpolinom K[x]-ben, mely
rendelkezik az albbi tulajdonsgokkal:
- m(a) = 0,
- tetszleges f K[x] esetn, ha f (a) = 0, akkor m|f .
Tovbb ez az m irreducibilis K[x] fltt.

Bizonyts.
I = {f K[x] : f (a) = 0. I C K[x]-ben (h.f.). K[x] fidelgyr I =< m > valamely
m K[x]-re. I =6= {0}, mert a algebrai, gy m vlaszthat fpolinomnak. (1), (2) teljesl.

1. Egzisztencia:

2. Egyrtelmsg:
3.

m, m0

is teljesti az (1), (2)-t, akkor

m|m0 , m0 |m,

de

m, m0

fpolinom, gy

m = m0 .

m irreducibilis: Tegyk fel, hogy mu v , ahol u, v K[x]. 0 = m(a) = (uv)(a) = u(a) v(a) u(a) = 0
v(a) = 0. Ha u(a) = 0, akkor u I =< m > m|u s u|m, akkor m u s v|1.

vagy

5.14. Denci.

m neve: az a elem minimlpolinomja K fltt / L|K testbvtsben.

5.15. Kvetkezmny. Legyen

kvetkezk ekvivalensek:

L|K testbvts, a L algebrai K fltt, f K[x] fpolinom. Ekkor a

(1) f az a minimlpolinomja.
(2) f (a) = 0 s f a legkisebb fokszm ilyen polinom.
(3) f (a) = 0 s f irreducibilis.

46

Bizonyts.
(1) (2)

I = {g K[x] : g(a) = 0} =<minimlpolinom>.

(1) (3) Elz ttelbl.

(3) (1) Tegyk fel, hogy

f (a) = 0 s f irreducibilis. I =< m >, ahol m az a minimlpolinom. Mivel

f I m|f f = m m0 K[x]. De f irreducibilis, gy m 1, ezrt m0 egysg, m f m, f
fpolinom, gy m = f .

5.16. Pldk (Minimlpolinomra).

1.
2.

3.

i
i
i

az
az
az

fltt:

x2 2

(irreducibilis, Schnemann-Eisenstein)

R fltt: x2 + 1
Q fltt: x2 + 1
C fltt: x i

L|K, a K : x a

Tny: tetszleges

L|K

testbvts,

a L. a K

akkor s csak akkor, ha

minimlpolinom s elsfok.

5.1. Egyszer algebrai bvts

5.17. Denci. Legyen

L|K testbvts. L|K egyszer algebrai testbvts, ha a L : a algebrai s

K {a} = L.
Jells:

L = K(a),

testhez adjungltjuk az

elemet.

5.18. Ttel. Legyen K(a)|K egyszer algebrai testbvts, s a minimlpolinomja K fltt f . Ekkor

K(a)
= K[x]/ < f >. St, ! : K[x]/ < f > K(a) izomorzmus, melyre k K -ra k = k s x = a.

Bizonyts.
: K[x] K(a), g 7 g(a), gyrhomomorzmus. Ker = {g
K[x] : g(a) = 0} =< f >. K[x] K(a) (rszgyr). Homomorattelbl K[x]/ < f >
= K[x] .
Mivel K[x]/ < f > test, ezrt K[x] is test, a = x a K[x], K K[x]. K {a} K[x] , teht
K[x] = K(a), azaz szrjektv.

1. Ltezik ilyen izomorzmus: Legyen

0 : K[x]/ < f > K(a)

r = b0 + b1 x + ... + bs xs .

2. Pontosan 1 izomorzmus ltezik:

K[x]/ < f >3 r(x),

ahol

Ha

izomorzmus,

k0 = k, x0 = a.

r(x)0 = b0 + ... + bs xs = (b0 + ... + bs xs )0 = b0 0 + ... + bs 0 (x )s = b0 + b1 a + ... + bs as

K[x]/ < f >3 r(x)
= K(a) 3 r(a),

ahol

minimlpolinomja

f = b0 + ... + bn xn , bn = 1.

an = b0 b1 a ... bn1 an1

5.19. Denci.

L|K testbvts: L vektortr K fltt, a vektortrbeli sszeads ugyanaz, mint testbeli

sszeads, s skalrral val szorzs = L-beli szorzsra megszortva. Az L|K testbvts fokszma n, ha L,
mint K fltti vektortr a n dimenzis. Az L|K testbvts fokszma vges, ha L, mint K fltti vektortr
a vges dimenzis.
47

Jells: Fokszm:

[L : K].

5.20. Plda.
(1)

C|R

- vektortr: Gauss-sk (komplex-sk)

(2)

R|Q, C|Q

(3)

A|Q

- nem vges fokak, pldul:

- nem algebrai,

1, , 2 , ....

- nem vges dimenzis

5.21. Ttel

(Fokszmokszorzsttel)

fok s [M : K] = [M : L] [L : K].

5.22. Plda.

M |L, L|K vges fok testbvtsek. Ekkor M |K testbvts is vges

Q(i, 2) = (Q( 2))(i)

(Q( 2))(i)|Q( 2)|Q

x2 1 : Q( 2) = {a + b 2 : a, b Q}

5.2. Vges testek

5.23. llts. Minden vges test prmhatvnyrend.
Bizonyts.
mint vektortr

Legyen

= Znp

K
|Znp | = pn .

vges test,

vektortr.

karakterisztikja

p.

Ekkor

K|Zp , [K : Zp ]

vges, pldul

n. K ,

5.24. Ttel. Minden vges test multiplikatv csoportja ciklikus.

5.25. Ttel. Minden pn prmhatvnyhoz ltezik, mgpedig izomortl eltekintve egyetlen vges test, amelynek elemszma (rendje) pn .
Jells:

GF (pn )

5.26. Kvetkezmny. Minden vges test

Zp (a) alak valamely Zp (a)|Zp egyszer algebrai bvts. (

minden vges test Zp / < f > konstrukciban kaphat meg, f irreducibilis polinom lehet.)

Bizonyts.

K vges test. |K| = pn , K|Zp .

K = Zp (a). [K : Zp ] = n, [Zp (a) : Zp ] = f , f = n.

5.27. llts.

Legyen

Ttelbl kvetkezik, hogy

K = [a].

Ekkor

K(a)|K egyszer algebrai bvts fokszma = a elem minimlpolinomjnak fokszma.

Bizonyts.

Legyen

f a

minimlpolinom,

f = n. K(a) = {r(a) : r K[x], r < n}. 1, a, ..., an1

- ez

egy bzis.

5.28. Kvetkezmny. Minden p prmhez s n N -hez ltezik Zp fltt n-edfok irreducibilis polinom.

48