Divisibility

Definition

Given . We say divides (denoted ) iff .

Basic Divisibility Properties

Theorem Let

1. (reflexive property)
2. and (transitivity property)
3. and
4. and
5. and
6. and
7. and
8. and

Theorem

Proof:

Hence . Since as none of share any factors with as . Using this we get so Hence .