Cisim (cebir)

**Cisim,** halka ve grup gibi soyut bir cebirsel yapıdır. 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.

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
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

### Cisim Aksiyomları
\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ıca, 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 öge|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 Eleman|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|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 öge|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 Eleman|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|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|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
Bu aksiyomlar sağlandığı anda bazı kurallar otomatikman kanıtlanır:

* **[[Yutan eleman|Yutan Eleman]]** Her x \in \mathbb K için 0 * x = 0
* **[[Sıfır Böleni|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|Üs Alma]]** Kısaca, n tane x * x * ... * x yerine x^ngö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

## Temel Kavramlar

### Altcisimler ve Cisim Uzatmaları
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.

### Karakteristik
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 **karakteristiğ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 karakteristiği denir. Bir cismin karakteristiği daima ya 0 ya da bir asal sayı olur.

Karakteristiği 0 olan bir cismin içinde daima rasyonel sayılar \mathbb Q bir altcisim olarak bulunur. Karakteristiğ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 karakteristiğine bakarak bulmak mümkündür

### Homomorfizmalar ve İzomorfizmalar
İ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

### Halkalardan Cisimlerin İnşası
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ı
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. 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_1a_2, b_1b_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_1b_2 + b_1a_2, b_1b_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.

#### Modüler Aritmetik
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:

## Kaynakça

## Ayrıca bakınız
* Grup
* Halka