# Category:Integral Domains

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 (from the Cancellation Law of Ring Product of Integral Domain) in which all non-zero elements are cancellable.

## Subcategories

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

### A

### D

### E

### F

### G

### I

### O

### P

### Q

### U

### V

## Pages in category "Integral Domains"

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

### C

### D

### E

- Eisenstein Integers form Integral Domain
- Eisenstein Integers form Subring of Complex Numbers
- Element in Integral Domain is Divisor iff Principal Ideal is Superset
- Element in Integral Domain is Unit iff Principal Ideal is Whole Domain
- Element of Integral Domain Divides Zero
- Element of Integral Domain is Divisor of Itself
- Equal Elements of Quotient Field
- Equivalence of Definitions of Associate in Integral Domain
- Equivalence of Definitions of Integral Domain
- Even Integers do not form Integral Domain
- Existence of Quotient Field

### F

### I

### M

### N

### P

- Prime Ideal iff Quotient Ring is Integral Domain
- Principal Ideal Domain is Unique Factorization Domain
- Principal Ideal in Integral Domain generated by Power Plus One is Subset of Principal Ideal generated by Power
- Principal Ideals in Integral Domain
- Product of Units of Integral Domain with Finite Number of Units

### Q

### R

- Rational Numbers form Integral Domain
- Rational Numbers with Denominator Power of Two form Integral Domain
- Real Numbers form Integral Domain
- Ring Homomorphism from Ring with Unity to Integral Domain Preserves Unity
- Ring of Integers Modulo Composite is not Integral Domain
- Ring of Integers Modulo Prime is Integral Domain
- Ring of Polynomial Forms is Integral Domain
- Ring of Polynomial Forms over Integral Domain is Integral Domain