18.01.2015 Views

PDF Dosyası - Ankara Üniversitesi Kitaplar Veritabanı

PDF Dosyası - Ankara Üniversitesi Kitaplar Veritabanı

PDF Dosyası - Ankara Üniversitesi Kitaplar Veritabanı

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

A.Ü. FEN FAKÜLTESI DÖNER SERMAYE I ŞLETMESI YAYINLARI NO: 54<br />

GRUP GÖSTERİMLERİ I<br />

Sait HALICIOĞLU<br />

A.Ü. Fen Fakültesi<br />

Matematik Bölümü<br />

<strong>Ankara</strong> - 1999


GRUP GÖSTER İMLER İ I<br />

Sait Hal ıc ıoğlu<br />

<strong>Ankara</strong> <strong>Üniversitesi</strong><br />

Fen Fakültesi<br />

Matematik Bölümü<br />

ANKARA ÜN İVERSİTES İ<br />

FEN FAKÜLTESI BASIMEVI


C)1999 Bütün hakları saklıd ır. Yazar ın yaz ılı izni olmaks ız ın bu kitab ın bir<br />

k ısm ı veya tamam ı çoğaltılamaz ve kullan ılamaz.


Içindekiler<br />

1 Gruplar ve Homomorfizmalar 1<br />

1.1 Gruplar 1<br />

1.2 Altgruplar 3<br />

1.3 Direkt Çarp ımlar 5<br />

1.4 Homomorfizmalar 5<br />

1.5 Kosetler 7<br />

1.6 Normal Altgruplar 7<br />

1.7 Çekirdek ve Görüntü 8<br />

1.8 Alışt ırmalar 10<br />

2 Vektör Uzaylar ı ve Lineer Dönü şümler 13<br />

2.1 Vektör Uzaylar ı 13<br />

2.2 Vektör Uzaylar ın ın Bazlar ı 14<br />

2.3 Altuzaylar 15<br />

2.4 Altuzaylar ın Direkt Toplamlar ı 16<br />

2.5 Lineer Dönü şümler 18<br />

2.6 Çekirdek ve Görüntü 19<br />

2.7 Tersinir Lineer Dönü şümler 20<br />

2.8 Endomorfizmalar 20<br />

2.9 Matrisler 21<br />

2.10 Tersinir Matrisler 24<br />

2.11 Ozde ğerler 25<br />

2.12 Projeksiyonlar 26<br />

2.13 Alışt ırmalar 30<br />

3 Grup Gösterimleri 33<br />

3.1 Gösterimler 33<br />

3.2 Denk Gösterimler 35


ii<br />

Içindekiler<br />

3.3<br />

3.4<br />

Gösterimlerin Çekirde ği 37<br />

Alışt ırmalar 38<br />

4 FG-Modüller 41<br />

4.1 FG-Modüller 41<br />

4.2 Permütasyon Modülleri 47<br />

4.3 FG-Modüller ve Denk Gösterimler 48<br />

4.4 Alışt ırmalar 51<br />

5 FG-Altmodüller ve İndirgenebilirlik 53<br />

5.1 FG-Alt ınodüller 53<br />

5.2 İndirgenmez FG-modüller 54<br />

5.3 Alıştırmalar 56<br />

6 Grup Cebirleri 57<br />

6.1 Bir G Grubunun Grup Cebiri 57<br />

6.2 Regüler FG-modül 60<br />

6.3 Bir FG-Modül Üzerinde FG nin Etkisi 61<br />

6.4 Alışt ırmalar 64<br />

7 FG-Homomorfizmalar 65<br />

7.1 FG-Homomorfizmalar 65<br />

7.2 İzomorfik FG-Modüller 67<br />

7.3 Direkt Toplamlar 70<br />

7.4 Al ışt ırmalar 73<br />

8 Maschke Teoremi 75<br />

8.1 Maschke Teoremi 75<br />

8.2 Maschke Teoreminin Sonuçlar ı 78<br />

8.3 Alıştırmalar 80<br />

9 Schur Lemmas ı 83<br />

9.1 Schur Lemmas ı 83<br />

9.2 Sonlu Deği şmeli Gruplar ın Gösterimleri 86<br />

9.3 Kö şegenle ştirme 88<br />

9.4 Schur Lemmas ının Uygulamalar ı 88<br />

9.5 Alıştırmalar 92


Içindekiler<br />

üi<br />

10 İndirgenmez Modüller ve Grup Cebirleri 95<br />

10.1 CG nin Indirgenmez Altmodülleri 95<br />

10.2 Alıştırmalar 100<br />

11 Izomorfizmalar ve Grup Cebirleri 101<br />

11.1 CG-Homomorfizmalar ın Uzay ı 101<br />

11.2 Alışt ırmalar 109<br />

12 Eşlenik S ın ıflar ı 111<br />

12.1 E şlenik S ınıflar ı 111<br />

12.2 E şlenik S ın ıfları= Eleman Say ısı 113<br />

12.3 Dihedral Gruplar ın E şlenik S ın ıflar ı 114<br />

12.4 S, in E şlenik S ınıflar ı 116<br />

12.5 Ar, in Eşlenik S ın ıflar ı 119<br />

12.6 Normal Altgruplar 122<br />

12.7 Bir Grup Cebirinin Merkezi 123<br />

12.8 Alışt ırmalar 125


Önsöz<br />

Bu kitap grup gösterimleri konusunda türkçe kaynak kitap ihtiyac ın ı kar şılayabilmek<br />

amacıyla haz ırlanmışt ır. Kitab ın içeriği, A.ü.Fen Fakültesi Matematik<br />

Bölümü'nde okutmakta oldu ğumuz Grup Gösterimleri I dersine<br />

ders notu olmas ı amac ına uygun olarak düzenlenmi ştir. Bu ders notlar ı ,<br />

G.D.Jaınes ve Martin Liebeck taraf ından haz ırlanmış olan "Representations<br />

and Characters of Groups" adlı kitab ın ilk oniki bölümünün bir uyarlamas<br />

ıd ır .<br />

Gösterimler teorisi; genel bir ifadeyle, herhangi bir grubu, elemanlar ı<br />

daha somut olmas ı sebebiyle i şlemler aç ısından daha rahat hareket edebileceğimiz<br />

matrisler grubu olarak gözönüne alma imkan ı sağlar. Teori, kendi<br />

içerisinde sahip oldu ğu güzelliklerin yan ıs ıra sonlu gruplar ı daha iyi anlayabilmek<br />

ve analiz etmek için önemli anahtarlardan birisi olmu ştur. Örne ğin,<br />

herhangi bir grubu somut biçimde ifade edebilmek oldukça önemlidir. Bu<br />

problemin çözümü; verilen grubu matrislerin grubu olarak gözönüne almamızı<br />

sağlayan grubun bir gösterimini bulmakla mümkündür. Ayr ıca gösterimler<br />

teorisinde kullan ılan yöntemler yard ımıyla, gruplar teorisinde birçok<br />

probleme çözüm bulmak mümkün olmaktad ır. En basit örnek olarak "p<br />

asal olmak üzere mertebesi p 2 olan bütün gruplar de ği şmeli midir" sorusu<br />

sadece grup teorisi kullan ılarak cevaplanabildi ği gibi gösterimler teorisinin<br />

temel bilgileri kullan ılarak da cevaplanabilmektedir. Daha genel olarak "p<br />

ve q asal say ılar olmak üzere pa q b mertebeli gruplar çözülebilir midir"<br />

sorusunu gözönüne alal ım. Bu soru için Burnside taraf ından gösterimler<br />

teorisi kullan ılarak verilen ispat, herkes taraf ından kabul edilen en iyi ispatt<br />

ır. Ayr ıca, teori; soyut matematik s ınırlarını aşarak teorik fizik ve<br />

kimyada birçok çözüme imzas ını atmıştır.<br />

Daha önce belirtti ğimiz gibi bu kitap oniki bölümden olu şmaktadır. Konular,<br />

gruplar teorisi ve lineer cebir derslerini okumu ş olan lisans öğrencilerinin<br />

kolayca takip edebilece ği seviyede kaleme al ınmışt ır. Konular ın daha kolay<br />

anla şılabilmesini sağlamak amac ıyla oldukça fazla say ıda örneklere yer ve;


vi<br />

rilmi ştir. Her bölümdeki bilgiler, birkaç sat ırla özetlenmi ş ve bölüm sonlar ına •<br />

konuyla ilgili ah şt ırmalar eklenmi ştir.<br />

Son olarak bu kitab ın başlangıc ından basımı aşamas ına kadar her a şamas ında<br />

büyük emekleri olan Ar ş.Gör. Muhittin Başer ve Ar ş.Gör. Zafer Ünal'a<br />

te şekkür etmek istiyorum. Ayr ıca, UTEX kullan ımında kar şılaşt ığımız güçlükleri<br />

aşmarnızı sağlayan Yrd.Doç.Dr.Andreas Tiefenbach'ada şükranlar ımı sunuyorum.<br />

Oldukça titiz davranmam ıza rağmen, sonradan ortaya ç ıkacak yaz ım<br />

hatalar ı için okuyucunun ho şgöriisüne sığınıyorum.<br />

Sait Halıcıoğlu,<br />

Aralık 1998, <strong>Ankara</strong>.


Bölüm 1<br />

Gruplar ve<br />

Homomorfizmalar<br />

Bu bölümde gruplar ve homomorfizmalar ile ilgili bilinen bilgiler özetlenecektir.<br />

Ayr ıca dihedral ve simetrik gruplarla ilgili örnekler incelenecektir. Bu bölümde<br />

ilgili ayr ınt ılı bilgiler lisans seviyesinde cebir veya grup teorisi kitaplar ında<br />

bulunabilir.<br />

1.1 Gruplar<br />

Bir grup, bostan farkl ı bir G kümesi ile a şağıdaki şartlar ı sağlayan ikili<br />

i şlemden olu şmaktad ır.<br />

(i) Her g,h,k E G için (gh)k = g(hk),<br />

(ii) Her g E G için G nin bir e eleman ı vardır öyleki eg = ge = g,<br />

(iii) Her g E G için G nin bir g -1 eleman ı vard ır öyleki gg-1 = e.<br />

Genellikle G deki i şlemi çarpma olarak alaca ğız. (i) aksiyomu; birle şme<br />

özelliğini, (ii) aksiyomu; birim eleman ın varlığın ı, (iii) aksiyomu; her elemanın<br />

tersinin varl ığını göstermektedir.<br />

Birim eleman ın ve her eleman ın tersinin tek oldu ğu kolayca gösterilebilir.<br />

Genellikle G nin birim eleman ını 1 ile gösterece ğiz.<br />

Bir g eleman ının kendisiyle çarp ımı , gg, g 2 şeklinde yaz ılır. Benzer<br />

biçimde g3 = g2g, g-2<br />

(9 -1)2 ve go 1 dir.<br />

G nin eleman say ı s ı sonlu ise G ye sonlu grup, G nin eleman say ısına G<br />

nin mertebesi denir ve 1 G şeklinde gösterilir.<br />

1


2 Bölüm 1. Gruplar ve Homomorfizmalar<br />

Örnek 1.1.1 n pozitif bir tamsay ı ve C kompleks say ılar cümlesi olsun. C<br />

de birimin n. köklerinin kümesi, kompleks say ılardaki çarpma i şlemine göre<br />

n. mertebeden bir gruptur. Bu gruba Tl- mertebeden devirli grup denir ve<br />

C, şeklinde gösterilir.<br />

Eğer a = e 27riin (1 < < n) ise, an = 1 ve<br />

şeklindedir.<br />

C, = {1,a,a2 ,...,an-1 }<br />

Ornek 1.1.2 Z tamsay ılar cümlesi toplama i şlemine göre bir gruptur.<br />

Ornek 1.1.3 n pozitif bir tamsay ı ve n > 3 olsun. n kenarl ı bir düzgün<br />

poligonun tüm dönme ve yans ımalar ın ı göz önüne alal ım Bu durumda<br />

bütün dönmeler, pk; 0 merkezi etrafında saat yönünde 2 ırk/n kadar dönmeyi<br />

göstermek üzere Po,Pı , • • • , Pn-1 şeklinde olacakt ır. Ayr ıca 0 merkezi ve<br />

poligonun bir köşesinden geçen doğrulara veya O merkezi ve poligonun kenarlarm<br />

ın orta noktas ından geçen do ğrulara göre yans ımalar ın sayısı n dir.<br />

Elde edilen dönme ve yans ımalar, fonksiyonlarm bile şke i şlemine göre bir<br />

grup olu ştururlar. Bu gruba 2n. mertebeden ditı clral grup denir ve D, ile<br />

gösterilir.<br />

Poligonun bir kö şesi A olmak üzere, O ve A dan geçen do ğruya göre<br />

yans ımay ı b, p ı dönmesini a ile gösterecek olursak; n tane dönmeyi,<br />

ve n tane yans ımayı ,<br />

1, a,..., an -1<br />

b, ab, . . . , an-1 b<br />

şeklinde ifade edebiliriz. Böylece /3„ in bütün elemanlar ı a ve b nin kuvvetlerinin<br />

çarp ımı olarak elde edilmi ş olur.<br />

Kolayca an = 1, b 2 = 1 ve b-lab = olduğu gösterilebilir. Bu<br />

bağınt ılar, grubun herhangi iki eleman ının çarp ımın ın kuralın' belirler. Gerçekten;<br />

bay = cı-3 b (ba = a- lb bağınt ısı yardım ıyla) ve<br />

olur. Sonuç olarak<br />

(aib)(ajb) = aibajb = ata-j bb = at-i<br />

elde edilir.<br />

D, =G a, b : an = b2 = 1,1)-1 ab >


1.2. , Altgruplar 3<br />

Örnek 1.1.4 Bir n pozitif tamsay ıs ı için {1,2, ... , n} cümlesinin bütün<br />

permütasyonlar ı, fonksiyonlardaki bile şke i şlemine göre bir gruptur. Bu<br />

gruba simetrik grup denir ve S,„, ile gösterilir. 5„ simetrik grubunun eleman<br />

say ıs ı n! dir.<br />

Örnek 1.1.5 F cismi, R veya C olmak üzere, bile şenleri F den al ınan n x n<br />

tipindeki tersinir matrislerin cümlesi, matris çarp ımına göre bir gruptur. Bu<br />

gruba F üzerinde genel lineer grup denir ve GL(n, F) ile gösterilir. GL(n, F)<br />

sonsuz elemanl ı bir gruptur. Bu grubun birim eleman ı birim matristir ve /-„,<br />

veya / ile gösterilir.<br />

Eğer her g, h E G için gh = hg ise, G ye değişmeli grup denir. Yukar ıdaki<br />

örneklerde C, ve Z deği şmeli iken diğer örneklerdeki gruplar de ğişmeli değildir.<br />

1.2 Altgruplar<br />

Tan ım 1.2.1 G bir grup olsun. OHCG için H; G deki işleme göre bir<br />

grup ise, H ya G nin altgrubu denir ve H < G şeklinde gösterilir.<br />

H C G için kolayca gösterilebilir ki,<br />

H < G< > V h, k E H için hk-1 e H ise.<br />

Örnek 1.2.2 Her G grubu için {1} ve G; G nin altgruplar ıd ır.<br />

Örnek 1.2.3 G bir grup ve g E G olsun.<br />

< g >-= {gn : n E Z}<br />

altcümlesi G nin altgrubudur. Bu altgruba g tarafından üretilen devirli<br />

altgrup ad ı verilir.<br />

Eğer bir n > 1 tamsay ıs ı için gn = 1 ise, < g > sonludur. Bu durumda<br />

= 1 olacak şekilde bir en küçük pozitif r tamsay ısı vard ır. Bu r say ıs ı<br />

< g > nin eleman say ısına eşittir. Bu durumda,<br />

