Professional Documents
Culture Documents
GRUPLAR
Tanım 1.1. G boş olmayan bir küme ve , G de bir ikili işlem olsun. ( G , ) cebirsel
yapısına aşağıdaki aksiyomları sağlıyorsa bir grup denir.
Not 1.2.
Tanım 1.4 ( G , ) grubu değişmeli değilse bu gruba değişmeli olmayan grup denir.
Tanım 1.5. G sonlu bir küme ise ( G , ) grubuna bir sonlu grup denir ve eleman
sayısına grubun mertebesi denir. G sonsuz bir grup ise ( G , ) grubuna bir sonsuz grup
denir. ( G , ) grubunun mertebesini ile göstereceğiz.
1
Örnekler 1.6.
1) , * işlemine göre bir grup ve birim eleman ise grubunun işlem tablosu
aşağıdaki gibidir.
2) * işlemine göre bir grup ve birim eleman ise grubunun işlem tablosu
aşağıdaki gibidir.
3) }, * işlemine göre bir grup ve birim eleman ise grubunun işlem tablosu
aşağıdaki gibi 4 değişik biçimdedir( İzomorfizma farkıyla dördüncü mertebeden sadece 2 tane
grup olduğunu daha sonra göstereceğiz).
2
a) c)
b) d)
b) deki grubunda her elemanın karesi birim olan (Kleinin 4-lü grubu) bir değişmeli grup
olduğu anlaşılır.
5) Rasyonel sayılar kümesi ℚ ve ℝ reel sayılar kümesi, bilinen toplama işlemine göre bir
toplamsal gruptur.
6) ℚ -{0} ve ℝ -{0} kümeleri, bilinen çarpma işlemine göre bir değişmeli çarpımsal
gruptur.
8) G ={1, -1, i, i } kümesi, çarpma işlemine göre mertebesi 4 olan bir değişmeli gruptur.
9 ) n birpozitif tamsayı ve ℝ reel sayılar kümesi olsun. Girdileri ℝ içinde olan lik
matrisler kümesini ℝ ile gösterelim. Bu halde her n 1 için ℝ
ℝ : ≠0 matrislerde çarpma işlemine göre bir gruptur. Matrislerde değişme özelliği
olmadığından ℝ değişmeli olmayan bir gruptur. Bu gruba n. dereceden Genel Lineer
grup denir.
3
11) ℝ reel sayılar kümesi ℝ olsun. x, y G için x y ( x y) / (1 xy)
ile bir işlemi tanımlansın. (G, ) nın bir değişmeli grup olduğunu gösterelim.
a) [( x y) / (1 xy)]2 1 x2 2 xy y 2 1 2 xy x 2 y 2
(1- x 2 )(1- y 2 ) 0
Böylece için x y G dir.
12) Aşağıdaki kümelerin verilen işlemi altında bir grup oluşturmadığını gösterelim.
a) a b max{a, b} işlemi altında ( Z , )
b) a b min{a, b} ile ( Z , )
c) a b a b ab ile ℝ
Çözüm. a) 1, birim eleman fakat 2 a 1 olması max{2,a}=1 olmasını gerektirir. Bu çelişki
oluşturur.
b) Birim elemanı yoktur. e gibi birim elemanı olsaydı a Z için a e olurdu. e , Z nin en
büyük elemanı olurdu. Bu çelişki oluşturur.
c) 0 birim elemandır. 1 b 0 olması 1=0 olmasını gerektirdiğinden 1 in tersi yoktur.
ile tanımlanan . işlemine göre gruptur. Bu gruba ile nin direkt çarpımı denir.
Şimdi grup aksiyomlarının sağlandığını gösterelim.
i) için
olduğundan kapalılık özelliği sağlanır.
ii) için
4
Dolayısıyla olur.
olur.
iv) deki herhangi bir eleman nin tersi, nin işlemine göre tersi
ve nin o işlemine göre tersi olmak üzere ( ) dir.
14) Herhangi bir 2 için nin ile aralarında asal olan elemanlarının oluşturduğu
kümeyi ile gösterelim. Yani olsun. kümesi için
olmak üzere işlemi tanımlansın. ( ) bir gruptur. Gerçekten,
Önerme 1.7. ( Kısaltma Özelliği) (G, ) bir grup ise a,b,c G için aşağıdaki ifadeler
sağlanır.
i) a b a c b c
ii) a c b c a b
İspat:
i) a b a c a1 (a b) a 1 (a c)
(a 1 a) b (a 1 a) c
bc
ii) a c b c (a c) c1 (b c) c 1
a (c c 1 ) b (c c 1 )
a e be
5
ab
Tanım 1.8. olmak üzere bir pozitif tam sayı ve bir grup olsun.
olmak üzere olarak tanımlanır.
olur.
İspat. olsun. Şu halde olup ( * ) eşitliğini
( ** )
olarak ifade edebiliriz. Şimdi k yı sabit tutalım ve ( ** ) eşitliğinin her için doğru
olduğunu tümevarımla gösterelim.
için Tanım 1.8 den
eşitliği vardır.
ve iddia için doğru olsun. Yani
6
Önerme 1.10. ≠ bir küme ve , de bir ikili işlem olsun. işlemi, kapalılık ve
birleşme aksiyomları ile aşağıdaki aksiyomları sağlasın:
A) olmak şartıyla (sol birim) ve
B) de alınan herhangi bir a elemanı için olmak şartıyla bir ( nın
sol tersi ) bulunabilsin. Bu takdirde kapalılık, birleşme, A), B) koşulları grup
aksiyomlarına denktirler.
olur. Şu halde
Not 1.11.
7
0
0
0
ile tanımlanır.
i)
ii)
iii) değişmeli bir grup ise
İspat:
i) olduğunu, üzerinden tümevarım uygulayarak ispatlayalım. için
olduğu tanımdan kolayca görülür. için kabul edip için eşitliği
ispatlayalım:
elde ederiz. Şimdi için eşitliğin doğru olduğunu kabul edelim. Yani,
8
Not 1.14. için = olduğundan Önerme 1.13,
için doğrudur.
0 0
0
ile tanımlanır.
Sorular
2) Aşağıdaki kümelerin verilen işlem altında bir grup olup olmadığını belirleyiniz.
(a) tamsayılar kümesi ve olmak üzere ,
(b) ℝ reel sayılar kümesi ve olmak üzere ℝ ,
(c) ℝ pozitif reel sayılar kümesi olmak üzere (ℝ , ).
9
5) ℚ ≠0 ≠0 kümesi kompleks sayılardaki çarpma
işlemine göre bir gruptur. Gösteriniz.
8) Aşağıdaki kümelerin verilen işlem altında bir grup olup olmadığını belirleyiniz.
(a) Matrislerde toplama işlemine göre lik reel matrislerin kümesi
(b) Matrislerde çarpma işlemine göre lik reel matrislerin kümesi
(c) lik reel değerli köşegen matrislerin
kümesi
13) kümesinin
şeklinde tanımlanan * işleme göre bir grup olup olmadığını inceleyiniz.
14) boş olmayan bir küme in tüm alt kümelerinin ailesi (kuvvet kümesi) olmak
üzere aşağıda verilen ikili işlemlere göre in bir grup olup olmadığını belirleyiniz.
olsun.
(a)
(b)
(c)
10
16) G bir grup olmak üzere için ise, G grubunun değişmeli olduğunu
gösteriniz.
19) Eleman sayısı çift olan bir grupta, tersi kendisine eşit olan birimden farklı bir eleman var
olduğunu ispatlayınız.
23) Aşağıdaki ifadeler doğru/ yanlış mıdır? Doğru ise ispatlayınız, yanlış ise nedenini bir
örnekle açıklayınız.
KAYNAKLAR
11