Professional Documents
Culture Documents
Aùnh xaï:
ƒ : X →Y A⊂X , B⊂Y
x → y
ƒ − aùnh xaï ⇔ ( x1 = x2 ⇒ ƒ (x1 ) = ƒ (x 2 ) ) (moãi x coù moät vaø chæ moät y)
ƒ (A) = {y ∈ Y ∃a ∈ A : ƒ (a) = y} (aûnh)
ƒ −1 (B) = {x ∈ X ƒ (x) ∈ B}
oSn
(taïo aûnh)
ƒ (x ) = ƒ (x 2 ) ⇒ x1 = x 2
ƒ − ñôn aùnh ⇔ 1
x1 ≠ x 2 ⇒ ƒ (x1 ) ≠ ƒ (x 2 )
ƒ − toaøn aùnh ⇔ ∀y ∈ Y, ∃x ∈ X : ƒ (x) = y
ƒ − song aùnh ⇔ ∀y ∈ Y, ∃!x ∈ X : ƒ (x) = y
∃ƒ −1 ⇔ ƒ − song aùnh
uSu
Quan heä töông ñöông:
QUAN HEÄ TREÂN TAÄP HÔÏP
NHOÙM
(X, •) – nöûa nhoùm ⇔ ∀x, y, z ∈ X : (x.y).z = x.(y.z)
∀x, y,z ∈ X : (x.y).z = x.(y.z)
(X, •) – vò nhoùm ⇔
∃e ∈ X : ∀x ∈ X, x.e = e.x = x
∀x, y,z ∈ X : (x.y).z = x.(y.z)
(X, •) – nhoùm ⇔ ∃e ∈ X : ∀x ∈ X, x.e = e.x = x
∀x ∈ X, ∃x ' ∈ X : x.x ' = x '.x = e
X ≠ ∅, (X,i) − nöûa nhoùm
⇔
∀a, b ∈ X, pt ax = b vaø ya = b coù nghieäm trong X
X ≠ ∅, (X,i) − nöûa nhoùm
n
⇔ ∃e ∈ X : ∀x ∈ X, e.x = x
∀x ∈ X, ∃x ' ∈ X : x '.x = e
∀x, y,z ∈ X : (x.y).z = x.(y.z)
∃e ∈ X : ∀x ∈ X, x.e = e.x = x
(X, •) – nhoùm Abel ⇔
(X, •) – nhoùm ⇒
So
∀x ∈ X, ∃x ' ∈ X : x.x ' = x '.x = e
∀x, y ∈ X, x.y = y.x
e, x' cuûa x laø duy nhaát
∀x, y,z ∈ X, xy = xz (hay yx = zx) ⇒ y = z
∀x, y ∈ X, (xy) = y .x
−1 −1 −1
Nhoùm con sinh bôûi A, nhoùm con xyclic sinh bôûi A
H
Ax = {y ∈ A yx −1
∈ A} = {ax a ∈ A} (lôùp keà phaûi)
Löu yù: xA = yA ⇔ x −1y ∈ A
Nhoùm con chuaån taéc A cuûa nhoùm X (A X)
A ≠ ∅, A ⊂ X
n
A X ⇔ ∀a, b ∈ A, ab −1 ∈ A
∀x ∈ X, ∀a ∈ A, x ax ∈ A
−1
A ≠ ∅, A ⊂ X
So
⇔ ∀a, b ∈ A, ab −1 ∈ A
∀x ∈ X, xA = Ax
Löu yù: Trong 1 nhoùm Abel, moïi nhoùm con ñeàu chuaån taéc.
Nhoùm thöông cuûa X treân A
Neáu A X thì X = {xA x ∈ X} vôùi xA.yA = xyA ñgl nhoùm thöông
cuûa X treân A.
Nhoùm xyclic
A
uu
(X, •) – nhoùm xyclic ⇔ ∃a∈X: x = am, ∀x∈X, m∈Z (a–phaàn töû sinh)
a = {a k : k ∈ ℤ}
Caáp cuûa nhoùm, phaàn töû cuûa nhoùm
Caáp cuûa nhoùm X, kí hieäu X , laø soá phaàn töû cuûa X.
Caáp cuûa a∈X:
Neáu am ≠ e, ∀m > 0 thì a coù caáp voâ haïn
H
ÑOÀNG CAÁU
Ñoàng caáu nhoùm
n
X, Y laø nhoùm, f : X ax
→Y
f ñgl ñoàng caáu nhoùm ⇔ f(ab) = f(a).f(b) ∀a,b∈X
ñôn aùnh ñgl ñôn caáu (pheùp nhuùng)
So
Ñoàng caáu & toaøn aùnh ñgl toaøn caáu
song aùnh ñgl ñaúng caáu
Haït nhaân vaø aûnh cuûa ñoàng caáu nhoùm
Kerf = {x ∈ X f(x) = e Y } = f −1 (e Y )
Im f = {f(x) x ∈ X} = f(X)
Tính chaát cuûa ñoàng caáu nhoùm
f ( e X ) = eY
a)
uu
f ( x ) = [ f(x)]
−1 −1
c) A X ⇒ f(A) Y
B ⊲ X, f (B) ⊲ X
−1
h ∃! : g ° h = f
n
Ñaëc bieät:
Neáu g : X → Im f thì g ñaúng caáu. Khi ñoù: X ≅ Im f
B1:
B2:
B3:
Kerf
Neáu f : X
A
f : X
So
→ Y laø toaøn caáu thì X
Kerf
Löu yù: Ñeå cm X ≅ Y , ta cm caùc böôùc sau:
→ Y laø aùnh xaï
f laø toaøn caáu
Kerf = A
Ñònh lí ñaúng caáu
≅Y
Kerf
X ( )
uu
X – nhoùm, A,B X, A ⊂ B ⇒ A ≅X
B ( )
A
B
VAØNH
(X, + ) − nhoùm Abel
(X, +, •) − nöûa nhoùm
(X,+,•) – vaønh ⇔
H
n
n
n!
X – vaønh giao hoaùn ⇒ ( x + y ) = ∑ x i y n − i , ∀x, y ∈ X,n ∈ ℕ
i!( n − i )!
n
i=0
Nhoùm caùc öôùc cuûa ñôn vò (nhoùm caùc phaàn töû khaû nghòch)
Vaønh X coù ñôn vò laø 1 vaø X* = {x ∈ X ∃y ∈ X, xy = yx = 1}
Khi ñoù: ( X* ,• ) ñgl nhoùm caùc öôùc cuûa ñôn vò.
Öôùc cuûa 0
So
X – vaønh, a,b ∈ X, a ≠ 0, b ≠ 0, coù ab = 0 thì a laø öôùc traùi cuûa 0, b laø
öôùc phaûi cuûa 0.
Traùi laïi, ab = 0 (a,b ∈ X) suy ra a = 0 hoaëc b = 0 thì vaønh X ñgl khoâng
coù öôùc cuûa khoâng.
Mieàn nguyeân
Mieàn nguyeân ⇔
Vaønh giao hoaùn coù ñôn vò 1 ≠ 0 (coù hôn 1 ptöû)
Khoâng coù öôùc cuûa 0
uu
Moät vaønh giao hoaùn X coù ñôn vò 1 ≠ 0 laø moät mieàn nguyeân khi vaø chæ
khi trong X coù luaät giaûn öôùc: ab = ac, a ≠ 0 ⇒ b = c ∀a,b,c∈X
Tích tröïc tieáp
Vaønh X1 × X2 × ... × Xn ñgl tích tröïc tieáp cuûa caùc vaønh X1, X2, ..., Xn
neáu taäp tích ñöôïc ñ/n pheùp + vaø • sau:
( x1 ,… , x n ) + ( y1 ,…, y n ) = ( x1 + y1 ,…, x n + y n )
H
( x1 ,… , x n )i( y1 ,… , y n ) = ( x1y1 ,… , x n y n )
Vaønh con A cuûa X (A X)
A ≠ ∅, A ⊂ X
A (X, + )
A X⇔ ⇔ ∀x, y ∈ A, x − y ∈ A
∀x, y ∈ A, xy ∈ A ∀x, y ∈ A, xy ∈ A
Taâm cuûa vaønh ( Z(X) )
Z(X) = {a ∈ X ax = xa, ∀x ∈ X}
Löu yù: Z(X) X
Iñeâan A cuûa vaønh X (A X)
A ≠ ∅, A ⊂ X
A X ⇔ ∀a, b ∈ A, a − b ∈ A
∀a ∈ A, ∀x ∈ X, xa ∈ A,ax ∈ A
n
Löu yù: Ñeå cm A laø iñeâan nhoû nhaát chöùa a, giaû söû B laø iñeâan cuûa X
maø chöùa a roài cm A ⊂ B
Iñeâan sinh bôûi moät taäp, iñeâan chính sinh bôûi a
So
Giaû söû X – vaønh, A ≠ ∅, A ⊂ X. Khi ñoù, iñeâan cuûa X sinh bôûi taäp A
(hay iñeâan beù nhaát cuûa X chöùa A), k/h: (A), neáu:
(A) = ∩Xi , Xi X, A ⊂ Xi , ∀i
Neáu A = {a} thì iñeâan sinh bôûi A ñgl iñeâan chính sinh bôûi a. K/h: (a)
Ñaëc bieät: Neáu X laø vaønh giao hoaùn coù ñôn vò thì (a) = {ax x ∈ X}
Moâ taû: Iñeâan traùi chính cuûa X sinh bôûi a: Xa = {xa x ∈ X}
Iñeâan phaûi chính cuûa X sinh bôûi a: aX = {ax x ∈ X}
uu
Iñeâan chính sinh bôûi a:
m
(a) = XaX = ∑ x i ay i x i , y i ∈ X, n ∈ ℕ
i =1
Vaønh caùc iñeâan chính. Mieàn chính
Moät vaønh giao hoaùn coù ñôn vò 1 ≠ 0 trong noù moïi iñeâan ñeàu laø iñeâan
chính ñgl vaønh caùc iñeâan chính. Moät vaønh caùc iñeâan chính ñoàng thôøi
H
ÑOÀNG CAÁU
n
f(x + y) = f(x) + f(y)
f ñgl ñoàng caáu vaønh ⇔ ∀x, y ∈ X
f(xy) = f(x).f(y)
ñôn aùnh ñgl ñôn caáu (pheùp nhuùng)
So
Ñoàng caáu & toaøn aùnh ñgl toaøn caáu
song aùnh ñgl ñaúng caáu
Haït nhaân vaø aûnh cuûa ñoàng caáu vaønh
Kerf = {x ∈ X f(x) = 0Y } = f −1 (0 Y )
Im f = {f(x) x ∈ X} = f(X)
Tính chaát cuûa ñoàng caáu vaønh
f ( 0 X ) = 0Y
uu
f(− x) = −f(x)
a)
f(a − b) = f(a) − f(b) ∀a, b ∈ X
f(an ) = [ f(a)]n ∀a ∈ X, ∀n ∈ ℕ*
Kerf X, Imf Y
b) A X ⇒ f(A) Y
–1
B Y ⇒ f (B) X
H
h ∃! : g ° h = f
n
Ñaëc bieät:
Neáu g : X → Im f thì g ñaúng caáu. Khi ñoù: X ≅ Im f
Kerf Kerf
Neáu f : X
Theå
B1:
B2:
B3:
A
f : X
Kerf = A
(X,+, •) – theå ⇔
So
→ Y laø toaøn caáu thì X
Kerf
Löu yù: Ñeå cm X ≅ Y , ta cm caùc böôùc sau:
→ Y laø aùnh xaï
f laø toaøn caáu
Tröôøng con
A ⊂ X, A nhieàu hôn 1 phaàn töû
A – tröôøng con cuûa tröôøng X ⇔ ∀a, b ∈ A, a − b ∈ A
∀a, b ∈ A, b ≠ 0, ab ∈ A
−1
n
(i) x y ⇒ x + z y + z , z ∈ K
(ii) x y vaø 0 z ⇒ xz yz
Ñaëc soá cuûa vaønh
…+
So
Cho X laø moät vaønh coù ñôn vò. Neáu coù soá nguyeân döông n sao cho
1
+1+ 1 = 0 , thì soá nguyeân döông nhoû nhaát coù tính chaát ñoù ñgl ñaëc
soá cuûa vaønh X. Ngöôïc laïi, neáu khoâng coù soá nguyeân döông n naøo nhö
theá thì ta noùi X coù ñaëc soá baèng 0. Ñaëc soá cuûa X ñöôïc k/h laø Char(X).
uu
H