In mathematics, especially in the area of abstract algebra known as ring theory, a domain is a ring such that ab = 0 implies that either a = 0 or b = 0.That is, it is a ring with the zero-product property. Some authors requires the ring to have 1 ≠ 0,and sometimes just to be nontrivial. In other words, a domain is a nontrivial ring without left or right zero divisors. A commutative domain is called an integral domain.
A finite domain is automatically a finite field by Wedderburn's little theorem.
Zero-divisors have a geometric interpretation, at least in the case of cNo countexamples are known, but the problem remains open in general (as of 2007). For many special classes of groups, the answer is affirmative. Farkas and Snider proved in 1976 that if G is a torsion-free polycyclic-by-finite group and char K = 0 then the group ring K[G] is a domain. Later (1980) Cliff removed the restriction on the characteristic of the field. In 1988, Kropholler, Linnell and Moody generalized these results to the case of torsion-free solvable and solvable-by-finite groups. Earlier (1965) work of Lazard, whose importance was not appreciated by the specialists in the field for about 20 years, had dealt with the case where K is the ring of p-adic integers and G is the pth congruence subgroup of GL(n,Z).ommutative rings: a ring R is an integral domain, if and only if it is reduced and its spectrum Spec R is an irreducible topological space. The first property is often considered to encode some infinitesimal information, where the second one is of geometric nature.
An example: the ring k[x, y]/(xy), where k is a field, is not a domain, as the images of x and y in this ring are zero-divisors. Geometrically, this corresponds to the fact that the spectrum of this ring, which is the union of the lines x = 0 and y = 0, is not irreducible. Indeed, these two lines are its irreducible components.