< g {1 , "2 gr .- 1}<br />

şeklindedir.<br />

Eğer bir g E G için G =< g > ise G ye devirli grup denir. Örne ğin Cn<br />

ve 71 devirlidir.


4 Bölüm 1. Gruplar ve Homornorfizmalar<br />

Örnek 1.2.4 G bir grup ve a, b E G olsun.<br />

H := {ail bil . . . ain bin : n E N şi k,ik E Z, (1 < k < n)}<br />

şeklinde tan ımlanan H, G nin bir altgrubudur. H ya a ve b tarafından<br />

üretilen altgrup denir ve H =< a, b > şeklinde gösterilir.<br />

Benzer biçimde G nin sonlu bir S altcümlesi için < S >; G nin S<br />

tarafından üretilen altgrubudur.<br />

Ornek 1.2.5 G = G L(2, (C), bile şenleri C den al ınan 2 x 2 tipindeki tersinir<br />

matrislerin grubu ve<br />

A =<br />

olsun. H =< A, B >, G nin altgrubudur.<br />

A4 /, A2<br />

i<br />

O<br />

O 1 )<br />

B = (<br />

-1<br />

) -<br />

.16 ve B -1 AB = A -1<br />

olduğu kolayca gösterilebilir.<br />

B - 1 AB = A -1 yard ımıyla, H n ın her eleman ının formunda ve ilk<br />

iki bağınt ıdan 0 < i < 3, 0 < j < 1 olduğu gösterilebilir. Böylece H nın<br />

elemanlar ı<br />

A i Bi (O < < 3, O < j < 1)<br />

olduğundan H I= 8 dir.<br />

H grubuna 8. mertebeden quaternion grubu denir ve Q 8 ile gösterilir. Q s<br />

deki herhangi iki eleman ın çarp ımı yukarıdaki üç bağınt ıdan belirlenebilir.<br />

Bundan dolay ı<br />

şeklindedir.<br />

Q8 =< A, B : A 4 = I, A 2 = B2 , 13 -1 AB = 24 -1 ><br />

Ornek 1.2.6 Sn simetrik grubundaki bir transpozisyon, 1, ...,n say ılar ından<br />

herhangi ikisinin yer de ğiştirdiği ve diğerlerinin sabit kald ığı bir permütasyondur.<br />

Her o- E Sn permütasyonu, transpozisyonlar ın çarp ımı şeklinde<br />

yaz ılabilir.<br />

Bir o- permütasyonu, transpozisyonlarm ın sayısının tek veya çift olmas ına<br />

göre tek veya çift permütasyon ad ını alır.<br />

A n = { ı:7 E Sn : o' çift permütasyon}<br />

altcümlesi Sn in bir altgrubudur. Bu altgruba alterne grup ad ım veriyoruz.


1.3., Direkt Çarpımlar 5<br />

1.3 Direkt Çarp ımlar<br />

Bu kısımda verilen gruplardan yeni bir grup in şa etme yöntemi verece ğiz.<br />

G ve H iki grup olsun.<br />

GxH= {(g,h):gEGvehEH)<br />

cümlesini gözönüne alalım. g,g' E G ve h,h' E H için, G x H cümlesi<br />

üzerinde<br />

(gg', hh')<br />

şeklinde tan ımlanan çarpma i şlemi ile G x H bir grup olur. Bu gruba G ile<br />

H nın direkt çarpım grubu ad ını veriyoruz.<br />

Genel olarak; G İ , , G, gruplar ı için G İ x x G, direkt çarp ımı<br />

Gi X . X Gr {(gl > • • • gr) gi E Gi, 1 < i < r}<br />

şeklindedir. Eğer bütün Gi gruplar ı sonlu ise G İ x ...x G, sonlu ve mertebesi<br />

I G İ I ... I G„ l dir.<br />

Örnek 1.3.1 C2 = {±1} olmak üzere C2 x ... x C2 (r-tane) grubunun<br />

mertebesi 2' ve birim eleman d ışındaki elemanların mertebesi ise 2 dir.<br />

1.4 Homomorfizmalar<br />

Tan ım 1.4.1 G ve H iki grup olsun. E ğer G den H ya tan ımlanan bir O<br />

fonksiyonu; her gi ,g2 E G için<br />

0(gi g 2 ) = 0(gi )0(g2 )<br />

ko şulunu sağlıyorsa O ya homomorfizma ad ı verilir.<br />

Tersinir bir homomorfizmaya izomorfizma denir. G den H ya bir<br />

izomorfizmas ı varsa G ve H ya izomorfiktirler denir ve G H şeklinde<br />

gösterilir. G den H ya tan ımlanan bir O izomorfizmas ının tersi de bir izomorfizmad<br />

ır.<br />

Örnek 1.4.2 G = Dr, =< a,,b : an = b2 = 1,b- ıab = cı-1 > dihedral<br />

grubunu gözönüne alal ım. H herhangi bir grup ve x, y E H için<br />

n 2 -1 -1<br />

X = y = , y xy = x


6 Bölüm 1. Gruplar ve Homomorfizmalar<br />

olsun.<br />

: H<br />

a'b 7 --> 0(a1 b3 ) = xiy , (O < i < n - 1, O < j < 1)<br />

fonksiyonunun bir homomorfizma oldu ğunu gösterelim. Kabul edelim ki,<br />

O < r < n - 1, O < s < 1, O < t < n - 1, O < u < 1 olsun. Bu durumda<br />

0 < i < n - 1, O < j < 1 için<br />

ar b s at bu<br />

ai bi<br />

dir. Ayr ıca xn = y2 = 1, y-lxy = x -1 olduğundan<br />

x r ys x tyu<br />

x i yj<br />

ve<br />

0(arbsat bu) = 0(aibi) = x'y = xrysityu = O( rbs)0(cıt bu)<br />

olur. Yani O bir homomorfizmad ır.<br />

Örnek 1.4.3 G = S5 permütasyon grubu ve<br />

olsun.<br />

x = (12345), y = (25)(34)<br />

X 5 = y2 = I, y-l xy = x -1<br />

olduğu kolayca gösterilebilir. G nin x ve y tarafından üretilen bir altgrubu<br />

H olsun. Yukar ıdaki bağınt ılardan<br />

H={xy 1<br />

:0=-=.. .' D5 olur.


1.5. Kosetler 7<br />

1.5 Kosetler<br />

Tan ım 1.5.1 G bir grup ve H, G nin bir altgrubu olsun. x E G için<br />

H x = {hx : h E H}<br />

altcümlesine H n ın G deki sağ koseti denir.<br />

H nın G deki sağ kosetlerinin cümlesi G nin bir parçalanmas ıdır. Kabul<br />

edelim ki G sonlu bir grup ve H nın G deki farkl ı sağ kosetleri Hx1,...,Hx,<br />

olsun. Her 1 < i < r için kolayca gösterilebilir ki,<br />

H -- H xi<br />

h --> hxi<br />

fonksiyonu birebir ve örtendir. Böylece I H 1=1 Hxi I dir.<br />

G = _19- xi U ... U Hx, ve i j için Hxi n Hxj olduğundan<br />

1G 1=1 Hxi 1 -F<br />

11x, 1= r 1 H I<br />

olur.<br />

Teorem 1.5.2 (Lagrange Teoremi) G sonlu bir grup ve H < G ise, H<br />

n ın mertebesi G nin mertebesini böler.<br />

Tan ım 1.5.3 H nın G deki farkli sağ kosetlerinin say ısı olan r ye H nın G<br />

içindeki indeksi denir ve [G : H] şeklinde gösterilir.<br />

dir.<br />

Böylece G sonlu ise,<br />

[G:H]=1G1I1H1<br />

1.6 Normal Altgruplar<br />

Tanım 1.6.1 G bir grup ve N, G nin bir altgrubu olsun. E ğer her g E G<br />

için g-1 N g = N ise N ye G nin normal altgrubu denir ve N


8 Bölüm 1. Gruplar ve Homomorfizmalar<br />

N 4G ve G/N; N nin G deki sağ kosetlerinin cümlesi olsun. Her g E G<br />

için g — iNg = N olduğundan; g, h E G için<br />

şeklindedir. Böylece -her g,h E G için<br />

Ngh = {xy :x E Ng ve y E Nh}<br />

(Ng)(Nh) = Ngh<br />

i şlemiyle G/N bir grupt ıır. Bu gruba G nin N ye göre bölüm grubu adı<br />

verilir.<br />

Örnek 1.6.3 A n d S„ dir. Gerçekten n > 2 ise, A, in S, deki sağ kosetleri:<br />

Ay, .= {o- E .5'7, : a çift permütasyon}<br />

4n (12) = {er E S, : o- tek permütasyon}<br />

şeklindedir. Bu durumda [Sn : A n ]<br />

, 2 ve böylece Sn /A n C2 dir.<br />

Örnek 1.6.4 G = D4 = a, b : a4 = b 2 ----- 1, b—l ab = a-1 > ve N=< a 2 ><br />

olsun. Bu durumda N .1 G ve<br />

G/N = {N,Na,Nb,Nab}<br />

olur. (Na) 2 = (Nb) 2 = (N ab) 2 = N olduğundan,<br />

G/N<br />

C2 X C2<br />

dir. < a >; G nin normal altgrubu olmas ına rağmen, H =< b >; G nin<br />

normal altgrubu de ğildir. Gerçekten b E H için, a— lba = a 2 b ve a 2 b H<br />

dir.<br />

1.7 Çekirdek ve Görüntü<br />

Tan ım 1.7.1 O : G --> H bir homomorfizma olsun.<br />

Ker0 = {g E G : 0(g) = 1H}<br />

cümlesine B n ın çekirde ği denir. Kolayca gösterilebilir ki Kere; G nin bir<br />

normal altgrubudur. Ayr ıca<br />

IntO {O(g) = : g E G}<br />

cümlesine de O n ın görüntüsü denir. Im0; H nın bir altgrubudur.


1.7. Çekirdek ve Görüntü 9<br />

Şimdi bir grup homomorfizmas ın ın çekirdeği ile görüntüsü aras ındaki<br />

ili şkiyi verelim.<br />

Teorem 1.7.2 (Birinci İzomorfizma Teoremi) B : G<br />

homomorfizmas ı olsun. Bu durumda<br />

II bir grup<br />

G/Ker0 = Ime<br />

d ır.<br />

Örnek 1.7.3<br />

O Sn —> C2<br />

1, g çift permütasyon ise<br />

-<br />

g °(g) = -1, g tek permütasyon ise<br />

fonksiyonu bir grup homomorfizmas ıd ır. Ayr ıca Kere = A., ve<br />

dir. Birinci Izomorfizma Teoreminden Sn/A, C2 dir.<br />

= C2<br />

1. Bölümün Özeti<br />

(i) Bu bölümde verilen grup örnekleri:<br />

C, .< a : an = 1 >,<br />

D, =< a,b: an = b2 =1,b-l ab = >,<br />

Q 8 =< a,b : a4 = 1, a 2 = b2 ,b-lab a-1 >,<br />

Sn ; simetrik grubu,<br />

An ; alterne grubu,<br />

GL(n,(C); bile şenleri C den alman n x n tipindeki tersinir matrislerin<br />

grubu,<br />

Gl x x GT.; G ı , , G, gruplar ın ın direkt çarp ımı<br />

(ii) N < G ve her g E G için g-i Ng = N ise N; G nin normal altgrubudur.<br />

G/N bölüm grubu; Ng şeklindeki sağ kosetler ve<br />

ikili işleminden olu şur.<br />

(Ng)(Nh) = Ngh


10 Bölüm 1. Gruplar ve Homomorfizmalar<br />

(iii) Bir O grup homomorfizmas ı; her y ı , g2 E G için<br />

0(9192) = 0(91)0(92)<br />

şart ın ı sağlayan O : G ----> H fonksiyonudur. Ker0; G nin normal<br />

altgrubudur ve G/Ker0 bölüm grubu /mO ya izomorftur.<br />

1.8 Al ışt ırmalar<br />

(1) G basit olmayan de ğişmeli bir grup ise, bu durumda G nin asal mertebeden<br />

bir devirli grup oldu ğunu gösteriniz.<br />

(2) G ve H iki grup, G basit grup ve B : G —> H örten bir homomorfizma<br />

olsun. Bu durumda O n ın bir izomorfizma veya s ıfır homomorfizmas ı<br />

olduğunu gösteriniz.<br />

(3) G; S„ simetrik grubunun A, taraf ından kapsanmayan bir altgrubu<br />

olsun. Bu durumda G fl A n in G nin normal altgrubu ve<br />

G /(G fl An ) = C2 olduğunu gösteriniz.<br />

(4) G =- D4 =< a,b : a4 = b 2 = 1, b- lab = (2-1 > ve<br />

H = Q 8 c, d e 4 e2 = d2,d- ı ed = c-1 > olsun.<br />

(a) x = (12), y = (34), S4 ün iki permütasyonu ve K =< x, y >;<br />

S4 ün bir altgrubu olsun. 0 < r < 3 ve 0 < s < 1 olmak üzere,<br />

(b)<br />

çb : G ---> K ve ı : H K<br />

arbs --> xrys er ds --> xrys<br />

şeklinde tan ımlanan iki fonksiyonun homomorfizma oldu ğunu gösteriniz<br />

ve K er0 ile Kerli) yi belirleyiniz.<br />

X =<br />

y O<br />

1 O<br />

L =< X,Y >; GL(2, (C) nin altgrubu olsun. O < r < 3, O < s < 1<br />

olmak üzere<br />

A : G --> K ve p : H ---> K<br />

arbs --> XrYs er xrys<br />

şeklinde tan ımlanan fonksiyonlar ın izomorfizma olduklar ını gösteriniz.


1.8. Al ışt ırmalar 11<br />

(5) rn tek tamsay ı olmak üzere Dem = 13,, x C2 olduğunu gösteriniz.<br />

(6) (a) Devirli bir grubun her altgrubunun devirli oldu ğunu gösteriniz.<br />

(b) G sonlu devirli bir grup ve n, I G I yi bölen bir tamsay ı olsun.<br />

{9 e G : gn = 1}<br />

cümlesinin G nin n. mertebeden devirli bir altgrubu oldu ğunu<br />

gösteriniz.<br />

(c) G sonlu bir devirli grup, x ve y; G nin ayn ı mertebeden elemanlar ı<br />

olsun. x in y nin bir kuvveti olduğunu gösteriniz.<br />

S ıfırdan farkh kompleks say ılar ın cümlesi, C* ın çarpma i şlemine göre<br />

bir grup oldu ğunu gösteriniz. Ayr ıca C* ın her sonlu altgrubunun<br />

devirli oldu ğunu ispatlay ınız.<br />

Mertebesi çift olan her grubun, mertebesi 2 olan bir eleman içerdi ğini<br />

gösteriniz.<br />

G L(2, C) nin B 2 = A4 , B -1 AB = A-1 bağınt ılar ını sağlayan, s ıras ıyla<br />

mertebeleri 8 ve 4 olan A ve B elemanlar ını bulunuz. < A, B ><br />

grubunun mertebesinin 16 oldu ğunu gösteriniz.<br />

(Yol Gösterme: Örnek 1.2.5 deki Q 8 den yararlan ınız.)<br />

(10) H; G nin bir altgrubu ve [G : H] = 2 ise, H 4 G olduğunu gösteriniz.


Bölüm 2<br />

Vektör Uzaylar ı ve Lineer<br />

Dönüşümler<br />

Gösterimler teorisinin özelliklerinden birisi de matemati ğin önemli dallar ı<br />

olan grup teorisi ve lineer cebiri birle ştirmesidir. ileride kullanaca ğımız bilgiler<br />

için, referans amac ıyla lineer cebirin vektör uzaylar ı , lineer dönü şümler<br />

ve matrisler konular ın ı hat ırlatmak istiyoruz. Bu konular ın lineer cebir<br />

derslerinden bilindi ği düşiinülerek, son k ısımda verece ğimiz projeksiyonlar<br />

d ışında ispatlar ın çoğu verilmeyecektir.<br />

2.1 Vektör Uzaylar ı<br />

Tan ım 2.1.1 F reel veya kompleks say ılar cismi, V boştan farklı bir cümle<br />

olsun. V üzerinde<br />

: V x V ----> V<br />

(u, v) u v<br />

i şlemleri;<br />

• :<br />

F x V ---> V<br />

(,u) ---> Au<br />

(1) V toplamaya göre de ği şmeli bir grup,<br />

(2) Her u, v E V ve her A, İL e F için,<br />

(a) A(u v) = Au -I- Av,<br />

13


14 Bölüm 2. Vektör Uzaylar ı ve Lineer Dönü ş ümler<br />

(b) (>, i.t)u = Au<br />

(c) (A>u)n, = A(Fin),<br />

(d) lv = v (1, F nin çarpmaya göre birim eleman ı )<br />

özelliklerini sa ğlıyorsa V ye F üzerinde vektör uzay ı denir. V nin toplamaya<br />

göre birim eleman ını 0 ile gösterece ğiz.<br />

Ornek 2.1.2 R. 2 = {(x, y) : x, y E R} cümlesi<br />

(x, y) 4- (x', y') = (x y y')<br />

A(x,y) = (Ax, Ay)<br />

i şlemleri ile birlikte R üzerinde bir vektör uzay ıdır.<br />

Ornek 2.1.3 Her n pozitif tamsay ısı için<br />

sat ır vektörlerinin cümlesi olsun.<br />

= {(xl, X n ) : xi E F, 1 < i < It}<br />

(x ı,...,x n )+ (Y İ , ••• , Yn) (X1 + ı • • • ı xn Yn)<br />

A(X İ , ..• Xn)<br />

i şlernleriyle Fn; F üzerinde bir vektör uzay ıdır.<br />

2.2 Vektör Uzaylar ın ın Bazlar ı<br />

(AX1, • • • , Xn)<br />

V; F üzerinde bir vektör uzay ı ve vi, . • ., un E V olsun.<br />

Al, • - , An E F olmak üzere v vektörü<br />

v =<br />

şeklinde yaz ılabiliyorsa v ye vi , , vn vektörlerinin bir lineer kombinasyonu<br />

denir.<br />

V deki her vektör v i , , vn vektörlerinin bir lineer kombinasyonu şeklinde<br />

yazılabiliyorsa vi , ..., vn vektörleri V yi geri yor denir.<br />

Al, •-• , An E F için<br />

Aivı<br />

... An yn = O<br />

olmas ı Ai katsay ılar ının tamam ın ın 0 olmas ını gerektiriyorsa {v i , , un }<br />

cümlesine F cismi üzerinde lineer bağıms ızd ır denir.


2.3. Altuzaylar 15<br />

Eğer vi , ..., vn vektörleri germe ve lineer ba ğımsızlık aksiyomlar ını sağlıyorsa<br />

{v i , vn } ciimlesine V nin bir baz ı denir.<br />

Bu kitab ın tamam ında, V; F cismi üzerinde sonlu boyutlu bir vektör<br />

uzay ı olarak gözönüne al ınacakt ır. Yani; V vektör uzay ı sonlu say ıda vektörden<br />

olu şan bir baza sahip olacakt ır. V nin herhangi iki baz ındaki vektörlerin<br />

say ısı her zaman aynıdır. V nin herhangi bir baz ındaki vektörlerin say ısına<br />

V nin boyutu denir ve dimV ile gösterilir. Ayr ıca V = {0} ise dimV = 0 dır.<br />

Eğer dimV = n ise V ye n-boyutlu vektör uzay ı ad ı verilir.<br />

Örnek 2.2.1 V = Fn olsun. Bu durumda<br />

(1,0,0,...,0),(0,1,0,...,0),...,(0,0,0,...,1)<br />

vektörleri V nin bir baz ıdır ve dimV = n dir. V nin bir diğer baz ı da;<br />

(1,0,0,...,0),(1,1,0,...,0),...,(1,1,1,..., 1)<br />

olarak alınabilir.<br />

V nin bir {vi , , vn} baz ı verildiğinde Al, ..., An E F olmak üzere<br />

V deki her v vektörünün,<br />

V =<br />

+ • • • + AnVn<br />

yaz ılışı tek türlüdür. Böylece v vektörünü A l , , >n katsay ıları belirler.<br />

Yukarıda da belirtildi ği gibi V = {0} durumu hariç V nin birçok baz ı<br />

mevcuttur. Gerçekten, a şağıdaki önerme bize lineer ba ğımsız vektörlerin<br />

nasıl bir baza tamamlanabilece ğini göstermektedir.<br />

Önerme 2.2.2 Eğer {v i ,— , vk}; V nin lineer ba ğıms ız vektörlerinin bir<br />

cilmlesi ise, bu durumda {v i , , vk, vk +i, , vn}; V nin bir baz ı olacak<br />

şekilde V de vk +i, lineer bağıms ız vektörleri bulunabilir.<br />

2.3 Altuzaylar<br />

Tanım 2.3.1 V, F üzerinde bir vektör uzay ı ve U; V nin bir altcümlesi<br />

olsun. Eğer U; V deki toplama ve skalerle çarpma i şlemlerine göre bir vektör<br />

uzay ı ise, bu durumda U ya V nin altuzay ı denir.


16 Bölüm 2. Vektör Uzaylar ı ve Lineer Dönü şümler<br />

şart<br />

U C V altcümlesinin V nin bir altuzay ı olmas ı için gerek ve yeter<br />

olmas ıd ır.<br />

(i)u,vEUiçinu+vEU<br />

(ii) A E F, u E U için An E U (2.1)<br />

Örnek 2.3.2 {O} ve V; V nin altuzaylar ıd ır.<br />

Örnek 2.3.3 ur E V olsun. u ı , , ur nin tüm lineer kombinasyonlar<br />

ının cümlesi ,5'p{u ı , , ur }; V nin bir altuzay ıdır. Bu uzaya u i , ..., ur<br />

ından gerilen altuzay ad ı verilir.<br />

vektörleri taraf<br />

Şimdi Önerme 2.2.2 nin bir sonucunu verelim.<br />

Sonuç 2.3.4 U, V vektör uzay ın ın bir altuzay ı olsun. Bu durumda<br />

dimU < dimV dir. Ayr ıca dimU = dimV olmas ı için gerek ve yeter şart<br />

U = V olmas ıd ır.<br />

2.4 Altuzaylar ın Direkt Toplamlar ı<br />

V vektör uzay ının Uİ ,<br />

, U,. altuzaylar ın ın toplamı<br />

+ Ur = {u i + + ur : ui E U„ 1 < i < r}<br />

şeklinde ifade edilir. (2.1) yard ım ıyla Uı -I- • • .<br />

kolayca gösterilebilir.<br />

U, nin V nin altuzay ı olduğu<br />

Tan ım 2.4.1 u, E U, (1 < i < r) olmak üzere, e ğer her u i . • • + ur<br />

eleman ın ın yaz ılışı tek türlü belirliyse ... + U, toplam ına Ui , ..., U,<br />

vektör uzaylar ının direkt toplam ı denir ve<br />

şeklinde gösterilir.<br />

Ui ^ ...® U,<br />

Örnek 2.4.2 {vi,...,vn }; V nin bir baz ı ve 1 < i < n için Ui = Sp{<br />

ise, bu durumda<br />

olur.<br />

V =<br />

e) . . . ED Ur


2.4. Alt uzaylann Direkt Toplamlar ı 17<br />

Örnek 2.4.3 U; V nin bir altuzay ı ve {vi , vk} ; U nun bir baz ı olsun.<br />

Onerme 2.2.2 yard ımıyla {vi , , vk} y ı V nin bir {vi , ..., baz ına<br />

tamamlayabiliriz. E ğer W = Sp{vk+1, • • • , vn} olarak al ın ırsa,<br />

olur.<br />

V=UeW<br />

Şimdi herhangi iki altuzay ın direkt toplamıyla ilgili oldukça kullanışlı bir<br />

sonuç verelim.<br />

Sonuç 2.4.4 V = U + W olmak üzere {u ı ,... ,u,}; U nun ve<br />

{'wl, • • • , w s}; W nin bir baz ı olsun. Bu durumda aşağıdaki ifadeler denktir.<br />

(i)V=UeW<br />

(ii) {ui, , ur, /Bi, ws }; V nin bir baz ıdır.<br />

(iii) U n W = {0}.<br />

Sonuç 2.4.5 U, W,<br />

olmak üzere, e ğer<br />

ve<br />

Wı , • • ., Ws; V vektör uzay ın ın altuzayları<br />

V=U e W<br />

U =<br />

ur<br />

ise, bu durumda<br />

w =<br />

e • • • e ws<br />

dir.<br />

V = e . . Ur e Wı e • • • e ws<br />

Şimdi vektör uzaylar ı için gruplar ın direkt çarp ımlar ının in şas ına benzer<br />

bir in şa yöntemi verece ğiz.<br />

Kabul edelim ki<br />

, Ur; F cismi üzerinde vektör uzaylar ı ve<br />

V -= {(ui, , ur ) : E Ui , 1 < < r}


18 Bölüm 2. Vektör Uzaylar ı ve Lineer Dönü ş ümler<br />

olsun.<br />

E F ve ui , u2 E Ui (1 < i < r) için<br />

(u ı ,..• , ur) + (ui, • • • , u'r) = (u ı 4 ui, • • • , ur --F ulr)<br />

A(u i , , ur) = (Att ı , • • ., Aur)<br />

i şlemleriyle V; F üzerinde bir vektör uzay ı olur. Ayr ıca<br />

Ui =<br />

şeklinde tan ıınlanırsa;<br />

v =<br />

: u E Ui, (ui, i.bile şende)}<br />

... e u„."<br />

olur. Bu durumda V ye Ui , ..., Ur vektör uzaylar ının dış direkt toplam ı<br />

denir ve<br />

şeklinde gösterilir.<br />

V =<br />

• • (1) Ur<br />

2.5 Lineer Dönü şümler<br />

Tan ım 2.5.1 V ve W; F üzerinde vektör uzaylar ı olsunlar. Her u,v E V<br />

ve her E F için 0 : V --> W fonksiyonu<br />

0(u + v) = 0(u) -I- 0(v)<br />

0(v) A0(v)<br />

şartlar ını sağhyorsa, 0 ya V den W ya lineer dönüşüm denir.<br />

Grup homomorfizmas ı sadece gruptaki çarpmay ı korurken, lineer dönüşüm;<br />

toplama ve skalerle çarpmay ı da korur.<br />

Eğer B : V ----> W bir lineer dönü şüm ve {vi , V nin bir baz ı ise,<br />

bu durumda A l , , A n E F olmak üzere<br />

O( ı\ i vı + ...+ A n vn)= Ale(vı )+ ...+ AnO(vn)<br />

dir.<br />

Yani, 0; V nin baz elemanlar ı üzerindeki etkisiyle belirlenebilir. Ayr ıca,<br />

V vektör uzay ın ın bir {vi, , v,,} baz ı ve W vektör uzay ın ın herhangi<br />

, tu r, vektörleri verildi ğinde 0(A ı vi An v,2 ) = A ı wi Anwn<br />

olacak şekilde bir tek ç : V 14r, çb(vi) = wi (1 < i < n) lineer dönü şümü


2.6. Çekirdek ve Görüntü 19<br />

vard ır. Genel olarak bir çb : V W lineer dönü şümünü tan ımlarken, q5 nin<br />

sadece V nin baz elemanlar ı üzerindeki etkisini verecek ve bu etki "lineer<br />

olarak genişletilsin" diyeceğiz.<br />

2.6 Çekirdek ve Görüntü<br />

V ve W iki vektör uzay ı ve O : V W bir lineer dönü şüm olsun. O nın<br />

çekirdek ve görüntü cümlesi a şağıdaki gibi tammlamr:<br />

Kere = {v E V : 0(v) = Ow}<br />

/m0 = {0(v) EW:vE V}<br />

Kere; V nin ve /m0; W nin altuzaylar ıd ır. Bu uzaylar ın boyutlar ı ,<br />

şimdi verece ğimiz "Rank-Nullity Teoremi" olarak bilinen teorem yard ımıyla<br />

hesaplanabilir.<br />

Teorem 2.6.1 (Rank-Nullity Teoremi) V ve W iki vektör uzay ı ,<br />

O :V ----> W bir lineer dönüşüm olsun. Bu durumda<br />

dir.<br />

dimV = dim(Ker8)+ dim(ImO)<br />

Örnek 2.6.2 Eğer O : V --> W fonksiyonu her v E V için 0(v) = O ise, bu<br />

durumda O bir lineer dönü şümdür ve<br />

dır.<br />

K erB = V, Ime = {O}<br />

Örnek 2.6.3 Eğer O : V V fonksiyonu her v E V için 0(v) = 3v ise, bu<br />

durumda O bir lineer dönü şümdür ve<br />

dir.<br />

Örnek 2.6.4<br />

Kere = {0}, Ime = V<br />

t9 : R3 --> R 2<br />

(x , y, z) 0(x , y, z) = (x + 2y z, —y + 3z)


20 Bölüm 2. Vektör Uzaylar ı ve Lineer Dönü şümler<br />

şeklinde tan ımlanan B bir lineer dönü şümdür. Ayr ıca<br />

Ker9 = {(x, y,z) E R3 : 9(x, y,z) = O}<br />

{(x, y,z) E 1i83 : (x 2y + z,—y 4-3z) = 0}<br />

{(x,y,z) E 118 3 : x 2y + z = O, y = 3z, x,y,z E IR}<br />

=- {(x,y,z) E R3 : x = 3z, y = —3z, x,y,z E IR}<br />

Sp{(7,-3,-1)}<br />

Ime<br />

= R2<br />

şeklindedir. Sonuç olarak dim(Ker0) = 1 ve dim(ImO) = 2 dir.<br />

2.7 Tersinir Lineer Dönü şümler<br />

V ve W, F cismi üzerinde vektör uzaylan olsunlar. 9 : V --> W lineer<br />

dönü şümünün birebir olmas ı için gerek ve yeter şart Ker9 = {0} olmas<br />

ıdır. Böylece 9 n ın tersinir olmas ı , 9 nın örten ve Ker9 = {0} olmas ı ile<br />

mümkündür. Ayr ıca bir lineer dönü şümün tersi de lineer dönü şümdür.<br />

Eğer V den I/V ya tan ımlanan tersinir bir lineer dönü ş üm varsa, V ve W<br />

ya izomorfik vektör uzaylar ı denir. "Rank-Nullity Teoremi" izomorfik vektör<br />

uzaylar ın ın aynı boyuta sahip olduklar ın ı söyler.<br />

Sonuç 2.7.1 O; V den V ye tan ımlanan bir lineer dönüşüm olsun. Bu<br />

durumda aşağıdakiler denktir.<br />

(i)<br />

9 tersinirdir.<br />

(ii) Kere = {0}<br />

(iii)<br />

Ime = V<br />

2.8 Endomorfizmalar<br />

Tan ım 2.8.1 V bir vektör uzay ı olmak üzere, V den V ye tan ımlanan bir<br />

lineer dönü şüme endomorfizma denir.<br />

9 ve O; V nin endomorfizmalar ı ve A E F olsun. Her v E V için V den V<br />

ye tan ımlanan


2.9. Matrisler 21<br />

(0 + )(v)<br />

(00)(v)<br />

(A9)(y)<br />

=<br />

=<br />

=<br />

0(v) + 0(v)<br />

0(0(v))<br />

A(0(y))<br />

fonksiyonlar ı V nin endomorfizmalar ıd ır. Bundan sonra 00 yı 02 şeklinde<br />

gösterece ğiz.<br />

Örnek 2.8.2 Her v E V için lv : V --> V; lv(v) = v şeklinde tanımlanan<br />

birim fonksiyon V nin bir endomorfizmas ıdır.<br />

Eğer 0; V nin bir endomorfizmas ı ise, bu durumda her A E F için 0 —Alv<br />

fonksiyonu da V nin bir endomorfizmas ıdır. Ayr ıca<br />

şeklindedir.<br />

K er(O — Alv) = {v E V : 0(v) = .Xv}<br />

Örnek 2.8.3 V = IR 2 olmak üzere V den V ye<br />

e(x, y) (x + y, x — 2y)<br />

0(x,y) = (x — 2y, —2x + 4y)<br />

şeklinde tan ımlanan fonksiyonlar ı gözönüne alalım. 0 ve O; V nin endomorfizmalar<br />

ı d ır ve 0 + cb, Oçb, 30 ve 9 2 fonksiyonlar ı ;<br />

şeklindedir.<br />

(0 + 0)(x, y) = (2x — y,—x + 2y)<br />

(00)(x, y) = (—x + 2y, 5x — 10y)<br />

(39)(x, y) = (3x + 3y,3x — 6y)<br />

02 (x, y) = (2x — y, —x + 5y)<br />

2.9 Matrisler<br />

V; F üzerinde bir vektör uzay ı , O; V nin bir endomorfizmas ı ve<br />

B = ... ,v,„}; V nin bir baz ı olsun. Bu durumda her j için<br />

0(vi ) = alivi + .. • + anivn<br />

olacak şekilde aii E F (1 < i, j < n) vard ır.<br />

Tanım 2.9.1 n x n tipindeki (ait) matrisine 0 nın B bazına göre matrisi<br />

denir ve MB ile gösterilir.


22 Bölüm 2. Vektör Uzaylar ı ve Lineer Dönü şümler<br />

Örnek 2.9.2 Eğer B = lv ise, V nin bütün B bazlar ı için [0]B = In olur.<br />

Örnek 2.9.3 V = R 2 ve<br />

0 : V V<br />

(x,y) ---> 0(x, y) = (x + y,x — 2y)<br />

V nin bir endomorfizmas ı olsun. Eğer; V nin iki baz ı B = «1,0),(0,1)} ve<br />

= «1,0),(1,1)} ise, bu durumda<br />

olduğundan<br />

0((1,0)) = (1,1) = 1(1,0)+1(0,1)<br />

O((0,1)) = (1,-2) = 1(1,0) + (-2)(0,1)<br />

0((1,0)) = (1,1) = 0(1,0)+1(1,1)<br />

0((1,1)) = (2, —1) = 3(1,0)+ (- 1)(1,1)<br />

[6 ]B _21 ) ve İ —1 )<br />

şeklindedir.<br />

Eğer bir A matrisinin bile şenleri F den alınıyorsa, bu durumda A ya F<br />

üzerinde bir matris denir.<br />

m x n tipindeki A = (atik), B = (bil) matrislerini gözönüne alal ım. A+B;<br />

(i, j). bileşeni aii + bir olan m x n tipinde bir matristir.<br />

A E F için AA matrisi, m x n tipinde ve bile şenleri, A nın her bir bile şeni<br />

ile A nın çarp ımı olan bir matristir.<br />

Eğer A = (ait ); m x n tipinde ve B = (bii) n x p tipinde matrisler ise,<br />

bu durumda AB; m x p tipinde ve (i, j). bile şeni<br />

olan bir matristir.<br />

k=1<br />

aikbki<br />

—1 2) ( O — 4<br />

Örnek 2.9.4 A = ( 3 ve B = matrisleri için<br />

1<br />

2 —1<br />

( A<br />

1 2 ) —3 6<br />

-F B 3A =<br />

5 O ' ( 9 3 ) '<br />

( 4 2 ( —12 —4 )<br />

AB = B A =<br />

2 —13 ) ' —5 3


2.9. Matrisler 23<br />

şeklindedir.<br />

Herhangi bir baza göre iki endomorfizman ın toplamı ve çarp ımına kar şılık<br />

gelen matrisler a şağıdaki gibi hesaplan ır.<br />

Sonuç 2.9.5 Kabul edelim ki B; V nin bir baz ı, O ve O; V nin iki endomorfizmas<br />

ı olsun. Bu durumda,<br />

[o + 0]B = [6]B + [0]B, [00]B = [0]B[0]13<br />

ve her A E F için<br />

[A0]B = A M B<br />

şeklindedir.<br />

V vektör uzay ının bir endomorfizmas ı ve bir B bazı verildi ğinde, bu endomorfizmaya<br />

kar şılık gelen matrisin nas ıl bulunacağını gördük. Şimdi de<br />

bir matris verildiğinde bu matrise kar şılık gelen endomorfizmamn nas ıl bulunacağını<br />

görelim<br />

Kabul edelim ki, A; F üzerinde n x n tipinde bir matris ve V = Fn,<br />

xi E F olmak üzere<br />

X1<br />

( n)<br />

şeklindeki sütun vektörlerinin vektör uzay ı olsun. Her v E V için Av E V<br />

dir. Eğer A; n x n tipinde bir matris ise, (v E Fn ) için v —k Av fonksiyonu<br />

Fn in bir endomorfizmas ıd ır.<br />

Örnek 2.9.6 A = 31 2<br />

için A ya kar şılık gelen O endomorfizmas ı<br />

)<br />

1 –1<br />

0(x,y)= x = (x – y,3x + 2y)<br />

3 2 y<br />

şeklindedir.


24 Bölüm 2. Vektör Uzaylar ı ve Lineer Dönü şümler<br />

2.10 Tersinir Matrisler<br />

A; n x n tipinde bir matris olsun. E ğer AB = BA = I n olacak şekilde It x 72<br />

tipinde bir B matrisi mevcutsa A ya tersinir matris, B ye de A n ın tersi<br />

denir ve A -1 şeklinde gösterilir. A n ın determinant ım detA ile gösterecek<br />

olursak, A n ın tersinir olabilmesi için gerek ve yeter şart detA 0 olmas ıdır.<br />

Sonuç 2.9.5 den dolay ı tersinir matrisler ile tersinir endomorfizmalar<br />

aras ında doğrudan bir ili şki vard ır.<br />

V nin bir B bazı verildiğinde V nin O endomorfizmas ının tersinir olmas ı<br />

için gerek ve yeter ko şul [01B matrisinin tersinir olmas ıd ır.<br />

Tersinir matrisler bir vektör uzay ının iki baz ın ı birbirine dönü ştüriir.<br />

Tan ım 2.10.1 B = , vn} ve B' = }; V nin bazlar ı olmak<br />

üzere, 1 < j < n için<br />

Vi = t ıiVi -I- • • • + tnjvn<br />

olacak şekilde tii E F vardır. Bu durumda n x n tipindeki T = (tij) tersinir<br />

matrisine B den B' ye baz de ğişim matrisi denir. T' matrisi de B' den B<br />

ye baz deği şim matrisidir.<br />

Eğer B ve B'; V nin bazlar ı ve O; V nin endomorfizmas ı ise, bu durumda<br />

T; B den B' ye baz deği şim matrisi olmak üzere<br />

şeklindedir.<br />

= T -1 [0IBT<br />

Örnek 2.10.2 V = Ik 2 , B = «1,0),(0,1)} ve B = {(1,0),(1,1)}; V nin<br />

iki baz ı olsun. Bu durumda baz de ği şim matrisleri<br />

T<br />

= (<br />

şeklindedir.<br />

Eğer V nin bir endomorfizmas ı ;<br />

1 O ve T_ i = (<br />

O 1<br />

1 —1 )<br />

O 1<br />

: (x, y) --> (x + y, x — 2y)<br />

ise, bu durumda


•<br />

2.11. Özdeğerler 25<br />

C<br />

O 1)( 1 -2 O 1)<br />

olur.<br />

▪<br />

T -1 [0]BT<br />

2.11 Özdeğerler<br />

Tan ım 2.11.1 V; F üzerinde n-boyutlu bir vektör uzay ı ve O; V nin bir<br />

endomorfizmas ı olsun. 0 v E V için<br />

0(v) = Av<br />

ise, A ya O n ın bir özde ğeri ve v ye de O n ın bir özvektörü adı verilir.<br />

A E F nin O nın bir özdeğeri olmas ı için gerek ve yeter şart<br />

K er(B - Alv) {O} olmas ıdır. Ayr ıca K er(0 - Alv) {0} olmas ı için gerek<br />

ve yeter şart O - Alv tersinir olmamas ıdır. Böylece B; V nin bir baz ı ise O<br />

n ın özde ğerleri olana E F ler<br />

det([0]B - AL, 2 ) = 0<br />

denklemini saklar. Bu denklemi çözmek; n yinci dereceden bir polinomun<br />

köklerini bulmak demektir. Sabit olmayan kompleks katsay ıh her polinomun<br />

C de en az bir kökü oldu ğundan a şağıdaki sonucu verebiliriz.<br />

Sonuç 2.11.2 V; C üzerinde s ıf ırdan farklı bir vektör uzay ı ve 0; V nin bir<br />

endomorfizmas ı olsun. Bu durumda B en az bir özde ğere sahiptir.<br />

Örnek 2.11.3 V = C2 ve O; V nin 6,(x , y) = (-y, x) ile verilen bir endomorfizmas<br />

ı olsun. Eğer B = {(1, 0), (0, 1)}; V nin bir baz ı ise, bu durumda<br />

olur.<br />

m13 ( O — 1 )<br />

1 O


26 Bölüm 2. Vektör Uzaylar ı ve Lineer Dönü şümler<br />

det([0]B — A/2) = A 2 1- 1 = 0 ve böylece A l = i, A2 = O n ın<br />

özdeğerleridir. Bunlara kar şılık gelen özvektörler ise (1, i) ve (—i, 1) şeklindedir.<br />

Eğer V nin diğer bir baz ını B' = {(1,i),(—i, 1)} olarak seçersek,<br />

olarak bulunur.<br />

[0]B, =<br />

Örnek 2.11.4 V = R 2 ve 0; V nin 0(x, y) = (—y, x) ile verilen bir endomorfizmas<br />

ı olsun. Bu durumda V; IR üzerinde bir vektör uzay ı olmas ına rağmen<br />

F C oldu ğundan B n ın reel bir özdeğeri yoktur.<br />

A; n x n tipinde bir matris ve Fn sütun vektörlerinin cümlesi olsun. E ğer<br />

O v E Fn için<br />

Av = Av<br />

olacak şekilde bir A E F bulunabiliyorsa, bu durumda A ya A n ın bir özde ğeri<br />

denir. Ayr ıca<br />

det(A — Al n ) = 0<br />

denklemini sağlayan A E F ler A n ın özdeğerleridir.<br />

Örnek 2.11.5 A = (aij); n x n tipinde bir matris olsun. i j için atik = 0<br />

ise, A ya kö şegensel matris denir ve bu matris<br />

A .=<br />

ai 0<br />

O A n.<br />

formundad ır. Ayr ıca 1 < i < n için cıii = Ai ve A matrisinin özde ğerleri<br />

- , An dir.<br />

2.12 Projeksiyonlar<br />

Eğer V; U ve W altuzaylar ının direkt toplam ı olan bir vektör uzay ı olsun.<br />

Şimdi V nin V= Ue W ifadesine bağlı bir endomorfizmas ını in şa edece ğiz.


2.12. Projeksiyonlar 27<br />

Onerme 2.12.1 V = U El) W ve Ir fonksiyonu u E U ve w E W için<br />

ır : V<br />

(u w) 7r(u + w) = u<br />

olsun. ir; V nin bir endomorfizmas ıdır ve<br />

dir.<br />

f ın ır = U, K erır = W ve 7r 2<br />

Ispat V = U e W olduğundan V deki her v vektörü; u E U ve w E W<br />

olmak üzere v = u + w şeklinde tek türlü belirlidir. Böylece ir iyi tanımlı<br />

olur.<br />

Eğer v, v' E V ise, bu durumda u, u' E U ve w, w' E W olmak üzere<br />

v = u + w ve v' = u' + w' şeklindedir.<br />

Her A E F için<br />

7r(v + vi) = 7r(u + w + u' + tv')<br />

• 7r(u + u' + w + w')<br />

• u + u'<br />

• 7r(v) + 7r(v')<br />

7r(Av) = 7r(Au+ Aw) = Au = A7r(v)<br />

olur. Böylece ir; V nin bir endomorfizmas ıd ır.<br />

Aç ık olarak Imir C U dur. Her u E U için ir(u) = u olduğundan u E Imir<br />

dir. Dolay ısıyla Imir = U olur.<br />

7r( ıı +w) O< >-u 0< >u+wEW<br />

olduğundan Ker7r = W olur.<br />

Son olarak, her u E U ve her w E W için<br />

7r 2 (u + w) = 7r(7r(u+ w)) = 7r(u) = u = 7r(u + w)<br />

olduğundan 7r 2 = 7r elde edilir.<br />

■<br />

Tan ım 2.12.2 7r; V vektör uzay ının ir 2 = ır özelli ğini sağlayan bir endomorfizmas<br />

ı ise, bu durumda ir ye V nin bir projeksiyonu denir.<br />

Örnek 2.12.3 0 : (x, y) --> (2x + 2y, —x — y) endomorfizmas ı IR. 2 nin bir<br />

projeksiyonudur.


28 Bölüm 2. Vektör Uzaylar ı ve Lineer Dön üşümler<br />

Şimdi Önerme 2.12.1 den faydalanarak, bir projeksiyon yard ım ıyla bir<br />

vektör uzay ının, altuzaylar ının bir direkt toplam ı olarak yaz ılabilece ğini göreceğiz.<br />

Onerme 2.12.4 Eğer ir; V nin bir projeksiyonu ise, bu durumda<br />

dir.<br />

V = Im ır el) Ker ır<br />

Ispat Eğer v E V ise v = r(v) (v — r(v)) yazabiliriz. Aç ık olarak<br />

7r(v) E Imir dir.<br />

7r(v — 7r(v)) = 7r(v) — ır 2 (v) = 7r(v) — ır(v)= 0<br />

olduğundan v — ır(v) E Ker ır dir. Buradan V = Ker ır olur.<br />

Şimdi v E Im ır fl Ker ır olsun. v E Im ır ise ır(u) = v olacak şekilde bir<br />

u E V vard ır.<br />

ve v E Ker ır olduğundan<br />

ır(v) = ır 2 (u) = ır(u) = v<br />

ır(v) = 0<br />

dır. Böylece v = 0 olup Im ır fl Ker ır = 0 dır. Sonuç 2.4.4 den<br />

V = Im ır (1) Ker ır olur.<br />

••<br />

Ornek 2.12.5 Eğer 7r : (x, y)<br />

ise, bu durumda<br />

(2x +2y, —x—y); R 2 nin bir projeksiyonu<br />

şeklindedir.<br />

Im ır = {(2x,—x): x E R}<br />

K er 7r = {(X —x) : X E R}


2.12. Projeksiyonlar 29<br />

2. Bölümün Özeti<br />

(i) F = C veya R olmak üzere, bu bölümde gözönüne al ınan F üzerindeki<br />

bütün vektör uzaylar ı sonlu boyutludur. Örne ğin, F' sütun vektör<br />

uzayı için dimFn = n dir.<br />

gösterimi tek ise, bu durumda<br />

(ii) Ui (1 < i < T); V nin altuzaylar ı, her v E V için v ... ur<br />

V=U(DW< > (i) V=U+W<br />

(ii) U n W = {O}<br />

(ili) : V --> W lineer dönü şümü, her u,vEV ve her A E F için<br />

0(u v) = 9(u) 4- 0(v) ve 0(Au) = A0(u)<br />

özelliklerini sağlar. Ayr ıca Ker0; V nin ve /m0; W nin altuzaylar ı ,<br />

d ır.<br />

dimV = dim(Ker0)+ dim(ImO)<br />

(iv) Bir 0 : V --> W lineer dönü şümünün tersinir olmas ı için gerek ve yeter<br />

şart Kere = {O} ve /m0 = W olmas ıd ır.<br />

(v) n. boyutlu bir V vektör uzay ın ın bir B baz ı verildiğinde, V nin bir 0<br />

endomorfizmas ı ile F üzerindeki n x n tipindeki [0]B matrisi aras ında<br />

bir e şleme vard ır.<br />

V nin B ve B' bazlar ı ile bir 0 endomorfizmas ı verildi ğinde<br />

= T-1 [0]BT<br />

olacak şekilde tersinir bir T matrisi vard ır.<br />

(vi) Bir 9 endomorfizmas ının A özdeğeri, s ıfırdan farkli v E V vektörleri<br />

için 0(v) = Av şart ını sağlar.<br />

(vii)<br />

V nin bir ır projeksiyonu 71-2 = ır şart ını sağlayan bir endomorfizmad ır.


30 Bölüm 2. Vektör Uzaylar ı ve Lineer Dönü şümler<br />

2.13 Alışt ırmalar<br />

(1) Eğer V, W vektör uzaylar ı ve O : V W lineer dönü şümü tersinir<br />

ise 0-1 W --> V dönü şümünün de lineer olduğunu gösterinin.<br />

(2) O; V vektör uzay ının bir endomorfizmas ı olsun. A şağıdakilerin birbirine<br />

denk oldu ğunu gösteriniz.<br />

(a) B tersinirdir.<br />

(b) Ker9 = {O}<br />

(c) ImB = V<br />

(3) U ve W; V nin altuzaylar ı olsun. V = U e W olmas ı için gerek ve<br />

yeter şart V = U + W ve U fl W =O olmas ıdır. Gösteriniz.<br />

(4) U ve W; V nin altuzaylar ı olsun. {ui , , ur}; U nun bir baz ı ve<br />

{wi, , w s }; W nun bir baz ı ise, bu durumda V = U e W olmas ı için<br />

gerek ve yeter şart {u ı, , ur , wı, , w s } nin V nin bir baz ı olmasıd ır.<br />

Gösteriniz.<br />

(5) (a) Uı , U2 , U3; V nin altuzaylar ı ve V = Ui e U2 e U3 olsun.<br />

V = UleU2@U3 < > Uı n(U2+U3) = U2n(U ı +U3) = u3n(ul-Fu2) = {o}<br />

(b)<br />

olduğunu gösteriniz.<br />

V = + U2 + U3 ve n U2 = n U3 = U2 n U2 = O }<br />

olmas ına rağmen<br />

V<br />

eD U2 e U3<br />

olacak şekilde Ui , U2, U3 altuzaylarma sahip bir V vektör uzay ı<br />

bulunuz.<br />

(6) Ut, , Ur; V nin altuzaylar ı ve V = Ul e...e ur olsun. Bu durumda<br />

olduğunu gösteriniz.<br />

dimV = dimU ı . • • + dimUr


2.13. Ah şt ırmalar 31<br />

(7)<br />

V = Im0 e K er0 ve V Imç e K er0<br />

olacak şekilde bir V vektör uzay ı ve 0, 0 endomorfizmalar ı bulunuz.<br />

(8) V bir vektör uzay ı ve O; V nin bir endomorfizmas ı olsun. 0 nın bir<br />

projeksiyon olmas ı için gerek ve yeter ko şul; kö şegen elemanlar ı 1 veya<br />

o olan köşegensel bir [0]B matrisi mevcut olacak şekilde V nin bir B<br />

baz ının var olmas ıd ır. Gösteriniz.<br />

(9) 0; V nin bir endomorfizmas ı ve B 2 = lv olsun. V= U e W ise, bu<br />

durumda<br />

U = {v E V : 0(v) = v} ve W {v E V : 0(v) = —v}<br />

olduğunu gösteriniz. V nin öyle bir B baz ı vard ır ki, MB tüm kö şegen<br />

elemanlar ı +1 veya —1 olan bir kö şegensel matristir. Gösteriniz.


32 Bölüm 2. Vektör Uzayları ve Lineer Dönü ş ümler


Bölüm 3<br />

Grup Gösterimleri<br />

Bir G grubunun gösterimi G yi matrislerin bir grubu gibi göz önüne alma<br />

imkan ı verir. Bir gösterim G grubundan tersinir matrislerin grubuna tan ımlanan<br />

bir homomorfizmad ır. Bu bölümde gösterim örnekleri ile gösterimlerin<br />

denkli ği ve çekirde ği gibi konular ı ele alaca ğız.<br />

3.1 Gösterimler<br />

G bir grup, F = R veya C olsun. Birinci bölümden hat ırlanacağı gibi<br />

GL(n, F) bileşenleri F cisminden al ınan n x n tipindeki tersinir matrislerin<br />

grubudur.<br />

Tan ım 3.1.1 G den GL(n, F) ye tan ımlanan p homomorfizmas ına G nin<br />

bir gösterimi ve n say ısına da p nun derecesi denir.<br />

p; G den GL(n, F) ye bir fonksiyon ise, bu durumda p nun bir gösterim<br />

olmas ı için gerek ve yeter ko şul; her g, h E G için p(g h) = p(g)p(h) olmas ıd ır.<br />

Bir gösterim homomorfizma oldu ğundan herbir p : G ----> GL(n, F)<br />

gösterimi In ; n x n tipinde birim matris olmak üzere her g E G için;<br />

şartlar ını Sağlar.<br />

P( 1 ) = In ve p(g--1) = p(g)- ı<br />

Örnek 3.1.2 G = D4 =G a, b : a4 = b 2 = 1, b-1 ab = (1-1 > dihedral grubu<br />

olsun. A ve B matrislerini<br />

33


34 Bölüm 3. Grup Gösterimleri<br />

( O 1 ) ( O )<br />

A --= ve B --=<br />

-1 O 0 -1<br />

olarak tammlarsak; A 4 -= B' = /2 ve B -1 AB = A -1 şartlar ı sağlan ır. Örnek<br />

1.4.2 de verilen,<br />

P : G G L(2, F)<br />

a'lı3 Az 13 3 (O < < 3,0 < j


3.2. Denk Gösterimler 35<br />

3.2 Denk Gösterimler<br />

Verilen bir gösterim yard ımıyla yeni bir gösterimi nas ıl in şa edece ğimizi<br />

göreceğiz. p : G ---> GL(n, F) bir gösterim ve T bile şenleri F den alman<br />

n x n tipinde tersinir bir matris olsun. Her n x n tipindeki A ve B matrisleri<br />

için,<br />

(T -1 AT)(T -1 BT) = T -1 (AB)T<br />

olduğundan, p dan yeni bira gösterimi in şa edebiliriz. o- y ı , her g E G için,<br />

o-(g) =<br />

şeklinde tan ımlayahm. Her g, h E G için,<br />

olduğundan a bir gösterimdir.<br />

p(g)T<br />

a(gh) = T-1 p(gh)T<br />

T -1 (P(9)P(h))T<br />

T -1 p(g)TT -1 p(h)T<br />

= a(g)a(h)<br />

Tan ım 3.2.1 p : G ---> GL(m, F) ve u : G GL(n, F); G nin iki<br />

gösterimi olsun. Eğer n = m ve her g E G için<br />

a(g) = T-1 p(g)T<br />

olacak şekilde n x n tipinde tersinir bir T matrisi varsa, bu durumda<br />

p; o- ya denktir denir.<br />

G nin her p, o-, T gösterimleri için aşağıdaki özellikler sağlanır:<br />

(i) p; p ya denktir.<br />

(ii) Eğer p; o- ya denk ise, bu durumda o- ; p ya denktir.<br />

(ili) Eğer p; o- ya denk ve a; T ya denk ise, bu durumda p; T ya denktir.<br />

Sonuç olarak grup gösterimlerinin denkli ği bir denklik bağıntısıdır.


36 Bölüm 3. Grup Gösterimleri<br />

Örnek 3.2.2 G = D4 =< a,b : a4 = b2 = 1, b-lab = a-1 > olmak üzere<br />

Örnek 3.1.2 deki G nin p gösterimini gözönüne alal ım.<br />

A O 1 ) ( O )<br />

ve B =<br />

-1 O O -1<br />

olmak üzere p(a) = A ve p(b) = B dir. Kabul edelimki F = C ve T' AT<br />

köşegensel olacak şekilde<br />

T = 1 ( 1<br />

■fi i<br />

matrisini gözönüne alal ım. Böylece<br />

T -1 - 1<br />

( 1<br />

olup,<br />

dir. D4 ün bir o- gösterimini<br />

(O 1 )<br />

T -1 AT = ( ° ve T -1BT =<br />

i 1 O<br />

ı(a)<br />

. ve a(b)= ( °1 ol<br />

0 -Csı<br />

şeklinde alırsak p ve cr birbirine denk olur.<br />

Örnek 3.2.3 G = C2 =< a > ve<br />

A =( -5 12 )<br />

-2 5<br />

olsun. Kolayca gösterilebilir ki; A 2 = 12 dir. Böylece p:1 I, a --÷ A;<br />

G nin bir gösterimidir. Eğer,<br />

olarak seçersek<br />

T-<br />

2 -3<br />

1 -1


3.3. Gösterimlerin Çekirdeği 37<br />

T -1 AT =<br />

(1 )<br />

O —1<br />

olur. G nin bir a gösterimi<br />

0.(1) ( ol Oi ( ol<br />

ve cr(a)=<br />

0<br />

—1<br />

şeklinde tanımlan ırsa p ve cr birbirine denk olur.<br />

3.3 Gösterimlerin Çekirde ği<br />

Bir p : G ---> G L(n, F) gösteriminin çekirdeği,<br />

Kerp = {g E G : p(g) = In }<br />

şeklindedir. Kerp; G nin bir normal altgrubudur.<br />

Bir gösterimin çekirde ği aşağıda verilen tan ımdaki gibi G nin tamam ı<br />

olabilir.<br />

Tan ım 3.3.1 Her g E G için p : G GL(1,F), p(g) = (1) şeklinde<br />

tan ımlanan gösterime, G nin aşikar gösterimi denir. Ba şka bir ifadeyle,<br />

aşikar gösterim; G nin her eleman ın ı 1x 1 tipindeki birim matrise dönü ştürür.<br />

Tan ım 3.3.2 p : G GL(n, F); G nin bir gösterimi ve Kerp = {1} ise,<br />

bu durumda p ya faithfuldur denir.<br />

Onerme 3.3.3 Sonlu bir G grubunun bir p gösteriminin faithful olmas ı<br />

için gerek ve yeter şart Imp :=:' G olmasıd ır.<br />

Ispat Kerp 4 G ve Birinci İzomorfizma Teoreminden GIKerp Imp<br />

olduğunu biliyoruz. E ğer Kerp = {1} ise, bu durumda G = Imp olur.<br />

Tersine G NImp ise, bu durumda her ikisinin de mertebesi ayn ı (sonlu)<br />

olduğundan I Kerpi= 1 ve böylece p faithfuldur.<br />

■<br />

Örnek 3.3.4 D4 dihedral grubu için<br />

p(aib3) _ _0 l ( 1 O )<br />

1 0 0 —1


38 Bölüm 3. Grup Gösterimleri<br />

şeklinde verilen p gösterimi faithfuldur. p(g) = /2 ko şulunu sağlayan tek<br />

eleman G nin birimidir. Böylece<br />

( O 1 ) ve ( O )<br />

-1 O O -1<br />

matrisleri tarafından üretilen grup D4 dihedral grubuna izomorftur.<br />

Ornek 3.3.5 T-1 AT = In olmas ı için gerek ve yeter şart A = In olmas ıdır.<br />

Böylece, faithful gösterimlere denk olan bütün gösterimler de faithfuldur.<br />

Ornek 3.3.6 G nin aşikar gösteriminin faithful olmas ı için gerek ve yeter<br />

şart G = {1} olmas ıdır.<br />

Bölüm 6 da her sonlu grubun bir faithful gösterime sahip oldu ğunu<br />

göstere-ceğiz.<br />

3.Bölümün Ozeti<br />

(i) G nin bir gösterimi G den GL(n, F) ye tan ımlanan bir homomorfizmad<br />

ır.<br />

(ii) G nin p ve o. gösterimlerinin denk olmas ı için gerek ve yeter ko şul her<br />

g E G için,<br />

a(g) = T-1 p(g)T<br />

olacak şekilde tersinir bir T matrisinin var olmas ıdır.<br />

(iii) Bir gösterim birebir ise faithfuldur.<br />

3.4 Al ışt ırmalar<br />

(1) G =< a : am = 1 > olsun. A E GL(n, C) için<br />

p : G<br />

GL(n, (C)<br />

ar A' (O < r < m -<br />

)<br />

şeklinde tan ımlayalım. p nun G nin bir gösterimi olmas ı için gerek ve<br />

yeter ko şul AM = In olmas ıdır. Gösteriniz.


3.4. Al ışt ırmalar 39<br />

(2)<br />

O<br />

O ) İ.,<br />

O<br />

A ( O 1 ' B - O e 2 "7 / 3 ' "' - -1 -<br />

ve G = < a : a3 = 1 > olsun.<br />

pi<br />

P ı<br />

P2<br />

P3<br />

G<br />

ar<br />

ar<br />

ar<br />

G L (2 , (C) , (1 < i < 3)<br />

Ar<br />

Br ,<br />

Cr, (O < r < 2)<br />

şeklinde tan ımlanan fonksiyonlar ın G nin gösterimleri olduklar ını gösteriniz.<br />

Bunlardan faithful olanlar ın ı belirleyiniz.<br />

(3) G = D, = < a, b : an = b2 = 1, b-1 ab = a-1 >; F = veya C olsun.<br />

p(a) = (1) ve p(b) (-1) şartlar ını sağlayan bir p : G ---> G L(1, F)<br />

gösterimi vard ır. Gösteriniz.<br />

(4) p; Q ve T; G nin gösterimleri olsunlar.<br />

(a) p kendisine denktir.<br />

(b) p; Q ya denk ise, bu durumda o- da p ya denktir.<br />

(c) p; o- ya denk ve o- da T ya denk ise, bu durumda p; T ya denktir.<br />

Gösteriniz.<br />

(5) G = D6 =< a,b : a6 = b 2 = 1, b-1 ab = a-1 > ve<br />

A _ e"13 0<br />

) B = 01 01<br />

c ı n o )<br />

ı ' = o —1<br />

matrislerini gözönüne alal ım. Bu durumda<br />

Pk<br />

P1<br />

P2<br />

P3<br />

p4<br />

G<br />

ar bs<br />

ar bs<br />

ar bs<br />

ar bs<br />

G L (2 , C), (k = 1,2,3,4)<br />

Ar Bs,<br />

A 3r (- B)s ,<br />

( —A )rBs ı<br />

Cr D' , (O < r < 5,0 < s < 1)


40 Bölüm 3. Grup Gösterimleri<br />

şeklinde tan ımlanan fonksiyonlar ın G nin gösterimleri oldu ğunu gösteriniz.<br />

Bu gösterimlerden hangilerinin faithful, hangilerinin denk olduklar<br />

ın ı belirleyiniz.<br />

(6) D4 dihedral grubunun derecesi 3 olan bir gösterimini bulunuz.<br />

(7) Eğer p; G nin derecesi 1 olan bir gösterimi ise, bu durumda G/Kerp<br />

nun de ği şmeli bir grup oldu ğunu gösteriniz.<br />

(8) p; G nin bir gösterimi olsun. g,h e G için;<br />

ise, bu durumda<br />

P(g)P(h) = P(h)P(g)<br />

midir Ara şt ırm ı z.<br />

gh = hg


Bölüm 4<br />

FG-Modüller<br />

Bu bölümde FG-modül kavram ın ı tan ımlayacak ve FG-modüller ile G nin<br />

F üzerindeki gösterimleri aras ında yak ın bir ili şki olduğunu gösterece ğiz.<br />

Gösterimler teorisinde önemli kolayl ıklar sağlamas ı sebebiyle, kitab ın kalan<br />

kısmında ve-rilecek kavramlar ın çoğunluğu FG-modüllerle ifade edilecektir.<br />

4.1 FG-Modüller<br />

G bir grup, F; R veya C olsun. Kabul edelimki, p G ----> GL(n, F); G<br />

nin bir gösterimi ve V = sütun vektörlerinin vektör uzay ı olsun. n x n<br />

tipindeki p(g) matrisi ile V deki her v sütun vektörünün çarp ımı V de bir<br />

sütun vektörüdür.<br />

Şimdi p(g)v çarp ım ı ile ilgili baz ı temel özellikler verece ğiz. İlk olarak p<br />

bir homomorfizma oldu ğundan, her v E V ve her g, h E G için<br />

p(g h)v = p(g)p(h)v<br />

dir. p(1) = İn, olduğundan her v E V için p(1)v = v dir. Son olarak her<br />

u,v E V,> E F ve g E G için<br />

şeklindedir.<br />

P(g)(Av) = A(P(9)v)<br />

p(g)(u v) = p(g)u P(g)v<br />

Örnek 4.1.1 G = D4 =< a,b : a4 = b 2 = 1, 1)-1 ab = a-1 > olsun. G<br />

nin Örnek 3.1.2 deki p : G --> G L(2, F) gösterimini gözönüne alal ım. Bu<br />

durumda;<br />

41


42 Bölüm 4. FG-Modüller<br />

O<br />

P(a)= ( —1<br />

1 1<br />

O ' P(b)= O —1<br />

şeklindedir. v =<br />

olarak elde edilir.<br />

A ı<br />

A 2<br />

) E F2 için<br />

P(a)v = ∎ 2, — Al)<br />

p(b)v = —A 2 )<br />

P(d3)v = ( — A2,A1)<br />

Şimdi bu özellikler yard ımıyla FG-modül tan ımını verelim.<br />

Tan ım 4.1.2 V; F üzerinde bir vektör uzay ı ve G bir grup olsun. Eğer<br />

v E V ve g E G için gv çarp ımı her u,v E V, A E F ve g E G için;<br />

(i) gv E V,<br />

(ii) (gh)v = g(hv),<br />

(iii) lv = v,<br />

(iv) g(Av) = A(gv),<br />

(v) g (u v) = gu gv<br />

şartlar ın ı sağlıyorsa, bu durumda V ye bir FG-modül denir.<br />

V; F cismi üzerinde bir vektör uzay ı ve gv çarp ım ında g E G olduğundan<br />

F ve G harflerini kullan ıyoruz.<br />

Tan ımdaki (i), (iv) ve (v) özellikleri her g E G için v gv fonksiyonunun<br />

V nin bir endomorfizmas ı olduğunu gösterir.<br />

Tan ım 4.1.3 V bir FG-modül ve B; V nin bir baz ı olsun. g E G için [9]/3<br />

matrisine v gv endomorfizmas ının matrisi denir.<br />

Teorem 4.1.4<br />

(i) Eğer p : G ---> GL(n, F); G nin bir gösterimi ve V = Fn ise, bu<br />

durumda V vektör uzay ı, g E G, v E V için<br />

gv = p(g)v<br />

şeklinde tan ımlanan gv çarpım ı ile bir FG-modüldür.Ayr ıca, her g E G<br />

için p(g) [9]73 olacak şekilde V nin bir B baz ı vardır.


4.1. FG-Modüller 43<br />

(ii) V bir FG-modül ve B; V nin bir baz ı olsun. Bu durumda g E G için<br />

g [g]B fonksiyonu G nin bir gösterimidir.<br />

Ispat<br />

(i) Fn bir vektör uzay ı olduğundan her u, v E Fn ,<br />

p gösterimi<br />

E F ve g, h E G için<br />

p(gh)v = p(g)p(h)v<br />

p(1)v = v<br />

p(g)(Av) = .N(p(g)v)<br />

p(g)(u+ v) = p(g)u + io(g)v<br />

şartlar ın ı saklar. Böylece her v E Fn ve g E G için gv çarp ımı<br />

p(g)v<br />

şeklinde tan ımlan ırsa Fn bir FG-modül olur.<br />

Ayr ıca F' nin B baz ını<br />

{(1,0,...,0),(0,1,...,0),...,(0,0,...,1)}<br />

olarak gözönüne alacak olursak her g E G için p(g) = [g]B olur.<br />

(ii) V; B bazı ile birlikte bir FG-modül olsun. Her g,h E G ve v E V için<br />

olur. Özel olarak her g E G için<br />

(gh)v = g(hv) ve [glı]3 = [g]B[h]B<br />

[ 1]13 = [g]B [g-1 ]13<br />

şeklindedir. Her v E V için lv = v oldu ğundan, [1]B birim matristir.<br />

Böylece her [g]B rnatrisi tersinirdir. Daha önce g ---> [g]B fonksiyonunun<br />

G den G L(n, F) ye tan ımlanan bir homomorfizma oldu ğunu<br />

ispatlamıştık. Sonuç olarak bu fonksiyon G nin bir gösterimidir.<br />


44 Bölüm 4. FG-Modüller<br />

Şimdi Teorem 4.1.4 ün bir uygulamas ın ı verelim.<br />

Örnek 4.1.5 G = D4 =< a,b : a4 = b2 = 1, b=lab = a-1 > ve G nin p<br />

gösterimi;<br />

o ı o \<br />

P(a)= ( -1 O) ' P(b) = O -1 j<br />

şeklinde ve V = F 2 olsun. E ğer her v E V, g E G için gv çarp ımın ı<br />

gv = p(g)v<br />

şeklinde tammlarsak Teorem 4.1.4.(i) den dolay ı V bir FG-modül olur. Eğer<br />

V nin bir baz ını ;<br />

vi =<br />

(<br />

)<br />

, V2 =<br />

olarak alırsak,<br />

( )<br />

av ı = p(a)vi =<br />

şeklindedir. Benzer şekilde<br />

O 1 ) ( 1<br />

1 O O<br />

= -v2<br />

av2 = v ı<br />

bv ı = vi<br />

bv2 - -v2<br />

bulunur.<br />

Eğer B bazını {v ı , v2} olarak seçersek g E G için g<br />

nun kendisidir.<br />

Örnek 4.1.6 G = Qg =< a, b : a 2 = b2 ,a4 =<br />

Örnek 1.2.5 deki gibi<br />

[g]B gösterimi p<br />

= a-1 > grubunu,<br />

A =<br />

B = O )<br />

-1 O<br />

tarafından üretilen GL(2,(C) nin bir altgrubu olarak gözönüne alalım Bu<br />

durumda G nin p gösterimi


4.1. FG-Modüller 45<br />

i O 1<br />

P(a) = ı O —i) ' P(b)= ( —1 O )<br />

olarak elde edilir. Teorem 4.1.4.(i) in uygulanabilmesi için F = C olmalı d ır.<br />

{v ı , v2 } baz ı ve<br />

etkisiyle bir CG-modül elde ederiz.<br />

av ı = ivı<br />

av 2 = —iv2<br />

i =- — V2 bv<br />

bv2 = vi<br />

Yukar ıdaki örnekte av ı , av2 , bvı , bv2 vektörleri her v E V, g E G için gv<br />

çarp ımım tan ımlar. Örne ğin;<br />

ab ( vı 2v2 (ab)vi 2(ab)v 2<br />

)<br />

a(bv ı )l- 2a(bv 2 )<br />

a(—v2 )-1- 2avi<br />

ı iv2<br />

= 2iv<br />

bulunur. Benzer şekilde bütün V; FG-modülleri için e ğer {vi , , v 7,}; V nin<br />

bir baz ı ve gi ,..., yr ; G nin üreteçleri ise, bu durumda 1 < j < r, 1 < i < n<br />

olmak üzere giv ı vektörleri her v E V, g E G için gv çarp ımını belirler.<br />

Şimdi bir FG-modülün bir gösterim kullanmaks ız ın nas ıl inşa edilebileceğini<br />

gösterece ğiz. Bunun için grup elemanlar ının V nin {v ı ,...,v,,} baz ı<br />

üzerindeki etkisini V nin tümü üzerine lineer olarak geni şletece ğiz. Her<br />

ll E G, v E V ve 1 < < n için «gvi çarp ımını ;<br />

gv = g(A ı vı ... An Vn<br />

= Al(gv ı ) An(gvn)<br />

olarak tammlayacak olursak a şağıdaki sonucu verebiliriz.<br />

Onerme 4.1.7<br />

vr,} baz ı ile V; F üzerinde bir vektör uzay ı olsun.<br />

1 < i < n olmak üzere her g, h E G ve her A l , • • a n E F için gvi çarpım ı;<br />

(i) gv, E V,<br />

(ii)<br />

(gh)v, = g(hv,),<br />

(iii) lv, = v„


46 Bölüm 4. FG-Modüller<br />

(iv) gNv i ...+ >knVn) = A1(gV1)<br />

)'n(gvn)<br />

