www.ufukcevik.com ___________________________________________________________________________
CEBĐR-II TANIMLAR/NOTLAR Tanım 1 (Halka): R ≠ ∅ bir küme "+ " ve "i" R üzerinde iki işlem olsun. (i) ( R, +) değişmeli grup (ii) ( R,i) yarı grup (iii)
∀a, b, c ∈ R için
a (b + c ) = ab + ac
(a + b) c = ac + bc koşulları sağlanıyorsa ( R, +,i) sıralı üçlüsü bir halkadır ve genelde R ile gösterilir. R halka olsun; ( R,i) birimli ise R ye birim elemanlı halka ( R,i) değişmeli ise R ye değişmeli halka
( R − {e} ,i) grup ise R ye çarpık cisim ( R − {e} ,i) değişmeli grup ise R ye cisim
Z = Z ( R ) = {c ∈ R | cx = xc, ∀x ∈ R} kümesine R halkasının merkezi denir. Z , R nin bir alt halkasıdır fakat ideal değildir. Tanım 2 (Sıfır Bölen): R bir halka a ∈ R − {0 R } olsun. ∃b ∈ R − {0 R } ∋ ab = 0 oluyorsa a ya R nin sol sıfır böleni, b ye R nin sağ sıfır böleni denir. Hem sağ hem sol sıfır bölen elemana R halkasının sıfır böleni denir.
Tanım 3 (Tamlık Bölgesi): R değişmeli ve birimli bir halka, 1R ≠ 0 olsun. R nin sıfırdan farklı sıfır böleni yoksa R ye tamlık bölgesi denir. Tanım 4 (Birimsel -Tersinir- Eleman): R birimli bir halka ve a ∈ R olsun. ca = 1R (ab = 1R ) olacak şekilde c ∈ R (b ∈ R) elemanı bulunabiliyorsa c ye sol ( b ye sağ) tersinir eleman denir. Hem sol hem sağ tersinir elemana tersinir ya da birimsel eleman denir. Birimsel elemanların kümesi B ( R ) ile gösterilir. R birimli değilse B ( R ) = ∅ olur. R nin birim elemanı varsa 1R , −1R ∈ B ( R ) ⇒ B ( R ) ≠ ∅ olur.
Tanım 5 (Halka Homomorfisi): R ve S iki halka olsun. f : R → S bir fonksiyon ve (i) r1 , r2 ∈ R için f (r1 + r2 ) = f (r1 ) + f (r2 ) (ii) s1 , s2 ∈ R için f ( s1.s2 ) = f ( s1 ). f ( s2 ) koşulları sağlanıyorsa f ye R den S ye halka homomorfisi denir. f : R → S halka homomorfisi olsun; f 1−1 ise f ye halka monomorfisi (bazen R → S ye gömü) f örten ise f ye halka epimorfisi f hem monomorfi hem de epimorfi yani 1−1 ve örten ise f ye halka izomorfisi R → R ye tanımlı halka izomorfisine ise halka otomorfisi denir.
___________________________________________________________________________ www.ufukcevik.com -1-