• Euclidean Algorithm and Its Extensions
    • Euclidean Algorithm
      • Classical method to determine the GCD of two integers.
      • GCD of two integers also divides their difference.
      • Procedure:
        • Given two integers and where , divide by .
        • Replace with and with the remainder.
        • Repeat until is 0. The non-zero remainder is the GCD.
      • Example:
        • GCD of 252 and 105 is 21.
    • Variant: Negative Remainders
      • Can use negative remainders to simplify calculations.
      • Procedure:
        • Divide by .
        • If remainder > , subtract from remainder and add 1 to quotient.
      • Example:
        • For and : .
    • Extended Euclidean Algorithm
      • Enhancement of the Euclidean Algorithm.
      • Computes GCD and coefficients of Bézout’s identity.
      • Bézout’s Identity:
        • For integers and , there are integers and such that: .
      • Procedure:
        • Start with and where . Initialize coefficient pairs.
        • Divide by , get quotient and remainder .
        • Update coefficients and repeat until is 0.
  • Least Common Multiple (LCM)
    • Smallest positive integer divisible by both and .
    • Denoted as or .
    • Computed using: .
  • Proofs of the Four Arithmetical Lemmas
    • Lemma 1: If and , then .
      • Proof: If and , then .
    • Lemma 2: If , then for all integers .
      • Proof: If , then .
    • Lemma 3: If and , then .
      • Proof: If and , then .
    • Lemma 4: If and , then .
      • Proof: If and , then implies .