ÇUKUROVA ÜNİVERSİTESİ FEN BİLİMLERİ ENSTİTÜSÜ YÜKSEK LİSANS TEZİ Aslıhan KARAÇİÇEK SERBEST LEİBNİZ CEBİRLERİ VE ALT CEBİRLERİ MATEMATİK ANABİLİM DALI ADANA 2010 ÇUKUROVA ÜNİVERSİTESİ FEN BİLİMLERİ ENSTİTÜSÜ SERBEST LEİBNİZ CEBİRLERİ VE ALT CEBİRLERİ Aslıhan KARAÇİÇEK YÜKSEK LİSANS TEZİ MATEMATİK ANA BİLİM DALI Bu tez / /2010 Tarihinde Aşağıdaki Jüri Üyeleri Tarafından Oybirliği İle Kabul Edilmiştir. İmza: İmza: İmza: Yrd.Doç.Dr.ZeynepÖZKURT Prof.Dr.NaimeEKİCİ Yrd.Doç.Dr.Perihan(Dinç)ARTUT Danışman Üye Üye Bu tez Enstitümüz Matematik Anabilim Dalında hazırlanmıştır. Kod No: Prof. Dr. İlhami YEĞİNGİL Enstitü Müdürü Bu Çalışma Ç.Ü. Araştırma Fonu Tarafından Desteklenmemiştir. Not :Bu tezde kullanılan özgün ve başka kaynaktan yapılan bildirişlerin , çizelge ,şekil ve fotoğrafların kaynak gösterilmeden kullanımı , 5846 sayılı Fikir ve Sanat Eserleri Kanunundaki hükümlere tabidir. ÖZ YÜKSEK LİSANS TEZİ SERBEST LEİBNİZ CEBİRLERİ VE ALT CEBİRLERİ Aslıhan KARAÇİÇEK ÇUKUROVA ÜNİVERSİTESİ FEN BİLİMLERİ ENSTİTÜSÜ MATEMATİK ANABİLİM DALI Danışman: Yrd. Doç. Dr. Zeynep ÖZKURT Yıl: 2010, Sayfa: 35 Jüri : Prof. Dr. Naime EKİCİ Yrd. Doç. Dr. Zeynep ÖZKURT Yrd. Doç. Dr. Perihan (DİNÇ) ARTUT Bu çalışmada öncelikle Leibniz cebirlerinin yapısı incelenerek önemli tanım, teoremler verildi. Bir serbest Leibniz cebiri inşa edildi ve alt cebirlerin diferansiyelle belirlenebildiği gösterildi. Sonra iki üreteçli serbest Leibniz cebirlerinin taşınabilir (tame) otomorfizmleri ve n-üreteçli serbest sol nilpotent Leibniz cebirlerinin otomorfizmleri incelendi. Anahtar Kelimeler : Serbest Leibniz cebiri, otomorfizm , taşınabilir otomorfizmler I ABSTRACT MSc THESIS FREE LEIBNIZ ALGEBRAS AND SUBALGEBRAS Aslıhan KARAÇİÇEK DEPARTMENT OF MATHEMATICS INSTUTE OF NATURAL AND APPLIED SCIENCES UNIVERSTY OF ÇUKUROVA Supervisor : Asst.Prof.Dr. Zeynep ÖZKURT Year: 2010, Pages: 35 Jury : Assoc.Prof. Dr. Naime EKİCİ Asst.Prof.Dr. Zeynep ÖZKURT Asst.Prof.Dr. Perihan (DİNÇ) ARTUT In this thesis firstly we give definitions and basic theorems on Leibniz algebras. Then We construct a free Leibniz algebra and prove that Leibniz algebras has the property of differantial separability for subalgebras. Then we establish a characterization of tame automorphisms of the free Leibniz algebra in two variables and we interested with the automorphisms of the free left nilpotent Leibniz algebra in n- variables. Key Words : Free Leibniz algebra, Automorphisms ,Tame automorphisms II TEŞEKKÜR Bu çalışmanın hazırlanması sırasında bilgi ve tecrübesiyle beni aydınlatan, her aşamasında yardımlarını esirgemeyen ve değerli zamanlarını ayırarak çalışmanın tamamlanmasını sağlayan saygıdeğer hocam Sayın Yrd.Doç.Dr. Zeynep ÖZKURT’ a sonsuz teşekkürlerimi sunarım. Ayrıca manevi desteklerinden dolayı başta eşim ve oğluma olmak üzere tüm aileme teşekkür ederim. III İÇİNDEKİLER SAYFA ÖZ…………………………..…………………………………………………………I ABSTRACT…………………..……………………………………………………...II TEŞEKKÜR………………………..………………………………………………..III İÇİNDEKİLER……………………………………………………………..……….IV 1. GİRİŞ.………………………….…...…………………………………..…….……1 2.TEMEL TANIM VE TEOREMLER…………….………………………….……..2 2.1. Leibniz Cebirlerinin Temsilleri…………………...…………………………4 2.2. Leibniz Cebirlerinin Nilpotentliği……………..……………………………6 3.SERBEST LEİBNİZ CEBİRLERİ……………..…………………………………..7 3.1. Temsiller…………………………………………………….……………...11 3.2. Universal Enveloping Cebir………………………….……..……………...12 3.3. Alt Cebirlerin Diferansiyelle Ayrılabilirliği………………....……………..15 4.İKİ ÜRETEÇLİ SERBEST LEİBNİZ CEBİRLERİNİN OTOMORFİZMLERİ...21 4.1. Basit Otomorfizmler……………………...………………………………..23 5. SERBEST SOL NİLPOTENT LEİBNİZ CEBİRLERİNİN OTOMORFİZMLERİ……………………………………………………………30 5.1 Otomorfizmler………………………………………………………………30 KAYNAKLAR…………………………………………………………………….34 ÖZGEÇMİŞ………………………………………………………………………..35 IV 1. GİRİŞ Aslıhan KARAÇİÇEK 1. GİRİŞ Leibniz cebirleri 1990’ ların başlarında J. L. Loday tarafından çalışılmaya başlandı. Her Lie cebirinin bir Leibniz cebiri olduğu ancak bir Leibniz cebirinin her x elemanı için [x,x]=0 koşulunu sağlarsa bir Lie cebiri olacağı gösterilmiştir. Serbest Leibniz cebirleri ise J. L. Loday ve T. Pirashvili (1993) tarafından tanımlanmıştır. Bizim bu çalışmamızda öncelikle Leibniz cebirlerinin yapısı ve özellikleri incelenerek tanımlar ve bazı önemli teoremler verilecektir. Daha sonra serbest Leibniz cebirleri ve alt cebirleri incelenecektir. Tezin birinci bölümünde Leibniz cebirlerinin tanımı ve örnekleri ile çalışmamızın kaynağını oluşturan temel tanım ve teoremlere yer verilmiştir. İkinci bölümde X bir küme , F(X) , X üzerinde serbest birleşmeli cebir ve I , F(X) in [a,[b,c]] – [[a,b],c] – [[a,c],b] elemanları tarafından üretilen iki yanlı ideali olmak üzere L( X ) = F ( X ) I serbest Leibniz cebiri inşaa edilmiş ve örneklendirilmiştir. Leibniz cebirlerinin temsilleri ve evrensel enveloping cebiri tanımlanmış ve alt cebirlerin diferansiyelle belirlenebildiği gösterilmiştir. Üçüncü bölümde iki üreteçli serbest Leibniz cebirlerinin taşınabilir (tame) ve taşınamaz (wild) otomorfizmleri ve basit otomorfizmler tanımlanmış ve teoremler ile incelenmiştir. Dördüncü bölümde ise n-üreteçli serbest sol nilpotent cebirlerinin taşınabilir (tame) ve taşınamaz (wild) otomorfizmleri tanımlanmıştır. 1 2- TEMEL TANIM ve TEOREMLER Aslıhan KARAÇİÇEK 2. TEMEL TANIM ve TEOREMLER Tanım 2.1 : K bir cisim, L , [ , ] braket çarpımı ile bir K-cebir olsun. Eğer L nin her x,y elemanı için [ x, [y,z]] = [[x,y],z] – [[x,z],y] olacak şekildeki Leibniz özdeşliği sağlanıyorsa L bir sağ Leibniz cebiri ve eğer L nin her x,y elemanı için [[ x,y ], z] = [ x,[ y,z]] – [ y,[x,z]] özdeşliği sağlanıyorsa L bir sol Leibniz cebiridir. Her Lie cebiri bir Leibniz cebiridir. Eğer bir Leibniz cebiri [x,x]=0 antikomutatiflik özelliğine sahipse o zaman Leibniz özdeşliği [[ x,y ],z] + [[ y,z ],x] + [[ z,x ],y] = 0 şeklindeki Jacobi özdeşliğine indirgenebilir. Böylece Lie cebirleri , Leibniz cebirlerinin özel bir durumudur. Bu çalışmada sadece sağ Leibniz cebirleri göz önünde bulundurulacaktır. Örnek 2.1 : Her Lie cebiri bir Leibniz cebiridir. Örnek 2.2 : L bir birleşmeli cebir, P, End(L) de P 2 = P olacak şekildeki bir dönüşüm ve P(aP(b)) = P(a).P(b) P(P(a).b) = P(a).P(b) olsun. y∈ L için P(y) yi , y ile gösterelim. L üzerinde 2 2- TEMEL TANIM ve TEOREMLER Aslıhan KARAÇİÇEK [x,y] = x y - y x olacak şekilde bir dönüşüm tanımlayalım. Bu durumda L nin bu dönüşümle Leibniz cebiri olduğunu gösterelim: [x,[y,z]] = [[x,y],z] – [[x,z],y] Leibniz eşitliği sağlanmalıdır. [x,(y z - z y)] – [(x y - y x),z] + [(x z - z x),y] = =x.( y z − z y ) - ( y z − z y ).x – (x y - y x). z + z .(x y - y x) + (x z - z x). y - y .(x z - z x) =x.( y z - z y ) - ( y z - z y ).x - x y z + y x z + z x y - z y x + x z y - z x y yxz+y zx =x y z - x z y - y z x + z y x - x y z + y x z + z x y - z y x + x z y - z x y yxz+y zx =0 O halde [ , ] braket dönüşümü altında L bir Leibniz cebiridir. Özel olarak P birim dönüşüm alınırsa Lie cebiri elde edilir. Tanım 2.3: K bir cisim, L , K üzerinde bir Leibniz cebiri , H, L nin bir alt kümesi olsun . 1. ∀ x,y ∈H ve ∀ a,b ∈K için ax + by ∈ H dir. 2. ∀ x,y ∈H için [x,y] ∈H ise H ye , L nin bir alt Leibniz cebiri denir. 3 2- TEMEL TANIM ve TEOREMLER Aslıhan KARAÇİÇEK Tanım 2.4: K bir cisim , L , K üzerinde bir Leibniz cebiri , H L nin bir alt Leibniz cebiri olsun. ∀ x∈H , ∀ y ∈L için [ x,y ] ∈H ve [ y,x ] ∈H ise H ye L nin iki yanlı ideali denir. Tanım 2.5: φ : L → L bir lineer dönüşüm olsun. Her x,y ∈ L için φ ([x,y]) = [φ (x),φ (y)] ise φ bir Leibniz cebiri homomorfizmidir. Tanım 2.6: L bir Leibniz cebiri ve d: L → L bir lineer dönüşüm olsun. Her x,y ∈ L için d([x,y]) = [ d(x),y ] + [ x,d(y) ] ise d ye L Leibniz cebirinin bir türev dönüşümü denir. 2.1 Leibniz Cebirlerinin Temsilleri R bir halka ve L bir Leibniz cebiri , a bir modül olsun . a ⊕ R L ( R-modül ) direk toplamı Jacobi özdeşliğini sağlasın. a 1 ,a 2 ,a 3 ∈a , x 1 ,x 2 ,x 3 ∈L olmak üzere [[a 1 +x 1 ,a 2 + x 2 ],a 3 + x 3 ] = [a 1 + x 1 ,[ a 2 + x 2 , a 3 + x 3 ]]- [a 2 + x 2 ,[ a 1 + x 1 , a 3 + x 3 ] d+ d− (0) (0) (x)a = [x,a] (x)a = - [a,x] olarak tanımlansın. 4 2- TEMEL TANIM ve TEOREMLER Tanım 2.1.1: Eğer (0) d+ Aslıhan KARAÇİÇEK aşağıdaki üç aksiyomu sağlarsa L Leibniz cebirinin bir temsilidir denir. i) d + ii) d − (0) ([x,y]) = d + (0) ([x,y]) = d + (0) (0) (x). d + (0) (x). d − (y) - d + (0) (y) - d − (0) (y). d + (0) (y). d + (0) (x) , x,y ∈L (0) (x) , x,y ∈L Buradan sonuç olarak (ii) den iii) d − (0) (y). d + (0) (x) = d − (0) (y). d − (0) (x) , x,y ∈L dir. Tanım 2.1.2: d ( 0 ) = d + (0) = d− (0) olan bir tek temsil vardır. d ( 0 ) [x,y] = d ( 0 ) (x). d ( 0) (y) - d ( 0) (y). d ( 0) (x) Bu temsile çift temsil diyebiliriz Örnek 2.1.3: a = L ve d ( 0) (x)y = [x,y] alalım. Bu temsile adjoint temsili denir ve ad + (x)y = [x,y] -ad − (y)x = [x,y] olduğundan ad + (x)y veya -ad − (y)x şeklinde gösterilir. 5 , x,y ∈L 2- TEMEL TANIM ve TEOREMLER Aslıhan KARAÇİÇEK 2.2 Leibniz Cebirlerinin Nilpotentliği Bir L Leibniz cebiri verildiğinde aşağıdaki seriler tanımlanabilir (a) L 〈1〉 = L , L 〈 n +1〉 = [L 〈 n 〉 ,L ] ; (b) L [1] = L , L [ n +1] = [L [n ] , L [n ] ] ; (c) L 1 = L , L n +1 = [L 1 , L n ] + [L 2 ,L n−1 ] + ………+ [L n−1 , L 2 ] + [L n , L 1 ] . Tanım 2.2.1: a) Bir L Leibniz cebiri eğer bir s∈N için L 〈 s 〉 = 0 oluyorsa sağ nilpotent olarak isimlendirilir. b) Bir m∈N için L [m ] = 0 oluyorsa L çözülebilirdir. Bu tamsayıların en küçüğüne çözülebilirlik indeksi denir. c) n∈N için eğer L n = 0 ise L ye nilpotent denir. Bu şekildeki en küçük sayıya nilpotentlik indeksi denir. 6 3. SERBEST LEİBNİZ CEBİRLERİ Aslıhan KARAÇİÇEK 3. SERBEST LEİBNİZ CEBİRLERİ X boş olmayan bir küme L bir Leibniz cebiri ve i: X → L bir fonksiyon olsun. Eğer her A Leibniz cebiri ve α : X → A dönüşümü için i X → L [η α ↓ A α =η i olacak şekilde bir tek η : L → A Leibniz homomorfizmi varsa ( L, i ) çiftine X üzerinde bir serbest Leibniz cebiri denir. X kümesi üzerinde bir serbest Leibniz cebiri inşaa edelim: n −1 X1 = X , X n = ∞ U (X p x X n− p ) ve M(X) = U X n n =1 p =1 olsun. a ∈ X p , b ∈ X q ve (a,b) ∈ X p x X q olacak şekilde p ve q tamsayıları vardır. X p x X n− p den X n ’ e olan içine dönüşümler altında (a,b) nin görüntüsü a.b olsun. X p x X n− p → X n (a,b) → a.b Böylece her a,b ∈ M(X) için a.b tanımlanabilir. a ∈ X p olacak şekildeki p tamsayısına a nın uzunluğu denir ve l (a) ile gösterilir. l (a) = p dir. Uzunluğu 1 olan elemanlar X in elemanlarıdır. Uzunluğu ≥ 2 olan elemanlar c = (ab) şeklindeki elemanlardır. l (ab) = l (a) + l (b) dir. 7 3. SERBEST LEİBNİZ CEBİRLERİ Aslıhan KARAÇİÇEK K herhangi bir cisim olsun. K üzerinde bazı M(X) olan bir vektör uzayı düşünelim.Yani M(X) in elemanlarının bütün lineer toplamlarını alıp bir vektör uzayına genişletelim. Böylece K üzerinde birleşmeli olmayan bir serbest cebir inşaa edilmiş olup bu cebire N(X) diyelim. I , N(X) in aşağıdaki formda olan elemanlar tarafından üretilen iki yanlı ideali olsun. L(abc) = (a(bc)) - ((ab)c) + ((ac)b) O zaman N(X ) = L(X) I X üzerinde bir serbest Leibniz cebiridir. X kümesine L(X) in serbest üretici (doğuray) kümesi denir. Tanım 3.1: A bir sağ, B bir sol R-modül ve G bir abelyen grup ise T: AxB → G fonksiyonu 1. T(a 1 +a 2 ,b) = T(a 1 ,b) + T(a 2 ,b) , ∀ a i ∈A , ∀ b∈A T(a 1 , b 1 +b 2 ) = T(a 1 ,b 1 ) + T(a 1 ,b 2 ) , ∀ a∈A , ∀ b i ∈A ise T bilineerdir. 2. Eğer T(ar,b) = T(a,rb) , ∀ r∈R , ∀ a∈A , ∀ b∈B ise T dengelidir. Tanım 3.2: R bir halka, A bir sağ, B bir sol R-modül olsun. A ⊗ R B ( eğer varsa), h: AxB → A ⊗ R B bilineer ve dengeli fonksiyonu var olsun öyleki her C abelyen T grubu ve her AxB → C bilineer ve dengeli fonksiyonu için bir tek T :AxB → C grup homomorfizmi vardır öyleki 8 3. SERBEST LEİBNİZ CEBİRLERİ Aslıhan KARAÇİÇEK T AxB →C h] [T A ⊗R B değişimli ise (A ⊗ R B, h ) tensör çarpımıdır. Önerme 3.3: V, X bazı ile bir vektör uzayı olsun. T (V) = V ⊕ V ⊗2 ⊕ V ⊗3 ⊕ V ⊗4 ⊕ ………. ⊕ V ⊗n ⊕ ……… tensör modülü aşağıda tanımlanan özellikler ile V üzerinde serbest Leibniz cebiridir. i) [x,v] = x ⊗ v , x ∈ T (V) , v ∈ V ii) [ x,y ⊗ v] = [x,y] ⊗ v - [x ⊗ v,y] x,y ∈ T (V) ve v ∈ V İspat : İspata öncelikle T (V) nin bir Leibniz cebiri olduğunu göstererek başlayalım. R bir halka T (V) bir R-cebir olsun. T (V) = V ⊕ V ⊗2 ⊕ V ⊗3 ⊕ V ⊗4 ⊕ ………. ⊕ V ⊗n ⊕ ……… A 0 =V, A 1 =V ⊗2 ,………., A n =V ⊗ ( n+1) olmak üzere A m .A n ⊆ A m + n olduğundan T (V) derecelendirilmiş cebirdir. Dolayısıyla tümevarımla gösterilir. Sağdan çarpılan elemana z diyelim. Tümevarımda her z ∈ V ⊕ V ⊗2 ⊕ V ⊗3 ⊕ V ⊗4 ⊕ ………. ⊕ V ⊗n −1 için Leibniz bağıntısı sağlansın. 9 3. SERBEST LEİBNİZ CEBİRLERİ Yani Aslıhan KARAÇİÇEK x,y∈ T (V) , z ∈ V ⊕ V ⊗2 ⊕ V ⊗3 ⊕ V ⊗4 ⊕ ………. ⊕ V ⊗n −1 için [ x, [y,z]] = [[x,y],z] – [[x,z],y] dir. Şimdi z ∈ V ⊗n alalım. t ∈ V ⊗n −1 , v ∈ V için z = t ⊗ v , düşünebiliriz. (ii) yi kullanalım. Bu durumda * [ x, [y,z]] = [x,[y,t ⊗ v]] = [x,[y,t] ⊗ v] – [x,[y ⊗ v ,t]] = [x,[y,t]] ⊗ v – [x ⊗ v,[y,t]] – [[x,y ⊗ v],t] + [[x ⊗ t],y ⊗ v] = [x,[y,t]] ⊗ v - [x ⊗ v,[y,t]] – [[x,y ⊗ v],t] + [[x ⊗ t],y] ⊗ v – [[x ⊗ t] ⊗ v,y] dir. ** [[x,y],z] =[[x,y],t ⊗ v] = [[x,y],t] ⊗ v – [[x,y] ⊗ v,t] = [[x,y],t] ⊗ v – [[x,y ⊗ v],t] – [[x ⊗ v,y],t] ve *** [[x,z],y] = [[x,t ⊗ v],y] = [[x ⊗ t] ⊗ v,y] – [[x ⊗ v,t],y] olduğundan [ x, [y,z]] - [[x,y],z] + [[x,z],y] = 0 eşitliğini ( Leibniz eşitliği ) elde etmek için elemanları yerine yazıp gerekli sadeleştirmeleri yaptığımızda [ x, [y,z]] - [[x,y],z] + [[x,z],y] = [x,[y,t]] ⊗ v- [x ⊗ v,[y,t]] + [[x ⊗ t],y] ⊗ v– [[x,y],t] ⊗ v– [[x ⊗ v,y],t]-[[x ⊗ v,t],y] eşitliğini elde ederiz. Buradan ⊗ v ortak parentezine alırsak =( [x,[y,t]] + [[x,t],y] – [[x,y],t] ) ⊗ v – ( [x ⊗ v,[y,t]] – [[x ⊗ v,y],t]+ [[x ⊗ v,t],y] ) elde edilir. x,y∈ T (V) , t ∈ V ⊗n −1 için Leibniz özdeşliği sağlandığından parantez içleri 0 olmalıdır. Böylece [ x, [y,z]] - [[x,y],z] + [[x,z],y] = 0 10 3. SERBEST LEİBNİZ CEBİRLERİ Aslıhan KARAÇİÇEK dır. Leibniz özdeşliği sağlanır. Şimdi de üniversal özelliği sağladığını gösterelim : i: V → T (V) olacak şekilde içine bir dönüşüm ve φ : V → B (B bir Leibniz cebiri) olsun. Öyle bir f: T (V) → B dönüşümü vardır ki i V → T (V) [f φ ↓ B φ =fi dir. f yi şu şekilde tanımlayalım; f(v) = φ (v) f(v 1 ⊗ v 2 ⊗ …….. ⊗ v n ) = [f(v 1 ⊗ v 2 ⊗ …….. ⊗ v n −1 ) , f(v n )] B deki [ , ] tanımı ile B bir Leibniz cebiridir. f((v 1 ⊗ v 2 ⊗ …….. ⊗ v n −1 ) ⊗ v n ) = f([v 1 ⊗ v 2 ⊗ …….. ⊗ v n −1 , v n ]) ((i) den) = [f(v 1 ⊗ v 2 ⊗ …….. ⊗ v n −1 ),f(v n )] = f[….[[v 1 ,v 2 ],v 3 ],v 4 ],….v n −1 ],v n ] olur. B Leibniz cebiri olduğundan , f (ii) özelliğini sağlar. f([ x,y ⊗ v]) = f([x,y] ⊗ v) - f( [x ⊗ v,y] ) dir. Böylece T (V) evrenseldir ve buradan T (V) = L(V) diyebiliriz. Yani T (V), V üzerinde serbest Leibniz cebiridir. 11 3. SERBEST LEİBNİZ CEBİRLERİ Aslıhan KARAÇİÇEK 3.1 Temsiller i j → M → h → g →0 Im i = Ker j olmak üzere 0 Leibniz cebirlerinin bir tam dizisi ve [M,M]=0 olsun. O zaman [ - , - ] : LxM → M ve [ - , - ] : MxL → M dönüşümleri her m ∈ M ve x,y ∈ L için aşağıdaki üç aksiyomu sağlar : (M L L) [m , [x,y]] = [[m,x] , y] – [[m,y] , x] (L M L) [x , [m,y]] = [[x,m] , y] – [[x,y] , m] (L L M) [x , [y,m]] = [[x,y] , m] – [[x,m] , y] Son iki aksiyom taraf tarafa toplanırsa (ZD) [x , [m,y]] + [x , [y,m]] = 0 elde edilir. (0) R x (y) = - d − (x)(y) = [y,x] (0) L x (y) = d + (x)(y) = [ x,y] (0) (0) olmak üzere R x = - d − (x) ve L x = d + (x) alalım. Buradan R [ x , y ] (m) = [m , [x,y]] = [[m,x] , y] – [[m,y] , x] = ( R x R y - R y R x ) (m) L [ x , y ] (m) = [[x,y] , m] = [x , [y,m]] + [[x,m] , y] = - [x , [m,y]] + [[x,m] , y] = (- R y L x + L x R y ) (m) = ( L x R y - R y L x ) (m) 12 ( ZD den ) 3. SERBEST LEİBNİZ CEBİRLERİ Aslıhan KARAÇİÇEK dir. Her m ∈ M için sağlandığından R [ x, y] = R x R y - R y R x L [ x, y] = L x R y - R y L x olur. Bu durumda ( ZD) den ( R y + L y ).L x = 0 elde edilir. Buradan (Rx + Lx ).Ly =0 dır. Böylece ([m,x] + [x,m]) . [y,m] = 0 olur. 3.2 Evrensel Enveloping Cebir L l ve L r Leibniz cebiri olsunlar. x ∈ L iken L x ∈ L l ve R x ∈ L r olsun. Burada L x ve R x ’ e , x üzerindeki sağ ve sol çarpımlarla evrensel dönüşümler denir . T( L l ⊕ L r ) tensör k-cebiri ( birleşmeli ve birimli ) verilsin. I aşağıdaki özellikler ile iki yanlı bir ideali olsun. x,y ∈ L olmak üzere i) R [ x , y ] = R x R y - R y R x ii) L [ x , y ] = L x R y - R y L x iii) ( R x + L x ) . L y = 0 O zaman UL(L) = T( L l ⊕ L r ) I bölüm cebiri L Leibniz cebirinin üniversal enveloping cebiridir. Birleşimli ve birimlidir. 13 3. SERBEST LEİBNİZ CEBİRLERİ Aslıhan KARAÇİÇEK M, L nin bir temsili olsun. M, k-modülü üzerinde UL(L) nin sağ etkisi aşağıdaki gibi tanımlansın. L l ve L r nin M üzerindeki etkisi m L x = [x,m] m R x = [m,x] olsun. Bu etkiler ile T( L l ⊕ L r ) nin üzerine etkisi genişletilirse (i) ve (ii) tanımları elde edilir. Daha önce (M L L) , (L M L) ve (L L M) aksiyomları ile gösterdik. (L M L) ve (L L M) eşitliklerinden (ZD) elde edildi. Böylece M , UL(L)-sağ modül yapılmış oldu. L 0 , L Leibniz cebirinin [x,x] ( x ∈ L ) elemanları tarafından doğrulmuş bir ideali olsun. Böylece L = L L0 bölüm cebiri bir Lie cebiridir. x ile x ∈ L nin L → L kanonik homomorfizmi altındaki görüntüsünü göstereceğiz. Bu homomorfizmi kullanarak : UL(L) → U( L ) homomorfizmini elde ederiz. Burada U( L ), L Lie cebirinin universal enveloping cebiridir ve L , U( L ) nin bir alt cebiridir. O zaman Rx = x Lx =- x dir. Her x ∈ L için δ ( x ) = R x şeklinde tanımlanan δ : U( L ) → UL(L) dönüşümünü alalım. Burada δ ( x ) = R x = x 14 olduğundan U( L ), UL(L) nin bir 3. SERBEST LEİBNİZ CEBİRLERİ Aslıhan KARAÇİÇEK alt cebiridir. UL(L) cebiri 1 ve L x elemanlarını içeren bir bazı ile U( L ) serbest sağ modülüdür. (ii) ve (iii) den L [ x, y] = L x R y + L y L x x ∈ L için x,y ∈ L (- R y = L y ) (1) d(x) = L x şeklinde verilen d : L → UL(L) dönüşümünü tanımlayalım. (1) den d( [x,y] ) = L [ x , y ] = L x R y + L y L x = d(x) R y + d(y) L x , x,y ∈ L Burada d dönüşümü L cebirinin türevidir. I L = { L x : x ∈ L }. UL(L) olsun. I L , x ∈ L olmak üzere L x elemanları tarafından doğrulan UL(L) cebirinin bir sağ idealidir. d : L → I L dönüşümü , L Leibniz cebirinin evrensel türevidir. Eğer H, L Leibniz cebirinin bir alt cebiri ise o zaman J H = { L x : x ∈ H }. UL(L) kümesini elde edebiliriz. 3.3 Alt Cebirlerin Diferansiyelle Belirlenmesi Teorem 3.3.1: x , L Leibniz cebirinin bir elemanı ve H , L nin bir alt cebiri olsun. O zaman x ∈ H olması için gerek ve yeter koşul d(x) ∈ J H olmasıdır. 15 3. SERBEST LEİBNİZ CEBİRLERİ Aslıhan KARAÇİÇEK İspat: A, B, C, E , L Leibniz cebirinin aşağıdaki özellikleri sağlayan alt kümeleri olsun. 1) A , L 0 ∩ H alt uzayının bir bazı 2) A ∪ B , H nin bir bazı 3) A ∪ C , L 0 ın bir bazı 4) A ∪ B ∪ C ∪ E , L nin bir bazı A∪ B∪ C∪ E alt kümeleri üzerinde bir lineer sıralama düşünelim. a ∈ A, b ∈ B, c ∈ C, e ∈ E için a 〈 b 〈 c 〈 e ve B = { b : b∈ B } E = { e : e∈ E } olsun. B ∪ E alt kümesi I nın bir bazıdır. Poincare-Birkhoff –Witt teoremine göre : b i1 ≤ b i 2 ≤ ………… ≤ b in , e j1 ≤ e j 2 ≤ ……….. ≤ e js olmak üzere w= b i1 b i 2 ….. b in e j1 e j 2 ….. e js (1) U( L ) nin bir bazı şeklindedir. x ∈ A ∪ B ∪ C ∪ E ve w , (1) deki gibi olmak üzere Lxw (2) I L alt uzayının bir bazıdır. Buradan I L alt uzayı { L x : x ∈ A ∪ B ∪ C ∪ E} bazı ile serbest U( L ) - modülüdür. (1) ve (2) deki kelimeler UL(L) cebirinin bir bazı J H , UL(L) nin 16 3. SERBEST LEİBNİZ CEBİRLERİ Aslıhan KARAÇİÇEK L x , x∈ A ∪ B (3) elemanları tarafından doğrulan sağ idealidir. Burada J H , sağ- U( L ) modülü L x ve L x L y elemanları tarafından doğrulmuştur. Burada x ∈ A ∪ B ve y ∈ A ∪ B ∪ C ∪ E dir. x,y ∈ L için L [ y , x ] = L y R x + L x L y idi. Buradan L x L y = - L y R x + L [ y , x ] = - S(x,y) S(x,y) = L y x - L [ y , x ] elde edilir. Eğer x ∈ A ise x=[z,z] , z ∈ H ve R [ z , z ] =R z R z - R z R z = 0 dir. Buradan R x =0 ve L [ y , x ] = L [ y ,[ z , z ]] = - [ y ,[ z , z ]] = - ( [[ y , z ], z ] − [[ y, z ], z ] ) =0 olduğundan L x L y = 0 dır. A ∪ B alt kümesi H alt cebirinin bir bazı olduğundan y∈ A ∪ B için L x L y elemanı ( 2 ) formundaki elemanlar tarafından üretilen U( L ) alt modülüne aittir. (2) deki elemanlar ve S(x,y) , x ∈ B , y ∈ C ∪ E (4) elemanları J H , U( L ) - modülünü üretir. U( L ) cebiri B ∪ E alt kümeleri tarafından üretilir ve aşağıdaki bağıntıya sahiptir. x z - z x - [ x, z ] = 0 , x,z ∈ B ∪ E , x 〉 z (5 ( 1 ) ve ( 2 ) de ki ifadeler üzerinden bir lineer sıralamayı öncelikle uzunlukları ve alfabetik sıralamaya göre düşünelim. 17 3. SERBEST LEİBNİZ CEBİRLERİ Aslıhan KARAÇİÇEK (3) ve (4) deki elemanları kullanarak ( Bahturin ve ark.(1992) , Bokut ve ark.(1994) Mikhalev ve ark.(1995) ) t= S(x,y) z - L y ( x z - z x - [ x, z ] ) , x ∈ B , y ∈ C ∪ E dir. (4) den x〉 z , z∈ B t= S(x,y) x + S( x, [y,z]) + S( [x,z] ,y) + S( z, [x,y]) şeklindedir. Eğer f ∈ J H ise o zaman L x , x ∈ A ∪ B ve L y x , x∈ B , y ∈ C ∪ E kelimelerinin her biri f nin en uzun kelimesinin alt kelimesidir. Böylece eğer L x ∈J H ise L x elemanı (3) deki elemanların lineer kombinasyonudur. Böylece x ∈ H dir. Tanım 3.3.2: L , X = { x 1 , x 2 ,….,x n } kümesi üzerinde bir serbest Leibniz cebiri A da X tarafından üretilen serbest birleşmeli cebir olsun. ε : A → k , 1 ≤ i ≤ n için ε (x i ) = 0 olacak şekilde tanımlanan homomorfizme genişletme homomorfizmi denir. Bu homomorfizmin çekirdeği, bazı X olan bir serbest sol A-modüldür. Bu modülü ∆ ile gösterelim. Her u ∈ ∆ elemanı n u= ∂u ∑ ∂x x i =1 i formunda tek bir i şekilde yazılabilir. u nun { x 1 , x 2 ,….,x n } bazına göre koordinatları olan elemanları Fox türevleri olup bu türevler aşağıdaki şekilde tanımlanır Tanım 3.3.3: Aşağıdaki koşulları sağlayan ∂ :A → A ∂x i dönüşümleri Fox türevleri olarak adlandırılır. 18 (1 ≤ i ≤ n ) ∂u ∂x i 3. SERBEST LEİBNİZ CEBİRLERİ 1- ∂x j ∂xi Aslıhan KARAÇİÇEK = δ ij ( Kronecker delta ) 2- Her u,v ∈ A ve α , β ∈ k için 3- Her u,v ∈ A için ∂ ∂u ∂v ( αu + β v ) = α + β ∂xi ∂x i ∂x i ∂ ∂u ∂v (uv) = . ε (v) + u ∂x i ∂x i ∂x i Bu tanımın açık bir sonucu olarak ∂ (1) = 0 dır. ∂x i Fox türevleri ile ilgili daha ayrıntılı bilgiler ( Fox , 1952 ) de bulunabilir. Tanım 3.3.4: A , X = { x 1 , x 2 ,….,x n } tarafından üretilen serbest birleşmeli cebir ve Y = { y 1 , y 2 ,….,y m } ⊂ A olsun . Y nin Jacobian matrisi ∂y1 ∂x 1 M JY = M ∂y m ∂x1 ∂y1 ∂x n M M M M M M ∂y m L L ∂x n L L şeklinde bir mxn matristir. Teorem 3.3.5: L , { x 1 ,….,x n } serbest doğuray kümesi ile birlikte bir serbest Leibniz cebiri ve ψ , L nin bir endomorfizmi olsun. O zaman ψ , L nin bir otomorfizmidir ancak ve ancak J( Ψ ) = J( Ψ (x 1 ),…….., Ψ (x n )) Jacobian matrisi UL(L) üzerinde tersinirdir. İspat: L , { x 1 , x 2 ,….,x n } serbest üreteçleri ile bir serbest Leibniz cebiri ve I L {y 1 , y 2 ,….,y n } bazı ile serbest UL(L) modülü olsun. 19 3. SERBEST LEİBNİZ CEBİRLERİ Aslıhan KARAÇİÇEK d : L → IL d(x i ) = y i , 1 ≤ i ≤ n ve d(ab) = d(a)R b + d(b)L a , a,b ∈ L lineer dönüşümüne L nin evrensel türevi denir. n d(f) = ∑y i =1 ∂ (f) ile ( ∂f ∂f ……. ∂x1 ∂x n )T i ∂f ∂xi , ∂f ∈ UL(L) ∂x i sutununu gösterelim. Burada f 1 ,f 2 ,…..,f n , L nin elemanları olsunlar. J(f 1 ,f 2 ,…..,f n ) ile bu elemanların ( ∂ (f 1 ),……, ∂ (f n ) ) Jacobian matrisini gösterelim. Eğer H , L nin bir alt cebiri ise o zaman J H = d(H) dır. Teorem3.3.1 den her x ∈ L için x ∈ H olması için gerek ve yeter koşul d(x) ∈ J H olmasıdır. 20 4. İKİ ÜRETEÇLİ SERBEST LEİBNİZ CEBİRLERİN OTOMORFİZMLERİ Aslıhan KARAÇİÇEK 4. İKİ ÜRETEÇLİ SERBEST LEİBNİZ CEBİRLERİNİN OTOMORFİZMLERİ X= {x 1 ,x 2 } olmak üzere L 〈 x 1 ,x 2 〉 = A, X tarafından üretilen iki üreteçli serbest Leibniz cebiri olsun. A nın bir bazı [[[ x i1 , x i2 ] , x i3 ] ,……., x ik ], i j = 1,2 , 1 ≤ j ≤ k şeklindedir. UL(A) , A nın evrensel enveloping cebiri olsun. A cebiri a.r b = [ a,b ] a.l b = [ b,a ] , a,b ∈ A şeklinde verilen bir UL(A) – modül dür. Ann(A) = { [ a,a ] / a ∈ A } ve Ann(A) < A olsun. O zaman r a = 0 olması için gerek ve yeter koşul a ∈ Ann(A) olmasıdır. L Lie = A Ann(A) iki üreteçli serbest bir Lie cebiridir. Burada serbest üreteçler olarak x 1 ve x 2 alalım. A nın bir f elemanı için l (f) ile f nin derecesini gösterelim f , f nin en uzun homojen bileşeni ve f , f nin lineer bileşeni olsun. A nın ϕ (x 1 ) = f 1 ve ϕ (x 2 ) = f 2 şeklinde tanımlanan bir ϕ otomorfizmi ϕ = ( f1 , f 2 ) ile gösterilecektir. ϕ = ( f 1 , f 2 ) otomorfizminin derecesi 21 4. İKİ ÜRETEÇLİ SERBEST LEİBNİZ CEBİRLERİN OTOMORFİZMLERİ Aslıhan KARAÇİÇEK l ( ϕ ) = l (f 1 ) + l (f 2 ) şeklindedir. a 1 ,a 2 ,…..,a k ∈ A elemanları tarafından üretilen A nın alt cebirini 〈 a 1 ,a 2 ,…..,a k 〉 ile gösterelim. Aut(A) ile A nın tüm otomorfizmlerinin grubunu gösterelim. A m , m üreteçli serbest Leibniz cebiri olsun. Önerme 4.1: A nın ϕ = ( f 1 , f 2 ) otomorfizmi için f i - f i ∈ Ann(A), i = 1,2 şeklindedir. İspat : İki üreteçli serbest Lie cebirlerinin otomorfizmleri taşınabilirdir. A m , m üreteçli serbest Leibniz cebiri olsun. m=2 için Aut A2 ≅ GL 2 dir. L L0 ın bir ϕ otomorfizmi L nin bir otomorfizmine taşınabiliyorsa buradaki ϕ ye taşınabilir otomorfizm denir. İki üreteçli serbest Lie cebirlerinde otomorfizmler lineer otomorfizmlerdir. Dolayısıyla A nın ϕ otomorfizmi L Lie nin bir lineer otomorfizmini belirler. x 1 → f 1 = f 1 + [ x,x ] x 2 → f 2 = f 2 + [ x,x ] Böylece f i - f i ∈ Ann(A) , i = 1,2 olacaktır. Önerme 4.2: ( f 1 , f 2 ) A nın bir otomorfizmi , T(x) ∈ L 〈 x 〉 elemanının derecesi l(T(x)) = k olsun. O zaman l (T(f 1 )) = l (f 1 ) + k-1 dir. 22 4. İKİ ÜRETEÇLİ SERBEST LEİBNİZ CEBİRLERİN OTOMORFİZMLERİ İspat : T(x) = k −1 ∑α i =0 i Aslıhan KARAÇİÇEK α i ∈ K , α k −1 ≠ 0 olsun x r ix Bir önceki teoremden f i - f i ∈ Ann(A) olduğunu biliyoruz. O zaman r f1 − f1 = 0 dır. 0 ≠ a ∈ A olmak üzere ar f1 − f1 =0 0 = [ a, f 1 - f 1 ] = [ a, f 1 ] – [ a , f 1 ] = a r f1 - a r f1 = a (r f1 - r ) f1 O halde r f1 - r = 0 dolayısıyla r f1 = r f1 k −1 T(f 1 ) = k −1 ∑ α i f 1 r if1 = ∑α i =0 i =0 i f1 dir. f1 r i f1 T ( f 1 ) = α k −1 f 1 r k −1 f1 = α k −1 f 1 (r f1 r f1 r ….. r ) f1 f1 ( k-1 tane r ) f1 = α k −1 […..[[[ f 1 , f 1 ], f 2 ],….] (k-1 uzunluk) = l (f 1 ) + k-1 Böylece l (T(f 1 )) = l (f 1 ) + k-1 dir. 23 4. İKİ ÜRETEÇLİ SERBEST LEİBNİZ CEBİRLERİN OTOMORFİZMLERİ Aslıhan KARAÇİÇEK 4.1 Basit otomorfizmler Tanım 4.1.1: I bir indis kümesi ve Z= { f i : i ∈ I } L nin bir alt kümesi olsun. Aşağıdaki ϕ dönüşümüne Z nin bir elemanter dönüşümü denir. ϕ : f i0 → α f i0 + g → fi Burada 0 ≠ α ∈ K fi , , i0∈ I i∈ I {i0 } g ∈ 〈 { f i : i ∈ I } 〉 dir. Eğer { f 1 , f 2 } ye elemanter dönüşüm uygulandığında { g 1 , g 2 } elde ediliyorsa (f 1 , f 2 ) → (g 1 , g 2 ) şeklinde yazarız. Eğer (f 1 , f 2 ) A nın bir taşınabilir otomorfizmi ise o zaman ( x 1 , x 2 ) = (f 1 (0 ) , f 2 (0) ) → (f 1 (1) , f 2 (1) ) → ……..(f 1 (k ) , f 2 (k ) ) → (f 1 , f 2 ) şeklinde elemanter otomorfizmlerin bir serisi vardır Tanım 4.1.2: (f 1 , f 2 ) A nın bir otomorfizmi olsun. Eğer 0 ≠ α ∈ K , g ∈ 〈 f 2 〉 için l ( α f 1 + g) 〈 l (f 1 ) ise f 1 elemanı indirgenebilirdir. Yada ( α f 1 + g, f 2 ) otomorfizmi tarafından f 1 indirgenebilirdir. Tanım 4.1.3: A nın basit otomorfizmlerini derece üzerinde tümevarım yapılarak aşağıdaki gibi tanımlayabiliriz . 1- A nın lineer otomorfizmleri basittir. 2- Varsayalım ki derecesi k dan küçük basit otomorfizmler tanımlanmış olsun. A nın derecesi k olan bir (f 1 , f 2 ) otomorfizmi eğer f 1 veya f 2 bir basit otomorfizm tarafından indirgenebilirse basittir. (f 1 , f 2 ) otomorfizminin bir f i elemanı eğer bir basit otomorfizm tarafından indirgenebilirse o zaman f i ye basit indirgenebilir denir. 24 4. İKİ ÜRETEÇLİ SERBEST LEİBNİZ CEBİRLERİN OTOMORFİZMLERİ Aslıhan KARAÇİÇEK Teorem 4.1.4: A = L 〈 x 1 , x 2 〉 serbest Leibniz cebirinin taşınabilir otomorfizmleri basittir. İspat : Varsayalım ki bu otomorfizmler basit olmasın. O zaman (f 1 ,f 2 ) A nın taşınabilir otomorfizmi olduğundan ( x 1 , x 2 ) = (f 1 (0 ) , f 2 (0) ) → (f 1 (1) , f 2 ϕ (f 1 ( k +1) , f 2 serisi vardır. Burada ϕ i = (f 1 (i ) ,f 2 (i ) (1) ) → ....(f 1 (k ) , f 2 ( k +1) (k ) ) → (f 1 ( k +1) , f 2 ( k +1) ) (1) ) basit olmasın. Aynı zamanda ) 1 ≤ i ≤ k otomorfizmleri basit olsun. Bu şekildeki tüm dizilerin kümesini M ile gösterelim. l ( ϕ k ) = l ( f 1 (k ) ) + (f 2 (k ) ) ile (1) dizisinin kontrol sayısını söyleyelim. ϕ nin bir basit otomorfizm olduğunu gösterelim. (g 1 ,g 2 ) = (f 1 ( k −1) , f 2 ( k −1) ) , (f 1 ,f 2 ) = (f 1 (k ) , f 2 (k ) ) olsun. Varsayalım ki f 1 = f 1 ( k +1) , f2 ϕ k basit olduğundan f Varsayalım ki 1 ( k +1) = f = f 2 + g , g = T(f 1 ) ∈ 〈 f 1 〉 (2) veya f 2 , ϕ k tarafından basit indirgenebilirdir. f 2 basit indirgenebilir olsun. O zaman f 2 nin ϕ ( k −1) tarafından indirgenebilir olduğunu varsayalım. (g 1 ,g 2 ) → (g 1 , g 2 + S(g 1 )) f 2 = g 2 + S ( g1 ) g = f − S(g ) 2 1 2 25 4. İKİ ÜRETEÇLİ SERBEST LEİBNİZ CEBİRLERİN OTOMORFİZMLERİ O zaman g 1 = f 1 , g 2 = f 2 - S(f 1 ) Aslıhan KARAÇİÇEK l ( g 2 ) 〈 l ( f 2 ) dir. (1) dizisinin son iki otomorfizmi ( ϕ ve ϕ k ) aşağıdaki bir otomorfizmle k +1 değiştirelim. Böylece ϕ k −1 = (g 1 ,g 2 ) → (g 1 , g 2 + S(g 1 ) + T(g 1 )) f 2 − S ( g1 ) + S ( g1 ) + T ( g1 ) f 2 + T ( g1 ) f2 + g ( f1 , f ) f1 , ϕ k −1 tarafından indirgenebilir olsun. l ( g1) 〈 l ( f 1) g 1 = f 1 - S(f 2 ) , g 2 = g 2 Eğer l ( g) 〉 l ( f 2 ) ise ϕ otomorfizminin bir f elemanı ϕ (3) k basit otomorfizmi tarafından indirgenebilirdir. l ( g) ≤ l ( f 2 ) olduğunu varsayalım. Önerme 4.3 den l ( g) = l ( T(f 1 )) = l (f 1 ) + l (T(x)) – 1 dir. Aşağıdaki iki durumu inceleyelim: • l ( f 1 ) = l ( f 2 ) olursa l (T(x)) = 1 dir. l (f 1 ) + l (T(x)) – 1 ≤ l (f 1 ) l (T(x)) ≤ 1 fakat k −1 T(x) = ∑ α i x r ix 0 de k=1 alınırsa i =0 ∑α i =0 i x r ix sadece x kalır. l (T(x)) = 1 olur. • l ( f 1 ) 〈 l ( f 2 ) olursa l (f 1 ) + l (T(x)) – 1 ≤ l (f 2 ) l (T(x)) – 1 l (f 2 ) - l (f 1 ) 〉 0 olduğundan 26 ≤ l (f 2 ) - l (f 1 ) 4. İKİ ÜRETEÇLİ SERBEST LEİBNİZ CEBİRLERİN OTOMORFİZMLERİ 0 〈 l (T(x)) – 1 Aslıhan KARAÇİÇEK l (f 2 ) - l (f 1 ) ≤ l (T(x)) 〉 1 olur. (3) dan f 1 = S ( f 2 ) olduğundan l (f 2 ) ≤ l (f 1 ) dir. l ( f 1 ) = l ( f 2 ) ve T(x) = α x , S(x) = β x α , β ∈ F , O halde sadece g1 = f 1- β f 2 , f1 = β f 2 , f = f 2 +αf durumlarını göz önünde 1 bulunduralım. δ = 1 + αβ olsun. O zaman f = f 2 +αf eşitliğinin sağ tarafına αβ f 1 f = f 2 + αβ f 2 + α f 1 - αβ f = ( 1 + αβ ) f 2 2 yi ekleyip çıkaralım. 2 elde edilir. 2 + α(f- βf 2) f = δ f 2 + α g 1 elde edilir. Yukarıda tanımlanan f = f +αf 2 1 den α f βαf Eşitliğin her iki tarafını β ile çarparsak f 1 - f 1+ f 1+ β α f ekleyip çıkarırsak δ f 1 1 1 =f- f =β f - β f 1 =β f - β f = β f + f 1- β f 2 ve sol tarafa 2 2 g1 δ f 1 = β f + g 1 elde edilir. Eğer δ ≠ 0 ise o zaman (1) da yazılan son iki dönüşüm değiştirilebilir. ϕ k −1 = (g 1 ,g 2 ) = (g 1 ,f 2 ) → (g 1 ,f ) → (f 1 , f ) = 0 l ( g 1 ) + l ( g 2 ) 〈 l (ϕk ) olduğundan (g 1 ,f ) basit otomorfizmdir. l ( g1) + l ( f ) 〈 l ( f 1 ) + l ( f 2 ) = l (ϕk ) olduğundan ϕ basittir. Eğer δ = 0 ise o zaman f = α g 1 dir. f = g 1 ve g 1 = f 1 - β f α 2 den f = f 1- β f α 2 f + β g2 = f α 1 27 (f 2 = g 2 ) olur. 4. İKİ ÜRETEÇLİ SERBEST LEİBNİZ CEBİRLERİN OTOMORFİZMLERİ f 1= 1 f + β g2 α Aslıhan KARAÇİÇEK elde edilir. ( g , g 2 ) bir basit otomorfizm olduğundan ( α g , g 2 ) = ( f , g 2 ) de basit otomorfizmdir. (g 2 , f ) de basittir. Önerme 4.1.5 : ( f1 , f 2 ) , l ( f 1 ) + l( f 2 ) 〉 2 olan A nın taşınabilir otomorfizmi olsun. O zaman i= 1,2 için 〈 { f j : j ≠ i } 〉 nin f i = g olacak şekildeki bir g elemanı vardır. İspat : 4.1.4 deki teoremden iki üreteçli serbest Leibniz cebirlerinin taşınabilir otomorfizmleri basittir. Dolayısıyla ( f1 , f 2 ) otomorfizmi basittir. Varsayalım ki f 1 indirgenebilir olsun . O zaman g ∈ 〈 f 2 〉 için (f dönüşümü vardır.f 1 1 - g , f 2 ) → ( f1 , f 2 ) indirgenebilir olduğundan l ( f1 - g ) 〈 l ( f1 ) şeklindedir. Bunun sağlanması için f 1 in en uzun elemanını g nin yok etmesi gerekir. O zaman f i = g olmalıdır. f 2 indirgenebilir olduğunda da aynı durum geçerlidir. Teorem 4.1.6 : (Mikhalev ve ark.(2001)) Eğer K cismi constractive cisim ise o zaman A nın otomorfizmlerinin taşınabilir (tame) ve taşınamaz (wild) olduğunu söyleyen algoritmalar vardır. İspat : Önerme 4.2 ‘ den 4.1.5 algoritmik olarak yazılabilir. Önerme 4.1.5 bize bir A cebirinin bir taşınamaz ( wild) otomomorfizminin serisinin yapısını verir. Aşağıdaki teoremde bir taşınamaz ( wild ) otomorfizminin örneği verilmiştir. Teorem 4.1.7 : A nın ( x 1 +[[ x 2 , x 2 ], x 1 ] , x 2 ) otomorfizmi taşınamaz (wild) dır. İspat : f1 = x 1 +[[ x 2 , x 2 ], x 1 ] , f 2 = x 2 alalım. 28 4. İKİ ÜRETEÇLİ SERBEST LEİBNİZ CEBİRLERİN OTOMORFİZMLERİ Aslıhan KARAÇİÇEK f1 - f 1 ∈ AnnA olduğundan otomorfizmdir. (Önerme 4.1 den) [[ x 2 , x 2 ],x 1 ] = g ve g ∈ 〈 f 2 〉 olsun istiyoruz ancak [[ f 2 , f 2 ] , f1 - f1 ] ve f1 - f1 ∉ 〈 f 2 〉 olduğundan böyle bir g yoktur. Böyle bir g yoksa bu otomorfizm taşınamaz ( wild ) dır. 29 5. SERBEST SOL NİLPOTENT LEİBNİZ CEBİRLERİN OTOMORFİZMLERİ Aslıhan KARAÇİÇEK 5. SERBEST SOL NİLPOTENT LEİBNİZ CEBİRLERİN OTOMORFİZMLERİ L m , {x 1 ,x 2 ,…..,x m } tarafından üretilen serbest Leibniz cebiri olsun. N ile [x,[y,z]] = 0 özdeşliği ile sol nilpotent Leibniz cebirini gösterelim. Lm N serbest sol nilpotent Leibniz cebiri olsun. Kısaca L m (N) = Lm N alalım. Leibniz özdeşliğinden her komütatörü sol normlu komütatörlerin bir lineer kombinasyonuna indirgeyebiliriz. Aşağıdaki notasyonu kullanalım: [ x 1 ,……..x n −1 ,x n ] = [[x 1 ,……..x n −1 ], x n ] Bir L Leibniz cebiri için L 1 =[ L,L ] dir. Önerme 5.1: X= { x 1 ,……x m } olmak üzere L m (N) serbest sol nilpotent Leibniz cebiri bir { x i , [ x i1 ,x i2 ,…..x ik ] : x i1 ,x i2 ,…..x ik ∈ X , x i2 ≤ ….. ≤ x ik , k= 2,3,……} bazına sahiptir. 5.1 Otomorfizmler : L N ( x 2 ,x 3 ,….x m ) ile { x 2 ,x 3 ,….x m } tarafından üretilen L m (N) nin alt Leibniz cebirini gösterelim. L m (N) nin bir Γl endomorfizmini her l ∈ L N ( x 2 ,x 3 ,….x m ) için Γl (x 1 ) = x 1 + l , Γl (x i ) = x i i = 2,3,….,m şeklinde tanımlayalım. 30 5. SERBEST SOL NİLPOTENT LEİBNİZ CEBİRLERİN OTOMORFİZMLERİ Aslıhan KARAÇİÇEK Γl bir taşınabilir ( tame ) otomorfizmdir. j pozitif sayı olmak üzere L N ( x 2 ,x 3 ,….x m ) ( j ) , toplam derecesi j olan x 2 ,x 3 ,….x m in tüm Leibniz monomialleri tarafından gerilen alt uzay olsun. f= f 1 + f 2 + …….+ f n , Γ f1 f j ∈ L N ( x 2 ,x 3 ,….x m ) ( j ) , j= 1,…..,n olsun. ∈ GL(m,k) ve Γ f = Γ f1 o………o Γ f n Böylece T, f en az iki uzunluklu homojen eleman olmak üzere Γ f ile birlikte GL(m,k) tarafından üretilir. Her g ∈ GL(m,k) için g o Γ f = ( g o Γ f o g −1 ) o g olduğundan T = 〈 g o Γ f o g −1 : g ∈ GL(m,k) , f ∈ U L N ( x 2 ,x 3 ,….x m ) ( k ) 〉 . GL(m,k) k ≥2 şeklinde alt grupların bir çarpımı olarak yazılabilir. L m (U) , m ≥ 2 olmak üzere {x 1 x 2 ,x 3 ,….x m } tarafından üretilen serbest cebir olsun. L m (U) nun herhangi bir dönüşümü L m (U) nun bir cebir endomorfizmine dönüşebilir. Her g = (g ij ) ∈ GL(m,k) için K üzerindeki genel lineer grup m g: x j → ∑ g ij xi , j=1,…….,m i =1 dönüşümü ile L m (U) nun bir cebir otomorfizmine dönüşebilir. Böylece GL(m,k), Aut(L m (U) ) otomorfizm grubunun bir alt grubu olarak görülebilir. 31 5. SERBEST SOL NİLPOTENT LEİBNİZ CEBİRLERİN OTOMORFİZMLERİ Aslıhan KARAÇİÇEK m x 1 → ∑ g i1 xi = g 11 x 1 + g 21 x 2 +……..+g m1 x m i =1 m g: x 2 → ∑ g i 2 xi = g12 x1 + g 22 x2 +……….+ g m 2 xm i =1 M m x m → ∑ g im xi = g1m x1 + g 2 m x2 +………..+ g mm xm i =1 x1 g11 L g m1 x1 M M . M g= M → M x g m 1m L g mm xm Her u ∈ L m (U) için ( u , sadece x 2 ,x 3 ,….x m ye bağlı ) L m (U) nun endomorfizmi Γu ( x1 ) = x 1 +u Γu ( x j ) = x j , j= 2,…..,m Γu ∈ Aut(L m (U)) ve ( Γu ) −1 = Γ − u ( Γu ) −1 (x 1 ) = x 1 -u x j →x j Aut(L m (U)) nun T alt grubu, GL(m,k) tarafından üretilir ve yukarıdaki formda tanımlanan L m (U) nun otomorfizmine taşınabilir ( tame ) otomorfizm denir. φ ∈ Aut(L m (U)) otomorfizmi T ye ait değilse taşınamaz ( wild ) otomorfizmdir. Tanım 5.1.1: L bir Leibniz cebiri olsun. 1. DerL , L nin türevlerinin bir kümesi olsun. 32 5. SERBEST SOL NİLPOTENT LEİBNİZ CEBİRLERİN OTOMORFİZMLERİ Aslıhan KARAÇİÇEK 2. L′ bir başka Leibniz cebiri ve h: L′ → DerL bir Leibniz cebiri homomorfizmi ise o zaman L1 = L ⊕ L′ dir ve ∀x ∈ L, ∀x′ ∈ L′ için [ x′, x ] = h( x′ ).x dir. 3. Eğer L , V üzerinde serbest ise her V → L dönüşümü L nin bir türevine tek bir şekilde genişler. O zaman L1 , Leibniz cebirine L ve L′ nin yarıdirek çarpımı denir ve ∝ ile gösterilir. IA(L m (U)) ile L m (U) nun IA otomorfizmlerini gösterelim. (L m (U) nun Lm (U ) Lm (U ) ' nun bölüm cebirinde modülo L m (U) komütatör idealinde birim dönüşüm belirleyen otomorfizmdir.) . O zaman Aut(L m (U)) ≅ IA(L m (U)) ∝ GL(m,k) şeklindedir. 33 KAYNAKLAR BAHTURİN , Yu. A. , (1987) , “Identical Relation in Lie Algebras” BAHTURİN , Yu. A. , MIKHALEV, A.A. , PETROGRADSKY,V.M. ,ZAICEV, M.V. , (1992) “ Infinite Dimensional Lie Subalgebras” Walter de Gruyder Berlin–New York, BOKUT , L.A. , KUKIN , G.P. , (1994) “ Algorithmic and Combinatorial Algebra “ Kluwer Academic Publishers , Dordrecht , CUVIER , Par C. , “Algebres de Leibnitz: Definitions Proprietes,Ann. Scient.Ec. Norm. Sup. ; 4 serie , T.27 , 1994 , p 1-45 DRENSKY , V. , PAPISTAS , A.I. ; (2005) “Automorphizms of Free Left Nilpotent Leibniz Algebras” Communications in Algebra , 33: 2957-2975, FOX , R.H. , (1953) “ Free differantial Calculus I. Derivations in Free Group Rings” Ann.of.Math.57,No.2,547-560 LODAY , J.L , PIRASHVILI , T. , (1993) “ Universal Enveloping Algebras of Leibniz Algebra and (co)homology “ Math.Ann.296 , 139-158 MIKHALEV, A.A. , SHPILRAIN , V.E. , ZOLOTYKH , A.A. ; (1996) “Subalgebras of Free Algebras “ 124-7 MIKHALEV, A.A. , UMIRBAEV, U.U. , ABDYKHOLYKOV , A.T. (2001);“Automorphizm of Communications in Algebra”, two generated free Leibniz Algebras, 29(7) , 2953-2960 MIKHALEV, A.A. , UMIRBAEV, U.U. ; (1998) “Subalgebras of free Leibniz Algebras”, Communications in Algebra , 26(2) , 435-446 MIKHALEV, A.A. , ZOLOTYKH , A.A. , (1995) “Combinatorial Aspect of Lie Superalgebras” , CRC Press , Boca Raton / New York , REUTENAUER , C. (1993); “Free Lie Algebras “, Oxford Universty Pres , New York 34 ÖZGEÇMİŞ 1969 yılında Adana’ da doğdu. Öğrenimini sırasıyla Dumlupınar İlkokulu, 23 Nisan Ortaokulu ve Baraj Lisesinde tamamladı. 1985 yılında Çukurova Üniversitesi Fen- Edebiyat Fakültesi Matematik Bölümü’ne girdi. 1989 yılında mezun olarak 1990 yılında yüksek lisans eğitimine aynı üniversitede başladı. Aynı zamanda sırasıyla Karataş Lisesi , Özel Tarsus Amerikan Lisesi , Final Dergisi Dersaneleri , Dadaloğlu Lisesi’nde matematik öğretmenliği ve Özel Tarsus Amerikan Lisesinde idarecilik görevleri yaptı. Hala görevde olduğu Karşıyaka Anadolu Meslek ,End. Mes ve Teknik Lisesinde , Matematik öğretmenliği yapmaktadır. 35