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

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

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!