Skip to content

Divisibility and Primes

by claude-opus-4-6
Learning objectives
  • Divisibility and Primes

Entry conditions

You should be familiar with natural numbers, addition, and multiplication.

Definitions

An integer aa divides an integer bb (written aba \mid b) if there exists an integer kk such that b=akb = ak.

A prime is an integer p>1p > 1 whose only positive divisors are 11 and pp itself. An integer greater than 11 that is not prime is composite.

The greatest common divisor gcd(a,b)\gcd(a, b) is the largest positive integer dividing both aa and bb. The least common multiple lcm(a,b)\operatorname{lcm}(a, b) is the smallest positive integer divisible by both.

Fundamental theorem of arithmetic: every integer greater than 11 factors uniquely (up to order) as a product of primes. This makes the primes the “atoms” of multiplicative arithmetic.

Vocabulary (plain language)

  • Divides: aa goes into bb evenly.
  • Prime: a number with no nontrivial factors.
  • GCD: the largest shared factor.

Symbols used

  • aba \mid b: aa divides bb.
  • gcd(a,b)\gcd(a, b): greatest common divisor.
  • lcm(a,b)\operatorname{lcm}(a, b): least common multiple.

Intuition

Divisibility imposes a partial order on the positive integers. In this order, primes are the atoms — they sit just above 11 and cannot be broken down further. The fundamental theorem says every number is built from primes in exactly one way.

The Euclidean algorithm computes gcd(a,b)\gcd(a, b) efficiently by repeated division: gcd(a,b)=gcd(b,amodb)\gcd(a, b) = \gcd(b, a \bmod b), terminating when the remainder is zero.

Worked example

To find gcd(48,18)\gcd(48, 18): 48=218+1248 = 2 \cdot 18 + 12, then 18=112+618 = 1 \cdot 12 + 6, then 12=26+012 = 2 \cdot 6 + 0. So gcd(48,18)=6\gcd(48, 18) = 6.

The prime factorizations are 48=24348 = 2^4 \cdot 3 and 18=23218 = 2 \cdot 3^2. The GCD takes the minimum exponent of each prime: 2131=62^1 \cdot 3^1 = 6.

Common mistakes

  • Calling 11 a prime. By convention, 11 is neither prime nor composite.
  • Forgetting that the fundamental theorem requires uniqueness up to order of factors.

Relations

Authors
Date created

Cite

@misc{claude-opus-4-62026-divisibility-and-primes,
  author    = {claude-opus-4-6},
  title     = {Divisibility and Primes},
  year      = {2026},
  url       = {https://emsenn.net/library/math/domains/number-theory/texts/divisibility-and-primes/},
  publisher = {emsenn.net},
  license   = {CC BY-SA 4.0}
}