Category:Integral Domains

From ProofWiki
Jump to navigation Jump to search

This category contains results about Integral Domains.
Definitions specific to this category can be found in Definitions/Integral Domains.

An integral domain $\struct {D, +, \circ}$ is:

a commutative ring which is non-null
with a unity
in which there are no (proper) zero divisors, that is:
$\forall x, y \in D: x \circ y = 0_D \implies x = 0_D \text{ or } y = 0_D$

that is, in which all non-zero elements are cancellable.


This category has the following 18 subcategories, out of 18 total.

Pages in category "Integral Domains"

The following 54 pages are in this category, out of 54 total.