şartlarını sağlıyorsa, bu durumda V bir FG-modüldür.<br />

Ispat (iii) ve (iv) den her v E V için 1v = v olur. (i) ve (iv) den her<br />

g E G için v gv fonksiyonu V nin bir endomorfizmas ıd ır. Böylece her<br />

u, v E V, g E G ve A E F için gv E V ve<br />

g(Av) = A(gv)<br />

g(u v) = gu gv<br />

elde edilir. Bundan dolay ı her A l , ..., An E F,h E G, ui ,...,un E V için<br />

h( th . • • + Anun ) = (kul) -F • • . An(hun) ( 4 . 1 )<br />

dir.<br />

Şimdi v E V, g, h E G alalım. Al, • An E F olmak üzere<br />

v = ... A nv,,, olsun. Bu durumda;<br />

(gh)v = (gh)(>ı v ı . • 4v,,)<br />

= ı ((gh)v ı ) -F • .. 4((gh)v r,) ((iv) den)<br />

Al(g(hv ı )) . . A n (g(hun)) ((ii) den)<br />

g(Ai(hv ı ) 4- • • . An (hvn )) ((4.1) den)<br />

g(hv)<br />

olur. Böylece V, FG-modül aksiyomlar ım Sağlar.<br />

Şimdi aşikar ve faithful gösterim tan ımlar ın ın modüllere uyarlanmas ı<br />

