Definition: The highest integer exponent k such that bᵏ divides n, used to formally define the B-adic Power.
Chapter 1: The "How Many Zeros?" Game (Elementary School Understanding)
Imagine you have a big number, like 9000.
If I ask you, "What's its 'ten-power' score?", it's a simple game. You just count the number of zeros at the end.
9000 has three zeros. So its "ten-power" score is 3.
This score is the b-adic valuation where the base b is 10. v₁₀(9000) = 3.
Now, let's play with a different special number, like 2. Let's find the "two-power" score for the number 24.
This is a "how many times can you divide by 2" game.
24 ÷ 2 = 12 (That's 1 time)
12 ÷ 2 = 6 (That's 2 times)
6 ÷ 2 = 3 (That's 3 times)
Can you divide 3 by 2 perfectly? No.
The game ends. The "two-power" score for 24 is 3.
The b-adic valuation is just the score in this repeated division game, where b is your special number. It tells you how "full" of the number b another number is.
Chapter 2: The Exponent of the Base (Middle School Understanding)
The b-adic valuation, written v_b(n), is a function that tells you the highest power of b that is a factor of n. It finds the exponent k in the expression n = b^k × (something else).
The Algorithm:
To find v_b(n), you repeatedly divide n by b as long as the division is exact (leaves no remainder), and you count how many times you were able to do it.
Example 1: Find v₃(162)
162 / 3 = 54
54 / 3 = 18
18 / 3 = 6
6 / 3 = 2
2 is not divisible by 3.
We were able to divide by 3 exactly four times. Therefore, v₃(162) = 4.
Connection to the B-adic Power:
The b-adic valuation is the tool we use to formally define the B-adic Power, P_b(n). The relationship is direct:
P_b(n) = b^(v_b(n))
For our example:
v₃(162) = 4.
Therefore, P₃(162) = 3⁴ = 81.
We can check this with the full decomposition: 162 = 81 × 2. The power is indeed 81.
The valuation is the "exponent" part, and the B-adic Power is the "value" part of a number's native structure.
Chapter 3: The p-adic Valuation and its Logarithmic Properties (High School Understanding)
The concept of b-adic valuation is most powerful and commonly used when the base b is a prime number, p. This is called the p-adic valuation, v_p(n).
Formal Definition: The p-adic valuation v_p(n) is the exponent of the prime p in the unique prime factorization of n.
If n = 72 = 2³ × 3², then:
v₂(72) = 3
v₃(72) = 2
v₅(72) = 0 (since 5 is not a factor).
The p-adic valuation has properties that are remarkably similar to a logarithm:
v_p(a × b) = v_p(a) + v_p(b)
v_p(a / b) = v_p(a) - v_p(b)
v_p(a^k) = k × v_p(a)
This is because the valuation operates on the exponents of the prime factors, and exponents follow logarithmic rules.
Legendre's Formula: A famous and powerful application is Legendre's formula, which calculates the p-adic valuation of a factorial n!:
v_p(n!) = Σ_{i=1 to ∞} floor(n / pⁱ)
Example: Find the number of zeros at the end of 100!
This is the same as finding v₁₀(100!). Since 10 = 2 × 5, this is limited by the smaller of v₂(100!) and v₅(100!). It will be v₅(100!).
v₅(100!) = floor(100/5) + floor(100/25) = 20 + 4 = 24.
There are 24 trailing zeros in 100!.
Chapter 4: A Non-Archimedean Valuation on ℚ (College Level)
In abstract algebra and number theory, a valuation is a function v from a field K to an ordered group G that satisfies certain properties. The p-adic valuation, v_p(n), is the canonical example of a valuation on the field of rational numbers, ℚ.
Formal Definition on ℚ:
For any rational number x = a/b, v_p(x) is defined as:
v_p(x) = v_p(a) - v_p(b)
The p-adic Absolute Value (Norm):
The p-adic valuation is used to define a new way of measuring the "size" of a number, called the p-adic norm:
|x|_p = p^(-v_p(x)) (for x ≠ 0)
|18|₃ = 3^(-v₃(18)) = 3⁻² = 1/9.
|7|₃ = 3^(-v₃(7)) = 3⁻⁰ = 1.
|1/3|₃ = 3^(-v₃(1/3)) = 3⁻⁽⁻¹⁾ = 3.
In this system, numbers highly divisible by p are considered "small."
The Non-Archimedean Property:
This norm leads to a bizarre and non-intuitive geometry. It satisfies the strong triangle inequality (or ultrametric inequality):
|x + y|_p ≤ max(|x|_p, |y|_p)
This is much stronger than the standard triangle inequality. It implies that in p-adic space, all triangles are isosceles, and every point inside a disk is its center.
Ostrowski's Theorem: This fundamental theorem states that any non-trivial absolute value on the field ℚ is equivalent to either the standard real absolute value or one of the p-adic absolute values for some prime p. This proves that the p-adic valuations are not just mathematical curiosities; they are the only natural alternatives to our usual way of measuring numerical distance.
The b-adic valuation v_b(n) is the formal tool used to define the B-adic Power P_b(n), which is the component of a number's Algebraic Soul that is "native" to the frame of base b.
Chapter 5: Worksheet - The Power Within
Part 1: The Repeated Division Game (Elementary Level)
Play the "divide by 3" game with the number 90. What is v₃(90)?
Play the "divide by 10" game with the number 4500. What is v₁₀(4500)?
Part 2: The Exponent of the Base (Middle School Level)
Calculate v₅(250).
Using your answer, what is the B-adic Power, P₅(250)?
What is v₇(100)? What does a valuation of 0 mean?
Part 3: Logarithmic Properties (High School Level)
The prime factorization of 60 is 2² × 3 × 5.
What is v₂(60)?
What is v₃(60)?
What is v₅(60)?
Verify the logarithmic property v₂(12 × 10) = v₂(12) + v₂(10).
Use Legendre's formula to find v₃(30!).
Part 4: p-adic Norms (College Level)
Calculate the 5-adic norm of the number 75. |75|₅ = ?
Calculate the 5-adic norm of the rational number 3/25. |3/25|₅ = ?
The strong triangle inequality states |x + y|_p ≤ max(|x|_p, |y|_p). Verify this for x=2, y=3, and p=5.
Explain the formal relationship P_b(N) = b^(v_b(N)). Why is the valuation essential for formally defining the Power?