properties of a gcd domain
Let be a gcd domain. For any , denote the set of all elements in that are associates of , the set of all gcd’s of elements and in , and any , . Then
- 1.
iff .
- 2.
.
- 3.
If , then
- 4.
If and , then .
- 5.
If and , then .
Proof.
To aid in the proof of these properties, let us denote, for and , to mean that every element of is divisible by , and to mean that every element in divides .We take the following four steps:
- 1.
One direction is obvious from the definition. So now suppose . Then . But bydefinition, , so .
- 2.
Pick and . We want to show that and are associates. By assumption
, and , so and , which implies that . Write for some . Then and imply that and , and therefore since is a gcd of and . As a result, , or , showing that and are associates. As a result, the map given by is a bijection.
- 3.
If and , then and . So , hence is a unit andthe result follows.
- 4.
Suppose and . Then and and hence . But also, so and is a unit.
- 5.
implies . Now, and by assumption, . Therefore,.
∎
The second property above can be generalized to arbitrary integral domain: let be an integral domain, , with , then iff .