olan a şağıdaki tan ımı verebiliriz.<br />

Tan ım 4.1.8 V; F üzerinde 1-boyutlu bir vektör uzay ı ve her v E V, g E G<br />

için gv = v şart ını sağlıyorsa, bu durumda V ye aşikar FG-modül denir.<br />

Eğer her v E V için gv = v şart ım sağlayan yegane g elaman ı G nin birimi<br />

ise, bu durumda V ye faithful FG-modül ad ı verilir.<br />

Örnek 4.1.5 deki FD 4-rnodülü faithfuldur.<br />

Şimdi Onerme 4.1.7 yard ımıyla simetrik gruplar ın bütün altgruplar ı için<br />

faithful FG-modülleri in şa edeceğiz.


4.2. Permütasyon Modülleri 47<br />

4.2 Permütasyon Modülleri<br />

G; 5„ nin bir altgrubu ve V; F üzerinde {v i , ..., v„,} baz ı ile n-boyutlu bir<br />

vektör uzay ı olsun.<br />

1 < i < n olmak üzere her i ve her g E G için<br />

gvi = vs( ı )<br />

olsun. Bu durumda g bir permütasyon oldu ğundan gvi E V ve lvi = vi olur.<br />

Ayr ıca g, h E G için;<br />

(gh)vi = v( gh)(i) = vg ( h (i)) = g(hvi)<br />

dir. G nin etkisini lineer olarak V nin tümüne geni şletecek olusak, bu durumda<br />

A l , ..., A r, E F ve g E G olmak üzere,<br />

9(Alvı ... Arı vn) = A ı (gvı ) An(Yvn)<br />

dır. Böylece Önerme 4.1.7 gere ğince V bir FG-modüldiir.<br />

Örnek 4.2.1 G = S4 ve B = {v i , v 2 , v3, v4}; V nin bir baz ı olsun. Eğer<br />

g = (12) ise, bu durumda<br />

gv i = v2, gv2 = vi ı<br />

gv3 = v3, gv4 = v4<br />

olur. g<br />

gv dönüşümüne kar şılık gelen matris;<br />

[g]B=<br />

dir. Ayr ıca h = (134) ise, bu durumda<br />

hv1 = V3, hv2 = v2, hv3 = v4 ı hv4 = vı<br />

ve h --> hv dönü şümüne kar şılık gelen matris;<br />

[h]B =<br />

/ o 0 0 ı<br />

o lo o<br />

ı 000<br />

\o o ı o/


48 Bölüm 4. FG-Modüller<br />

olarak elde edilir.<br />

Tan ım 4.2.2 G; Sn in bir altgrubu ve V; {v i , ..., v„} baz ı ile birlikte bir<br />

FG-modül olsun. Her i ve her g E G için<br />

gvi = vs(i)<br />

ise, V ye permütasyon modülü ve {vi , ..., v7,} ye V nin doğal bazı denir.<br />

Eğer V; B = {v i , ... ,vn } baz ı ile birlikte bir permütasyon modülü ise,<br />

her g E G için [g]3 matrisi her sat ır ve sütununda bir tane 1, di ğer bile şenleri<br />

0 olan bir matristir. Bu matrise permütasyon matrisi adı verilir.<br />

Her vi vektörünü sabit b ırakan yegane g eleman G ııin birimi olduğundan<br />

permütasyon modülü faithfuldur.<br />

Cayley Teoreminden n yinci mertebeden her G grubu Sn nin bir alt<br />

grubuna izomorf oldu ğundan G n-boyutlu faithful bir FG-modüle sahiptir.<br />

Örnek 4.2.3 G = C3 =< a : a3 = 1 > olsun. Kolayca gösterilebilir ki G; S3<br />

ün (123) tarafından üretilen altgrubuna izomorftur. V = Sp{v i , v2, v3};<br />

3-boyutlu bir vektör uzay ı olsun. Bu durumda V<br />

lvi = vı avi = v2, av ı = v3<br />

,<br />

2 = v2, av2 = V3, a 2 V2 = v1 1v<br />

1v3 = V3, av3 = vi, a 2 v3 = v 2<br />

etkisiyle bir FG-modüldür. G nin etkisi V nin tümüne lineer olarak geni şletildiğinde;<br />

v E V ve Al , A2, E F için;<br />

gv = g(A ı vı + A2v2 + A3v3) = > ı (gv ı ) + A2(9v2) + 4(.9v3)<br />

olduğundan V; bir FG-modüldür.<br />

4.3 FG-Modüller ve Denk Gösterimler<br />

FG-modüller ile G nin denk gösterimleri aras ındaki ili şkiyi vererek bu bölümü<br />

t amamlay ıyoruz .<br />

Bir FG-modüle g [g],E3 formunda bir çok gösterim kar şılık gelir.<br />

A şağıdaki sonuç bu şekildeki gösterimlerin denk olduğunu göstermektedir.<br />

Teorem 4.3.1 V; B baz ı ile birlikte bir FG-modül ve p : g<br />

bir gösterimi olsun.<br />

[g]B , G nin


4.3. FG-Modüller ve Denk Gösterimler 49<br />

(i)<br />

Eğer B ' ; V nin bir baz ı ise, bu durumda p; G nin<br />

: g --> [g]B ,, (g E G)<br />

şeklinde tan ımlanan gösterimine denktir.<br />

(ii)<br />

Eğer cr ve p; G nin denk gösterimleri ise, bu durumda<br />

olacak şekilde V nin bir B" baz ı vardır.<br />

[9].13"<br />

Ispat<br />

(i) T; B den B' ye baz de ğişim matrisi olsun. Bu durumda her g E G için<br />

[g]B, =<br />

[g]BT<br />

dir. Yani; her g E G için<br />

dir. Böylece p; q5 ye denktir.<br />

0(g) = T 1 P(g)T<br />

(ii) p ve o-; G nin denk gösterimleri olsun. Bu durumda bir T tersinir<br />

matrisi için<br />

cr(g) = T-1 p(g)T<br />

dir. Şimdi B"; V nin B den B" ye geçi ş matrisi T olan bir baz ı olsun.<br />

olup, Q(g) = [g]B n dür.<br />

= [g]B T<br />

Örnek 4.3.2 G = C3<br />

a : a3 = 1 > ve G nin<br />

p(p ( 1 O ) ,‘,(a) Oi ,p(a2) _ —1 1<br />

) O 1 P\ 1 o


IliBi<br />

50 Bölüm 4. FG-Modüller<br />

p gösterimini gözönüne alal ım. Bu durumda p(a 2 ) = (p(a)) 2 ve (p(a))3 =<br />

dir.<br />

Eğer V; C üzerinde {v ı , v2} baz ı ile birlikte bir vektör uzay ı ise,<br />

lvı = v ı , av ı = vı , a 2 V1 = - v2<br />

1v2 = v2, av2 = — vı — v2, a 2 v2 = vı<br />

etkisiyle bir CG-modüldür. Böylece;<br />

ı o ( o --1 ra 2,_<br />

[1]B = o ı ' [alB = ı —1 ) j13<br />

( -1 1 )<br />

-1 O<br />

olur.<br />

Şimdi V nin bir ba şka baz ı B' = {u ı = vi , u2 = yı -I- v2} olsun. Bu<br />

durumda<br />

ve<br />

luı = u ı , au ı = —u ı a2 u ı = —u 2<br />

1u2 = u2, au2 = —u ı , a 2 U2 = Ul - U2<br />

= O 1 ) = ( 1 O<br />

)<br />

' [a2 1/31 =<br />

(<br />

O<br />

—1 —1<br />

)<br />

olmak üzere<br />

[9]/3'<br />

gösterimi elde edilir. B den B' ye geçi ş matrisi<br />

ve her g E G için<br />

