Intuition The one idea behind this whole topic
Every whole number bigger than 1 is secretly a multiplication of prime "atoms" , and there is only one way to build it. Prime factorization is just the careful act of pulling a number apart until nothing but those atoms remain.
Before you can trust the factor tree or the ladder, you need to be sure of every little symbol the parent note quietly used. Below, each idea is built from nothing, with a picture, before the next one leans on it.
Definition Natural numbers and whole numbers
The natural numbers are the counting numbers 1 , 2 , 3 , 4 , 5 , … — the ones you'd use to count LEGO blocks. The whole numbers add 0 to that list. In this topic we only ever factorize numbers bigger than 1 , so 0 and 1 sit outside the game.
Why the fuss? Because "factorize 0 " or "factorize 1 " have no sensible answer, and the parent note keeps saying "n > 1 ". That > symbol is doing real work — let's define it.
Definition The "greater than" sign
>
a > b is read "a is greater than b " and means: on the number line, a sits to the right of b . So n > 1 means "n is any number strictly to the right of 1 ", i.e. 2 , 3 , 4 , … — never 1 itself, never 0 .
Look at the number line above: the pale-yellow region (2 onward) is where factorization lives. The number 1 (chalk-pink dot) is the boundary we never step onto.
Everything in this chapter is built on one relationship: one number fitting evenly into another.
Definition "Divides evenly" and the factor idea
We say b divides a when you can split a into equal groups of size b with nothing left over . Then b is a factor (a divisor) of a . Example: 3 divides 12 because 12 = 3 + 3 + 3 + 3 (four groups, no remainder), so 3 is a factor of 12 .
× , ÷ , and ∣
a × b means "a groups of b " (multiplication). We also write it a ⋅ b with a raised dot — same thing.
a ÷ b means "how many groups of b fit inside a " (division). 12 ÷ 3 = 4 .
b ∣ a (a vertical bar) is shorthand for "b divides a exactly ". So 3 ∣ 12 is true, but 5 ∣ 12 is false (because 12 ÷ 5 leaves a remainder of 2 ).
In the picture, 12 dots split cleanly into 4 rows of 3 — that's why 3 ∣ 12 . Try to split them into rows of 5 and you get leftovers — that's why 5 ∤ 12 (the slash means "does not divide"). This clean-vs-leftover picture is the entire meaning of "factor".
Intuition Why this matters for the topic
The ladder method is nothing but "keep dividing exactly, with no remainder". The tree method is "keep replacing a number by two factors that multiply back to it". Both are just this one ∣ idea, used over and over.
You may already know quick tests for whether b ∣ a without dividing — those are the Divisibility Rules , and they make the ladder fast.
Definition Prime and composite
A prime is a natural number > 1 with exactly two divisors: 1 and itself. Examples: 2 , 3 , 5 , 7 , 11 , 13 .
A composite is a natural number > 1 that has more than two divisors — it can be broken into smaller factors. Examples: 4 = 2 × 2 , 6 = 2 × 3 , 12 = 3 × 4 .
The number 1 is neither — it has only one divisor (itself), so it is a unit , not a prime.
The figure shows two rows of dots. A prime like 7 (chalk-blue) can only be laid out as 1 × 7 — you cannot make a proper rectangle. A composite like 12 (pale-yellow) can be laid out as 3 × 4 or 2 × 6 — many rectangles. Prime = only the trivial 1 × n rectangle exists. That is what "cannot be split" means, pictured.
1 prime? It looks indivisible."
Why it feels right: 1 can't be broken into smaller pieces, so it feels atomic. The fix: "prime" is defined by having exactly two divisors, and 1 has only one. If we allowed 1 as a prime, uniqueness would collapse: 6 = 2 ⋅ 3 = 1 ⋅ 2 ⋅ 3 = 1 ⋅ 1 ⋅ 2 ⋅ 3 … forever. So we banish 1 to keep fingerprints unique.
A neat way to list the small primes systematically (crossing out composites) is the Sieve of Eratosthenes .
When the same prime block appears many times, writing 2 × 2 × 2 is clumsy. Enter exponents.
Definition Exponent (power) notation
p a
p a means "multiply p by itself a times". The base p is the number being repeated; the small raised exponent a counts how many copies. So:
2 3 = 2 × 2 × 2 = 8 , 3 2 = 3 × 3 = 9.
By agreement, p 1 = p (one copy) and p 0 = 1 (zero copies — no block used at all).
Intuition Why the topic needs exponents
The factorization 60 = 2 × 2 × 3 × 5 is correct but long. Compressed, it becomes 2 2 ⋅ 3 ⋅ 5 . The exponents are not decoration: the divisor-count formula d ( n ) = ( a 1 + 1 ) ( a 2 + 1 ) ⋯ and the HCF/LCM min–max rules read the exponents directly . Without this shorthand, Number of Divisors would have no formula to plug into.
The parent note writes n = p 1 a 1 p 2 a 2 ⋯ p k a k and even ∏ p i m i n ( a i , b i ) . Three new symbols hide there.
p 1 , p 2 , … , p k
A subscript is just a name tag with a number on it , so we can talk about "the first prime we used", "the second", and so on, without knowing what they are yet. p 1 , p 2 , … , p k means "some list of primes, k of them in total". Likewise a 1 , a 2 , … are their exponents. The letter k just stands for "however many different primes show up".
Definition The product sign
∏
∏ (a big Greek capital "Pi") means "multiply all of these together ", exactly as its cousin ∑ means "add all of these". So
∏ i p i a i = p 1 a 1 × p 2 a 2 × ⋯ × p k a k .
It is a compact way to say "loop over every prime p i , raise it to its power, and multiply the results".
min and max
min ( a , b ) = the smaller of the two numbers; max ( a , b ) = the larger . Example: min ( 2 , 3 ) = 2 , max ( 2 , 3 ) = 3 . The HCF and LCM rules use min for the greatest common factor (you can't take more of a prime than the poorer number owns) and max for the least common multiple (you must cover the richer one).
Now every piece of the headline equation is earned:
Worked example Reading a real one
60 = 2 2 ⋅ 3 1 ⋅ 5 1 . Here k = 3 (three different primes), the primes are p 1 = 2 , p 2 = 3 , p 3 = 5 , and the exponents are a 1 = 2 , a 2 = 1 , a 3 = 1 . Nothing mysterious — just the shorthand for 2 × 2 × 3 × 5 .
Counting numbers and greater-than
Divides evenly and factor
Exponent shorthand p to the a
Product sign and subscripts
Read top to bottom: counting leads to the divides idea, which splits numbers into primes vs composites; exponents and the product sign package the result; together they build prime factorization, which unlocks uniqueness and the divisor/HCF/LCM payoffs.
Test yourself — cover the right side and answer before revealing.
What does n > 1 exclude, and why? It excludes 0 and 1 ; only numbers from 2 upward can be factorized into primes.
What does b ∣ a mean in plain words? b divides a exactly — a splits into equal groups of size b with no remainder.
Define a prime using the word "divisors". A natural number greater than 1 with exactly two divisors: 1 and itself.
Why is 1 neither prime nor composite? It has only one divisor (itself), so it fails the "exactly two divisors" test; it's a unit.
What is a composite number? A number greater than 1 with more than two divisors, so it can be split into smaller factors.
Evaluate 2 3 and 3 2 . 2 3 = 8 and 3 2 = 9 .
What does the exponent a in p a count? How many copies of the base p are multiplied together; p 1 = p , p 0 = 1 .
What does ∏ p i a i instruct you to do? Multiply every prime p i raised to its exponent a i together.
What do min ( a , b ) and max ( a , b ) give? The smaller value and the larger value of the two, respectively.
In 60 = 2 2 ⋅ 3 ⋅ 5 , what are k , the primes, and the exponents? k = 3 ; primes 2 , 3 , 5 ; exponents 2 , 1 , 1 .