Functions and IntegersCovers functions, integers, GCD, and reasoning by recurrence, including the Euclidean algorithm and induction principle.
DivisorsExplains divisors, common divisors, and greatest common divisors with illustrative examples.
Factorisation in PIDsCovers factorisation in PIDs, prime ideals, unique tuples, and common prime factors.
Euclidean AlgorithmExplains the Euclidean algorithm for polynomials over a field K, illustrating its application with examples.