T = ( 1 1<br />

O 1<br />

[9]B' = T—i [g]BT<br />

olur. Böylece Teorem 4.3.1.(i) den p ile clı denktir.


4.4. Al ışt ırmalar 51<br />

4.Bölümün Ozeti<br />

(i) V; F cismi üzerinde bir vektör uzay ı olsun. Tan ım 4.1.2 deki<br />

(i)-(v) şartlar ını sağlayan çarp ımla V bir FG-modüldür.<br />

(ii) Bir G grubunun gösterimleri ile FG-modüller aras ında a şağıdaki ili şkiler<br />

vardır.<br />

(a) p : G GL(n, F); G nin bir gösterimi olsun. Bu durumda<br />

v E F', g E G için<br />

gv = p(g)v<br />

çarp ımıyla Fn bir FG-modiildür.<br />

(b) Eğer V; B baz ı ile birlikte bir FG-modül ise, bu durumda<br />

p : G ---> [g]B, G nin bir gösterimidir.<br />

(iii) Eğer G; Sn nin bir altgrubu ise, bu durumda her g E G ve her<br />

1 < i < n için permütasyon FG-modülü {vi, ..., vn } baz ına ve<br />

gvi = vg (i ) çarp ımına sahiptir.<br />

4.4 Alışt ırmalar<br />

(1) G = S3 ve V = Sp{v i , v2 , v3}; C üzerinde bir permütasyon modiilü<br />

olsun. Bi = {vi , v2 , v3}, B2 = {Vi v2 v3, Vi — v2, Vi — V3} ; V nin iki<br />

baz ı olsun. Her g E S3 için 3 x 3 tipindeki [g]B1 ve [g]B2 matrislerini<br />

bulunuz. [g]B2 matrisi hakk ında ne söyleyebilirsiniz<br />

(2) G = S, ve V; F üzerinde bir vektör uzay ı olsun. Her v E V için<br />

gv<br />

v, g çift permütasyon ise<br />

—v, g tek permütasyon ise<br />

şeklinde tan ımlanan gv çarp ım ı ile V nin bir FG-modül oldu ğunu<br />

gösteriniz.


52 Bölüm 4. FG-Modüller<br />

(3) Q8 =< a, b : a2 = b2 , a4 b- ıab = a-ı > quaternion grubunu<br />

gözönüne alal ım. {vi , v2 , v3 , v4 } baz ıyla 4-boyutlu bir V vektör uzay ının<br />

avi = v2, av2 = -vı , ava = -v4, av.4 = v3<br />

V3, bv2 = V4, bv3 - vı , bv4 = -v2<br />

bvi =<br />

etkisiyle bir ı"Q 8-modül olduğunu gösteriniz.<br />

(4) A; n x n tipinde bir matris ve B de A nın sat ırlar ın ın yer deği ştirmesiyle<br />

elde edilen matris olsun. Gösteriniz ki, B = PA olacak şekilde n x n<br />

tipinde bir P permütasyon matrisi vard ır. Ayrıca, A nın sütünlarm ın<br />

yer değiştirmesiyle elde edilecek matris için de benzer bir sonuç bulunuz.


Bölüm 5<br />

FG-Altmodüller ve<br />

İndirgenebilirlik<br />

Bu bölümde FG-modüller teorisinde önemli bir yere sahip olan indirgenmez<br />

FG-modülleri inceleyeceğiz. İlk olarak bir FG-modülün FG-altmodülünü<br />

t an ımlayaca ğız.<br />

5.1 FG-Altmodüller<br />

Tanım 5.1.1 V bir FG-modül ve W; V nin bir altcümlesi olsun. E ğer W;<br />

V nin altuzay ı ve her g E G, w E W için gw E W ise, bu durumda W ya<br />

FG-altmodül denir.<br />

Yani, V nin FG-altmodülü; V nin altuzay ı olan bir FG-modüldür.<br />

Örnek 5.1.2 Eğer V; FG-modül ise, bu durumda {O} ve V; V nin FGaltmodülleridir.<br />

Örnek 5.1.3 G = C3 =< a : a3 = 1 > ve V; Örnek 4.2.3 de tan ımlanan<br />

3-boyutlu FG-modül olsun. {v i , v2 , v3}; V nin baz ı olmak üzere G nin V<br />

üzerindeki etkisi<br />

şeklindedir.<br />

lvı = vi , av ı = v2, a 2 v1 = v3<br />

2 = v2, av2 = v3, a 2 v2 -- vl 1v<br />

1v3 = v3, av3 = vi, a 2 V3 = v2<br />

53


54 Bölüm 5. FG-Altmodüller ve İndirgenebilirlik<br />

w v2 + v3 olmak üzere kolayca gösterilebilir ki W = S p{w}; V nin<br />

1-boyutlu bir altuzay ıdır. Ayr ıca;<br />

lw = aw = a 2w = w<br />

olduğundan W; V nin bir FG-altmodülüdür. Fakat;<br />

a(vi + v2 ) = v2 + v3 Sp{vi + v2}<br />

olduğundan Sp{vi 4- v2}; V nin bir FG-altmodülü de ğildir.<br />

5.2 İndirgenmez FG-modüller<br />

Tan ım 5.2.1 Eğer bir V FG-modülünün {O} veya V den ba şka bir FGaltmodülü<br />

yoksa V ye indirgenmez FG-modül denir.<br />

Eğer V; {O} veya V den ba şka bir FG-altmodüle sahip ise, V ye indirgenebilir<br />

FG-modül adı verilir.<br />

Benzer şekilde bir p : G G L(n, F) gösterimine, v E Fn ve g E G için<br />

gv = p(g)v<br />

çarp ımıyla kar şılık gelen Fn; FG-modfilü indirgenmez ise, bu durumda p ya<br />

indirgenmez gösterim, eğer Fn indirgenebilirse, p ya indirgenebilir gösterim<br />

ad ı verilir.<br />

V indirgenebilir bir FG-modül olsun. Bu durumda 0 < dimW < dimV<br />

olacak şekilde bir W FG-altmodülü vard ır. W nin bir baz ın ı V nin bir<br />

baz ına tamamlayacak olursak her g E G için [g] matrisi,<br />

x9 o<br />

YZg<br />

(5. 1)<br />

form ıına sahiptir. Burada Xg ; k x k (k = dimW) tipinde bir matristir.<br />

Derecesi n olan bir gösterimin indirgenebilir olmas ı için gerek ve yeter<br />

şart 0 < k < n ve X g ; k x k tipinde bir matris olmak üzere bu gösterimin<br />

(5.1) formunda olmas ıd ır.<br />

Uyar ı 5.2.2 (5.1) deki g X g ve g ----> Zg fonksiyonlar ı G nin gösterimleridir.<br />

Bunu görmek için; g, h E G olmak üzere (5.1) formunda verilen<br />

[9],B ve [h]B matrislerinin çarpım ına bakınız. Ayr ıca V indirgenebilir ise, bu<br />

durumda kesin olarak dimV > 2 dir.


5.2. indirgenmez FG-modüller 55<br />

Örnek 5.2.3 G = C3 =< a : a3 = 1 > ve V; {vi , v2, v3} baz ıyla, Örnek<br />

4.2.3 deki<br />

avı -= v2 , av2 = v3 , av3 = v ı<br />

etkisiyle 3-boyutlu bir FG-modül olsun. W = Sp{v ı 4- v2 v3}; V nin<br />

FG-altmodülüdür. V yi B = {v i -I- v 2 + v3 , vi , v2} baz ıyla gözönüne alacak<br />

olursak, bu durumda<br />

1 O O 1 o ı 1 O<br />

{11B = 0 1 O), [a]B = o — 1 , [a 2]B = —1 1<br />

o O 1 o 1 —1 O — 1 O<br />

olur.<br />

Böylece bu indirgenebilir gösterim yard ımıyla iki ayr ı gösterim bulabiliriz.<br />

Bu gösterimlerin birincisi; g --> X g = (1) a şikar gösterimi, diğeri de<br />

g --> Zg yani;<br />

dir.<br />

CO<br />

—1 (<br />

1 a --> a 2 --><br />

1 -1<br />

-1 1 )<br />

-1 O<br />

Örnek 5.2.4 G = D4 ve V = F2 ; Örnek 4.1.5 deki gibi tan ımlanan<br />

2-boyutlu FG-modül olsun. Böylece G =< a,b> ve her (A, ıl) E V için<br />

a(A,P)= (g, b(A,P) = —P)<br />

olur.<br />

V nin indirgenmez FG-modül oldu ğunu göstermek istiyoruz. Bunun için<br />

V nin U V olacak şekilde bir U; FG-altmodülü oldu ğunu kabul edelim.<br />

Bu durumda dimU < 1 ve dolay ısıyla a,,3 E F için U = Sp{(a,)(3)} olur.<br />

U bir FG-modül olduğundan b(a, /3); (a„ d) nın bir kat ıd ır. Buradan a = 0<br />

ve = 0 d ır. Yine a(a, (3) da (a, /3) nın bir kat ı olacağından a = /3 = 0 ve<br />

böylece U = {0} d ır. Dolay ıs ıyla V indirgenmezdir.<br />

5. Bölümün Özeti<br />

(i) Eğer V bir FG-modül ve W; V nin kendi ba şına FG-rr ıodül olan bir<br />

altuzay ı ise bu durumda W; V nin bir FG-altmodülüdür.<br />

(ii) V; FG-modülünün FG-altmodülleri yaln ızca {0} ve V ise, bu durumda<br />

V indirgenmez FG-modüldür.


56 Bölüm 5. FG-Altmodüller ve İndirgenebilirlik<br />

5.3 Al ışt ırmalar<br />

(1) G = C2 =< a : a 2 = 1 > ve V = F 2 olsun. Her (a, E V için<br />

1(oı ,,(3) = (a, P) ve a(a,,(3) = (0, a) tan ımlayalım. V nin bir FGmodül<br />

olduğunu gösterip, FG-altmodüllerini belirleyiniz.<br />

(2) p ve cş ; G nin denk gösterimleri olsun. E ğer p indirgenebilir ise, bu<br />

durumda o- da indirgenebilirdir. Gösteriniz.<br />

(3) Al ıştırma 3.5 de verilen D6 n ın dört gösteriminden hangisi veya hangileri<br />

indirgenmezdir<br />

(4 )<br />

a = (123), b = (456), c = (23)(45)<br />

S6 n ın permütasyonlar ı ve G =< a,b,c > olsun.<br />

(a) a3 = b3 = c 2 , ab = ba, e-lac = c- lbc = b' ve G nin<br />

mertebesinin 18 oldu ğunu gösteriniz.<br />

(b) e ve ri birimin kompleks küp kökleri olsun. G nin<br />

E 0 7] 0<br />

pa -= pb = i , pe =-- °<br />

( O E -1 ' O 77- 1 Ol<br />

şeklinde bir p gösterimine sahip oldu ğunu gösteriniz.<br />

(c) e ve ıi nın hangi değerleri için p faithfuldur<br />

(d)<br />

E ve 77 n ın hangi de ğerleri için p indirgenmezdir<br />

(5) G = C13 olsun. G nin ne indirgenebilir ne de indirgenmez olan bir<br />

CG-modülünü bulunuz.


Bölüm 6<br />

Grup Cebirleri<br />

Sonlıı bir G grubunun grup cebiri, G nin i şlemi yard ımıyla tan ımlanan yeni<br />

bir çarpmayla I G i-boyutlu bir vektör uzay ıd ır ve gösterin" teorisinde bilmek<br />

istediğimiz birçok bilgiyi içermektedir.<br />

Grup cebirleri tamam ıyla incelendiğinde sonlu gruplar ın gösterimleri daha<br />

kolay anla şılacakt ır. Bu sebeple grup cebirleri bizim için büyük önem<br />

ta şımaktad ır.<br />

Bu bölümde G nin grup cebirini tan ımladıktan sonra, G nin regüler<br />

gösterimi olarak bilinen ve daha sonra detaylar ıyla incelenecek olan önemli<br />

bir faithful gösterimi in şa etmek için grup cebirini kullanaca ğız.<br />

6.1 Bir G Grubunun Grup Cebiri<br />

G elemanlar ı gi ,<br />

gn olan sonlu bir grup ve F = IR veya C olsun.<br />

FG = {Alg ı_ ... Ang,, : ai E F, 1 < i < n}<br />

olmak üzere toplama ve skalerle çarpma i şlemleri:<br />

için<br />

n<br />

u = Aigi, v = E F<br />

i=1 =1<br />

u v<br />

(A),i)g,<br />

57


58 Bölüm 6. Grup Cebirleri<br />

şeklinde tan ımlan ır. Bu i şlemlerle ve {g ı ,...,g,} baz ı ile birlikte FG; F<br />

üzerinde n-boyutlu bir vektör uzay ı olur. baz ına FG vektör<br />

uzay ının doğal bazı denir.<br />

Örnek 6.1.1 G = C3 = < a : a3 = e > devirli grubu için<br />

şeklindedir.<br />

CG = {ele + c2a c3a 2 : ci , c2, c3 E C}<br />

u e — a -F 2a 2 , V = - 1 e + 5a 2<br />

için<br />

dir.<br />

3 , 1 1 1 2<br />

u + v = — e + 4a + 2a`, —u = —e — —a<br />

—a<br />

2<br />

2 3 3 3 3<br />

FG nin elemanlar ını<br />

E Agg, (>g E F)<br />

gEG<br />

şeklinde de ifade edebiliriz.<br />

Ayr ıca FG nin halka yap ıs ı da vard ır. Gerçekten; G deki çarpmay ı kullanarak<br />

FG üzerinde a şağıdaki gibi bir çarpma tan ımlayabiliriz:<br />

(gEG Agg)<br />

hEG Phh) = Agl-lh(qh), (Ag,[th E T)<br />

g,hEG<br />

= (41-th -1 g)g<br />

gEG hEG<br />

Örnek 6.1.2 Eğer G = C3 ve u,v CG nin Örnek 6.1.1 deki elamanlar ı ise,<br />

bu durumda<br />

uv = (e — a 2a 2 )(Ze + 5a)<br />

2 e + 5a — la — 5a 2 + a2 + 10a3<br />

2<br />

şeklindedir.<br />

= — 21 2 e -I- 2 — 4a 2


6.1. Bir G Grubunun Grup Cebiri 59<br />

Tan ım 6.1.3 FG vektör uzay ına<br />

Agg h (gh) , As , ıtth E F)<br />

gEG hEG g,hEG<br />

çarp ımıyla, G nin F üzerindeki grup cebiri denir.<br />

FG grup cebirinin tan ımladığımız çarpmaya göre bir birimi vard ır. 1; F<br />

nin ve e; G nin birimi olmak üzere; FG nin birimi le dir. Kolaylık açıs ından<br />

le yerine 1 kullanaca ğız.<br />

Önerme 6.1.4 Her r,s,t E FG, A E F için FG de tanıml ı çarpma<br />

aşağıdaki şartları sağlar:<br />

(i)<br />

(ii)<br />

rs E FG,<br />

r(st) = (rs)t,<br />

(iii) rl = lr = r,<br />

(iv)<br />

(Ar)s = >(rs) = r(>s),<br />

(v) (r s)t = rt st,<br />

(vi)<br />

r(s+ t) = rs rt,<br />

(vii) r0 = Or = O.<br />

Ispat<br />

(i) rs nin tan ımı kullan ıl ırsa, rs E FG olduğu kolayca elde edilir.<br />

r = A gg, s = ,ugg, t = Vgg, (4, Vg e F)<br />

olsun. Bu durumda<br />

gEG gEG gEG<br />

(rs)t =<br />

g,h,kEG<br />

Agggl ık(gh)k<br />

= A ggg likg(hk)<br />

g,h,kEG<br />

= r(st)<br />

dir. Diğerleri okuyucuya, b ırakılmışt ır.


60 Bölüm 6. Grup Cebirleri<br />

Genel olarak, herhangi bir vektör uzay ı (i)-(vii) özelliklerini sa ğlayan bir<br />

çarpma i şlemine sahipse bu vektör uzay ına cebir denir. Fakat biz sadece grup<br />

cebirleriyle ilgilenece ğiz. Görüldüğü gibi bir cebir hem vektör uzay ı hem de<br />

halka yap ısma sahiptir.<br />

■<br />

6.2 Regüler FG-modül<br />

Şimdi gösterimler teorisinde önemli bir yere sahip olan regüler FG-modülü<br />

tan ımlamak için grup cebirini kullanaca ğız. Eğer V = FG ise, bu durumda<br />

V; F üzerinde 1 G H n-boyutlu bir vektör uzay ıdır. u, v E V, A E F ve<br />

g , h, E G için gv E V ve<br />

(gh)v = g(hv)<br />

lv = v<br />

g(Av) = A(gv)<br />

g(u+ v) = gu gv<br />

özellikleri Önerme 6.1.4.(i),(ii),(üi),(iv) ve (v) den sa ğlamr. Böylece V bir<br />

FG-modüldür.<br />

Tan ım 6.2.1 G sonlu bir grup, F = lk veya C olsun. g E G ve v E V için<br />

bilinen gv çarp ımı ile birlikte FG vektör uzay ına regüler FG-rnodill denir.<br />

B; FG nin doğal baz ı olmak üzere g ---> [g]i3 gösterimine G nin regüler<br />

gösterimi denir. Regüler FG-modülün F üzerindeki boyutu G dir.<br />

Onerme 6.2.2 Regüler FG-modül faithfuldur.<br />

Ispat g e G ve her v E V için gv v olsun.<br />

gv = g(A ı g ı<br />

Angn)<br />

= Al(ggı ) An(ggn)<br />

= Algı + Angn<br />

her 1 < i < n için ggi = gi olduğundan g = 1 dir. Böylece V bir faithful<br />

FG-modiildür.<br />


6.3. Bir FG-Modiii Üzerinde FG nin Etkisi 61<br />

Örnek 6.2.3 G = C3 =< a : a3 = e > olsun. Bu durumda FG nin<br />

elemanlar ı 1 < i < 3 için Ai E F olmak üzere<br />

Ale 4- >t 2a A3a 2<br />

formundad ır. Böylece G nin FG üzerindeki etkisi;<br />

e(Ale Aza+ A3a 2 ) = A ı e ata A3a 2<br />

a(A i e A 2a A3a 2 ) A3e A l a A 2a 2<br />

a 2 (A i e A 2a A 3a 2 ) = A 2 e A 3a Ai a2<br />

şeklindedir. FG nin {e, a, a 2} doğal baz ına göre g ---> [g]B gösterimi<br />

e---><br />

1<br />

0<br />

O<br />

O<br />

1<br />

0<br />

O<br />

0 )<br />

1<br />

O<br />

,a--->(1<br />

O<br />

O<br />

0<br />

I.<br />

1<br />

0),a 2<br />

O<br />

---+<br />

( O<br />

0<br />

1<br />

1<br />

0<br />

0<br />

O<br />

1<br />

0<br />

olarak elde edilir.<br />

6.3 Bir FG-Modül Üzerinde FG nin Etkisi<br />

Hat ırlayacağırn ız gibi bir FG-modül g E G, v E V için gv çarp ımıyla F cismi<br />

üzerinde bir vektör uzay ıd ır. Çarpma tan ımını lineer olarak geni şleterek FG<br />

grup cebirindeki her r eleman' için V deki rv eleman ını , şimdi vereceğimiz<br />

doğal bir yolla belirleyebiliriz.<br />

Tan ım 6.3.1 V bir FG-modül ve<br />

olsun. Bu durumda<br />

v E V, r = ggg E FG, (pg E F)<br />

.geG<br />

dir.<br />

rv = (E ,ugg) v = ag (gv)<br />

gEG<br />

gEG


62 Bölüm 6. Grup Cebirleri<br />

Örnek 6.3.2 V Örnek 4.2.1 deki ES 4 permütasyon modülü olsun. E ğer<br />

A, /L E F için<br />

ise,<br />

r = A(12) + g(134)<br />

ve böylece<br />

şeklindedir.<br />

rvi = A(12)v ı pı(134)vi = Av2 tı v3<br />

rv2 = A(12)v2 + p(134)v2 = Av ı Pv2<br />

r(2vi + v2) = 2Av2 2pv3 Avı + gv2<br />

= Avi -I- (2A + p)v 2 2gv3<br />

Örnek 6.3.3 Eğer V regüler bir FG-modül ise, bu durumda her v E V ve<br />

r E FG için rv eleman', grup cebirinin elemanlar ı olan r ve v nin çarp ımıdır.<br />

Önerme 6.3.4 V bir FG- ınodill olsun. Bu durumda her u, v E V, A E F<br />

ve her r, s E FG için aşağıdakiler sağlanır:<br />

(i) rv E V,<br />

(ii)<br />

(rs)v = r(sv),<br />

(iii) lv = v,<br />

(iv)<br />

(v)<br />

(vi)<br />

r(v) = (rv) = (Ar)v,<br />

r(ıt v) = ru rv,<br />

(r s)v = rv sv,<br />

(vii) 0v = r0 = O.<br />

ispat<br />

(ii) v E V ve r, s E FG olmak üzere;<br />

r =<br />

gEG<br />

, s = >ghh<br />

hEG


6.3. Bir FG-Modül Üzerinde FG nin Etkisi<br />

63<br />

olsun. Bu durumda,<br />

(rs)v = ( A gg E ithh) v<br />

gEG hEG<br />

= Ag ıtih(gh)) V<br />

g,hEG<br />

A ggh(gh)V<br />

g,hEG<br />

= oithg(hv)<br />

g,hEG<br />

= Agg E Ph(hv)<br />

g EG hEG<br />

= r(sv)<br />

dir. Diğerleri ah şt ırma olarak okuyucuya b ırak ılmışt ır.<br />

6.Bölümün Ozeti<br />

(i) G nin F üzerindeki FG grup cebiri, G nin bütün elemanlar ın ın lineer<br />

kombinasyonlarm ı içerir ve doğal bir çarpmaya sahiptir.<br />

(ii) FG vektör uzay ı v E FG, g E G için doğal gv çarp ımı ile birlikte bir<br />

regüler FG-modüldür.<br />

(lii) Regüler FG-modül faithfuldur.


64 Bölüm 6. Grup Cebirleri<br />

6.4 Al ışt ırmalar<br />

(1) G = D4 = < a,b : a4 = b2 = = a i > olsun.<br />

(a) x = a 2a 2 , y = b+ ab — a2 E CG olsun. xy, yx, x 2 elemanlar ını<br />

belirleyiniz.<br />

(b) z = b + a2 b olsun. Her g E G için zg = gz olduğunu gösteriniz.<br />

(2) C2 x C2 nin regüler gösterimine kar şılık gelen matrisi bulunuz.<br />

(3) G = C2 ve r,s E CG olsun. rs = 0 olması r = 0 veya s = 0 olmas ın ı<br />

gerektirir mi<br />

(4) G = sonl ıı bir grup ve CG nin<br />

eleman ın ı gözönüne alal ım.<br />

C =<br />

1=1<br />

(a) Her h E G için eh = hc = e olduğunu ispatlay ınız.<br />

(b) c2 =I G İ c olduğunu gösteriniz.<br />

(e) O : CG CG; 0(v) = ev lineer dönü şümü verilmi ş olsun. CG<br />

nin B baz ı {g,. ..,gn } olmak üzere [9]B matrisini belirleyiniz.<br />

(5) Eğer V bir FG-modül ise, bu durumda her r E FG ve v E V için,<br />

olduğunu gösteriniz.<br />

r0 = O, Ov = O<br />

Ayrıca I G I> 1 olmak üzere her sonlu G grubu için bir V; FG-modülü<br />

ve v E V, r E FG vardır, öyleki r 0 ve n 0 için rv = 0 oldu ğunu<br />

gösteriniz.<br />

(6) G = D3 = < a, b : a3 = b2 = 1, b—l ab = a— ı > ve w = e 2"i/3 olsun. CG<br />

nin 2-boyutlu<br />

W = Sp{1 + w 2a + wa2 ,b w 2ab + wa2 b}<br />

altuzay ı regüler CG-modülün bir indirgenmez CG-altmodülüdür. Gösteriniz.


Bölüm 7<br />

FG-Homomorfizmalar<br />

Gruplar ve vektör uzaylar ı için yap ı koruyan fonksiyonlar s ıras ıyla grup homomorfizmalar<br />

ı ve lineer dönü şümlerdir. Benzer şekilde FG-modüller için<br />

yap ı koruyan fonksiyonlar ise FG-homomorfizmalard ır. Bu bölümde FGhomomorfizmalar<br />

ı det oylar ıyla inceleyeceğiz.<br />

7.1 FG-Homomorfizmalar<br />

Tanım 7.1.1 V ve W FG-modül, O : V --> W fonksiyonu, bir lineer<br />

dönüşüm ve her v E V, g E G için<br />

B(gv) = gO(v)<br />

şart ını sağhyorsa, bu durumda O ya FG-homomorfizma denir. Ba şka bir<br />

ifadeyle O, v yi w ye götürüyorsa gv yi de gw ya götürür.<br />

Eğer G sollu bir grup ve O : V --+ W bir FG- homomorfizma ise, her<br />

v e V ve r = A gg E FG için<br />

g EG<br />

0(rv) = O(Z Xg(gv))<br />

gEG<br />

= A g O(gv)<br />

gEG<br />

= A gg8(v)<br />

gEG<br />

TO(v)<br />

65


66 Bölüm 7. FG-Homomorfizmalar<br />

dir.<br />

Aşağıdaki sonuç FG-altmodüllerin do ğal örneklerinin FG-homomorfizmalar<br />

yard ımıyla elde edildi ğini göstermektedir.<br />

Onerme 7.1.2 V ve W FG-modül ve 0 : V -- W bir FG-homomorfizma<br />

olsun. Bu durumda Ker0; V nin ve ImO, W nin FG- altmodülüdür.<br />

ispat Öncelikle 0 lineer dönü şüm oldu ğundan K er0; V nin, /mO; W nin<br />

altuzaylar ıdır.<br />

v E Ker.° ve g E G olsun. Bu durumda<br />

9(gv) = gO(v) = g0 = 0<br />

olduğundan gv E Ker0 d ır. Böylece Ker0; V nin FG-altmodülüdür.<br />

w E /m0 olsun. Bu durumda w = 0(v) olacak şekilde bir v E V vard ır.<br />

Her g E G için<br />

gw = g9(v) = 9(gv) E /m0<br />

olur ve böylece /m0; W nin FG-altmodülüdür.<br />

■<br />

Örnek 7.1.3 Eğer 0 : V W fonksiyonu her v E V için 0(v) = 0 ise, bu<br />

durumda 9 bir FG-homomorfizma, Kel.° = V ve /m0 = {0} d ır.<br />

Örnek 7.1.4 0 : V --> V fonksiyonu a E F ve v E V için 9(v) = Av olsun.<br />

Bu durumda 0 bir FG-homomorfizmad ır. Ayrıca, 0 için Kere = {O},<br />

/m0 = V dir.<br />

Örnek 7.1.5 G; Sn in bir altgrubu, V = Sp{v ı , , v7,} permütasyon<br />

modülü ve W = Sp{w} aşikar FG-modül olsun.<br />

V den W ya tanımlanan 9; FG-homomorfizmas ını şöyle inşa edebiliriz:<br />

O : n Ai) w, (Ai E F)<br />

i=1 i=1<br />

tan ımlayalım. Böylece her 1 < i < n için 0(vi) = w dir. Bu durumda 0 bir<br />

lineer dönü şüm ve her v = E Aivi E V, g E G için<br />

i= 1<br />

ve<br />

•rt<br />

0(gv) = O (Aiv g ( i)) = (E Ai) w<br />

i=1 i=ı


7.2. İzomorfik FG-Modüller 67<br />

gO(v) = g ((Ek) w) =<br />

i=ı<br />

dir. Böylece O bir FG-homomorfizma ve<br />

K er0 = {E Aivi : (E = O}<br />

/mO<br />

= )xiVi : E A• = O}<br />

i=1<br />

= W<br />

şeklindedir. Ayr ıca Önerme 7.1.2 den Ker0; V permiitasyon modülünün<br />

FG-altmodülüdür.<br />

7.2 İzomorfik FG-Modüller<br />

Tan ım 7.2.1 V ve W FG-modüller olsunlar. Eğer O : V W F G-<br />

homomorfizmas ı tersinir ise O ya FG-izornorfizma denir. Eğer V ve W<br />

aras ında bir FG-izomorfizma varsa V ve W ye izomorfik FG-modüller denir<br />

ve V = W şeklinde gösterilir.<br />

A şağıdaki sonuç V = W iken W = V oldu ğunu göstermektedir.<br />

Onerme 7.2.2 Eğer O : V ---> W bir FG-izomorfizma ise 0 -1 :W<br />

de bir FG-izomorfizm,adir.<br />

V<br />

ispat 0 -1 in tersinir bir lineer dönü şüm olduğunu biliyoruz. 0 halde 0 -1<br />

in FG-homomorfizma oldu<br />

ğunu göstermeliyiz. w E W ve g E G için<br />

8(g(0-1(w))) = g8(0-1(w))<br />

gw<br />

dir. O birebir oldu ğundan<br />

= 0(0-1 (g w))<br />

0-1 (gw) = go-ı (w)<br />

olur. Böylece ispat tamamlan ır.<br />


68 Bölüm 7. FG-Homomorfiz ınalar<br />

: V –k W bir FG-izomorfizma olsun. Bu durumda V ve W izomorfik<br />

FG-modüllerinin cebirsel özellikleri ayn ıd ır. Böylece<br />

(1) dimV = dimW .<br />

,vnj; V nin bir baz ı {0(v ı ), , 0(v 7,)} W nin bir baz ı )<br />

(2) V indirgenmez W indirgenmez.<br />

(X; V nin FG-altmodülü < > 0(X); W nin FG-altmodülü)<br />

(3) V bir a şikar FG-altmodül içerir < > W bir aşikar FG-altmod al içerir.<br />

(X; V nin aşikar FG-altmodülü < > 0(X); W nin aşikar FG-altmodülü)<br />

olur.<br />

Şimdi izomorfik FG-modüllerin özelliklerini incelemeye devam edelim.<br />

Izomorfik FG-modüllere kar şılık gelen gösterimlerin denk oldu ğunu göstermeden<br />

önce bir önerme verelim.<br />

Önerme 7.2.3 V ve W FG-modüllerinin izomorfik olmas ı için gerek ve<br />

yeter şart her g E G için<br />

[g]Bı = [9],52<br />

olacak şekilde V nin B i ve W nin B2 bazlarının var olmas ıdır.<br />

Ispat B : V --+ W bir FG-izomorfizma ve B i = {vi, , tın } V nin bir baz ı<br />

olsun. Bu durumda B2 = {0(V ı ), O(V n)} de W nin bir baz ı olur. Ayrıca<br />

g E G ve her 1 < i < n için O(gvi) = gO(vi) olduğundan [g]Bi = [g]B2 dir.<br />

Tersine, her g E G için [g]Bi = [g]B2 olacak şekilde V nin<br />

Bi = {vi, . , v n } baz ı ve W nin B2 = {Wi, Wn } baz ını gözönüne alal ım.<br />

0; V den W ya her 1 < i < n için 0(vi) = wi şeklinde tan ımlanan tersinir<br />

bir lineer dönü şüm olsun. [g]B, = [g]B2 olduğundan her 1 < i < n için<br />

O(gvi) = gO(vi) olur. Böylece 0 bir FG-izomorfizmad ır.<br />

■<br />

Teorem 7.2.4 V ve W s ırasıyla B ve B' bazlarıyla FG-modüller olsunlar.<br />

Bu durumda<br />

V = W < > p : g ----> [g]3 ve ō g [g]B i gösterimleri denk ise.<br />

İspat V ve W izomorfik FG-modüller olsun. Önerme 7.2.3 den her g E G<br />

için [9]B İ = [g]B2 olacak şekilde V nin Bi ve W nin B2 bazları vardır.<br />

p gösterimi Teorem 4.3.1.(i) gere ğince G nin


7.2. İzomorfik FG-Modüller 69<br />

O: [9]Bi<br />

şeklinde tan ımlanan 0, gösterimine denktir. Yine Teorem 4.3.1.(i) den G nin<br />

: g ----> [9]132 = [g]Bi<br />

şeklinde tan ımlanan gösterimi Q ile denktir. O halde p ve e G nin denk<br />

gösterimleridir.<br />

Tersine p ve e G nin denk gösterimleri olsunlar. Bu durumda Teorem<br />

4.3.1.(ii) den<br />

cf(9) = [g]Bn<br />

olacak şekilde V nin bir B" baz ı vard ır.<br />

0-(9)= [9],9' ve °-(9)= [9]B"<br />

olduğundan her g E G için [g]B , = [g],9 ,, olur. Her g E G için [g]/31 = [9]B"<br />

olacak şekilde V nin bir B" ve W nin bir B' baz ı bulunduğundan Önerme<br />

7.2.3 gere ğince V = W dur. ■<br />

Örnek 7.2.5 G = C3 =< a : a3 = 1 > ve W regüler bir FG-modül olsun.<br />

Bu durumda B' = {1, a, a 2 }; W nin bir baz ıdır. Ayrıca<br />

1 0 O O o ı o 1 o<br />

[ ı ]B, = ( o ı o ) , [a]B , = ı o o , [a2]B, = ( o o ı<br />

o o ı o o ı o o<br />

olur. Şimdi bunu Örnek 4.2.3 deki V FG-modülü ile kar şılaştıralım.<br />

V; B = v3} baz ıyla<br />

avı = v2, av2 = v3, av3 =<br />

etkisine sahiptir. Bu durumda [g]B = [g]B ' olup, Önerme 7.2.3 den V ve W<br />

izomorfik olurlar. Gerçekten, Xi E F olmak üzere<br />

0 : A2y2 4- .X3v3 ---> A 2a A 3a2<br />

fonksiyonu V den W ya tan ımlı bir FG-izomorfizmad ır.


70 Bölüm 7. FG-Homomorfizmalar<br />

Örnek 7.2.6 G = D 4 =< a,b : a4 = b 2 = 1, b-lab = a i > olsun. G nin<br />

Örnek 3.1.2 deki<br />

ı<br />

P(a) = -<br />

1<br />

0 )<br />

p(b) ( )<br />

a(a) -=<br />

(i<br />

0 _ i ) , a(b)--= °1 01<br />

gösterimlerini gözönüne alal ım. V; {vi , v 2 } baz ı ve<br />

etkisi, W da {w ı , w 2 } baz ı ve<br />

avı = -v 2 , bv ı = vi , av 2 = vı ,<br />

bv2 = -v2<br />

awi = iw ı , bwi = w2, aw2 = -iw2, bw2 = w ı<br />

etkisiyle birer CG-modül olsunlar. B = {v i , v2} ve B' = {wi,w2} olarak<br />

alırsak; her g E G için<br />

P {g]B ve u : g [g] B ,<br />

elde ederiz. p ve o- denk oldu ğundan. Teorem 7.2.4 den V ve W izomorfiktirler.<br />

Gerçekten<br />

: V<br />

vi<br />

v2<br />

— iw2<br />

— w ı 4- w2<br />

şeklinde tan ımlanan bir tersinir lineer dönü şüm ise, bu durumda j = 1,2<br />

için<br />

0(avi) = a0(v3 ), 0(bvi) = b0(vj)<br />

dir. Sonuç olarak O : V<br />

W bir CG-izomorfizmad ır.<br />

7.3 Direkt Toplamlar<br />

Şimdi FG-modüllerin direkt toplamlar ın ı kullanarak bir FG-homomorfizman ın<br />

nas ıl olu şturulacağın ı göreceğiz.<br />

V bir FG-modül olsun. U ve W; V nin FG-altmodülleri olmak üzere


7.3. Direkt Toplamlar 71<br />

V = U eı W<br />

olsun. Bi = {u ı, , um }; U nun B2 =<br />

Wrd W nin bazlar ı olsunlar.<br />

Bu durumda Sonuç 2.4.4 den B = {u i , . • • , um w ı , • • • , wn} ; V nin bir baz ıd ır<br />

ve her g E G için<br />

Egl B<br />

Eg B ( 0<br />

0<br />

[ g 1 B2<br />

şeklindedir.<br />

Genel olarak, 1 < i < r için Ui ler FG-altmodüller olmak üzere e ğer<br />

V = ED G ve Bi; Ui nin baz ı ise, bu durumda Bi, , B, bazlar ından<br />

V nin bir B baz ını elde ederiz ve g E G için<br />

Egb3 =<br />

[g]131<br />

O<br />

şeklindedir.<br />

A şağıdaki sonuç bize direkt toplamlar yard ımıyla bir FG-homomorfizmanın<br />

nas ıl olu şturulacağın ı göstermektedir.<br />

Önerme 7.3.1 V bir FG-modül olsun. 1 < i < r için Ui ler V nin FGaltmodülleri<br />

olmak üzere V = Ui 6 ED U. olsun. Bu durumda her v E V<br />

ve ui E Ui için v = 211 . u, yaz ılım ı tek türlüdür. Ayr ıca 1 < i < r için<br />

iri : V --> V<br />

V --> Vi<br />

ise, ıri bir FG-homomorfizma ve V nin bir projeksiyonudur.<br />

İspat Açık olarak ıri bir lineer dönü şüm ve her ui E Ui, her g E G ve her<br />

v = ui 4- ... ur E V için<br />

ıri(gv) = r(gu ı<br />

... gur) = gui = g ıri(v)<br />

olduğundan ri bir FG-homomorfizmad ır. Ayrıca,<br />

ır,(v) =<br />

olduğundan ıri; V nin bir projeksiyonudur.<br />

= ui = ri(v)<br />


72 Bölüm 7. FG-Homomorfizmalar<br />

Şimdi indirgenmez FG-modüllerin direkt toplam ını olu şturmaya ili şkin<br />

bir teknik verece ğiz.<br />

Onerme 7.3.2 V bir FG-modül ve 1 < i < r için Ui; V nin indirgenmez<br />

FG-altmodülleri olmak üzere<br />

olsun. Bu durumda V; baz ı<br />

V = + • • • + Ur<br />

FG-altmodüllerin direkt toplam ıdır.<br />

Ispat Şimdi indirgenmez U ı , ..., U, FG-altmodiillerinden direkt toplam<br />

olan maksimum say ıda Uir leri seçmeye çalışacağız.<br />

Bunun için<br />

U,.} nin<br />

(i) Wı + • .. Ws direkt (yani Wı ... Ws )<br />

(ii) Eğer Ui E Y ise Wı + . • • + Ws Ui direkt olmas ın.<br />

şartlar ın ı sağlayan Y = {Wı , Ws } altcümlesini gözönüne alal ım.<br />

W = Wı + + Ws olsun. Her 1 < i < r için U,s C W olduğunu<br />

gösterelim. Eğer Ui E Y ise Uz c W dir.<br />

Ui E Y olsun. Bu durumda W + Ui direkt de ğildir. Yani W fl {O}<br />

dır. Fakat W fl ; ui nin FG-altmodülü ve Ui indirgenmez oldu ğundan<br />

W n ui ve Ui C W olur.<br />

Her 1 < i < r için C W oldu ğundan<br />

elde edilir.<br />

v = w = w, ... e 147,<br />

Eğer Vı , • • • , Vr FG-modüller ise Vı El) ... Vr dış direkt toplam ını, her<br />

vi E V, g E G için<br />

■<br />

g(vl , • • ,vr)<br />

çarp ımıyla FG-modül yapabiliriz.<br />

(gv ı , . • .,gvr)<br />

7. Bölümün Özeti<br />

(i) Eğer V ve W; FG-modül ve g E G, v E V için B : V ---> W<br />

0(gv) = ge(v),<br />

şart ını sağlayan bir lineer dönü şüm ise O bir FG-homomorfizmad ır.


7.4. Al ıştırmalar 73<br />

(ii) Bir FG-homomorfizman ın çekirdek ve görüntüsü FG-modüldür.<br />

(iii) Denk gösterimlere kar şılık gelen FG-modüller izomorftur.<br />

7.4 Alışt ırmalar<br />

(1) U, V ve W; FG-modüller ve 0 : U --> V, cP : V ----> W; FGhomomorfizmalar<br />

olsun. Bu durumda 00 : U W da bir FGhomomorfizmad<br />

ır. Gösteriniz.<br />

(2) G =< (12345) > olsun. G nin permütasyon modülü ile regüler FGmodülün<br />

izomorfik oldu ğunu gösteriniz.<br />

(3) V bir FG-modül olsun.<br />

Vo = {v E V : gv = v,g E G}<br />

altcümlesinin V nin FG-altmodülü oldu ğunu gösterinin. Ayr ıca v E V<br />

için<br />

: v --> gv<br />

gEG<br />

fonksiyonunun V den Vo a tan ımlanan bir FG-homomorfizma oldu ğunu<br />

gösteriniz. 0 örten midir Ara şt ırınız.<br />

(4) V ve W izomorfik FG-modüller olsun. V ve W nin s ıras ıyla Vo ve<br />

Wo FG-altmodüllerini Al ıştırma 3 deki gibi tammlayahm. Vo ve Wo<br />

ın izomorfik FG-modüller olduğunu gösteriniz.<br />

(5) G; S4 ün (12) ve (34) taraf ından üretilen bir altgrubu olsun. G nin<br />

permütasyon modülii ile regüler FG-modülü izomorfik midir Ara ştırınız.<br />

(6) G = C2 =< X : X 2 = 1> olsun.<br />

(a) ol, (3 E F için 8 : al -I- --> (ct — )3)(1 — x), fonksiyonunun<br />

regüler FG-modülden regüler FG-modüle tan ımlanan bir FGhomomorfizma<br />

olduğunu gösteriniz.<br />

(b) 0 2 = 28 m ıd ır Araştır ınız.


74 Bölüm 7. FG-Homomorfizmalar<br />

(c) FG nin<br />

[91B ..:__. ( 2 O<br />

O O<br />

olacak şekilde bir B bana' bulunuz.


Bölüm 8<br />

Maschke Teoremi<br />

Şimdi gösterim teorisinin ilk önemli sonucu olan Maschke Teoremini verece ğiz.<br />

Bu teoremin bir önemli sonucu F = R veya C olmas ı durumunda (F nin<br />

seçimi oldukça önemlidir) her FG-modülün indirgenmez FG-modüllerin direkt<br />

toplam ı şeklinde yaz ılabilmesidir. Bu sebeple gösterim teorisi indirgenmez<br />

FG-modüllerin incelenmesi üzerinde yo ğunla şmıştır.<br />

8.1 Maschke Teoremi<br />

Teorem 8.1.1 (Maschke Teoremi) G sonlu bir grup, F = R veya C ve V<br />

bir FG-modül olsun. Eğer U; V nin bir FG-altrnodülü ise, bu durumda<br />

V = U ED W<br />

olacak şekilde V nin bir W FG-altmodülii vardır.<br />

Ispat V nin bir U FG-altmodülünü gözönüne alalım. Bu durumda<br />

V = U ED Wo olacak şekilde V nin herhangi bir Wo altuzay ını seçelim (Wo<br />

ır. Fakat {vi , ver,,}; U nun bir baz ı olmak üzere bu<br />

için birçok seçim vard<br />

baz, V nin {vi , , vn, , vm+i , , un } baz ına tamamlayacak olursak<br />

Wo = Sp{v m+i , , vn } şeklinde seçilebilir).<br />

v E V için v = u w olacak şekilde u E U, w E Wo vektörleri tektir.<br />

: V V<br />

v .0(v) = u<br />

V nin bir projeksi-<br />

fonksiyonunu gözönüne alal ım. Önerme 2.12.1 den q5 ;<br />

yonudur. Ayr ıca Kerçb = Wo , Imcb = U şeklindedir.<br />

75


76 Bölüm 8. Maschke Teoremi<br />

yardımıyla V den V ye görüntü cümlesi U olacak şekilde bir FGhomomorfizma<br />

tan ımlayacağız. Eğer<br />

0 : V --> V<br />

v ---> 0(v) =<br />

1<br />

G (8. 1)<br />

olarak tammlamrsa, bu durumda 0; V nin bir endomorfizmas ı ve /m0 C U<br />

dur.<br />

Şimdi 0 n ın bir FG-homomorfizma oldu ğunu gösterelim. v E V ve x E G<br />

için;<br />

0(xv) = ı G G ,g0(g-I (xv))<br />

g ler G yi tararken h -1 = g- ı x de G yi tarar. Bu durumda<br />

0(xv) = G1 E xho(h- ı(v)). x<br />

ı hEG hEG<br />

ho(h-iv). xo(v)<br />

olur. Böylece 0 bir FG-homomorfizmad ır.<br />

Şimdi 0 2 = 0 olduğunu gösterelim. Öncelikle, u E U, g -1 E G için<br />

g- lu E U ve 0(g-lu) = g-l u dur. Bu durumda,<br />

E<br />

e(u) G 9,0(g-Lıt), gg -1 u = u = u (8.2)<br />

İ<br />

G I gEG<br />

olup, v E V için 0(v) E U dur. Bu durumda 0(0(v)) = 0(v) oldu ğundan<br />

bir projeksiyondur.<br />

Sonuç olarak bir 0 : V --> V projeksiyonu ve FG- homomorfizmas ını<br />

olu şturmu ş olduk. Ayrıca (8.2) den Irn8 = U dur. W = Kere olsun. Bu<br />

durumda W; V nin FG-altmodülü (Onerme 7.1.2) ve V = U e W (Onerme<br />

2.12.4) olur. Bu da ispat ı tamamlar. ■<br />

Örnek 8.1.2 Eğer F = R veya C olarak seçilmezse Maschke Teoremi hatal ı<br />

sonuç verebilir. Örne ğin p bir asal say ı , G = Cp =< a: aP =1> ve F = Zp<br />

olsun. j = 0,1, ... ,p - 1 için<br />

G<br />

gEG<br />

a --><br />

(1 j<br />

0 1


8.1. Maschke Teoremi 77<br />

fonksiyonunu G nin bir gösterimidir. V = Sp{v i , v2} her 0 < j < p — 1 için<br />

a3 vi = v ı<br />

aiv2 = jv ı + v2<br />

etkisiyle bir FG-modüldür. Aç ık olarak U = Sp{vi}; V nin FG-altmodülüdür.<br />

Fakat V = U ED W olacak şekilde bir W FG-altmodülü bulunamaz.<br />

Örnek 8.1.3 G = S3 ve V = S p{v i , v2 , v3}; F üzerinde bir permütasyon<br />

modülü olsun. u = vi + v2 v3 olmak üzere U = Sp{u} olarak seçelim. Bu<br />

durumda her g E G için gu = u olduğundan U; V nin bir FG-altmodülüdür.<br />

V = U ED W olacak şekilde birçok W altuzay ı bulunabilir. Örneğin<br />

Sp{v2 , v3 }, Sp{v i , v2} ve Sp{v i , v2 — v3 } bu şart ı sağlayan altuzaylard ır.<br />

Şimdi Wo = Sp{v i , v2} olarak seçelim. Kolayca gösterilbilir ki Wo bir FGaltmodül<br />

değildir. U üzerinde bir cP projeksiyonu<br />

--> 0<br />

v 2 0<br />

V3 ---><br />

+ V2 + V3<br />

olarak gözönüne al ınırsa (8.1) deki gibi bir FG-homomorfizma;<br />

şeklindedir. Aranan W FG-altmodülü;<br />

: v, --> (vi 1- v2 + v3) , = 1,2,3)<br />

3<br />

W = K er6+ = W = {Z Aivi : = O}<br />

= {vi — v2, v2 V3}<br />

şeklindedir.<br />

Eğer V nin bir B baz ı {vi v2 + v3, vi, v2} ise, bu durumda her g E G<br />

için [g]i3 matrisi;<br />

■ ■ ■<br />

[g]k3 = O ■ ■<br />

O ■ ■<br />

formundad ır. [g]B matrisindeki s ıfırlar U nun V nin FG-altmodülü olduğunu<br />

göstermektedir. Eğer B' baz ı olarak {vi + v2 + v3 , vi — v2 , v2 — v3} ahmrsa<br />

matrisi


78 Bölüm 8. Maschke Teoremi<br />

■ 0 0<br />

[g]B, = (O ■ ■<br />

0 ■ ■<br />

formuna sahiptir. Bunun sebebi Sp{v ı — v 2 , v 2 — v3} ün FG-altmodül olmas<br />

ıd ır.<br />

Bu örnek Maschke Teoreminin matrisler cinsinden nas ıl ifade edilece ğini<br />

göstermektedir:<br />

G sonlu bir grup olsun. E ğer her g E G için [g]B matrisi<br />

EgD3 =<br />

formuna sahip olacak şekilde V nin bir B baz ı varsa, bu durumda<br />

[g]B , = o*<br />

0* )<br />

olacak şekilde V nin bir B' baz ı bulunabilir.<br />

Şimdi p sonlu bir G grubunun n yinci dereceden indirgenebilir bir gösterimi<br />

olsun. Bu durumda X g ; k x k, (0 < k < n) tipinde bir matris olmak üzere<br />

p gösterimi<br />

Y<br />

zg ) (.9 e G)<br />

şeklindeki bir gösterime denktir.<br />

Maschke Teoreminin bir sonucu olarak 0 < k < n için p gösterimi A g ;<br />

k x k tipinde bir matris olmak üzere<br />

şeklindeki bir gösterime denktir.<br />

g<br />

(A g<br />

0<br />

OBg )<br />

8.2 Maschke Teoreminin Sonuçlar ı<br />

Şimdi s ıfırdan farkl ı bir FG-modülü indirgenmez FG-altmodüllerin direkt<br />

toplam ı olarak yazabilmek için Maschke Teoremini kullanaca ğız.


8.2. Maschke Teoreminin Sonuçlar ı 79<br />

Tan ım 8.2.1 V bir FG-modül ve 1 < i < r için Ui ler V nin indirgenmez<br />

FG-altmodülleri olmak üzere<br />

V =<br />

ise, bu durumda V ye tamamen indirgenebilirdir denir.<br />

Teorem 8.2.2 Eğer G sonlu bir grup ve F = R veya C ise, bu durumda<br />

s ıf ırdan farklı her FG-modül tamamen indirgenebilirdir.<br />

ispat V s ıfırdan farkl ı bir FG-modül olsun. İspat ı V nin boyutu üzerinde<br />

tümevar ım uygulayarak yapaca ğız. dimV = 1 ise, bu durumda V indirgenmez<br />

olduğundan iddia doğrudur.<br />

Eğer V indirgenmez ise, bu durumda iddia yine do ğrudur. Kabul edelim<br />

ki V indirgenebilir olsun. Bu durumda V nin {O} ve V den farkl ı bir U FGaltmodülü<br />

vard ır. Maschke Teoreminden V = U ED W olacak şekilde bir<br />

W FG-altmodülü vard ır. dimU < dimV ve dimW < dimV olduğundan<br />

tümevar ımla 1 < i < r) olmak üzere Ui indirgenmez FG-altmodülleri için<br />

U =Ui®•••® Ur<br />

ve Wi (1 < j < s) indirgenmez FG-altmodülleri için<br />

w = e . e W,<br />

şeklinde yaz ılabilir. Bu durumda Sonuç 2.4.5 den<br />

v (ii . • • e ur e wı e • • • e Ws<br />

olup, V indirgenmez FG-altmodüllerin direkt toplam ıdır.<br />

Maschke Teoreminin bir önemli sonucu da aşağıda verilmi ştir.<br />

Onerme 8.2.3 V bir FG-modül, F = 118 veya C, G sonlu bir grup olsun.<br />

U; V nin bir FG-altırıodillii olmak üzere V den U ya örten bir FGhomomorfizma<br />

vard ır.<br />

Ispat U; V nin bir FG-altmodülü ise, Maschke Teoreminden V = U ED W<br />

olacak şekilde V nin bir W FG-altmodülü vard ır. Bu durumda Önerme<br />

7.3.1 den u E U, w E W için<br />

■<br />

Ir : V U<br />

fonksiyonu örten bir FG-homomorfizmad ır.<br />

W<br />


80 Bölüm 8. Maschke Teoremi<br />

Teorem 8.2.2 s ıfırdan farkl ı her FG-modülün indirgenmez FG-altmodüllerin<br />

direkt toplam ı olarak yaz ılabileceğini göstermektedir. Böylece FG-modüller1<br />

daha iyi anlayabilmek için indirgenmez FG-modülleri detaylar ıyla incelemek<br />

gerekmektedir. Bir sonraki bölümde bu çal ışmam ıza başlayacağız.<br />

8.Bölümün Ozeti<br />

(i) Maschke Teoremi V nin her U FG-altmodülü için<br />

V = U IED W<br />

olacak şekilde V nin bir W FG-altmodülü bulunabileceğini gösterir.<br />

(ii) S ıfırdan farkl ı her FG-modül indirgenmez FG-altmodüllerin direkt<br />

toplam ı olarak yaz ılabilir.<br />

8.3 Al ışt ırmalar<br />

(1) G =< x : x3 =1 > ve V Sp{v ı , v2}<br />

XVI = V2, XV2 =<br />

- V2<br />

etkisi ile 2-boyutlu CG-modülünü gözönüne alal ım. V yi indirgenmez<br />

CG-modüllerin direkt toplam ı olarak ifade ediniz.<br />

(2) G = C2 X C2 olsun. Bu durumda RG grup cebirini 1-boyutlu RGaltmodüllerin<br />

direkt toplam ı olarak yaz ın ı z.<br />

(3) V KerO Ime olacak şekilde bir G grubu, bir V CG-modülii ve<br />

O :V ---> V, CG-homomorfizmas ı bulunuz.<br />

(4) G sonlu bir grup ve p : G GL(2,(C); G nin bir gösterimi olsun.<br />

p(g)p(h) = p(h)p(g) olacak şekilde g,h E G varsa, p nun indirgenmez<br />

oldu ğunu gösteriniz.<br />

(Yol Gösterme: Örnek 5.2.4 ve Al ışt ırma 5.1, 5.3, 5.4 ve 6.6 y ı kullan<br />

ınız.)<br />

(5)<br />

G = ( 1 01<br />

n E z


8.3. Al ış t ırmalar 81<br />

ve v E V, g E G için gv vektörü g matrisi ile v sütun vektörünün<br />

çarp ımı olmak üzere V = C 2 CG-modülünii gözönüne alal ım. V nin<br />

tamamen indirgenebilir olmad ığın ı gösteriniz.<br />

(6) V; {vi, ...,v„} baz ıyla bir CG-modül ve U; V nin bir CG-altmodülü<br />

olsun. Her E C için V üzerinde aşağıdaki gibi bir kompleks<br />

iç-çarp ım tanımlayalım.<br />

n n n<br />

E ,uivi >=<br />

z=1 z=1 z=1<br />

Şimdi V üzerinde bir ba şka kompleks iç-çarp ım da<br />

[u, = < xu, xv > , (u, v E V)<br />

xEG<br />

olsun.<br />

(a) Her u, v E V, g E G için<br />

[gu, gv]<br />

[u, vi<br />

olduğunu gösteriniz.<br />

(b) U; V nin bir CG-altmodülü olsun.<br />

= {v E V : [u,v] = 0,Vu E U}<br />

olmak üzere Ui in V nin bir CG-altmodülü oldu ğunu gösteriniz<br />

(c) Maschke Teoreminin sonuçlar ını elde ediniz.<br />

(Yol Gösterme: V nin her U altuzay ı için V = U 6+ U1 dir.)<br />

(7) Her sonlu G grubu için indirgenmez faithful bir CG-modülün var oldu ğunu<br />

ispatlayın ız.


Bölüm 9<br />

Schur Lemmas ı<br />

Schur Lemrnas ı indirgenmez modüller için önemli bir sonuçtur. Schur Lemmas<br />

ı ifade ve ispat ının kolaylığına rağmen, gösterimler teorisinin temelini<br />

te şkil etmektedir. Gerçekten sonlu de ği şmeli gruplar ın indirgenmez gösterimlerininin<br />

belirlenmesinde, Schur Lemmas ı kullanaca ğımız önemli bir yöntem<br />

olacakt ır.<br />

Schur Lemmas ı RG-modüllerden ziyade CG-modüllerle ilgili bir çok uygulamaya<br />

sahip oldu ğundan kalan k ısımda CG-modüllere daha çok yer verece ğiz.<br />

9.1 Schur Lemmas ı<br />

Onerme 9.1.1 (Schur Lemmas ı) V ve W indirgenmez CG-modüller olmak<br />

üzere<br />

(i) Eğer 9 : V --> W bir CG-homomorfizma ise, bu durumda O CGizomorfizma<br />

veya her v E V için 0(v) = 0 dzr.<br />

(ii)<br />

Eğer 9 : V --> V bir CG-izomorfizma ise, bu durumda 9; lv birim<br />

endomorfizmasin ın bir katidir.<br />

Ispat<br />

(i) Bir v E V için 9(v) L 0 olsun. Bu durumda /m0 {0} d ır. Onerme<br />

7.1.1 den /m0; W nin bir CG-altmodülü ve W indirgenmez oldu ğundan<br />

/m0 = W dir. Ayn ı şekilde Onerme 7.1.1 den Kere; V nin CGaltmodülüdür.<br />

Kere V ve V indirgenmez olduğundan, Kere = {0}<br />

olur. Böylece 0 bir CG-izomorfizmad ır.<br />

83


84 Bölüm 9. Schur Lemmas ı<br />

(ii) Sonuç 2.11.1 den O endomorfizmas ı bir A E C özde ğerine sahip ve<br />

böylece K er(0 — Alv) g {O} d ır. K er(0 — /Uy); V nin sıfırdan farkl ı<br />

bir CG-altmodülüdür. V indirgenmez oldu ğundan K er(8 — Alv) = V<br />

dir. Bu nedenle her v E V için<br />

ve böylece<br />

(O— Alv)v = 0<br />

şeklindedir.<br />

= Alv<br />

Onerme 9.1.2 V s ıfırdan farklı bir CG-modül olmak üzere V den V ye<br />

tan ımlanan her CG-homomorfizma 1v nin bir kat ı olsun. Bu durumda V<br />

indirgenmezdir.<br />

Ispat U; V nin {0} ve V den farkl ı bir CG-altmodülii olsun. Maschke<br />

Teoreminden<br />

V= Ue W<br />

olacak şekilde V nin bir W CG-altmodülü vard ır. Bu durumda her<br />

u E U, w EWiçin<br />

7t" : V V<br />

W<br />

ır(u + w) = u<br />

projeksiyonu bir CG-homomorfizmad ır ve lv nin bir kat ı değildir. Bundan<br />

dolay ı V indirgenmezdir.<br />

■<br />

Sonuç 9.1.3 p : G ---> G L(n,C); G nin bir gösterimi olsun. Bu durumda<br />

p nun indirgenmez olmas ı için gerek ve yeter şart g E G için<br />

■<br />

AP(9) = P(9)A<br />

şartını sağlayan her n x n tipindeki A matrisinin a E C olmak üzere A =<br />

şeklinde olmas ıdır.


9.1. Schur Lemmas ı 85<br />

Ispat Teorem 4.1.4.(i) den v E en , g E G için<br />

gv = p(g)v<br />

çarp ımıyla C' bir CG-modüldür.<br />

A; n x n tipinde bir matris olsun. en in v —* Av endomorfizmas ının bir<br />

CG-homomorfizma olmas ı için gerek ve yeter şart<br />

A(gv) = g(Av) (g E G, v E en )<br />

olması ve bu e şitliğin sağlanmas ı için gerek ve yeter şart<br />

Ap(g) = p(g)A (g E G)<br />

olmas ıd ır. Schur Lemmas ı ve Önerme 9.1.2 den istenen sonuç elde edilir. ■<br />

Örnek 9.1.4 G = C3 a : a 3 = 1 > ve p : G GL(2,C);<br />

O -1<br />

P(a)= ( 1 -1<br />

G nin bir gösterimidir. Her g E G için p(g) ler;<br />

O -1<br />

matrisi taraf ından belirlendi ğinden Sonuç 9.1.3 gere ğince p indirgenebilirdir.<br />

Örnek 9.1.5 G = D5 =< a, b a5 = b2 = 1, b-lab = a- ı > ve w e 2zi I 5<br />

olsun. p G --* GL(2,C);<br />

P(a) = ow °w-ı , M) = <br />

(<br />

ile G nin bir gösterimdir. cx, 0,7 , 5 E C olmak üzere<br />

o<br />

1 )<br />

A a 'Y 13'5 1<br />

olsun. Ap(a) = p(a)A olmas ı için (3 = 7 = 0 ve Ap(b) = p(b)A olmas ı için<br />

a = ,S olmalıdır. Bundan dolay ı<br />

A =<br />

a O<br />

0 a<br />

= aI<br />

şeklindedir. Sonuç 9.1.3 den p indirgenmezdir.


86 Bölüm 9. Schur Lemmas ı<br />

9.2 Sonlu Değişmeli Gruplar ın Gösterimleri<br />

G sonlu deği şmeli bir grup ve V indirgenmez bir CG-modiil olsun. x E G<br />

için G deği şmeli olduğundan<br />

gxv = xgv (g E G)<br />

ve bundan dolay ı V nin v --> xv endomorfizmas ı bir CG-homomorfizmad ır.<br />

Schur Lemmas ından bu endomorfizma<br />

şeklindedir. Böylece her v E V<br />

için<br />

xv =<br />

olup, V nin her altuzay ı bir CG-altmodüldür. V indirgenmez oldu ğundan<br />

dimV = 1 olacakt ır. Böylece a şağıdaki önermeyi verebiliriz.<br />

Onerme 9.2.1 Eğer G sonlu değişmeli bir grup ise, bu durumda her indirgenmez<br />

EG-modülün boyutu 1 dir.<br />

Şimdi sonlu deği şmeli gruplar için önemli bir sonucu ispats ız olarak veriyoruz.<br />

Onerme 9.2.2 Her sonlu değişmeli grup devirli grupların bir direkt çarpımına<br />

izomorftur.<br />

ni ,<br />

pozitif tamsay ılar olmak üzere<br />

Cn„ x<br />

x Cnr<br />

şeklindeki direkt çarp ımlar ın indirgenmez gösterimlerini belirleyebiliriz.<br />

Onerme 9.2.2 den bulaca ğımız indirgenmez gösterimler, sonlu de ğişmeli<br />

gruplar ın indirgenmez gösterimleri olacakt ır.<br />

G = Cn, x x Cnr ve 1 < i < r için Ci =< ci > olsun.<br />

gi = (1, ,ci,... ,1) (ci i. yerde)<br />

ise, bu durumda g' = 1, her i, j için gigi = ve G =< gı ,...,g, ><br />

şeklindedir.<br />

p : G G L(n,C); G nin bir indirgenmez gösterimi olsun. Bu durumda<br />

n = 1 olmak üzere Onerme 9.2.1 den 1 < i < r için<br />

p(gi) = (Ai)


9.2. Sonlu Değişmeli Grupların Gösterimleri 87<br />

olacak şekilde Ai E C vard ır. gi nin mertebesi ni olduğundan -= 1 olup,<br />

birimin ni yinci dereceden köküdür. g E G ise i i , , ir tamsay ılar ı için<br />

= g ı il • • •9r ir ve Ah değerleri p yu belirlediğinden<br />

P(g) = P(911 • • • g '. ) (Mi • • • 4r ) (9.1)<br />

şeklinde olacakt ır. (9.1) i sağlayan G nin p gösterimi her i i ,<br />

, ir için<br />

=<br />

olsun. Diğer yandan 1 < i < r için birimin n i yinci kökleri Ai ler verildi ğinde<br />

P r r )<br />

fonksiyonu G nin bir gösterimidir. G nin bu tür gösterimlerinin say ıs ı<br />

n ı • n 2 • ... • nr dir ve bu gösterimlerin herhangi ikisi denk de ğildir.<br />

Böylece a şağıdaki teorerni ispatlam ış olduk.<br />

Teorem 9.2.3 G = Cni x x Cn rolmak üzere G üzerinde in şa edilen<br />

gösterimleri indirgenmez ve dereceleri 1 dir. G nin bu tür gösterimlerinin<br />

sayısı I G I dir. Ayr ıca G nin C üzerindeki her gösterimi bu tür<br />

gösterimlerden birisine denktir.<br />

Örnek 9.2.4 G = Cn =< a : an = 1 > ve w = e'ri/n olsun. G nin<br />

indirgenmez n tane pu,,(0


88 Bölüm 9. Schur Lemmas ı<br />

9.3 Köşegenle ştirme<br />

H =< g : gn = 1 > ve V s ıfırdan farkl ı bir CH-modül olsun. Teorem 8.2.2<br />

gere ğince 1 < i < r olmak üzere Ui indirgenmez CH-altmodülleri için<br />

v<br />

ııı e ... e ur<br />

şeklindedir. Önerme 9.2.1 den dolay ı her bir (Ii 1-boyutludur. w =<br />

olsun. Bu durumda 1 < i < r için<br />

gui = wm' ui<br />

olacak şekilde bir mi tamsay ı s ı vard ır. Bundan dolay ı eğer B = {ui ,<br />

V nin bir baz ı ise, her g E H için<br />

, u,};<br />

Egl .B =<br />

wn1, 1<br />

o<br />

. . O<br />

wmr<br />

(9.2)<br />

şeklindedir.<br />

Onerme 9.3.1 G sonla bir grup ve V bir CG-modiil olsun. Eğer g E G ise,<br />

bu durumda [g]E3 matrisi köşegensel olacak şekilde V nin bir B baz ı vardır.<br />

Eğer g nin mertebesi n ise, bu durumda [g]B nin kö şegen bile şenleri birimin<br />

n yinci dereceden kökleridir.<br />

Ispat H =< g : gn = 1 > olsun. V bir CH-modüldür ve (9.2) den ispat<br />

biter.<br />

■<br />

9.4 Schur Lemmasm ın Uygulamalar ı<br />

Schur Lemmas ının ilk uygulamas ı CG grup cebirinin önemli bir altuzay ı ile<br />

ilgili olacakt ır.<br />

Tan ım 9.4.1 G sordu bir grup olmak üzere<br />

Z(CG) = {z E CG : zr rz, her r E CG için}<br />

cümlesine CG grup cebirinin merkezi denir.


9.4. Schur Lemmas ın ın Uygulamaları 89<br />

Z((CG); CG nin altuzay ıd ır. G deği şmeli ise, bu durumda Z(CG) = G<br />

dir. Keyfi bir G grubunda Z((CG) nin G nin gösterimleri için önemli bir yere<br />

sahip olduğunu göreceğiz. Örneğin, Z(CG) nin C üzerindeki boyutu G nin<br />

indirgenmez gösterimlerinin say ısına e şittir.<br />

Örnek 9.4.2 1, g E Z(CG) dir. Gerçekten, H; G nin herhangi bir<br />

gEG<br />

normal altgrubu ise, bu durumda<br />

dir. Gerçekten z =<br />

L h E Z(CG)<br />

hEH<br />

h ise, bu durumda her g E G için<br />

hEH<br />

gzg - = L ghg-1 = h = z<br />

hEH hEH<br />

dir ve böylece zg = gz olur. Sonuç olarak her r E CG için zr = rz dir.<br />

Örneğin, eğer G = D3 =< a, b : a3 = b 2 = 1, b-lab = a-1 > ise {1},<br />

< a > ve G; G nin normal altgruplar ıdır. Ayrıca<br />

1, 1+ a a 2 , 1+ a + a 2 + b+ ab+ a2 b<br />

Z((CG) dedin. Son bölümde bu elemanlar ın Z(CG) nin haz ım olu şturduğunu<br />

görece ğiz.<br />

Şimdi Schur Lemmas ını Z(CG) nin elemanlar ının önemli bir özelli ğini<br />

belirlemek için kullanaca ğız.<br />

Onerme 9.4.3 V indirgenmez bir CG-modül ve z E Z((CG) olsun. Bu<br />

durumda her v E V için<br />

olacak şekilde bir E (C vard ır.<br />

Ispat r E CG ve v e V için<br />

zv = Av<br />

zrv = TZV<br />

ve bundan dolay ı v --» zv; V den V ye tan ımlanan bir CG-homomorfizmad ır.<br />

Schur Lemmas ı gere ğince bu CG-homomorfizma A E C olmak üzere Alv<br />

şeklindedir.<br />


90 Bölüm 9. Schur Lemmas ı<br />

Tan ım 9.4.4 Z(G) = {z E G : zg = gz, her g E G için} cümlesine G<br />

grubunun merkezi denir.<br />

Z(G); G nin bir normal altgrubudur ve Z(CG) nin de bir altciimlesidir.<br />

CG nin merkezindeki baz ı elemanlar ayn ı zamanda G nin de merkezindedir.<br />

Onerme 6.2.2 den her G sonlu grubu için bir faithful CG-modül vard ır.<br />

Bu CG-modülün indirgenmez CG-modül olmas ı gerekmez. Gerçekten a şağıdaki<br />

sonuç G nin indirgenmez faithful CG-modüllerine önemli bir k ısıtlama<br />

getirmektedir.<br />

Önerme 9.4.5 Eğer indirgenmez bir faithful CG-modül varsa, bu durumda<br />

Z(G) devirlidir.<br />

ispat V indirgenmez bir faithful CG-modül olsun. E ğer z E Z(G) ise, bu<br />

durumda z E Z(CG) ve Onerme 9.4.3 den her v E V için<br />

zv = Az v<br />

olacak şekilde bir A z E C vard ır. V faithful olduğundan z E Z(G) için<br />

z<br />

fonksiyonu, Z(G) den C* a tan ımlanan birebir bir homomorfizmad ır. Bundan<br />

dolayı Z(G) -:.'z' {A z E C:z E Z(G)} dir. C* ın sonlu her altgrubu devirli<br />

olduğundan Z(G) de devirlidir.<br />

■<br />

Önerme 9.4.5 in kar şıtı her zaman do ğru olmayabilir. Yani Z(G) devirli<br />

olacak şekilde bir G grubu verildi ğinde, bir indirgenmez faithful CG-modiil<br />

bulmak her zaman mümkün de ğildir.<br />

Örnek 9.4.6 Eğer G değişmeli bir grup ise G = Z(G) ve Önerme 9.4.5<br />

den G devirli verilmedikçe indirgenmez bir faithful CG-modül bulunamaz.<br />

Örneğin, C2 x C2 indirgenmez faithful bir gösterime sahip de ğildir.<br />

Değişmeli olmayan gruplar ın indirgenmez gösterimlerini in şa etmek değişmeli<br />

gruplar ınkine oranla daha zordur. De ği şmeli gruplar ın bütün indirgenmez<br />

gösterimlerinin derecelerinin 1 oldu ğunu Onerme 9.2.1 de göstermi ştik.<br />

Şimdi bu önermenin kar şıtının da doğru olduğunu gösterelim.<br />

Onerme 9.4.7 G her indirgenmez CG-modülünün boyutu 1 olan sonlu bir<br />

grup olsun. Bu durumda G değişmelidir.<br />

Az


9.4. Schur Lemmasm ın Uygulamaları 91<br />

Ispat Teorem 8.2.2 den CG regüler CG-modülünü dimVi = 1 olmak üzere Vi<br />

indirgenmez CG-altmodüllerinin direkt toplam ı olarak yazabiliriz. 1 < i < n<br />

için Vi = Sp{vi} olmak üzere<br />

olsun. Bu durumda B =<br />

CG =<br />

ED . • • E9 Vn<br />

CG nin bir baz ı olur. Her x, y E G<br />

için [x].B ve [y]B matrisleri kö şegenseldir ve böylece [x]B[y]B = [Y]s[x]B. dir.<br />

Onerme 6.2.2 den g E G için<br />

gösterimi faithful oldu ğundan p(xy) = p(yx) olması xy = yx olmas ını gerektirir.<br />

■<br />

[9]B<br />

9. Bölümün Özeti<br />

(i) Schur Lemmas ı indirgenmez CG-modüller aras ındaki CG-homomorfizmalar<br />

ın ya s ıfır homomorfizma ya da CG-izomorfizma oldu ğunu söylemektedir.<br />

Üstelik indirgenmez CG-modülden kendine tan ımlanan CGhomomorfizmalar<br />

birimin (1v) bir kat ıd ır.<br />

(ii) CG grup cebirinin Z((CG) merkezi CG nin bütün de ğişmeli elemanlar<br />

ından olu şur. Z(CG) nin elemanlar ının bütün indirgenmez CGaltmodüllerdeki<br />

etkisi birimin (1v) bir kat ı şeklindedir.<br />

(iii) G sonlu değişmeli grubun bütün indirgenmez CG-modülleri 1-boyutludur<br />

ve bunlar ın sayısı 1 G I dir.


92 Bölüm 9. Schur Lemmas ı<br />

9.5 Alışt ırmalar<br />

(1) C2, C3 ve C2 x C2 gruplar ının indirgenmez gösterimlerini belirleyiniz.<br />

(2) G = C4 x C4 olsun.<br />

(a) G nin her g E G için p(g 2) = (1) şeklinde tan ımlanan aşikar<br />

olmayan bir indirgenmez gösterimini bulunuz.<br />

(b) G nin derecesi 2 olan ve g E G için Q(g) = (-1) şeklinde tan ımlanan<br />

indirgenmez bir gösterime sahip olmad ığını gösteriniz.<br />

(3) G = C7ı, x x Cnr. olsun. G nin faithful gösteriminin derecesinin r<br />

oldu ğunu gösteriniz. G derecesi r den küçük olan bir faithful gösterime<br />

sahip olabilir ini Ara şt ır ın ız.<br />

(4) G = D4 =< a, b : a4 = b 2 = 1, b- lab = a-4 > olsun. G nin<br />

-5 -4<br />

P(a) = ( 10 7) ' P(b) = ( 6 5 )<br />

şeklinde bir gösterime sahip oldu ğunu gösteriniz. Her g E G için<br />

M p(g) = p(g)M<br />

ko şulunu sağlayan bütün 2 x 2 tipindeki M matrislerini bulunuz. Ayr ıca<br />

p nun indirgenmez olup olmad ığın ı belirleyiniz.<br />

Aynı işlemleri C nin a gösterimi<br />

Q(a) =<br />

( 5 4 ( )<br />

a(b) =<br />

-6 -5 ' 6 5<br />

için tekrarlaym ız.<br />

( 5 )<br />

V bir indirgenmez CG-modül ise, bu durumda v E V için<br />

gEG<br />

g) v =<br />

olacak şekilde bir A E C oldu ğunu gösteriniz.


9.5. Ahştırmalar 93<br />

(6) G = D3 =< a,b: a3 = b2 = 1 , b- lab = a-1 > olsun. w = e 27`i/3 olmak<br />

üzere<br />

W = Sp{1 + w 2 a + wa 2 , b + w 2ab 4- wa 2 b}<br />

regüler CG-modülün indirgenmez altmodülü olsun.<br />

(a) a a-1 E Z(CG) olduğunu gösteriniz.<br />

(b) Her v ı E W için (a (2 -1 )w = >w şart ın ı sağlayan bir A e<br />

bulunuz.<br />

(7) A şağıdaki gruplar ın hangileri indirgenmez faithful gösterime sahiptir<br />

(a) C, (n pozitif tamsay ı),<br />

(b) D4,<br />

(C) C2 X D41<br />

(d) C3 X D4.


Bölüm 10<br />

Indirgenmez Modüller ve<br />

Grup Cebirleri<br />

G sonlu bir grup ve CG; G nin C üzerindeki grup cebiri olsun. CG yi regüler<br />

CG-modül olarak gözönüne alacak olursak, 1 < i < r için Ui ler indirgenmez<br />

CG-altmodüller olmak üzere Teorem 8.2.2 den<br />

CG =<br />

.. • ED Ur<br />

olduğunu biliyoruz. Bu bölümde her indirgenmez CG-modülün U ı. , , U,<br />

CG-modüllerinden birine izomorf oldu ğunu gösterece ğiz. Böylece indirgenmez<br />

CG-modüller sonlu çoklukta olaca ğından indirgenmez CG-modülleri belirlemek<br />

için CG yi indirgenmez CG-altmodüllerinin bir direkt toplam ı olarak<br />

yazmak yeterli olacakt ır. Fakat, G küçük bir grup olmad ıkça, bu yöntem<br />

pratikte çok kullan ışlı değildir.<br />

10.1 CG nin İndirgenmez Altmodülleri<br />

Maschke Teoreminin bir sonucunu vererek bu bölüme ba şl ıyoruz.<br />

Onerme 10.1.1 V ve W CG-modüller, B : V ---> W bir CG-homornorfizma<br />

olsun. Bu durumda V nin V = Ker0 ED U ve U :=_'• Prn0 olacak şekilde bir U<br />

CG-altmodiilii vardzr.<br />

Ispat Önerme 7.1.1 den Ker0; V nin CG-altmodülü olduğundan Maschke<br />

Teoremi gere ğince V nin V = Ker0 e ı U olacak şekilde bir U CG-altmodülü<br />

vardır.<br />

95


96 Bölüm 10. İndirgenmez Modüller ve Grup Cebirleri<br />

B: U --> Im0<br />

u —> 6(u) = O(u)<br />

fonksiyonunu gözönüne alal ım. 8 nin CG-izomorfizma olduğunu göstereceğiz.<br />

0 CG-homomorfizma oldu ğundan aç ık olarak 8 de bir CG-homomorfizmad ır.<br />

Eğer u E KerB ise, u E Ker0 n U = {O} ve bundan dolay ı Ker-0 = {O}<br />

dır. Şimdi w E İmO olsun. Bu durumda 0(v) = w olacak şekilde bir v E V<br />

vardır. k E Ker0,u E U için v = k u olsun. Bu durumda<br />

w = 0(v) = 0(k u) = 0(k) + 0(u) = --d(u)<br />

olur. Buradan /m8 = /m0 dır. Böylece 8 : U --> Ime tersinir<br />

CG-homomorfizmad ır. Bundan dolay ı U I m6i dır.<br />

Onerme 10.1.2 V bir CG-modül ve 1 < i < s olmak üzere Ui indirgenmez<br />

CG-altmodülleri için<br />

V = e) ...d) U,<br />

olsun. Eğer U; V nin herhangi bir indirgenmez CG-altmodülü ise bu durumda<br />

1 < i < s için U dir.<br />

ispat uE U,1


10.1. CG nin İndirgenmez Altmodülleri 97<br />

Tan ım 10.1.4 V bir CG-modül, U indirgenmez bir CG-modül ve V; U<br />

ya izomorf olan bir CG-altmodüle sahip ise, bu durumda U ya V nin bir<br />

kompozisyon faktörü denir.<br />

Tan ım 10.1.5 Eğer bir indirgenmez CG-modül V ve W CG-modülleri için<br />

bir kompozisyon faktörü ise, V ve W ya bir ortak kompozisyon faktörüne<br />

sahiptir denir.<br />

Şimdi her indirgenmez CG-modülün, regiiler CG-modülün bir kompozisyon<br />

faktörü oldu ğunu göstereceğiz.<br />

Teorem 10.1.6 CG regüler<br />

rekt toplam ı, yani<br />

indirgenmez CG-altmodüllerin di-<br />

CG Uı<br />

... Ur<br />

ise, bu durumda her indirgenmez CG-modül, 1 < i < r için Ui indirgenmez<br />

CG-altmodüllerinden birisine izomorftur.<br />

Ispat W indirgenmez bir CG-modül ve 0 w E W olsun.<br />

{rw : r E CG}<br />

altuzay ı W nin bir CG-altmodülüdür. W indirgenmez oldu ğundan<br />

olur. Eğer<br />

W {rw : r E cG}<br />

: CG W<br />

r rw<br />

ise, bu durumda 0 bir lineer dönü şüm ve I 7710 = W dur. Ayr ıca r, s E CG<br />

için<br />

0(rs) = (rs)w = r(sw) = r0(s)<br />

olduğundan O bir CG-homomorfizmad ır.<br />

Onerme 10.1.1 gere ğince CG nin<br />

CG = U ED K er0 ve U ImB<br />

olacak şekilde bir U CG-altmodülü vard ır. W indirgenmez oldu ğ undan U da<br />

indirgenmezdir. Onerme 10.1.2 den 1 < i < r için U = Uı dir. Bu durumda<br />

W Ui olur ki, bu da ispat ı tamamlar.<br />


98 Bölüm 10. indirgenmez Modüller ve Grup Cebirleri<br />

Teorem 10.1.6 da bir G grubunun indirgenmez CG-modüllerinin say ısının<br />

sonlu olduğunu ve her bir indirgenmez CG-modülün bu indirgenmez CGmodüllerden<br />

birisine izomorf oldu ğunu gördük. Şimdi bunu aşağıdaki sonuçta<br />

ifade edelim.<br />

Sonuç 10.1.7 Eğer G sordu bir grup ise, bu durumda sadece sonlu sayıda<br />

izomorfik olmayan indirgenmez CG-modül vard ır.<br />

Teorem 10.1.6 gere ğince bir G grubu verildi ğinde tüm indirgenmez CGmodülleri<br />

bulmak için regüler CG-modülü indirgenmez CG- modüllerin bir<br />

direkt toplam ı olarak yazmak yeterli olacakt ır. Fakat, a şağıdaki örneklerden<br />

de görülece ği gibi bu yöntem pratikte tüm indirgenmez CG-modülleri belirlemek<br />

için çok kullan ışlı değildir.<br />

Örnek 10.1.8 G = C3 =< a : a3 = 1 > ve w = e 2"ii3 olsun. vo, vi, v2 E CG<br />

v0 = 1 + a + a 2<br />

vi = 1 -F w 2a wa 2<br />

V2 =<br />

wa w 2 a2<br />

olmak üzere i = 0,1,2 için Ui = Sp{vi} olsun. Bu durumda<br />

olur. Benzer şekilde<br />

avi = a 4- w 2 a 2 lw = wvi<br />

avi = tv'vi (i = 0,1,2)<br />

şeklindedir. Buradan i = 0,1,2 için (Ii CG nin CG-altmodülüdür.<br />

{vo , vi , v2 } nin V = CG nin bir baz ı olduğu kolayca gösterilebilir. Bundan<br />

dolay ı<br />

cCG=UoeU ı<br />

e U2<br />

ve böylece CG; Ui indirgenmez CG-altmodüllerin direkt toplam ıdır.<br />

Teorem 10.1.6 gere ğince her indirgenmez CG-modiil Uo , Ui veya U2 ye<br />

izomorftur. O < i < 2 için (ii lere kar şılık gelen G nin indirgenmez<br />

gösterimleri Örnek 9.2.4 de verilen p ipi lerdir.<br />

Örnek 10.1.9 G = )33 =< a,b : a3 = b 2 = 1, b-l ab = a -1 > olsun. CG yi<br />

indirgenmez CG-altmodüllerin direkt toplam ı olarak yazabiliriz. w = e 27ri/3<br />

ve


10.1. CG nin İndirgenmez Altmodülleri 99<br />

vo = 1+ a a 2 , WO = bV0<br />

v i = w 2a wa2, w ı = bv2<br />

v2 = 1+ wa w 2 a2, w2 = bv ı<br />

olsun. Örnek 10.1.8 den 0 < i < 2 için avi = wivi olduğundan, Sp{vi} ve<br />

Sp{wi}; C < a >-modiillerdir. Ayr ıca<br />

btio = Wo,<br />

bVi = W2,<br />

bv2 = W İ ,<br />

bwo = vo<br />

bu) ]. = v2<br />

bw2 = v ı<br />

dir. Bu sebeple Sp{v o , wo }, w2 } ve Sp{v 2 , wi }; C < b >-modüller ve<br />

böylece CG-altmodüllerdir. Örnek 5.2.4 den U3 = Sp{v ı , w 2} ve<br />

U4 = Sp{v 2 , w ı } CG-altmodüllleri indirgenmezdir. Fakat U = Sp{v o ,w0 },<br />

Ui = Sp{vo+wo} ve U2 = Sp{vo- wo} olmak üzere U = Uı e U2 olduğundan<br />

U indirgenebilirdir.<br />

{vo , vi, v2, wo, w ı , w2} CG nin bir baz ı ve böylece<br />

cCG=Ui e U2eU3 e U4<br />

indirgenmez CG-altmodüllerin direkt toplam ıdır. CG nin bu ayr ışımında Ui<br />

aşikar CG-modül ve Ui; U2 ye izomorf değildir. Fakat U3 U4 (yı w ı ,<br />

w2 ----> v 2 şeklinde bir CG-izomorfizma vard ır) olduğu kolayca gösterilebilir.<br />

Teorem 10.6.1 den izomorfik olmayan tam üç tane (U i , rı2 , U3 ) CG-modül<br />

vardır. Böylece D3 ün her gösterimi kesin olarak a şağıdakilerden birisine<br />

denktir.<br />

P ı : a (1), b --> (1)<br />

P2 (1), b ---> (-1)<br />

P3 a --><br />

(w O<br />

0 w - ı ) 7<br />

01 )<br />

