# integral domain

An *integral domain*, or *domain*, is a commutative^{} cancellation ring with an identity element^{} $1\ne 0$.

Integral domains are sometimes allowed to be noncommutative, but we adopt the convention that an integral domain is commutative unless otherwise specified.

This notion has essentially nothing to do with the domain of a function (http://planetmath.org/Domain). It is also not very closely related to the notion of integral^{}, which is applied to ring elements, or that of integral closure, which is applied to extensions^{} of rings, although these concepts are normally applied to integral domains. An integral domain shares some of the properties of the integers (more than other kinds of rings, but by no means all those of interest). Integral domains have fraction fields, which play the role of the rational numbers^{}, and they each have a characteristic^{} (which is either a prime number^{} or zero).

Title | integral domain |
---|---|

Canonical name | IntegralDomain |

Date of creation | 2013-03-22 11:50:24 |

Last modified on | 2013-03-22 11:50:24 |

Owner | djao (24) |

Last modified by | djao (24) |

Numerical id | 16 |

Author | djao (24) |

Entry type | Definition |

Classification | msc 13G05 |

Synonym | domain |

Related topic | CancellationRing |

Related topic | ZeroDivisor |

Related topic | WhyEuclideanDomains |