Cisim (cebir)

Cisim, halka ve grup gibi soyut bir cebirsel yapıdır.^[1] Kabaca, elemanları arasında toplama, çıkarma, çarpma ve bölme (sıfıra bölme hariç) yapılabilen ve bu işlemlerde sayılardan alışık olduğumuz temel aritmetik kurallarının geçerli olduğu bir küme olarak tanımlanabilir.^[1]

Her cisim bir halkadır, fakat bunun tersi geçerli değildir. Mesela tam sayılar kümesi $\mathbb {Z}$ bir halka olduğu halde, içinde bölme yapılamadığı için cisim değildir. Değişmeli bölenler halkasına cisim denir.

Rasyonel sayılar $\mathbb {Q}$ ve gerçel sayılar $\mathbb {R}$ , cisimlerin başlıca örneklerindendir. Ancak soyut cebirde toplama ve çarpma işlemlerinin tanımlı olduğu daha başka cisimler hayal etmek de mümkündür.

Tarihçe değiştir

Cisim kavramını ilk ortaya atan Richard Dedekind olmuştur. Dedekind, bu yapı için Almancada "cisim" ya da "vücut" anlamına gelen Körper kelimesini kullanmıştır.

Tanımı ve Temel Özellikleri değiştir

Cisim Aksiyomları değiştir

$\mathbb {K}$ boş olmayan bir küme olsun. Bu kümenin bir cisim olması için, elemanları arasında $+$ ile gösterip ve toplama diye adlandıracağımız, ve $*$ ile gösterip çarpma diye adlandıracağımız iki tane ikili işlem tanımlanmış olması gereklidir. Ayrıyeten, bu işlemlerin bazı özellikleri sağlaması gerekmektedir. Toplama işlemi için;

Birleşme Özelliği Her $a,b,c\in \mathbb {K}$ üçlüsü için $(a+b)+c=a+(b+c):=a+b+c$
Birim Elemanın Varlığı Öyle bir $0\in \mathbb {K}$ mevcuttur ki her $a\in \mathbb {K}$ için $a+0=0+a=a$
Ters Elemanların Varlığı Her $a\in \mathbb {K}$ için öyle bir $-a\in \mathbb {K}$ elemanı mevcuttur ki $a+(-a)=(-a)+a=0$
Değişme Özelliği Her $a,b\in \mathbb {K}$ ikilisi için $a+b=b+a$

özelliklerinin hepsi sağlanmalıdır. Cisimlerde, çarpma işlemi de benzer özellikleri sağlamaktadır:

Birleşme Özelliği Her $a,b,c\in \mathbb {K}$ üçlüsü için $a*(b*c)=(a*b)*c:=a*b*c$
Birim Elemanın Varlığı Öyle bir $1\in \mathbb {K}$ mevcuttur ki her $a\in \mathbb {K}$ için $1*a=a*1=a$
Ters Elemanların Varlığı Her $a\in \mathbb {K} \setminus \{0\}$ için öyle bir $a^{-1}\in \mathbb {K} \setminus \{0\}$ elemanı mevcuttur ki $a*a^{-1}=a^{-1}*a=1$
Değişme Özelliği Her $a,b\in \mathbb {K}$ ikilisi için $a*b=b*a$

Dikkat edilmesi gereken husus, çarpmada 0'ın ters elemanının bulunmamasıdır. Çarpma ve toplama işlemleri ise, birbirleri ile

Dağılma Özelliği Her $a,b,c\in \mathbb {K}$ üçlüsü için $a*(b+c)=a*b+a*c$

sayesinde bağlanır. Bu özelliklerin yanı sıra, tek elemandan oluşan trivial cismi cisim olarak saymak bazen problemlere yol açtığından,

Trivial Olmama $0\neq 1$

varsayımı eklenir, çünkü $0=1$ olduğu durumda cisimdeki tüm elemanların birbirine eşit olduğu istisnai ve düzensiz bir yapı ortaya çıkar.

Aksiyomlardan çıkan sonuçlar değiştir

Bu aksiyomlar sağlandığı anda bazı kurallar otomatikman kanıtlanır:

Yutan Eleman Her $x\in \mathbb {K}$ için $0*x=0$
Sıfır Bölenlerinin Yokluğu $x,y\neq 0$ ise $x*y\neq 0$
Sadeleşme Özelliği Eğer $x+y=x+z$ ise veya $0$ 'dan farklı $x$ 'ler için $xy=xz$ ise $y=z$
Çıkarma ve Bölme Verilen iki $x,y\in \mathbb {K}$ için $x+r=y$ ve $x\neq 0$ ise $sx=y$ özelliğini sağlayan bir ve sadece bir $r,s\in \mathbb {K}$ mevcuttur. Bunlar, $r:=y-x$ ve $s:=y/x$ şeklinde gösterilir.
$-1*x=-x$ ve dolayısıyla $-y*x=-x*y$
Üs Alma Kısaca, $n$ tane $x*x*...*x$ yerine $x^{n}$ gösterimi kullanılır. Bu gösterim, aşağıdaki özellikleri sağlar:
- $(x^{-1})^{n}=(x^{n})^{-1}:=x^{-n}$
- $(x*y)^{n}=x^{n}*y^{n}$
- $x^{n}*x^{m}=x^{n+m}$