10. Bölümün Özeti<br />

(i) Her indirgenmez CG-modül regüler CG-modülün bir kompozisyon faktörü<br />

olarak gözükür.<br />

(ii) Sadece sonlu say ıda izomorfik olmayan indirgenmez CG-modül vard ır.


100 Bölüm 10. İndirgenmez Modüller ve Grup Cebirleri<br />

10.2 Alışt ırmalar<br />

(1) G sonlu bir grup olsun. CG nin a şikar CG-modüle izomorf olan bir<br />

CG-altmodülünü bulunuz. Bu CG-altmodül tek midir<br />

(2) G = C4 olsun. CG yi indirgenmez CG-altmodüllerin direkt toplam ı<br />

olarak yaz ın ız.<br />

(Yol Gösterme: Örnek 10.1.8 deki yöntemi kullamn ız.)<br />

(3) G = D4 =< a, b a4 = b 2 = 1, b-1 ab = a-1 > olsun. CG nin<br />

aui = u ı , bu ı<br />

etkisine sahip 1-boyutlu Sp{u ı } CG-altmodülünü bulunuz. Ayr ıca CG<br />

nin<br />

au 2 = -u2, au3 = -u3<br />

but = u2, bu3 = -u3<br />

etkilerine sahip 1-boyutlu Sp{u 2 } ve Sp{u 3 } CG- altmodüllerini bulunuz.<br />

