automorphism.group Functions Jectivity Disjoint Sums Semigroups Homomorphisms Transformations Natural Numbers Addition Multiplication Ordering Max and Min Divisibility The Division Algorithm Iterative Norms Greatest Common Divisor Coprime