Örnekler değiştir

Temel Kavramlar değiştir

Altcisimler ve Cisim Uzatmaları değiştir

Bir cismin içinde daha küçük cisimlerin bulunduğu durumları incelemek çoğu zaman kullanışlıdır. Bu yüzden, $\mathbb {K} \subset \mathbb {L}$ olsun, ve hem $\mathbb {K}$ hem de $\mathbb {L}$ birer cisim olsun. Bu durumda $\mathbb {K}$ 'ya $\mathbb {L}$ 'nin bir altcismi, ve $\mathbb {L}$ 'ye de $\mathbb {K}$ 'nın bir uzantısı denir. Cisim Teorisindeki birçok kuram, cisim uzantıları kullanılarak kanıtlandığından altcisimler ve uzantılar vazgeçilmezdir.

Hiçbir altcismi bulunmayan cisimlere asal cisim denir. İki altcismin kesişimi de yine bir altcisim olduğundan, herhangi bir $\mathbb {L}$ cisminin tüm altcisimlerini kesiştirince biricik bir asal cisim $\mathbb {K}$ elde edilir. Dolayısıyla her $\mathbb {L}$ cisminin içinde bir ve yegâne bir asal cisim $\mathbb {K}$ bulunur, ve $\mathbb {K}$ , $\mathbb {L}$ 'yi karakterize eder.

Mesela rasyonel sayıların kümesi $\mathbb {Q}$ bir asal cisimdir. Bunun yanında yukarıda bahsedilen $\mathbb {F} _{p}$ cisimleri de birer asal cisimdir. Hatta bunlar dışında asal cisim bulunmamaktadır.

Karekteristik değiştir

Eğer bir $\mathbb {L}$ cisminin çarpımsal birim elemanı $1$ 'in hiçbir tam katı $0$ 'a eşit değilse, yani hiçbir zaman $1+1+1+...=0$ olmuyorsa, $\mathbb {L}$ 'nin karekteristiğinin 0 olduğu söylenir. Şayet belirli bir n için n tane $1+1+1+...=0$ oluyorsa, bu özelliği sağlayan en küçük n'e o cismin karekteristiği denir. Bir cismin karekteristiği daima ya 0, ya da bir asal sayı olur.

Karekteristiği 0 olan bir cismin içinde daima rasyonel sayılar $\mathbb {Q}$ bir altcisim olarak bulunur. Karekteristiği p olan cisimlerin içinde de $\mathbb {F} _{p}$ cismi bulunur. Bu cisimler asal cisim olduğundan, bir cisim içinde bulunan asal cismi sadece o cismin karekteristiğine bakarak bulmak mümkündür

Homomorfizmalar ve İzomorfizmalar değiştir

İki cismin arasında bulunan benzerlikler, homomorfizma olarak adlandırılır. Resmen, bir $\phi :\mathbb {K} \mapsto \mathbb {L}$ eşlemesinin bir homomorfizma olması için, aşağıdaki özellikleri sağlaması gerekir:

$\phi (x+y)=\phi (x)+\phi (y)$
$\phi (xy)=\phi (x)\phi (y)$

Kısaca, $\phi$ eşlemesi, toplama ve çarpmaya saygı göstermelidir.

Halkalar ile İlişkisi değiştir

Halkalardan Cisimlerin İnşası değiştir

Halkalar, cisimlerin daha genelleştirilmiş versiyonlarıdır. Halkalarda çarpma işleminin ters elemanlı ve değişmeli olması şartı aranmaz. Bunun bir sonucu olarak yukarıdaki özelliklerin bir çoğu kaybolur, mesela bazı halkalarda 0'dan farklı iki sayının çarpımı 0 olabilir.

0'dan farklı iki sayının çarpımının asla 0 olmadığı halkalara tamlık bölgesi denir. Eleman sayısı sonlu olan tüm tamlık bölgeleri aynı zamanda bir cisimdir. Sonsuz elemanlı tamlık bölgelerini kullanarak da bir cisim elde etmek mümkündür. Sonsuz tamlık bölgelerine örnek olarak tam sayıların kümesi $\mathbb {Z}$ 'yi alalım.

Kesir İnşası değiştir

Bir tamlık bölgesinden cisim elde etmenin bir yolu, ortaokulda gösterilen kesir kavramından esinlenmektir. $I$ bir tamlık bölgesi olsun. O zaman $I$ 'dan aldığımız ikililerin kümesi olan $I^{2}$ 'den ikinci elemanın 0 olduğu ikilileri çıkardıktan sonra bir cisim yapısı, şu şekilde tanımlanabilir:

Öncelikle, iki ikilinin eşitlik şartlarını gevşetip, $(a_{1},b_{1}),(a_{2},b_{2})\in I^{2}$ ikililerini $a_{1}b_{2}=b_{1}a_{2}$ özelliği sağlandığı sürece eşdeğer kabul edilen bir ilişki tanımlanır. ${\textstyle b_{1},b_{2}\neq 0}$ olduğu sürece bu ilişkinin bir eşitlik ilişkisi olduğunu göstermek zor değildir. Bu şekilde $I^{2}$ 'yi birbirine eşdeğer kabul ettiğimiz altkümelere indirgemek mümkündür.

Çarpma işlemini akla gelen şekilde $(a_{1},b_{1})*(a_{2},b_{2})=(a_{1}a_{2},b_{1}b_{2})$ olarak tanımlamak mümkündür. Bu işlemin birleşmeli, değişmeli, birim elemanlı ve ters elemanlı olduğunu görmek de zor değildir. Aynı zamanda bu ilişki, yukarıda tanımlanan eşdeğerlik kuralıyla da çelişkisizdir. Bu tanım ve bu eşitlik kaidesi altında, verilen bir $(a,b)$ ikilisinin tersi $(b,a)$ olur. Bu şekilde inşa ettiğimiz yapı, $I$ 'da olmayan ters elemanlarla donatılır.

Toplama işlemini ise biraz daha karmaşık bir şekilde tanımlamak gerekir: $(a_{1},b_{1})+(a_{2},b_{2})=(a_{1}b_{2}+b_{1}a_{2},b_{1}b_{2})$ kuralıyla. Toplama işlemini ancak bu şekilde tanımlarsak yukarıda sağlanan eşitlik ilişkisi ile çelişkisiz olur. Yine bu tanımdaki toplamanın birleşmeli, değişmeli, sıfırlı ve ters elemanlı olduğu barizdir.

Bu işlemler ve bu eşitlik ilişkisi, nihayetinde bir cisim teşkil eder. Bu noktadan itibaren $(a,b):={\frac {a}{b}}$ olarak alıştığımız şekilde gösterilebilir. Daha önemlisi, $(a,1)$ şeklinde olan elemanlar ile $I$ arasında bir bijektif homomorfizma bulunduğundan $I$ 'nın bu oluşturduğumuz yeni cismin bir parçası olduğunu söylemek mümkündür. Dolayısıyla bu yöntem ile herhangi bir değişmeli tamlık bölgesini kapsayan bir cisim elde etmek mümkündür.

Tam sayılar $\mathbb {Z}$ üzerinde bu yapıyı kullanmak, bize rasyonel sayılar cismi $\mathbb {Q}$ 'yu verir.^[2]

Modüler Aritmetik değiştir

Tamlık bölgelerini kullanarak daha küçük cisimler elde etmenin bir yolu ise, bölüm halkalarını kullanmaktır. Şimdi $I$ yine bir tamlık bölgesi olsun, ve $n\in I$ ise $I$ 'nın bir elemanı olsun. Yeni bir halka elde etmek için öncelikle bir eşitlik ilişkisi tanımlayalım: $x\equiv y\mod n$ diye gösterdiğimiz ilişki, sadece ve sadece $x-y$ , $n$ 'in bir katı ise geçerli olsun. Bu eşitlik ilişkisi, toplama ve çarpma altında da bozulmaz, dolayısıyla yeni bir halka tanımlanmış olur, ve bu halka $I/(n)$ şeklinde gösterilebilir. Eğer $n$ bir asal eleman ise, bu yeni ürettiğimiz halka aynı zamanda bir cisim yapısına sahip olur.

Bu yöntemi kullanarak $\mathbb {Z}$ 'den modülo 7 tam sayıların cismini elde etmek mümkündür. Bu şekilde $\mathbb {Z}$ 'den elde edilen cisimler $\mathbb {F} _{p}$ ile gösterilir. Mesela $\mathbb {F} _{7}$ 'de her sayının gerçekten bir çarpımsal tersi vardır:


*	1	2	3	4	5	6
0	0	0	0	0	0	0
1	1	2	3	4	5	6
2	2	4	6	1	3	5
3	3	6	2	5	1	4
4	4	1	5	2	6	3
5	5	3	1	6	4	2
6	6	5	4	3	2	1

Kaynakça değiştir

^ ^a ^b O' Hagan, Anthony (2013). The Oxford handbook of applied Bayesian analysis. Oxford: Oxford University Press. ISBN 978-0198703174.
^ Waerden, Bartel L. van der; Artin, Emil; Noether, Emmy (1993). Algebra. 1. 9. Aufl. Berlin Göttingen Heidelberg: Springer. ISBN 978-3-540-56799-8.

Ayrıca bakınız değiştir

Grup
Halka

Matematik ile ilgili bu madde taslak seviyesindedir. Madde içeriğini genişleterek Vikipedi'ye katkı sağlayabilirsiniz.

[Bayesciİstatistik-1] O' Hagan, Anthony (2013). The Oxford handbook of applied Bayesian analysis. Oxford: Oxford University Press. ISBN 978-0198703174.

[2] Waerden, Bartel L. van der; Artin, Emil; Noether, Emmy (1993). Algebra. 1. 9. Aufl. Berlin Göttingen Heidelberg: Springer. ISBN 978-3-540-56799-8.

[1]

[2]