(4) Örnek 10.1.9 daki yöntemle D4 ün C üzerindeki bütün indirgenmez<br />

gösterimlerini bulunuz.<br />

(5) V; s ıfırdan farkl ı bir CG-modül, Uı ve U2 izomorfik CG-modüller olmak<br />

üzere V = Uı e U2 olsun. V nin Uı ve U2 den farklı , fakat her ikisine<br />

de izomorf olan bir U CG-altmodülünü bulunuz.<br />

(6) G = (28 =< a,b : a 2 = b2 ,a4 1, b-l ab a- ı > ve v<br />

avı = ivı bvi = -v2<br />

av 2 = -iv2 bv2 = v ı<br />

etkisiyle bir CG-modül olsun. V nin indirgenmez oldu ğunu gösteriniz<br />

ve CG nin V ye izomorf olan bir CG-altmodülünü bulunuz.


Bölüm 11<br />

İzomorfizmalar ve Grup<br />

Cebirleri<br />

Bu bölümde sonlu bir G grubunun CG grup cebirini daha ayr ınt ıh olarak<br />

inceleyeceğiz. Bir önceki bölümde CG grup cebirini; 1 < i < r için Ui ler CG<br />

nin indirgenmez CG-altmodülleri olmak üzere<br />

CG = ... Ur<br />

olarak yazm ışt ık. Teorem 10.1.6 da, her U indirgenmez CG-modülün Uı<br />

lerden birisine izomorf oldu ğunu görmü ştük. Bu bölümde U nun Uı lerden<br />

kaç tanesine izomorf oldu ğu sorusunu cevaplayaca ğız. Teorem 11.1.8 de bu<br />

sayının tam olarak dinzU olduğunu ispatlayacağız.<br />

Şimdi bu bölümün temel teoremi olan Teorem 11.1.8 in ispat ında kullanacağımız<br />

H omeG(V, W) uzay ının özelliklerini verelim.<br />

11.1 CG-Homomorfizmalar ın Uzay ı<br />

Tanım 11.1.1 V ve W CG-modüller olsun. V den W ya tan ımlanan tüm<br />

CG-homomorfizma1ar ın cümlesini H om,w(V, W) ile gösterelim. HomcG(V, W)<br />

üzerinde toplama ve skalerle çarpma i şlemlerini O, E H omeG(V,W), a E c,<br />

v E V olmak üzere<br />

(O + 0)(v) = 0(v) + 0(v)<br />

p∎O)(v) \0(v)<br />

şeklinde tan ımlayalım. Bu durumda O -I- q5, AB E HomcG(V,W) dir. Bu<br />

i şlemlerle H orneG(V,W); C üzerinde bir vektör uzay ıd ır.<br />

101


102 Bölüm 11. ızomorfizmalar ve Grup Cebirleri<br />

HomcG(V,W) vektör uzay ı üzerindeki çalışmam ıza Schur Lemmas ın ın<br />

bir uygulamasıyla ba şlayalim.<br />

Onerme 11.1.2 Eğer V ve W indirgenmez CG-modüller ise, bu durumda<br />

diTTL(HOMCG(V ı W))<br />

1, V = W ise<br />

O , V W ise<br />

dir.<br />

Ispat V W olsun. Bu durumda Schur Lemmas ından V den W ya<br />

tan ımlanan bir CG-homomorfizma s ıfır homomorfizmas ıdır. Böylece<br />

HomcG(V, = {0} olup, din2(Hom cG(V,W)) = 0 d ır.<br />

Şimdi V = W ve O : V —t W bir CG-izomorfizma olsun. E ğer<br />

E HomeG(V, W) ise, bu durumda O -1 O; V den V ye tan ımlanan bir CGizomorfizmad<br />

ır. Schur Lemmas ından<br />

O-1 0 = Alv<br />

olacak şekilde bir A E C vard ır. Bu durumda çb, = AO olur ve<br />

HomcG(V, W) = {A0 : A E C}<br />

1-boyutlu bir uzayd ır.<br />

•<br />

Onerme 11.1.3 V ve W CG-modüller olsun. E ğer H omcG(V,W) {0}<br />

ise, bu durumda V ve W bir ortak kompozisyon faktörüne sahiptir.<br />

Ispat O; H ornw(V,W) nin s ıfırdan farkl ı bir eleman ı olsun. O # 0 olduğundan<br />

Maschke Teoremi gere ğince V = Ker0 e U olacak şekilde s ıfırdan farkl ı<br />

bir U CG-altmodülü vard ır. Eğer X; U nun indirgenmez CG-altmodülü<br />

ise, 0(X) {0} ve V = Kere e U olduğundan Schur Lemmas ı gere ğince<br />

0(X) = X dir. Böylece X; V ve W nin bir ortak kompozisyon faktörüdür.<br />

■<br />

Bundan sonra verece ğimiz sonuçlar Hom cG(V, W) nin boyutunun nas ıl<br />

hesaplanaca ğına ili şkindir.<br />

Onerme 11.1.4 V, Vi, V2 ve W, Wl, W2 CG-modüller olsun. Bu durumda<br />

(i) dim(H omcG(V,W ı eW2)) = dim(H omcG(V,W1))+dirn(II orneG(V,W2))<br />

(ii) dim(H orneG(VIEDV2, W)) = dim(HomcG(V ı , W))+diin(HOMCG(V2, W))


11.1. CG-Homomorfizmalar ın Uzay ı 103<br />

Ispat<br />

(i) w ı E W1,w2 E W2 için,<br />

ve<br />

iri : W2 Wi<br />

(w ı + w2) ir ı (w ı w2) = w ı<br />

7r2 e W2 -4 W2<br />

(W1 + W2) 7r2(W1 + W2) = W2<br />

fonksiyonlar ını gözönüne alalım. Önerme 7.3.1 den ir i ve ir 2 CGhomomorfizmalard<br />

ır. Eğer O E HomeG(V,W ı ED W2 ) ise, bu durumda<br />

7r ı O E HomcG(V, Wı ) ve ır2 O E HomcG(V, W2) dir.<br />

Şimdi O E H omeG(V,W İ EB İ W2) için H omeG(V, w2 ) den HomeG(V, Wı )<br />

ve H omcG(V, W2) nin dış direkt toplam ına tan ımlanan bir fonksiyon<br />

f : (z ı O, R- 2 0)<br />

şeklinde ise, bu durumda f bir lineer dönü şümdür. Şimdi f nin tersinir<br />

olduğunu gösterelim. 1 < i < 2 için<br />

E H omcG(V, Wi) olmak üzere fonksiyonu;<br />

: v ---> 01(v) -F 02(v) (v E V)<br />

ise, ç E HomcG(V, W ı ED W2) ve f (0) = (7r10,7r20) = (Oh 952) dir.<br />

Böylece f örtendir.<br />

Eğer O E K er f ise, bu durumda her v E V için (7r 1 0)(v) = 0 ve<br />

(z20)(v) = 0 d ır. Böylece O(v) = ((ir i 7r2)0)(v) = 0 olup, O = 0 ve<br />

dolayısıyla K er f = {0} dır. Yani f birebirdir.<br />

Böylece HomcG(V, Wı El) W2) den HomeG(V, Wı ) e HomcG(V, W2 ) ye<br />

tersinir bir lineer dönü şüm kurmu ş olduk. Sonuç olarak bu iki vektör<br />

uzayının boyutlar ı aynıdır.<br />

(ii) O E HomcG(VI E9 172, W) için 1 < i < 2 ve vi e V, olmak üzere O n ın Vi<br />

ye k ıs ıtlamas ı olan


104 Bölüm 11. İzomorfizmalar ve Grup Cebirleri<br />

Ovi : Vi —t W<br />

