非可換整域
数学の特に環論と呼ばれる抽象代数学の一分野における(非可換)整域あるいは域(いき、英: domain)とは、右または左零因子を持たない(つまり ab = 0 ならば a = 0 または b = 0 が成り立つ、零積律(英語版)を満たすとも言われる)環のことを言う。しばしば自明でない(一つよりも多くの元を持つ)ことを仮定するが、域が乗法単位元を持つならば、この仮定は 1 ≠ 0 と同値であり、この場合の域は「左または右零因子を持たない非自明な環」のことになる。1(≠ 0) を持つ可換域は(可換)整域と呼ばれる。