Her cisim bir halkadır, fakat bunun tersi geçerli değildir. Mesela tam sayılar kümesi Z bir halka olduğu halde, içinde bölme yapılamadığı için cisim değildir.
Cisimlere örnek olarak, rasyonel sayılar kümesi Q, gerçel sayılar kümesi R ve karmaşık sayılar kümesi C verilebilir. Ayrıca, ``p`` bir asal sayı olmak üzere, 0`dan ``p`` - 1`e kadar olan tam sayıların kümesi de modüler aritmetik aracılığıyla bir cisim oluşturur. Bu cisim genelde Z/``pZ sembolüyle gösterilir.
Tanım
``F`` boş olmayan bir küme olsun, ve bu kümenin elemanları arasında + ve × ile göstereceğimiz iki tane ikili işlem tanımlanmış olsun. (``F``, +, ×) üçlüsü aşağıdaki şartları sağlıyorsa, bu üçlüyle cisim adı verilir:- ise, ve .
- ise, ve .
- ise, .
- kümesinde adında öyle bir eleman vardır ki, her için eşitliğini sağlar.
- kümesinde adında, `dan farklı öyle bir eleman vardır ki, her için eşitliğini sağlar.
- Her için, kümesinde adında öyle bir eleman vardır ki, eşitliğini sağlar.
- Her için, kümesinde adında öyle bir eleman vardır ki, eşitliğini sağlar.
Tarih
Cisim kavramını ilk ortaya atan Richard Dedekind olmuştur. Dedekind, bu yapı için Almanca`da "cisim" ya da "vücut" anlamına gelen ``Körper`` kelimesini kullanmıştır.cebirsel yapılar
matematik-taslak