Tamlık bölgesi

Tamlık bölgesi, halka ile cisim arasında yer alan bir cebirsel yapıdır. Bir tamlık bölgesi sıfır böleni içermeyen bir halkadır. Yani sıfırdan farklı iki elemanın çarpımı sıfırdan farklıdır; $\mathrm{\forall }x,y\in H$ için $x,y\ne 0\Rightarrow xy\ne 0$

Örnekler

$\mathbb{Z}$ tam sayılar kümesinde sıfırdan farklı iki sayının çarpımı sıfırdan farklı olduğından bir tamlık bölgesidir.

${\mathbb{Z}}^2$ kümesi $(x,0),(0,y)\ne 0$ için $(x,0)(0,y)=0$ olduğundan bir tamlık bölgesi değildir.

Özellikleri

• Tamlık bölgesinde sadeleşme özelliği sağlanır yani $xz=yz$ ise $x=y$ dir.
• Her cisim bir tamlık bölgesidir.
• Her sonlu tamlık bölgesi bir cisimdir.