vi --+ Ovi (vi ) = 0(v<br />

fonksiyonunu gözönüne alal ım. Bu durumda 1 < i < 2 için<br />

8 14 E HomeG(Vi,W) dir.<br />

Şimdi HomcG(Vİ e 172 W ) den HomeG(Vı , W) e HomcG(V2 , W) ye<br />

bir h fonksiyonunu<br />

h :<br />

(Ov„Ov2 ) (O E HomcG(Vı ED V2 W))<br />

şeklinde tan ımlayalım. Aç ık olarak h birebir bir lineer dönü şümdür.<br />

= 1,2 için Oi E HomcG(Vi, W)<br />

: vl 4- v2 --> (v ı) 02(v2) (vi E Vi)<br />

ise, ¢ E Hornw(Vİ EBV2, W) dir. Ayr ıca h(cM = 02) dir. Dolay ıs ıyla<br />

h örtendir. h tersinir lineer dönü şüm olup, böylece bu iki vektör<br />

uzay ın ın boyutu ayn ıdır.<br />

Şimdi V, W, Wi (1 < i < r,1 < j < s) CG-modüllerini gözönüne<br />

alalım. Tümevar ım yoluyla Onerme 11.1.4 den<br />

■<br />

dim(HomcG(v,w, e • • • e ws)) =<br />

dim(Horn,,,(vi e ... e yr , W))<br />

clirrt(HomeG(V,147.i))<br />

j=ı.<br />

dim(Hom cG(Vi, W)) (11.2)<br />

elde edilir. Böylece<br />

dim(HomeG(V İ ED. Wıe. .eWs)) =<br />

dim(HomeG(Vi, Wi)) (11.3)<br />

sonucunu elde ederiz.<br />

Bütün Vi ve Wi ler indirgenmez olduklar ında (11.3) ve Onerme 11.1.2<br />

yard ımıyla H ormcG(V,W) nin boyutunu hesaplamak mümkün olacakt ır. Şimdi<br />

bunu a şağıdaki sonuçla ifade edelim.


11.1. CG-Homomorfizmalann Uzay ı 105<br />

Sonuç 11.1.5 I< i < r için (ii ler indirgenmez CG-rnodüller olmak üzere<br />

V = Uİ E13.••ED Ur<br />

bir CG-modül olsun. Eğer W indirgenmez bir CG-modill ise, bu durumda<br />

H omeG(V,W) ve HomeG(W, V) nin boyutlar ı Ui W şartını sağlayan Ui<br />

CG-modüllerinin say ıs ına eşittir.<br />

Ispat (11.1) ve (11.2) den<br />

dim (H omcG(V,W ) )<br />

dim(HomcG(Ui, W))<br />

ve<br />

dint(H OrncG(V,W)) =<br />

dir. Ayr ıca Önerme 11.1.2 den<br />

dirn(H OnteG(W Uz))<br />

i=1<br />

dim(HomcG(Ui, W)) = dim(HomcG(W, Ui)) =<br />

{1, Uz '.:',.' W ise<br />

o, ui w ise<br />

dir. Buradan istenen elde edilir.<br />

■<br />

Örnek 11.1.6 G = D3 için Örnek 10.1.9 da CG = Ui El) U2 ® U3 ® U4 nin<br />

indirgenmez CG-modüllerin bir direkt toplam ı olduğunu biliyoruz. Burada<br />

U3 = U4 fakat U3, Ul veya U2 den birisine izomorf de ğildir. Böylece Sonuç<br />

11.1.5 den<br />

dim(HomeG(U 3 , (CG)) = dim(HomeG(CG, U3 )) = 2<br />

olur. Alıştırmalar k ısmında bu iki CG-homomorfizmalarm uzay ının bazlar ın ı<br />

bulmanız istenecektir.<br />

Şimdi vereceğimiz önerme, bir regüler CG-modülden bir ba şka CG-modiile<br />

tan ımlanan CG-homomorfizmalar ın uzayının boyutunu verecektir.<br />

Önerme 11.1.7 Eğer U bir CG-rrıodül ise, bu durumda<br />

dur.<br />

dim(H om cG((CG , U)) = dimU


106 Bölüm 11. İzomorfizmalar ve Grup Cebirleri<br />

Ispat dimU = k olsun. U nun bir {u i, , uk} baz ını seçelim. r E CG<br />

olmak üzere 1 < i < k için<br />

: CG ---> U<br />

r —÷ Oi(r) = rui<br />

fonksiyonunu gözönüne alal ım. Bu durumda her r, s E CG için<br />

cki(rs) = (rs)ui = r(sui) -= rOi(s)<br />

olduğundan, Oi E HomeG(CG, U) dur.<br />

Şimdi {01 , , Ok} cümlesinin H omeG((CG , U) nun baz ı olduğunu gösterece ğiz.<br />

E HomeG(CG, U) olsun. Bu durumda 1 < i < k olmak üzere Ai E C<br />

için<br />

0(1) = Alu, + ...+ AkUk<br />

olur. ¢ bir CG-homomorfizma oldu ğundan, her r E CG için<br />

0(r)<br />

0(r1)<br />

r0(1)<br />

= rAluı ...+ rAkuk<br />

=ru ı -I- • . . -F Akruk<br />

A101 (r) + • • • + AkOk(r)<br />

Ng51. + • • • + AkOk)(r)<br />

elde edilir. Buradan çb = Ai (bi ...4- AkOk dir. Bundan dolay ı {01, . • • , 4};<br />

H omcG(CG,U) uzay ını gerer.<br />

Şimdi 1 < i < k olmak üzere Ai E C için<br />

olsun. Bu durumda<br />

A101 + • • • + AkOk<br />

O<br />

(A101 + • • • + AkOk)( 1 )<br />

= Alu ı + • • • + AkUk<br />

ve {ui , , uk} lineer bağımsız olduğundan 1 < i < k için Ai = 0 d ır. Böylece<br />

{01, • • . , çbk}; HomcG(CG, U) nun bir baz ıdır ve dolay ısıyla<br />

dim(Hom cG(CG, U) = k dır.<br />

■<br />

Şimdi bu bölümün temel teoremini verece ğiz. Bu teorem bize bir indirgenmez<br />

(CG-modülün, regüler EG-modülün ayr ışımında kaç defa gözüktüğünü<br />

söylemektedir.


11.1. CG-Homomorfizmalar ın Uzay ı 107<br />

Teorem 11.1.8 CG;<br />

CG =<br />

e • • • €1) Ur<br />

şeklinde indirgenmez CG-altmodüllerinin bir direkt toplam ı olsun. Eğer U<br />

herhangi bir indirgenmez CG-modül ise, bu durumda Ui = U olan CGaltmodüllerin<br />

say ıs ı dimU ya e şittir.<br />

İspat Önerme 11.1.7 gere ğince<br />

dimU = dim(H omeG((CG U))<br />

ve Sonuç 11.1.5 den bu e şitlik; Uz U olan Ui lerin say ıs ına e şittir. ■<br />

Örnek 11.1.9 G = D3 için Örnek 10.1.9 dan CG = Ui e U2 e U3 e U4,<br />

Uı ve U2 nin birbirine izomorf olmad ığın ı ve U3 ve U4 ün izomorf olduğunu<br />

hat ırlayal ım. Bunu Teorem 11.1.8 e uyarlayacak olursak,<br />

dimUi = 1 olduğundan Ui; CG de 1 defa gözükür.<br />

dimU2 = 1 olduğundan U2; CG de 1 defa gözükür.<br />

dimU3 = 2 olduğundan U3; CG de 2 defa gözükür.<br />

Tan ım 11.1.10 Eğer her indirgenmez CG-modül, herhangi ık ıs ı ızomorf<br />

olmayan Vi, Vk indirgenmez CG-modüllerinden birisine izomorf ise,<br />

...,V1,} cümlesine indirgenmez CG-modüllerin bir tam eümlesi adı verilir.<br />

Bu bölümü Teorem 11.1.8 in önemli bir sonucu olan bütün indirgenmez<br />

CG-modüllerin boyutlar ı ile grubun eleman say ısı aras ında önemli bir ili şkiyi<br />

vererek bitiriyoruz.<br />

Teorem 11.1.11 {Vb ..., Vk} izomorfik olmayan indirgenmez CG-modüllerin<br />

bir tam cilmlesi olsun. Bu durumda<br />

dir.<br />

k<br />

E(di'mVi) 2 =I G<br />

i=1<br />

İspat CG = Ui e ... e G indirgenmez CG-altmodüllerin direkt toplam ı ve<br />

1 < i < k için di = dimVi olsun. Teorem 11.1.8 den her bir i için (ii<br />

olan CG-altmodüllerin say ısı di ye e şittir. Bu sebeple


108 Bölüm 11. İzomorfizmalar ve Grup Cebirleri<br />

dirn((CG) = dirnUı<br />

dinzUr<br />

k<br />

= d.(dimVi)<br />

i=1<br />

k<br />

= di 2<br />

i=1<br />

olur. dimCG =I G I olduğundan ispat tamamlan ır.<br />

■<br />

Örnek 11.1.12 G mertebesi 8 olan bir grup ve G nin tüm indirgenmez<br />

CG-modüllerinin boyutlar ı da<br />

, dk olsun. Teorem 11.1.11 den<br />

i=1<br />

dil = 8<br />

dir. A şikar CG-modül 1-boyutlu oldu ğundan indirgenmez bir CG-modüldür.<br />

Böylece enaz bir 1 < i < k için di = 1 dir. Bu durumda di ,...,dk için<br />

mümkün olan durumlar<br />

1, 1, 1, 1, 1, 1, 1, 1, ve 1, 1, 1, 1, 2<br />

şeklindedir. Bu iki olas ılığın birincisi, G değişmeli grup (Önerme 9.2.1) ve<br />

ikincisi de G = D4 (Alıştırma 10.4) olmas ıdır.<br />

Daha sonra göreceğiz ki, her i için dimVi; G I yi böler ve bu bilgi Teorem<br />

11.1.11 ile birle ştirildiğinde, indirgenmez CG-modüllerin boyutlar ını bulmak<br />

daha kolay olacakt ır.<br />

11. Bölümün Özeti<br />

(i) dim(HomcG(V ı ED• • •EDVT Wı EB• • •ED147,)) =<br />

dim(HomcG(Vi, Wi))<br />

i=ı j= ı<br />

(ii) dim(gom cG(CG , U)) = dimU<br />

(iii) CG = Ui e ... e Ur indirgenmez CG- modüllerin bir direkt toplam ı ve<br />

U herhangi bir indirgenmez CG- modül olsun. Bu durumda Ui = U<br />

olan Ui CG-modüllerinin say ısı dimU ya eşittir.


11.2. Al ış t ırmalar 109<br />

(iv) Eğer {Vb Vk} izomorfik olmayan indirgenmez CG-modüllerin bir<br />

tam cümlesi ise, bu durumda<br />

t=<br />

climVi) 2 =I G I<br />

dir.<br />

11.2 Alışt ırmalar<br />

(1) Eğer G mertebesi 6 olan de ğişmeli olmayan bir grup ise, bütün indirgenmez<br />

CG-modüllerin boyutlar ın ı bulunuz.<br />

(2) Eğer G mertebesi 12 olan bir grup ise, G nin tüm indirgenmez gösterimlerinin<br />

olas ı dereceleri nedir Ayr ıca D6 nın indirgenmez gösterimlerinin<br />

derecelerini bulunuz.<br />

(Yol Gösterme: Al ıştırma 5.3 ii kullan ınız.)<br />

(3) G sonlu bir grup olsun. lionıeG(CG,(CG) nin bir baz ını bulunuz.<br />

(4) G = S, ve V n-boyutlu bir permütasyon modülü olsun. E ğer U aşikar<br />

CG-modül ise, H omw(V, U) nun boyutunun 1 oldu ğunu gösteriniz.<br />

(5) G = D3 ve CG = Ui e U2 e U3 e U4, Örnek 10.1.9 daki gibi indirgenmez<br />

CG-modüllerin direkt toplam ı olsun. HomeG(CG, U3) ve<br />

H omw(U3, CG) uzaylar ının bazlar ın ı bulunuz.<br />

(6) {VI , Vk} izomorfik olmayan indirgenmez CG-modüllerin bir tam<br />

cümlesi ve V ile W keyfi CG-modüller olsun. E ğer 1 < i < k için<br />

ise, bu durumda<br />

= dim(HomeG(V, Vi)) ve ei = dim( H omeG(W, Vi))<br />

di m ( H omw ( V, W )) =<br />

diei<br />

olduğunu gösteriniz.


110 Bölüm 11. İzomorfizmalar ve Grup Cebirleri


Bölüm 12<br />

E şlenik S ın ıflar ı<br />

Bu bölümde, ilerideki çah şmalar ımızda ihtiyaç duyacağımız dihedral, simetrik<br />

ve alterne gruplar ın e şlenik s ın ıflar ını belirleyece ğiz. Ayr ıca bu bölümün<br />

son kısmında bir grubun e şlenik s ın ıflar ı ile grup cebiri aras ındaki ili şkisiyi<br />

verece ğiz.<br />

12.1 E şlenik S ınıflar ı<br />

Tan ım 12.1.1 x, y E G olsun. Eğer y = gxg -1 olacak şekilde bir g E G<br />

varsa, bu durumda x ile y; G de eşleniktir denir. G de x e e şlenik olan tüm<br />

elemanlar ın cümlesi<br />

x G = {gxg -1 : g E G}<br />

şeklindedir. x G ciimlesine x in G içindeki eşlenik s ın ıfı adı verilir.<br />

Şimdi verece ğimiz önerme herhangi iki e şlenik s ınıfının ortak bir elemana<br />

sahip olmad ığın ı göstermektedir.<br />

Onerme 12.1.2 Eğer x, y E G ise, bu durumda x G = yG veya<br />

x G n y G (1) dir.<br />

Ispat xG fl yG (b olsun. Eğer z E xG n yG ise, bu durumda<br />

z = gxg -1 = hytt-1 olacak şekilde g, h E G vard ır. k = g-l h olmak üzere<br />

x = = kyk-1 dır. Böylece<br />

111


112 Bölüm 12. E şlenik S ın ıfları<br />

a E x G > a = bxb-1 olacak şekilde b E G vard ır.<br />

> a = bkyk -l b-i<br />

> a = cyc-1 , (c = bk)<br />

> a E yG<br />

dir. O halde x G C yG dir. Benzer şekilde yG C x G olduğu kolayca<br />

gösterilebilir. Sonuç olarak xG = yG dir.<br />

■<br />

Her x E G için x = lx1 -1 olduğundan x E x G dir ve böylece G e şlenik<br />

s ın ıflar ının bir birle şimidir. 0 halde a şağıdaki sonucu ifade edebiliriz.<br />

Sonuç 12.1.3 Her grup eşlenik s ınıflarının bir birleşimidir ve farkl ı e şlenik<br />

s ınıfları ayrıkt ır.<br />

Tan ım 12.1.4<br />

G nin e şlenik s ınıflar ı olsun. Eğer<br />

G = x IGU...üxF ise, bu durumda x ı , , xi ye G nin e şlenik s ınıf temsilcileri<br />

denir.<br />

Örnek 12.1.5 Her G grubu için 1G = {1}; G nin bir eşlenik s ınıfıd ır.<br />

Örnek 12.1.6 G = D3 =< a,b : a3 = b 2 = 1, b-l ab = a-1 > olsun. Bu<br />

durumda G = {1, a, a 2 , b,ab, a 2 b} şeklindedir. Her g E G için gag-1 = a<br />

veya a 2 olduğundan<br />

aG = {a, a z }<br />

dir. Ayr ıca her i E Z için aiba- i = a 2ib dir. Böylece<br />

bG = {b,ab,a2 b}<br />

dir. Bu durumda G nin e şlenik s ın ıflar ı ;<br />

şeklindedir.<br />

{1}, {a,a 2}, {b,ab,a 2b}<br />

Örnek 12.1.7 Eğer G deği şmeli ise, her x,g E G için gxg -1 = x olduğundan<br />

x G = {x} dir. Böylece G nin her bir e şlenik s ınıfında tam olarak bir eleman<br />

vard ır.


12.2. Eşlenik S ınıflarm ın Eleman Say ıs ı 113<br />

Şimdi sonlu bir grubun e şlenik s ın ıflar ının belirlenmesinde kullan ışlı bir<br />

önerme verelim.<br />

Onerme 12.1.8 x, y E G olsun. Eğer x ile y; G de eşlenik ise, bu durumda<br />

her n tamsayıs ı için xn ile yn e şleniktir.Ayr ıca x ile y nin mertebesi ayn ıdır.<br />

Ispat Her a, b E G için gaby -1 = (gag')(gbg-1 ) dir. Böylece<br />

gx ng- ı = (gxg- ı \n ) dir. x ile y G de e şlenik olsun. Bu durumda y = gxg -1<br />

olacak şekilde g E G vardır. Buradan yn = gxng -1 olup xn ile yr' G de<br />

eşleniktir. x in mertebesi m olsun. Bu durumda yrn = gxmg -1 = 1 ve<br />

< r < m için yr = gxrg -1 1 olduğundan y nin mertebesi m dir. ■<br />

12.2 Eşlenik S ınıflar ın ın Eleman Say ıs ı<br />

Tan ım 12.2.1 x E G olsun. x in G deki merkezleyeni G deki x ile değişmeli<br />

olan tüm elemanlardan olu şur ve CG(x) ile gösterilir. Yani,<br />

şeklindedir.<br />

CG(x) = {g E G : xg = gx} = {g E G : gxg -1 = x}<br />

CG(x) in G nin bir altgrubu olduğu kolayca gösterilebilir. x E CG(x)<br />

olduğundan her x E G için < x >C CG(x) dir.<br />

Şimdi vereceğimiz teorem, merkezleyen yard ımıyla G nin e şlenik s ımflar ındaki<br />

eleman say ılarını belirler.<br />

Teorem 12.2.2 x E G olsun. Bu durumda, xG e şlenik s ınıfındaki eleman<br />

say ıs ı,<br />

d ır. Özel olarak I x G I; I G I yi böler.<br />

Ispat g,h E G olmak üzere<br />

I X G [G : CG(x)] =I G I CG(x) I<br />

gxg-ı hah-1 > h-ı gx = xh-1 g<br />

y E CG(x)<br />

gCG(x) = hCG(x)


114 Bölüm 12. Eşlenik S ın ıfları<br />

dir. Böylece xG den CG(x) in G içindeki sol kosetlerinin cümlesine birebir<br />

bir fonksiyon tan ımlayabiliriz. Her g E G için<br />

f : gxg -1 ---> gCG(x)<br />

şeklinde tan ımlanan f fonksiyonu birebir ve örtendir. Böylece<br />

dir.<br />

Z(G); G nin merkezi olmak üzere<br />

I x G I= [G : CG(x)]<br />

■<br />

I x G 1= 1 gxg -1 = x (g E G)<br />

x E Z(G)<br />

dir. Şimdi aşağıdaki tan ımı verebiliriz.<br />

Tan ım 12.2.3<br />

x ı ; G nin eşlenik s ın ıf temsilcileri olmak üzere<br />

I G I= Z(G) I +<br />

denklemine G nin s ın ıf denklemi denir.<br />

OZ( G)<br />

I xG I<br />

12.3 Dihedral Gruplar ın Eşlenik S ın ıflar ı<br />

Şimdi Teorem 12.2.2 nin bir uygulamas ın ı verece ğiz.<br />

G = Dn ; 2n. mertebeden dihedral grup,<br />

D7, a,b : an = b2 = 1, b-1 ab = a-1 ><br />

olsun. G nin e şlenik sınıflar ın ı belirlerken Tl in tek veya çift olma durumunu<br />

gözönüne alaca ğız.<br />

(i) n tek olsun. Önce 1 ] = 2


12.3. Dihedral Grupların Eşlenik S ınıfları 115<br />

dir. Ayrıca baib-1 = a-i olduğundan {ai,a-i} C (aT)G dir. n tek<br />

olduğundan a i # a-i dir. Böylece 2 , (ai ) G = {ai<br />

Şimdi b E G yi gözönüne alal ım. Aç ık olarak {1, b} C CG(b) dir.<br />

bai b-1 = a-i olduğundan 1 < i < rı — 1 için ai ve ai b elemanlar ı b<br />

ile deği şmeli değildir. Böylece CG(b) {1, b} dir. Teorem 12.2.2 den<br />

dolay ı I bG I= n dir.<br />

ai şeklindeki bütün elemanlar önceki e şlenik s ınıflarında yer aldığından<br />

dolay ı bG; G nin diğer TL tane eleman ından olu şmak zorundad ır. Bu<br />

sebeple<br />

bG =<br />

şeklindedir. Sonuç olarak n nin tek olmas ı durumunda Dr, dihedral<br />

grubu tam olarak<br />

tane e şlenik s ımfına sahiptir;<br />

1+ ( ıı — 1)/2 1 (n + 3)/2<br />

{1},{a,a-1},...,{a(n-1)/2, a-(n-1)/2}, {b,ab,...,an-l b} (12.1)<br />

(ii) n çift olsun. Bu durumda bir m E Z için n = 2m dir.<br />

bamb-1 = a- Tn = am olduğundan {a, b} C CG(am) ve böylece<br />

CG(am) = G dir. Bu sebeple (a7n)G = {am} dir. (i) deki gibi<br />

1 < < m — 1 için (ai) G = {ai,a-i} dir.<br />

Her bir j tamsay ısı için,<br />

aiba-i = a27 b,<br />

ai(ab)a- = a23+lb


116 Bölüm 12. E şlenik S ın ıfları<br />

olduğundan<br />

bG = {a23 1ı : O < j < m - 1} , (ab)G = {a 23 + 1 b : O < j < m - 1}<br />

şeklindedir. Sonuç olarak D , dihedral grubu tam olarak<br />

tane e şlenik sınıfına sahiptir;<br />

1 -F 1 (m - 1) -I- 2 = m 3<br />

{I}, {am},..., {am-i, a (7r4 (12.2)<br />

{a 2jb:0


12.4. S, in E şlenik S ınıfları 117<br />

x = (a i ... ak ı ) (e ı .. • Cie s )<br />

Y = (a; a'ki ) . .(ci ...eks )<br />

şeklindedir.<br />

a ı (4, , ek. --> e iks e olacak şekilde bir g E S, vard ır ve böylece<br />

(12.4) den<br />

gxg -1 = y<br />

dir. Böylece a şağıdaki teoremi ispatlam ış olduk.<br />

Teorem 12.4.2 x E S, olsun. Bu durumda<br />

şeklindedir.<br />

x sn = {g E Sn : x ile g ayn ı devir tipindedir}<br />

Örnek 12.4.3 S3 ün eşlenik s ın ıfları ;<br />

S ınıf<br />

Devir-tipi<br />

{(1)} (1,1,1)<br />

«12),(13),(23)} (2,1)<br />

{(123),(132)} (3)<br />

şeklindedir.<br />

Örnek 12.4.4 S4 de (12)(34) ün e şlenik s ınıfı (2,2) devir-tipli tüm elemanlardan<br />

olu şur:<br />

((12)(34)) s4 = «12)(34),(13)(24), (14)(23)}


118 Bölüm 12. E şlenik S ın ıfları<br />

Örnek 12.4.5 S4 ün tam olarak be ş tane e şlenik s ınıfı vard ır. Bu e şlenik<br />

s ınıflar ı= temsilcileri:<br />

(1),(12),(123),(12)(34),(1234)<br />

permütasyonlar ıdır.<br />

E şlenik s ın ıflar ındaki eleman say ıs ını hesaplamak için 2-devir, 3-devir,...<br />

lerin say ısını belirleyeceğiz. 2-devirin say ısı {1, 2,3, 4} den seçilebilecek çiftlerin<br />

4<br />

sayıs ına e şittir. Bu da ( 2 = 6 d ır. 3-devirin say ıs ı 4 x 2 dir (4, sabit<br />

noktalar ın seçimi için, verilen bir noktay ı sabitleyen 2 tane 3-devir vard ır).<br />

Benzer olarak, (2,2) devir-tipli üç eleman ve 4-devir tipli alt ı tane eleman<br />

vard ır. Yani G = S4 için g e şlenik s ın ıf temsilcisi, I g G 1 eşlenik s ınıfın eleman<br />

say ıs ı ve 1 CG(g) merkezleyenin mertebesi olmak üzere<br />

g (1) (12) (123) (12)(34) (1234)<br />

gG 6 8 3 6<br />

CG(g)1 24 4 3 8 4<br />

şeklindedir. Ayr ıca S4 ün s ın ıf denklemi:<br />

dir.<br />

154 1=1+6+8+3+6= 24


12.5. A n in Eşlenik S ınıfları 119<br />

Örnek 12.4.6 G = S5 için aşağıdaki tabloyu inceleyiniz.<br />

(1)<br />

(12)<br />

(123)<br />

(12)(34)<br />

(1234)<br />

(123)(45)<br />

(12345)<br />

gG I<br />

10<br />

20<br />

15<br />

30<br />

20<br />

24<br />

I CG(g)<br />

120<br />

12<br />

6<br />

8<br />

4<br />

6<br />

5<br />

Ayr ıca S5 in s ınıf denklemi:<br />

şeklindedir.<br />

1S 5 1=1+10+20+15+30+20+24<br />

12.5 A n in Eşlenik S ın ıflar ı<br />

x E Ar, olsun. Teorem 12.3.2 den xsn e şlenik s ınıfı , x ile ayn ı devir-tipine<br />

sahip Sn deki tüm permütasyonlardan olu şmaktad ır. Ar, de x in xAn e şlenik<br />

s ınıfı<br />

x A ' = {gxg -1 : g E A T,}<br />

şeklindedir. Aç ık olarak xAn C xsn dir. Fakat xAn x Sn olabilir. Gerçekten<br />

x = (123) E A3 olmak üzere x-s3 = {x, x -1 } olmas ına rağmen x A3 = {x} dir.<br />

Şimdi vereceğimiz önerme hangi ko şullarda xsn = X A " olacağını kesin<br />

olarak belirler ve e şitlik sağlanmadığı zaman x An eşlenik s ımfının belirlenmesi<br />

için bir yöntem verir.<br />

Önerme 12.5.1 n > 1 olmak üzere x E A,, olsun.<br />

(i) Eğer x; 5,, deki herhangi bir tek-permütasyon ile değişmeli ise, bu durumda<br />

xs'. = X A " dir.


120 Bölüm 12. E şlenik S ınıfları<br />

(ii) Eğer x; Sn deki tek-permütasyonlarla değişmeli de ğilse, bu durumda<br />

xsn, temsilcileri x ve (12)x(12)" olan A n de ayn ı eleman say ılı iki<br />

eşlenik s ın ıf ına ayrılır.<br />

Ispat<br />

(i) g E S n bir tek-permütasyon olmak üzere gx = xg olsun. Eğer y E x sn<br />

ise, bu durumda y = hxh' olacak şekilde bir h E S, vard ır. Eğer h<br />

çift ise, bu durumda y E x An dir. Eğer h tek ise, bu durumda hg E An<br />

ve<br />

y = hx11-1 = hxyg"h" = hgx(hg)"<br />

olacağından y E x An dir. Böylece xsn C xAn olduğundan xsn = x A n<br />

dir.<br />

(ii) Eğer x; S n deki tek-permütasyonlarla de ği şmeli değilse, bu durumda<br />

Cs„(x) = C A,,(X) dir. Teorem 12.2.2 gere ğince<br />

I<br />

x A n I = [An : CA„(x)]<br />

1 1<br />

2 [Sn : CA„(x)] , (I An I= 2<br />

S, 1)<br />

2 [Sn : Cs,,(x)]<br />

xsn<br />

olur. a E An olmak üzere her tek-permütasyon a(12) biçiminde oldu ğundan<br />

şeklindedir.<br />

{hxl ı-1 : h tek} = ((12)x(12) -') An<br />

x sn = {hx17, -1 : h çift} U {hxl ı,-1 : h tek}<br />

xAn U ((12)X(12) -1 ) A "<br />

olup I x A n I= xsn z I I olduğundan xAn ile ((12)x(12) -1 ) A" eşlenik<br />

s ın ıflar ı ayr ık ve eleman say ılar ı ayn ı olmak zorundad ır.


12.5. in Eşlenik S ınıfları 121<br />

Örnek 12.5.2 A4 ün e şlenik s ınıflarını bulalım. A4 ün elemanlar ı, birim,<br />

(2,2) ve (3) devir-tipli permütasyonlard ır. (12)(34), (12) tek-permütasyonu<br />

ile deği şmeli olduğundan Onerme 12.5.1 gere ğince<br />

((12)(34)) A4 = ((12)(34)) L4 = «12)(34),(13)(24),(14)(23)}<br />

şeklindedir. Ayr ı ca (123) 3-deviri hiçbir tek-permütasyonla de ği şmeli değildir.<br />

Eğer g(123)g -1 = (123) ise, Onerme 12.3.1 den (123) = (g(1)g(2)g(3)) dir.<br />

Böylece g; (1), (123) veya (132) olmak zorundad ır. Bu durumda Onerme<br />

12.4.1 den (123) s4 , temsilcileri (123), (12)(123)(12) -1 = (132) ve eleman<br />

sayılar ı 4 olan A4 de ayrık iki e şlenik sınıfına parçalan ır. Sonuç olarak<br />

aşağıdaki tabloyu verebiliriz:<br />

■<br />

g (1) (12)(34) (123) (132)<br />

Ig G 1 3 4 4<br />

CG(g) I 12 4 3 3<br />

Örnek 12.5.3 A5 in eşlenik s ınıflar ın ı bulalım. 55 de birim olmayan bir<br />

çift permütasyon (3), (2,2) veya (5) devir-tipindedir. (123) ve (23)(45);<br />

(45) tek-permütasyonu ile de ğişmeli, fakat (12345) hiçbir tek-permütasyonla<br />

deği şmeli değildir (Örnek 12.5.2 deki yöntem ile kontrol ediniz). Böylece<br />

Onerme 12.5.1 den A5 in e şlenik s ınıf temsilcileri (1), (123), (12)(34), (12345)<br />

ve (12)(12345)(12) -1 = (13452) şeklindedir.


122 Bölüm 12. E şlenik S ınıfları<br />

Onerme 12.5.1.(ii) yi kullanarak a şağıdaki tabloyu elde edebiliriz.<br />

g (1) (123) (12)(34) (12345) (13452)<br />

gG 20 15 12 12<br />

CG(g} I 60 3 4 5 5<br />

12.6 Normal Altgruplar<br />

Şimdi normal altgruplarla e şlenik sınıflar ı aras ındaki il şkiyi verelim<br />

Onerme 12.6.1 H; G nin bir altgrubu olsun. Bu durumda<br />

H


12.7. Bir Grup Cebirinin Merkezi 123<br />

ve (1) E H olduğundan; I H I= 1, 1+ 3, 1 + 8 + 3 veya 1 + 6 + 8 + 3 + 6<br />

olmak zorundad ır. Böylece;<br />

I H 1=1 ise, H = {(1)},<br />

I H I= 24 ise, H = G,<br />

I H H 12 ise, H = A4,<br />

I H I= 1+ 3 ise,<br />

H = (1)s4 U ((12)(34)) S4 = {(1), (12)(34),(13)(24), (14)(23)}<br />

şeklindedir. I H I= 1+3 için bulduğumuz normal altgrubu V4 ile gösterece ğiz.<br />

Sonuç olarak S4 ün tam olarak dört tane normal altgrubu vard ır:<br />

{(1)},S4 ,A4 ve V4 = «1),(12)(34),(13)(24),(14)(23)}<br />

12.7 Bir Grup Cebirinin Merkezi<br />

Son olarak G grubunun e şlenik s ın ıflar ı ile CG grup cebirinin merkezi aras ındaki<br />

ili şkiyi verece ğiz. CG grup cebirinin merkezini<br />

Z(CG) = {z E CG : zr = rz, r E CG}<br />

olarak tan ımlamışt ık. Z((CG) nin CG nin bir altuzay ı olduğunu biliyoruz.<br />

G nin e şlenik s ın ıflarındaki elemanlar yard ımıyla Z((CG) nin bir baz ın ı belirleyece<br />

ğiz.<br />

Tan ım 12.7.1 Cı,...,C İ ; G nin farklı e şlenik s ınıflar ı olsun. 1 < i < / için<br />

olmak üzere CG nin C1 ,<br />

C, = g<br />

gEC,<br />

, C/ elemanlar ına s ınıf toplamları denir.<br />

Onerme 12.7.2 Cİ,...,Ci; Z((CG) nin bir baz ıdır.<br />

İspat İlk olarak 1 < i < / için C, E Z((CG) olduğunu gösterelim.<br />

Yı , • • • , yr E G olmak üzere C, =<br />

, yrgy,: ı } olsun. Bu durumda


124 Bölüm 12. E şlenik S ınıfları<br />

ve her h E G için<br />

hCih -1 = hgigy h -1<br />

şeklindedir. 1 < j < r için<br />

hyjggr l h-1 = hykgy i7l h-1 < gigy7 1 = ykgy ı7 1<br />

olduğundan hyjgyi-l rı -I ; Ci yi tarar. Böylece<br />

T<br />

j=1<br />

hyigy71.h-1 Ci<br />

olup hCilı-1 = Ci dir. Bu durumda hCi = Cih dir. O halde her bir Ci<br />

her h E G ile deği şmelidir. Sonuç olarak Ahh E (CG ile Ci E Z((CG)<br />

hEG<br />

deği şmelidir.<br />

Şimdi {Ci,...,C/} nin lineer bağımsız olduğunu gösterelim. E ğer Ai E C<br />

I ____<br />

için AiCi = 0 ise, bu durumda C/ ler iki şer ayr ık olduğundan<br />

i=1<br />

1 < i < / için Ai = O dır.<br />

Son olarak {C İ ,...,G} nin Z(CG) yi gerdi ğini gösterelim.<br />

r = E A g g E Z(CG) olsun. h E G için rh = hr olduğundan hrh-1 = r dir.<br />

gEG<br />

Bu durumda<br />

gEG<br />

= E A9g<br />

gEG<br />

dir. Böylece her bir h E G için g nin katsay ısı A g , hgh -1 in katsay ısı Ah gh-1<br />

ye e şittir. Yani g --> A g fonksiyonu G nin eşlenik s ınıflar ı üzerinde sabittir.<br />

gi E Ci nin katsay ısı Ai = agj olmak üzere<br />

r = E AiCi<br />

i=1<br />

şeklindedir. Böylece ispat tamamlanm ış olur.<br />

Örnek 12.7.3 Örnek 12.4.3 den Z(0S3 ) ün bir baz ı<br />

dir.<br />

{(1), (12) (13) -F (23), (123) -I- (132 )}


12.8. Al ıştırmalar 125<br />

Örnek 12.7.4 (12.2) ve (12.3) den Z(CD 4 ) ün bir baz ı<br />

dir.<br />

{1, a 2 , a3 , b + a2 b, ab + a3b}<br />

12. Bölümün Ozeti<br />

(i) Her grup e şlenik s ınıflarının bir birle şimidir ve farkl ı e şlenik s ınıflar ı<br />

ayrıkt ır.<br />

(ii) G grubunun bir x eleman için CG(x) merkezleyeni G nin x ile deği şmeli<br />

olan elemanlar ının cümlesidir. Bu cümle G nin bir altgrubudur. x G<br />

e şlenik s ın ıfı= eleman say ıs ı [G : CG(x)] e eşittir.<br />

(iii) S„, in eşlenik s ınıflar ı , Sr, deki permütasyonlar ın devir-tipi ile ili şkilidir.<br />

(iv) Eğer x E Ar, ise, bu durumda x-4- = xsn• olmas ı için gerek ve yeter<br />

şart x in Sn deki herhangi bir tek-permütasyon ile de ğişmeli olmas ıd ır.<br />

(v) CG nin s ıluf toplamlar ı CG nin merkezi için bir bazd ır:<br />

12.8 Al ışt ırmalar<br />

(1) G bir grup ve x E G olmak üzere CG(x) in G nin Z((CG) yi içeren bir<br />

altgrubu oldu ğunu gösteriniz.<br />

(2) G sonlu bir grup g E G ve z E Z(G) olsun. I gG 1, 1 (g z)G I olduğunu<br />

gösteriniz.<br />

(3) G = S7, olsun.<br />

(a) ( (12)G I= ( 2 )<br />

olduğunu gösteriniz ve CG((12)) yi belirleyiniz.<br />

(b) I (123)G I= 2 ( 3n ) ve I ((12)(34)) G H 3 ( 4n )<br />

olduğunu gösteriniz.


126 Bölüm 12. E şlenik S ın ıfları<br />

(c) n = 6 olsun.<br />

((123)(456)) G 40 ve I ((12)(34)(56)) G I= 15<br />

olduğunu gösteriniz ve S6 nın diğer e şlenik s ın ıflar ındaki eleman<br />

say ılar ın ı bulunuz.<br />

(S6 nın 11 tane e şlenik s ınıfı olduğuna dikkat ediniz.)<br />

(4) xA 6 xs6 şart ın ı sağlayan x E A6 permütasyonlarm ın devir-tipleri<br />

nedir Ara şt ır ınız.<br />

(5) As in bir basit grup oldu ğunu gösteriniz.<br />

(Yol Gösterme: Örnek 12.6.2 deki yöntemi uygulay ınız.)<br />

(6) Qg quaternion grubunun e şlenik s ınıflar ını belirleyiniz ve CQ8 in merkezi<br />

için bir baz bulunuz.<br />

(7) p bir asal say ı, n pozitif bir tamsay ı ve G grubunun mertebesi p% olsun.<br />

(a) Tanım 12.2.3 ii kullanarak Z(G) {1} oldu ğunu gösteriniz.<br />

(b)<br />

n > 3 ve I Z(G) 1= p olsun. G nin eleman say ıs ı p olan bir e şlenik<br />

s ın ıfına sahip olduğunu ispatlay ınız.


Kaynaklar<br />

[1] Collins, M. J. , Representations and Characters of Finite Groups,<br />

Cambridge University Press, 1990.<br />

[2] Coxeter, H. S. M. and Moser, J. O. , Generators and Relations for<br />

Discrete Groups , Springer-Verlag, 1980.<br />

[3] Curtis, C. W. and Reiner, I. , Methods of Representations Theory<br />

with Applications to Finite Groups and Orders, Volume I , Wiley-<br />

Interscience, 1981.<br />

[4] Fraleigh, J.B. , A First Course in Abstract Algebra, Addison-<br />

Wesley, 1982.<br />

[5] Jacobson, N. , Basic Algebra II , W. H. Freeman and Company,<br />

1985.<br />

[6] James, G. D. and Liebeck, M. , Representations and Characters of<br />

Groups, Cambridge University Press, 1993.<br />

[7] Passman, D. S. , Permutation Groups, Benjamin, 1968.<br />

[8] Rotman J. J. , An Introduction to the Theory of Groups , Allyn<br />

and Bacon, 1984.<br />

[9] Sagan, B.E. , The Symmetric Group, Representations, Combinatorial<br />

Algorithms and Symmetric Functions, Wadsworth and Brooks,<br />

1991.<br />

127


Indeks<br />

A4, 121<br />

A5, 121<br />

A n , 8, 9, 119<br />

Cr,,, 2, 93<br />

13,, 2<br />

FG-altmodül, 53<br />

FG-homomorfizma, 65<br />

FG-izomorfizma, 67<br />

FG-modül, 42<br />

aşikar, 46, 66<br />

altmodül, 53<br />

faithful, 46, 60, 90<br />

indirgenebilir, 54<br />

indirgenmez, 54, 78, 83, 95<br />

izomorfik, 67<br />

permütasyon, 48, 66<br />

regüler, 60<br />

G L(n, F), 3<br />

Q8, 4<br />

S4, 73<br />

Sn , 3, 4, 116<br />

aşikar FG-modül, 46, 66<br />

aşikar gösterim, 37<br />

alterne grup, 4<br />

altgrup, 3<br />

devirli, 3<br />

normal, 7<br />

altuzay ı, 15<br />

bölüm grubu, 8<br />

basit grup, 10<br />

baz, 15<br />

doğal, 48, 58<br />

baz değişim matrisi, 24<br />

Birinci Izomorfizma Teoremi, 9<br />

boyut, 15<br />

cebir, 60<br />

çekirdek, 8, 19<br />

dış direkt toplam, 18<br />

denk gösterim, 35, 48<br />

devir tipi, 116<br />

devirli altgrup, 3<br />

devirli grup, 2, 3, 86<br />

değişmeli grup, 3, 86<br />

dihedral grup, 2<br />

direkt çarp ım, 5<br />

direkt toplam, 16<br />

dış , 18<br />

doğal baz, 48, 58<br />

e şlenik, 111<br />

eşlenik s ın ıf temsilcisi, 112<br />

e şlenik sınıfı, 111<br />

endomorfizma, 20<br />

faithful FG-modül, 46, 60, 90<br />

faithful gösterim, 37<br />

gösterim, 33<br />

128


Indeks 129<br />

aşikar, 37<br />

denk, 35, 48<br />

faithful, 37<br />

indirgenebilir, 54<br />

indirgenmez, 54, 84<br />

regüler, 60<br />

gösterimin çekirdeği, 37<br />

gösterimin derecesi, 33<br />

genel lineer grup, 3<br />

germe, 14<br />

grubun merkezi, 90<br />

grup, 1<br />

alterne, 4<br />

altgrup, 3<br />

bölüm, 8<br />

basit, 10<br />

devirli, 2, 3, 86<br />

deği şmeli, 3, 86<br />

dihedral, 2<br />

genel lineer, 3<br />

quaternion, 4<br />

simetrik, 3<br />

grup cebiri, 59<br />

grup cebirinin merkezi, 88, 123<br />

homomorfizma, 5<br />

indeks, 7<br />

indirgenebilir FG-modül, 54<br />

indirgenebilir gösterim, 54<br />

indirgenmez FG-modül, 54, 78, 83,<br />

95<br />

indirgenmez gösterim, 54, 84<br />

izomorfik FG-modüller, 67<br />

izomorfizma, 5<br />

kö şegensel matris, 26<br />

kompozisyon faktörü, 97<br />

koset, 7<br />

Lagrange Teoremi, 7<br />

lineer bağımsız, 14<br />

lineer dönüşüm, 18<br />

lineer kombinasyon, 14<br />

Maschke Teoremi, 75<br />

matris<br />

kö şegensel, 26<br />

permütasyon, 48<br />

tersinir, 24<br />

merkez<br />

grup, 90<br />

grup cebiri, 88, 123<br />

merkezleyen, 113<br />

mertebe, 1<br />

normal altgrup, 7<br />

ortak kompozisyon faktörü, 97, 102<br />

özdeğer, 25<br />

özvektör, 25<br />

permütasyon<br />

çift, 4<br />

tek, 4<br />

permütasyon matrisi, 48<br />

permütasyon modülü, 48, 66<br />

projeksiyon, 27<br />

quaternion grup, 4<br />

Rank-Nullity Teoremi, 19<br />

regüler FG-modül, 60<br />

regüler gösterim, 60<br />

sımf denklemi, 114<br />

sınıf toplamlar ı, 123<br />

Schur Lemmas ı, 83<br />

simetrik grup, 3<br />

tam cümle, 107


130 indeks<br />

tamamen indirgenebilirlik, 79<br />

tersinir matris, 24<br />

transpozisyon, 4<br />

vektör uzay ı, 14<br />

altuzay, 15

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!