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.

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.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!