This entry is about domains in ring theory. For other uses, see at domain.
symmetric monoidal (∞,1)-category of spectra
Some authors call a domain an integral domain. However, we maintain a distinction between domains and integral domains, and reserve “integral domain” for the commutative domains.
A unital ring is a domain if it is nontrivial and the multiplicative submonoid is a cancellative monoid (i.e., and left and right multiplication by is injective if , which may be combined as left and right multiplication by is injective if and only if )
A unital ring is an domain if it is nontrivial and has no non-zero zero divisors (i.e., and implies or ).
In this definition, the trivial ring is too simple to be an integral domain. You can see this by phrasing this definition without bias as: any product of (finitely many) nonzero elements of (which includes the empty product ) must be nonzero.
A domain is an Ore domain if the set of all nonzero elements is an Ore set in . In that case the Ore localized ring is called the Ore quotient ring? of .
For example, the ring of integers, any skewfield, the ring of global sections of the structure sheaf of any integral scheme, an Ore extension of any other domain.
In principle, one could just as easily consider a rig or semiring . In that case, however, only the definition involving the cancellative property extends to rigs and semirings. Furthermore, we should add the additional requirement that addition in is cancellable (that is, addition by any element is injective), to make the analogue of the previous paragraph correct. These could be called a domain rig or domain semiring. One could also relax the requirement that the domain be associative or unital, this could be called a domain -algebra, in the context where -algebras are usually not assumed to be associative unital algebras.
Created on December 9, 2022 at 02:32:56. See the history of this page for a list of all contributions to it.