# Category:Integral Domains

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.

## Subcategories

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

### A

### D

### E

### F

- Field is Integral Domain (3 P)

### G

### I

### O

### P

### U

- Unity Divides All Elements (3 P)

### V

- Valuation Rings (1 P)

## Pages in category "Integral Domains"

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

### C

### D

### E

- 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 Field of Quotients
- Equivalence of Definitions of Associate in Integral Domain
- Equivalence of Definitions of Integral Domain
- Even Integers do not form Integral Domain
- Existence of Field of Quotients

### F

### I

### O

### P

- Prime Element of Integral Domain is Irreducible
- 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 with Denominator Power of Two 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