Number Theory Fundamentals
37 chapters
1. Core Definitions
[Verse 1]
When we say "a divides b" in math
There's a special meaning on this path
It means there exists some integer k
Where b equals a times k, that's the way
If you can multiply a by some whole number true
And get exactly b, then a divides right through
No remainder left, it goes in clean
The most fundamental fact you've ever seen
[Chorus]
A divides b means there's a k
B equals a times k, remember this way
If zero's involved, then a divides it clean
'Cause zero equals a times zero, if you know what I mean
One divides everything, that's always true
Divisibility rules will see you through
[Verse 2]
Let's explore the properties we know
First rule: a divides zero, here we go
Zero equals a times zero every time
So a divides zero, that's our first rhyme
One divides every number that exists
'Cause any number equals one times it, get this?
These basic facts will serve you well
In the divisibility stories we tell
[Chorus]
A divides b means there's a k
B equals a times k, remember this way
If zero's involved, then a divides it clean
'Cause zero equals a times zero, if you know what I mean
One divides everything, that's always true
Divisibility rules will see you through
[Bridge]
Transitivity comes into play
If a divides b and b divides c today
Then a divides c, it follows through
This chain of division will work for you
Linear combinations, here's the key
If a divides b and a divides c, you see
Then a divides b times x plus c times y
For any integers x and y, don't be shy
[Verse 3]
When you see that vertical line so tall
Between two numbers standing proud and tall
Remember the definition crystal clear
There exists an integer k, keep it near
B equals a times k, that's the test
No fractions, no decimals, integers are best
This foundational truth will guide your way
Through number theory every day
[Chorus]
A divides b means there's a k
B equals a times k, remember this way
If zero's involved, then a divides it clean
'Cause zero equals a times zero, if you know what I mean
One divides everything, that's always true
Divisibility rules will see you through
[Outro]
So when you see "a divides b"
Think integer k, and you'll be free
To understand the deeper truth
Divisibility's eternal proof
2. The Division Algorithm
[Verse 1]
When you divide any number by another
There's a pattern that will never fail
Take your dividend, call it letter a
And your divisor b, here's the tale
You'll get a quotient q that multiplies clean
Plus a remainder r, small and lean
[Chorus]
A equals b times q plus r
That's the formula, near and far
Zero less than or equal to r, less than b
Division algorithm, the key you need
Quotient and remainder, unique and true
This foundation will carry you through
[Verse 2]
Say you have seventeen divided by five
The quotient q is three, that's right
Three times five is fifteen, but we're not done
There's two left over, shining bright
Seventeen equals five times three plus two
And two is less than five, the rule rings true
[Chorus]
A equals b times q plus r
That's the formula, near and far
Zero less than or equal to r, less than b
Division algorithm, the key you need
Quotient and remainder, unique and true
This foundation will carry you through
[Bridge]
The remainder's always smaller than divisor b
Never negative, that's the guarantee
This simple truth unlocks so much more
It's the mathematical foundation at the core
[Verse 3]
For any integers you want to try
As long as b is greater than zero
There exist unique q and r every time
Making you a division hero
This isn't deep, just divide with remainder
But it builds the path for every trainer
[Chorus]
A equals b times q plus r
That's the formula, near and far
Zero less than or equal to r, less than b
Division algorithm, the key you need
Quotient and remainder, unique and true
This foundation will carry you through
[Outro]
When you see division, remember this song
A equals b q plus r, you can't go wrong
The algorithm that never fails
Your mathematical wind in your sails
3. GCD and the Euclidean Algorithm
[Verse 1]
Two numbers standing side by side
Which factor do they both divide?
The greatest common divisor's there
But finding it needs special care
Euclid knew the ancient way
Division steps that never stray
[Chorus]
Divide and take the remainder down
Pass it up, the old comes around
GCD of A and B
Becomes B mod repeatedly
Until the remainder hits zero clean
The last divisor's what we've seen
[Verse 2]
Two fifty-two and one oh five
Let's watch the algorithm come alive
Divide them out, forty-two remains
Now one oh five and forty-two chains
Forty-two goes into one oh five twice
Twenty-one's left, that's quite nice
[Chorus]
Divide and take the remainder down
Pass it up, the old comes around
GCD of A and B
Becomes B mod repeatedly
Until the remainder hits zero clean
The last divisor's what we've seen
[Bridge]
Forty-two and twenty-one now
Twenty-one divides exact somehow
Twenty-one and zero at the end
Twenty-one's the answer, my friend
Bézout says there's more to know
X and Y can make it flow
[Verse 3]
Extended algorithm finds the way
Integers X and Y at play
A times X plus B times Y
Equals GCD, that's no lie
Working backwards up the chain
Linear combinations we obtain
[Chorus]
Divide and take the remainder down
Pass it up, the old comes around
GCD of A and B
Becomes B mod repeatedly
Until the remainder hits zero clean
The last divisor's what we've seen
[Outro]
Three hundred BC, still running strong
O log of minimum, can't go wrong
Distillation pure and true
Common essence shining through
4. LCM
[Verse 1]
Two numbers need a meeting place
The smallest where they both can trace
Their multiples along the line
That's LCM by our design
Take twelve and eight, let's find their way
Twenty-four is where they'll stay
[Chorus]
LCM and GCD, they work in harmony
Multiply them both and see, equals A times B
Greatest common divisor, least common multiple
Use the formula that's true, math made simple
[Verse 2]
First we find the GCD
The largest factor both can be
Twelve and eight share factor four
The greatest one, we need no more
Now we use our golden rule
LCM equals our helpful tool
[Chorus]
LCM and GCD, they work in harmony
Multiply them both and see, equals A times B
Greatest common divisor, least common multiple
Use the formula that's true, math made simple
[Bridge]
A times B divided by
The GCD we did find
Absolute value keeps it right
Negative numbers shine so bright
GCD times LCM
Always equals A times B then
[Verse 3]
When you need the common ground
Where both numbers can be found
Use this relationship so clear
Keep the formula crystal near
Practice makes the pattern stick
LCM becomes your trick
[Chorus]
LCM and GCD, they work in harmony
Multiply them both and see, equals A times B
Greatest common divisor, least common multiple
Use the formula that's true, math made simple
[Outro]
Two numbers dancing hand in hand
LCM helps you understand
The smallest place they meet as one
Mathematical harmony won
5. Definition and Fundamental Theorem
[Verse 1]
A prime is special, greater than one
Divisible by itself and one, that's all it's done
Two, three, five, seven, eleven in the line
These building blocks are truly divine
But what about the numbers in between?
There's something magical we haven't seen
[Chorus]
Every number breaks apart
Into primes, that's just the start
Unique factorization, it's the fundamental way
Two to the third times five times seven
Makes two-eighty, mathematical heaven
The atoms of numbers, they never decay
[Verse 2]
Take any number bigger than one
If it's prime already, then we are done
If it's composite, split it in two
Each piece breaks down, that's what they do
Strong induction proves they all fall
Into prime pieces, one and all
[Chorus]
Every number breaks apart
Into primes, that's just the start
Unique factorization, it's the fundamental way
Two to the third times five times seven
Makes two-eighty, mathematical heaven
The atoms of numbers, they never decay
[Bridge]
But wait, there's more to this story told
Uniqueness makes this theorem bold
Euclid's Lemma shows the way
If p divides a times b today
Then p divides a or p divides b
This uniqueness sets the integers free
[Verse 3]
In other worlds where numbers play
Like Z root minus five they say
This magic fails, the atoms split
Unique factoring doesn't fit
But here in our integer home
Each number has one way alone
[Chorus]
Every number breaks apart
Into primes, that's just the start
Unique factorization, it's the fundamental way
Two to the third times five times seven
Makes two-eighty, mathematical heaven
The atoms of numbers, they never decay
[Outro]
Primes are atoms, numbers are molecules
Following arithmetic's golden rules
One structure only, that's the key
The Fundamental Theorem sets us free
6. Distribution of Primes
[Verse 1]
Count the primes from one to ten
Two, three, five, and seven then
Pi of x will tell us how
Many primes we've counted now
As numbers grow the primes spread out
But they never fade or run out
[Chorus]
Pi of x over natural log of x
That's the theorem we can't forget
Primes thin out but never die
Logarithmically they multiply
One over ln x shows the way
Probability of primes today
[Verse 2]
Take a number way up high
What's the chance it's prime? We try
One divided by its log
Gives the odds through morning fog
Million, billion, trillion more
Primes get rare but there's no floor
[Chorus]
Pi of x over natural log of x
That's the theorem we can't forget
Primes thin out but never die
Logarithmically they multiply
One over ln x shows the way
Probability of primes today
[Bridge]
As x approaches infinity
The ratio's reality
Pi of x and x over ln x
Dance together, never vexed
Asymptotic harmony
Prime number symphony
[Verse 3]
Bertrand's postulate guarantees
Between n and two n you'll see
At least one prime will always live
This pattern primes will always give
Distribution has its laws to follow
No empty gaps too large to swallow
[Chorus]
Pi of x over natural log of x
That's the theorem we can't forget
Primes thin out but never die
Logarithmically they multiply
One over ln x shows the way
Probability of primes today
[Outro]
Count them up from small to large
Primes are thinning but still at large
Natural log holds the key
To their density mystery
7. Infinitude of Primes
[Verse 1]
Let me tell you 'bout a question old
Are there primes beyond what we've been told
Euclid had a clever way to see
That prime numbers stretch to infinity
He said suppose we list them all complete
Every prime from two up to the greatest feat
Multiply them all and add just one
Watch what happens when this trick is done
[Chorus]
Infinitely many primes exist
No matter how long you make your list
Euclid's proof and Euler's sum both show
The primes go on wherever numbers go
One over p will always grow
The primes go on wherever numbers go
[Verse 2]
Take that number N we just created
When we divide by primes we've calculated
The remainder's always one you'll find
No prime on our list can break divide
Either N itself must be a prime
We missed it in our listing time
Or N has factors we don't know
New primes that help the number grow
[Chorus]
Infinitely many primes exist
No matter how long you make your list
Euclid's proof and Euler's sum both show
The primes go on wherever numbers go
One over p will always grow
The primes go on wherever numbers go
[Bridge]
Euler found another way to prove
Sum of one over p will never move
To a finite bound like squares would do
The reciprocals diverge right through
This tells us more than just they're endless
The primes are dense enough and boundless
Their reciprocal sum grows without end
On this mathematical fact depend
[Verse 3]
So when you think you've found them all
The primes will answer back the call
Contradiction shows our assumption's wrong
The sequence of primes goes on and on
[Final Chorus]
Infinitely many primes exist
No finite bound can hold this list
Euclid's logic, Euler's sum both show
The primes go on wherever numbers go
Mathematics proves what we need to know
The primes go on wherever numbers go
[Outro]
From two to three to five and on
The prime parade keeps marching strong
8. Arithmetic Properties
[Verse 1]
When numbers dance in modular space
There's a special bond they share
If a equals b in mod n's embrace
Then patterns show up everywhere
It's reflexive like a mirror's face
Symmetric when we flip and swap
Transitive chains that interlace
These properties will never stop
[Chorus]
Add them up, they stay the same
Multiply, it's still the game
Power up to any height
Congruence keeps the balance right
But division's not so clean
Greatest common divisor's the key
One is what we need to see
For the rule to guarantee
[Verse 2]
If a congruent b and c congruent d
Both dancing to mod n's beat
Then a plus c and b plus d
Will make the pattern complete
Times tables work the same way too
When congruence leads the dance
Every operation follows through
Given just the right circumstance
[Chorus]
Add them up, they stay the same
Multiply, it's still the game
Power up to any height
Congruence keeps the balance right
But division's not so clean
Greatest common divisor's the key
One is what we need to see
For the rule to guarantee
[Bridge]
Watch out for the division trap
When ac equals bc mod n
Don't assume that a equals b
Check the gcd my friend
If c and n share common ground
The rule might break apart
But when their gcd equals one
Division works from the start
[Chorus]
Add them up, they stay the same
Multiply, it's still the game
Power up to any height
Congruence keeps the balance right
But division's not so clean
Greatest common divisor's the key
One is what we need to see
For the rule to guarantee
[Outro]
Equivalence relation strong
Arithmetic properties long
Modular math will lead the way
In foundations every day
9. The Ring ℤ/nℤ
[Verse 1]
Take the integers, divide by n
Group them up where remainders blend
Zero through n minus one they go
Residue classes in a row
Bracket zero, bracket one
Bracket two until we're done
Z mod n Z is what we call
This algebraic structure for us all
[Chorus]
Ring of residues, modulo n
Add and multiply, round again
When the modulus is prime you see
Every element finds its key
Multiplicative inverse waiting there
Extended Euclidean shows you where
Ring of residues, remember this tune
Prime makes a field, composite won't do
[Verse 2]
Addition wraps around the clock
When you hit n, back to the start you rock
Multiplication works the same
Take the remainder, that's the game
But here's the magic, here's the test
When n is prime, we get the best
Every non-zero element you choose
Has an inverse it cannot lose
[Chorus]
Ring of residues, modulo n
Add and multiply, round again
When the modulus is prime you see
Every element finds its key
Multiplicative inverse waiting there
Extended Euclidean shows you where
Ring of residues, remember this tune
Prime makes a field, composite won't do
[Bridge]
Composite numbers break the spell
Some elements can't divide so well
Zero divisors lurk around
But primes keep fields safe and sound
GCD algorithms pave the way
To find inverses every day
[Outro]
From zero up to n minus one
Residue classes, we are done
Prime or composite, now you know
How Z mod n Z will always go
10. Linear Congruences
[Verse 1]
When you see a times x congruent b mod n
There's a question that you need to ask right then
Does the gcd of a and n divide into b?
If it doesn't then there's no solution, you see
[Chorus]
GCD divides b, solutions exist
Count them up, they're on the list
D solutions mod n you'll find
Where d is gcd, keep this in mind
Linear congruences follow the rule
GCD divides b is your main tool
[Verse 2]
Calculate gcd of a and n with care
If it goes into b evenly, solutions are there
The number of answers equals d exactly
Modulo n they spread out so perfectly
[Chorus]
GCD divides b, solutions exist
Count them up, they're on the list
D solutions mod n you'll find
Where d is gcd, keep this in mind
Linear congruences follow the rule
GCD divides b is your main tool
[Bridge]
Special case when gcd equals one
Then a and n share no common fun
Coprime they are, unique solution's here
Extended Euclidean makes the path clear
Find a inverse modulo n
Multiply by b and you'll win
X congruent a inverse times b mod n
[Verse 3]
Use Extended Euclidean Algorithm's might
To find the inverse when gcd is one right
Back substitution shows the way
To solve your congruence equation today
[Chorus]
GCD divides b, solutions exist
Count them up, they're on the list
D solutions mod n you'll find
Where d is gcd, keep this in mind
Linear congruences follow the rule
GCD divides b is your main tool
[Outro]
When d divides b the equation's solved
Count d solutions, mystery resolved
11. The Chinese Remainder Theorem
[Verse 1]
When you have two numbers that don't share a prime
And two equations running at the same time
X equals A when divided by M
X equals B when divided by N
There's a magic theorem from ancient days
That shows us there's a unique solution always
[Chorus]
Chinese Remainder breaks it down
One big problem, split around
When the moduli are coprime friends
The system solves, the story ends
Unique solution, that's the key
Modulo M times N, you see
Chinese Remainder shows the way
Independent parts at play
[Verse 2]
Greatest common divisor must be one
That's when the real magic has begun
The integers split into separate rings
Z mod MN becomes two smaller things
Isomorphic structures, hand in hand
Breaking complex into what we understand
[Chorus]
Chinese Remainder breaks it down
One big problem, split around
When the moduli are coprime friends
The system solves, the story ends
Unique solution, that's the key
Modulo M times N, you see
Chinese Remainder shows the way
Independent parts at play
[Bridge]
Pairwise coprime, extend the chain
M one, M two, up to M K again
Each congruence standing on its own
Product of moduli sets the zone
Algebraic structure decomposed
First glimpse of how math is composed
[Verse 3]
From ancient Chinese mathematicians wise
To modern algebra before our eyes
One system becomes a product space
Each component finds its rightful place
The foundation stone of number theory
Making complex problems less scary
[Chorus]
Chinese Remainder breaks it down
One big problem, split around
When the moduli are coprime friends
The system solves, the story ends
Unique solution, that's the key
Modulo M times N, you see
Chinese Remainder shows the way
Independent parts at play
[Outro]
When GCD is one, the path is clear
Chinese Remainder Theorem is here
Split the problem, find the answer true
Ancient wisdom still carries us through
12. Euler's Totient Function
[Verse 1]
When you have a number n and want to know
How many friends below it share no common flow
Count the ones that share no factors, standing proud and free
That's what Euler's function shows, phi of n you see
[Chorus]
Phi of n, count them all
Numbers that are coprime, standing tall
Greatest common divisor equals one
Phi of n, the counting's done
Multiply the primes away
One minus one over p, that's the way
[Verse 2]
If your number is a prime, the answer's crystal clear
Take that prime and minus one, the count will appear
Seven gives you six, eleven gives you ten
All the numbers below prime p are friends again
[Chorus]
Phi of n, count them all
Numbers that are coprime, standing tall
Greatest common divisor equals one
Phi of n, the counting's done
Multiply the primes away
One minus one over p, that's the way
[Verse 3]
When you've got a prime to power, p to the k
Take p to the k minus p to k minus one, don't make mistake
Or use the formula clean, p to k times one minus one over p
Factor out the common theme, makes the math so free
[Bridge]
Twelve has factors two and three
Twelve times one half times two thirds, you see
Twelve times one half is six
Times two thirds gives four, the magic tricks
One, five, seven, eleven share no factors with twelve
Coprime counting on the shelves
[Chorus]
Phi of n, count them all
Numbers that are coprime, standing tall
Greatest common divisor equals one
Phi of n, the counting's done
Multiply the primes away
One minus one over p, that's the way
[Verse 4]
If two numbers share no factors, multiplicative it stays
Phi of m times phi of n when gcd is one always
Break your number down to primes, apply the formula neat
N times product of one minus one over p makes it complete
[Outro]
From one to n, count the friends
Where the greatest common divisor is one
Euler's totient never ends
Phi of n, the counting's done
13. Fermat's Little Theorem
[Verse 1]
When p is prime and a's got no common ground
With p itself, then something magical is found
Take powers of a, raise it up to p minus one
The answer mod p is always gonna be just one
[Chorus]
Fermat's little secret, hiding in the math
A to the p minus one equals one on the path
When the prime and number share no common part
This theorem's gonna work, it's mathematical art
One mod p, one mod p, that's the key you see
Fermat's little theorem sets the numbers free
[Verse 2]
Let me show you why this magic always works so well
Take your number a and multiply through every cell
One times a, two times a, up to p minus one times a
Mod p they're just a shuffle of the numbers in our way
[Chorus]
Fermat's little secret, hiding in the math
A to the p minus one equals one on the path
When the prime and number share no common part
This theorem's gonna work, it's mathematical art
One mod p, one mod p, that's the key you see
Fermat's little theorem sets the numbers free
[Bridge]
Multiply them all together, what do you find
P minus one factorial on both sides combined
Cancel out the factorial, it's safe to do
Since the prime can't divide it, the theorem comes through
[Verse 3]
There's another way to say it, just as sweet and true
A to the power p equals a, that formula works too
For every single number, this pattern holds its ground
In modular arithmetic, this gem is what we've found
[Final Chorus]
Fermat's little secret, now you know the way
A to the p minus one mod p is one today
When gcd of a and p equals just one
This theorem's always true, the proof is done
One mod p, one mod p, mathematical decree
Fermat's little theorem, perfect harmony
14. Euler's Theorem (Generalization)
[Verse 1]
When numbers dance in modular space
There's a pattern hiding in this place
If gcd of a and n equals one
Then Euler's magic has begun
Raise a to the power of phi of n
And modulo n brings us back again
[Chorus]
It's a mathematical clock that's ticking
Powers cycle, never tricking
a to the phi of n mod n equals one
Euler's theorem, the pattern's won
Like Fermat's little theorem but generalized
For any modulus, the cycle's realized
[Verse 2]
Fermat showed us when n is prime
Phi of p is p minus one every time
But Euler took it further than before
Any composite number, he explored
The totient function counts the coprime friends
And shows us where the cycling ends
[Chorus]
It's a mathematical clock that's ticking
Powers cycle, never tricking
a to the phi of n mod n equals one
Euler's theorem, the pattern's won
Like Fermat's little theorem but generalized
For any modulus, the cycle's realized
[Bridge]
RSA encryption needs this law
Choose two primes without a flaw
Multiply them, call it n
Phi of n is where we begin
Public key and private key
Work together perfectly
[Verse 3]
Message m gets raised to power e
Ciphertext c is what we see
Then c to the power d brings back
The original message on the right track
Because e times d leaves remainder one
When divided by phi of n, we're done
[Chorus]
It's a mathematical clock that's ticking
Powers cycle, never tricking
a to the phi of n mod n equals one
Euler's theorem, keeps us secure
Digital secrets safe and sure
The cycle brings us home for sure
[Outro]
From Fermat's prime to Euler's grand design
Mathematical clocks keep perfect time
15. The Legendre Symbol
[Verse 1]
When we have a number a and a prime p too
There's a symbol that tells us what we need to do
Put a over p in parentheses neat
The Legendre symbol makes number theory complete
[Chorus]
One if it's a quadratic residue
Negative one if it's not, that's true
Zero when p divides a clean
The Legendre symbol shows what we mean
Q-R or not, the symbol will say
One, negative one, or zero today
[Verse 2]
A quadratic residue means there's an x
Where x squared equals a modulo p, no hex
If such a number x exists out there
The symbol equals one, beyond compare
[Chorus]
One if it's a quadratic residue
Negative one if it's not, that's true
Zero when p divides a clean
The Legendre symbol shows what we mean
Q-R or not, the symbol will say
One, negative one, or zero today
[Bridge]
When p divides a evenly
The symbol becomes zero, can't you see
No quadratic residue when divisible
The Legendre symbol stays predictable
[Verse 3]
If a is not a Q-R mod p
Then negative one is what we'll see
Three simple values, easy to recall
The Legendre symbol explains it all
[Chorus]
One if it's a quadratic residue
Negative one if it's not, that's true
Zero when p divides a clean
The Legendre symbol shows what we mean
Q-R or not, the symbol will say
One, negative one, or zero today
[Outro]
Legendre symbol, showing the way
In number theory every day
One, negative one, or zero
Our mathematical hero
16. The Law of Quadratic Reciprocity
[Verse 1]
Two primes standing all alone
P and Q, each on their own
But there's a secret they both share
A golden bond beyond compare
When P asks Q "am I a square?"
The answer's linked through ancient prayer
[Chorus]
It's quadratic reciprocity
The golden theorem's mystery
P over Q times Q over P
Equals one or negative
Check if both are three mod four
Then it's minus one for sure
Otherwise it's always one
Gauss's golden theorem won
[Verse 2]
Take seventeen and twenty-three
Independent as can be
But ask if seventeen's a square
Modulo twenty-three with care
The answer tells you something more
About twenty-three's square lore
[Chorus]
It's quadratic reciprocity
The golden theorem's mystery
P over Q times Q over P
Equals one or negative
Check if both are three mod four
Then it's minus one for sure
Otherwise it's always one
Gauss's golden theorem won
[Bridge]
Minus one over P depends
On P mod four, the rule extends
If P is one mod four, it's plus
If P is three mod four, no fuss, it's minus
Two over P has its own way
P squared minus one divided by eight holds sway
[Verse 3]
Primes don't know about each other
Yet they dance like sister, brother
This conspiracy runs deep
Ancient secrets that they keep
From quadratic reciprocity
To Langlands' grand symphony
[Chorus]
It's quadratic reciprocity
The golden theorem's mystery
P over Q times Q over P
Equals one or negative
Check if both are three mod four
Then it's minus one for sure
Otherwise it's always one
Gauss's golden theorem won
[Outro]
Six proofs Gauss gave us all
For this theorem we recall
The beginning of the tale
Where deeper laws will never fail
17. Key Functions
[Verse 1]
Let me tell you bout functions that count and sum
Tau and sigma, here they come
Tau of n counts divisors all
Every factor, big and small
Take twelve, its factors are one two three four six twelve
Tau of twelve equals six, now you can tell
[Chorus]
Tau counts them, sigma sums them up
Möbius flips like a measuring cup
Tau of n, divisors we find
Sigma adds them, peace of mind
Möbius dances, positive negative zero
These functions make you a number theory hero
[Verse 2]
Sigma takes those divisors true
Adds them up for me and you
Twelve again, lets do the math
One plus two plus three plus four plus six plus twelve on this path
Twenty-eight is what we get
Sigma twelve, dont you forget
[Chorus]
Tau counts them, sigma sums them up
Möbius flips like a measuring cup
Tau of n, divisors we find
Sigma adds them, peace of mind
Möbius dances, positive negative zero
These functions make you a number theory hero
[Verse 3]
Now Möbius is special friend
On prime powers it depends
Mu of one equals one, thats where we start
If n has squared prime factors, mu is zero from the heart
But if n has k distinct primes all different and free
Mu equals negative one to the k, thats the key
[Bridge]
Six equals two times three, two primes distinct
Mu of six is positive one, faster than you blink
Twelve has two squared, so mu is zero there
Thirty equals two times three times five, negative one we declare
[Chorus]
Tau counts them, sigma sums them up
Möbius flips like a measuring cup
Tau of n, divisors we find
Sigma adds them, peace of mind
Möbius dances, positive negative zero
These functions make you a number theory hero
[Outro]
Three functions dancing in number theory land
Tau and sigma and mu, now you understand
18. Multiplicativity
[Verse 1]
When two numbers share no common ground
Their greatest common divisor is one
A special function can be found
That splits apart what seems like one
If m and n are coprime friends
Then f of m times n transcends
To f of m times f of n
This multiplicative blend
[Chorus]
Multiplicative magic, split and multiply
When g-c-d is one, the function won't lie
f of m-n equals f of m times f of n
Tau and sigma, phi and mu, they follow this trend
Prime powers hold the key, that's where it begins
Multiplicative magic, let the pattern sink in
[Verse 2]
Tau counts divisors, here's the way
For p to the power a
Add one more to a, that's your play
a plus one is the formula
When numbers factor into primes
Each power follows these same rhymes
Multiply each piece you've found
The total count comes safe and sound
[Chorus]
Multiplicative magic, split and multiply
When g-c-d is one, the function won't lie
f of m-n equals f of m times f of n
Tau and sigma, phi and mu, they follow this trend
Prime powers hold the key, that's where it begins
Multiplicative magic, let the pattern sink in
[Bridge]
Sigma sums divisors up
p to a plus one minus one
Divided by p minus one, that's the cup
Phi counts numbers coprime, run
p to a minus p to a minus one
Each prime power gets its turn
Multiply them when you're done
[Verse 3]
Four functions dancing in the light
Tau, sigma, phi, and mu
Each one multiplicative and bright
Prime factorizations guide you through
Break down n to its prime parade
Each power has its value made
Multiply across the chain
The full result you will obtain
[Chorus]
Multiplicative magic, split and multiply
When g-c-d is one, the function won't lie
f of m-n equals f of m times f of n
Tau and sigma, phi and mu, they follow this trend
Prime powers hold the key, that's where it begins
Multiplicative magic, let the pattern sink in
[Outro]
When coprime factors come together
Multiplicative functions know
Split them up like birds of a feather
Watch the beautiful pattern flow
19. Möbius Inversion
[Verse 1]
When you sum up all the pieces, divisors in a row
f of n equals sigma, let the total overflow
But what if you could turn it back, reverse what you have done
Find the hidden summands when the adding race is run
[Chorus]
Möbius inversion, it's the undo button's call
When you know the sum of parts, you can find them one and all
Mu of d times f of n over d, that's the key
Number theory's magic trick, sets the summands free
[Verse 2]
Start with g of d summed over every divisor d
That gives you f of n, it's a transformation spree
But Möbius turns tables with his function mu so bright
Takes the total back apart, brings the pieces to light
[Chorus]
Möbius inversion, it's the undo button's call
When you know the sum of parts, you can find them one and all
Mu of d times f of n over d, that's the key
Number theory's magic trick, sets the summands free
[Bridge]
Here's the secret that makes it work so clean
Sigma mu of d equals one when n is one pristine
But when n is greater, sigma mu gives zero neat
Orthogonality relation makes the proof complete
[Verse 3]
Like calculus has integration paired with its derivative
Möbius gives number theory something reconstructive
Two formulas equivalent, both will do the deed
Mu times f of quotient or mu quotient times f indeed
[Chorus]
Möbius inversion, it's the undo button's call
When you know the sum of parts, you can find them one and all
Mu of d times f of n over d, that's the key
Number theory's magic trick, sets the summands free
[Outro]
So remember when you're summing over divisors in your way
Möbius inversion can reverse it any day
The function's just a sieve that filters out what you need
Mathematical undo makes the hidden summands feed
20. Linear Diophantine Equations
[Verse 1]
When you see ax plus by equals c
There's a question that we need to see
Do integer solutions exist at all?
Here's the rule that will never fall
Find the gcd of a and b
Does it divide c perfectly?
If the answer is yes indeed
Then solutions are guaranteed
[Chorus]
Diophantine, Diophantine
Gcd must divide c for solutions to be
Linear equations with integers true
One solution leads to infinitely new
X equals x-naught plus b over d times t
Y equals y-naught minus a over d times t
Diophantine, Diophantine
That's the pattern that sets you free
[Verse 2]
Start by finding just one pair
X-naught and y-naught living there
Use extended Euclidean way
Or guess and check to save the day
Once you have that special start
All solutions play their part
Parameter t can be any integer
Positive, negative, or zero sir
[Chorus]
Diophantine, Diophantine
Gcd must divide c for solutions to be
Linear equations with integers true
One solution leads to infinitely new
X equals x-naught plus b over d times t
Y equals y-naught minus a over d times t
Diophantine, Diophantine
That's the pattern that sets you free
[Bridge]
D is gcd of a and b
Divides the constant c you see
Without this divisibility
No integer solutions can be
But when it works the magic flows
Infinitely the answer grows
Each value of t gives a new pair
Solutions dancing everywhere
[Chorus]
Diophantine, Diophantine
Gcd must divide c for solutions to be
Linear equations with integers true
One solution leads to infinitely new
X equals x-naught plus b over d times t
Y equals y-naught minus a over d times t
Diophantine, Diophantine
That's the pattern that sets you free
[Outro]
So remember when you see that line
It's a Linear Diophantine
Check divisibility first
Then let the solutions burst
21. Pythagorean Triples
[Verse 1]
Ancient Greeks discovered something strange
Right triangles with a perfect range
Three whole numbers in a special way
A squared plus B squared equals C today
But not all triples are the same you see
Some are primitive, some are family
When A and B share no common ground
That's when primitive triples can be found
[Chorus]
M squared minus N squared gives you A
Two times M times N shows you the way
M squared plus N squared equals C
Pythagorean magic, can't you see
M is bigger than N, N above zero
M and N are coprime, that's our hero
M minus N must be odd, don't forget
This formula gets every triple set
[Verse 2]
Let's take M as five and N as two
Check our conditions, see what we can do
Five is greater than two, that works fine
GCD of five and two is one, we're in line
Five minus two is three, that's odd indeed
Now we calculate what we really need
A equals twenty-five minus four
B equals twenty, C is twenty-nine for sure
[Chorus]
M squared minus N squared gives you A
Two times M times N shows you the way
M squared plus N squared equals C
Pythagorean magic, can't you see
M is bigger than N, N above zero
M and N are coprime, that's our hero
M minus N must be odd, don't forget
This formula gets every triple set
[Bridge]
Twenty squared plus twenty-one squared
Equals twenty-nine squared, perfectly paired
Four hundred plus four-forty-one
Equals eight-forty-one when we're done
From any M and N that qualify
Infinite triples we can multiply
Three-four-five and five-twelve-thirteen
Generated by this ancient machine
[Final Chorus]
M squared minus N squared gives you A
Two times M times N shows you the way
M squared plus N squared equals C
Pythagorean triples, wild and free
Remember the rules, don't let them go
M greater than N, both above zero
Coprime together, difference is odd
Euclid's gift, mathematically awed
[Outro]
Every primitive triple you will find
Comes from this formula in your mind
Pythagorean secrets now revealed
Ancient wisdom, forever sealed
22. Fermat's Last Theorem (Statement)
[Verse 1]
Back in sixteen thirty-seven, a French lawyer made a claim
Pierre de Fermat wrote it down, and history changed the game
In the margin of a book, he scribbled something bold
A theorem that would haunt the minds of mathematicians old
[Chorus]
X to the n plus y to the n equals z to the n
When n is three or greater, there's no solution then
No positive integers can make this equation true
Fermat's Last Theorem, centuries overdue
[Verse 2]
For squares it works just fine, like three four five we know
Nine plus sixteen equals twenty-five, Pythagoras showed
But cubes and higher powers, they break the pattern clean
No triple of whole numbers fits this ancient scene
[Chorus]
X to the n plus y to the n equals z to the n
When n is three or greater, there's no solution then
No positive integers can make this equation true
Fermat's Last Theorem, centuries overdue
[Bridge]
Fermat claimed he had a proof, too long for margins small
But centuries passed by and no one could solve it all
Until nineteen ninety-five, when Wiles broke through the wall
With modular forms and elliptic curves, he conquered Fermat's call
[Verse 3]
The statement seems so simple, any child could understand
But proving it required all of modern math at hand
From number theory depths to algebraic geometry's height
Andrew Wiles connected worlds and brought truth to light
[Chorus]
X to the n plus y to the n equals z to the n
When n is three or greater, there's no solution then
No positive integers can make this equation true
Fermat's Last Theorem, now we know it's true
[Outro]
Three hundred fifty-eight years from conjecture to the proof
That some equations have no answers, and that's mathematical truth
23. Infinitude of Primes (The Inexhaustible Supply)
[Verse 1]
Let me tell you 'bout a quest that ancient minds would chase
To count all prime numbers, find the final place
Two, three, five, seven, eleven in a row
But does this sequence end? We need to know
[Chorus]
The primes keep flowing like an endless spring
No cap can hold them, they're an infinite thing
Multiply them all and add just one
A new prime's born, the proof is done
Infinite primes, they never cease
Euclid's wisdom brings us peace
[Verse 2]
Suppose you think you've found them all inside a box
Two, three, five, seven - that's your finite stock
Now multiply these numbers, every single one
Then add a one to what you've done
[Chorus]
The primes keep flowing like an endless spring
No cap can hold them, they're an infinite thing
Multiply them all and add just one
A new prime's born, the proof is done
Infinite primes, they never cease
Euclid's wisdom brings us peace
[Bridge]
This new number's strange, it breaks the mold
Not divisible by primes of old
Either it's prime or has new factors
Contradiction shows our logic matters
No finite net can catch them all
The primes will always break the wall
[Verse 3]
From contradiction comes the truth we seek
The finite assumption makes our logic weak
For every list that claims to be complete
Euclid's method shows it's incomplete
[Chorus]
The primes keep flowing like an endless spring
No cap can hold them, they're an infinite thing
Multiply them all and add just one
A new prime's born, the proof is done
Infinite primes, they never cease
Euclid's wisdom brings us peace
[Outro]
So when you think of numbers in their endless dance
Remember primes will always find a way to advance
An inexhaustible supply that flows forever free
Mathematical infinity for all to see
24. Fundamental Theorem of Arithmetic (The Atomic Theory of Numbers)
[Verse 1]
Every number has a story deep inside
More than meets the eye at first glance
Like atoms building molecules so wide
Numbers have their own atomic dance
Start with any integer you find
Greater than one in the number line
Break it down with factors you can see
There's a pattern waiting to be free
[Chorus]
Every number breaks down uniquely
Into primes and only primes
Like a molecular formula clearly
Shows the elements every time
Two times three times five times seven
Building blocks from number heaven
Fundamental theorem's the key
Unique prime factorization, you and me
[Verse 2]
Primes are elements, pure and clean
Two and three and five so bright
Composites are compounds that we've seen
Made of primes that multiply just right
Strong induction proves they all exist
Every number has its prime breakdown
No exceptions on this numbered list
Every integer can be written down
[Chorus]
Every number breaks down uniquely
Into primes and only primes
Like a molecular formula clearly
Shows the elements every time
Two times three times five times seven
Building blocks from number heaven
Fundamental theorem's the key
Unique prime factorization, you and me
[Bridge]
Euclid's lemma shows us why it's true
If a prime divides a product clean
Then it must divide one factor through
Uniqueness proved by this ancient scheme
Like a periodic table made of numbers
Primes are elements that never slumber
Composites are the compounds that they make
Arithmetic's foundation for our sake
[Chorus]
Every number breaks down uniquely
Into primes and only primes
Like a molecular formula clearly
Shows the elements every time
Two times three times five times seven
Building blocks from number heaven
Fundamental theorem's the key
Unique prime factorization, you and me
[Outro]
Numbers are atomic, pure and true
Prime factorization sees us through
The fundamental theorem lights the way
Mathematics' DNA on display
25. Fermat's Little Theorem (The Cycling of Powers)
[Verse 1]
Take a number, any number, let's call it a
Pick a prime we'll call it p, the magic formula
Raise that number to the power of p minus one
Something beautiful happens when the math is done
[Chorus]
Round and round the clock we go
Powers cycling, ebb and flow
p minus one will bring us home
To one again, no matter where we roam
Fermat knew the secret code
Every power finds its road
Back to one in modular time
Fermat's Little Theorem sublime
[Verse 2]
Multiply the set from one to p minus one
By our number a, see what we have done
Every element gets shuffled to a different place
But the same set emerges, just a different face
[Chorus]
Round and round the clock we go
Powers cycling, ebb and flow
p minus one will bring us home
To one again, no matter where we roam
Fermat knew the secret code
Every power finds its road
Back to one in modular time
Fermat's Little Theorem sublime
[Bridge]
Like a clock that ticks away
Counting down from p minus one to one
When the cycle's complete today
We're right back where we begun
Permutations rearrange
But the product stays the same
In this modular exchange
Mathematics plays its game
[Verse 3]
Seven to the sixth in mod seven space
Equals one, returns to its starting place
Five to the fourth in mod five you'll see
Comes back to one inevitably
[Chorus]
Round and round the clock we go
Powers cycling, ebb and flow
p minus one will bring us home
To one again, no matter where we roam
Fermat knew the secret code
Every power finds its road
Back to one in modular time
Fermat's Little Theorem sublime
[Outro]
When the prime divides the power
When the cycle's complete
Fermat's theorem in its hour
Makes the pattern so sweet
a to p minus one
Always equals one
In the modular sun
26. Quadratic Reciprocity (The Secret Handshake)
[Verse 1]
Two primes meet at a party tonight
They don't know they've been connected
p and q in the dancing light
Their histories intersected
Is p a square when we mod by q?
Is q a square when we mod by p?
They hold the answers, it's strange but true
In their prime identity
[Chorus]
It's the secret handshake, the hidden code
Quadratic reciprocity shows
What p knows about q, q knows about p
It's symmetric, can't you see?
The secret handshake of the primes
They've been dancing all this time
Legendre symbols tell the tale
When both are one mod four, it never fails
[Verse 2]
But wait, there's a twist in this prime romance
When both are three mod four
The signs will flip, they'll change their dance
Negative one times negative one makes the score
Gauss discovered this hidden truth
Structure where chaos seemed to reign
The mathematical fountain of youth
In number theory's grand domain
[Chorus]
It's the secret handshake, the hidden code
Quadratic reciprocity shows
What p knows about q, q knows about p
It's symmetric, can't you see?
The secret handshake of the primes
They've been dancing all this time
Legendre symbols tell the tale
With sign correction, it will never fail
[Bridge]
Like strangers finding wedding photos
Where they both appear in the crowd
The primes reveal their secret memos
Speaking truths both clear and proud
From ancient Greece to Gauss's mind
This theorem breaks the random wall
Shows the patterns we can find
In the greatest mystery of all
[Chorus]
It's the secret handshake, the hidden code
Quadratic reciprocity shows
What p knows about q, q knows about p
It's symmetric, can't you see?
The secret handshake of the primes
They've been dancing all this time
Check the residues, watch them shine
In this mathematical design
[Outro]
So when two primes meet face to face
They already know the other's grace
The secret handshake, tried and true
Quadratic reciprocity's gift to you
27. 6 Homomorphisms and Isomorphisms
[Verse 1]
When functions map from group to group
They might preserve what matters most
Phi takes a-b and keeps the loop
ab maps to phi-a times phi-b host
[Chorus]
Homomorphism keeps operation alive
Structure flowing from left to right
Kernel catches what won't survive
Image shows what makes the flight
When it's bijective, isomorphic light
Same group wearing different disguise
[Verse 2]
Identity maps to identity
Inverse maps to inverse true
Kernel holds the mystery
Elements that vanish through
Normal subgroup living there
While image builds a faithful crew
[Chorus]
Homomorphism keeps operation alive
Structure flowing from left to right
Kernel catches what won't survive
Image shows what makes the flight
When it's bijective, isomorphic light
Same group wearing different disguise
[Bridge]
First theorem speaks the deeper truth
G mod kernel equals image proof
Quotient by what's identified
Gives exactly what's inside
Second third theorems extend the dance
HN over N gets its chance
H mod intersection stands
Third shows quotient of quotients lands
[Verse 3]
When injection fails some merge together
Kernel measures redundancy
Quotient cuts the binding tether
Image shows what's meant to be
Collapsing sameness sets us free
Universal pattern, can't you see
[Final Chorus]
Homomorphism keeps operation alive
Structure flowing from left to right
Kernel catches what won't survive
Image shows what makes the flight
Quotient kernel equals image sight
Algebra's most profound design
[Outro]
Same group, different names
Isomorphic, plays the same games
28. Mathematical Induction
[Verse 1]
When you need to prove infinity's claim
Start with one domino in the chain
Base case first, check it's true
Then assume what P of k can do
[Chorus]
Base and step, that's the trick
Mathematical induction's quick
Prove it works for number one
Then show k leads to k plus one
Dominoes will tumble down
Infinite truth is what we've found
[Verse 2]
Take the sum from one to n
Equals n times n plus one, then divide by two
First check one equals one, it's right
Now assume our formula's tight
[Chorus]
Base and step, that's the trick
Mathematical induction's quick
Prove it works for number one
Then show k leads to k plus one
Dominoes will tumble down
Infinite truth is what we've found
[Bridge]
Add k plus one to both sides clean
Factor out what can be seen
K plus one times k plus two over two
The pattern holds, the proof pulls through
[Verse 3]
Strong induction takes them all
Every case before the call
Well-ordering finds the least
Contradiction ends the feast
[Chorus]
Base and step, that's the trick
Mathematical induction's quick
Prove it works for number one
Then show k leads to k plus one
Dominoes will tumble down
Infinite truth is what we've found
[Outro]
Finite minds prove endless claims
Through induction's clever games
Set the chain and flick the start
Mathematics' beating heart
29. 5 Normal Subgroups and Quotient Groups
[Verse 1]
When every element plays nice and switches places clean
Normal subgroups dance where conjugation's serene
If gN equals Ng no matter what g you choose
Then N is normal in G, that's the golden rule we use
[Chorus]
Normal means the cosets commute
Quotient groups are the substitute
Collapse the normal to identity
See the structure's clarity
G over N, what remains
When you erase the smaller chains
[Verse 2]
In abelian groups every subgroup behaves
But non-abelian worlds have subgroups that misbehave
Conjugate and check if gNg-inverse stays the same
If N transforms to itself, normal is its name
[Chorus]
Normal means the cosets commute
Quotient groups are the substitute
Collapse the normal to identity
See the structure's clarity
G over N, what remains
When you erase the smaller chains
[Bridge]
Take gN times hN, multiply the cosets clean
Gets you ghN precisely, operation's crystalline
Well-defined because N is normal, that's the key
Controlled blindness shows the structure you can see
[Verse 3]
Integers mod n show the pattern crystal clear
Multiples of n vanish, remainders reappear
Zero through n-minus-one, addition wraps around
Quotient captures essence when the normal's been unwound
[Chorus]
Normal means the cosets commute
Quotient groups are the substitute
Collapse the normal to identity
See the structure's clarity
G over N, what remains
When you erase the smaller chains
[Outro]
Choose what stops existing, let the normal disappear
Large-scale structure emerges, details engineered to clear
Quotient groups are telescopes for algebra's design
Focus past the normal noise, see patterns redefined
30. 2 Splitting Fields and Galois Groups
[Verse 1]
Polynomial wandering through the field tonight
Seeking roots that multiply and hide
But in this basic ground it can't divide
Into perfect linear pieces, smooth and bright
The splitting field's the smallest place to go
Where every factor breaks down nice and clean
No more complexity left to be seen
Just linear terms in one neat perfect row
[Chorus]
Split it down, split it clean
Find the field where roots convene
Galois group will map the way
Automorphisms come to play
Fix the base, but twist the rest
Symmetries that pass the test
Split it down, split it clean
Mathematics unforeseen
[Verse 2]
Take Q with square root two adjoined
The Galois group has just two moves
Identity that nothing proves
And sigma flipping signs combined
Square root two becomes its twin
Negative square root two instead
While rationals stay safe in bed
The cyclic group of two begins
[Chorus]
Split it down, split it clean
Find the field where roots convene
Galois group will map the way
Automorphisms come to play
Fix the base, but twist the rest
Symmetries that pass the test
Split it down, split it clean
Mathematics unforeseen
[Bridge]
Primitive roots of unity dance
Zeta sub n spins around
Two pi i over n compound
Euler's units get their chance
Group of units mod n takes the stage
Every coprime gets to move
While the base field can't improve
Galois theory writes each page
[Verse 3]
Field automorphisms guard the tower
Keeping base points locked in place
While extensions shift through space
Revealing algebra's hidden power
Smallest field that holds them all
Where polynomials surrender whole
Each root finds its destined role
Linear factors standing tall
[Outro]
When the splitting's finally done
Galois groups reveal the code
Symmetries along the road
Field extensions, one by one
31. 1 Modules
[Verse 1]
Take an abelian group and dress it up with more
Scalar multiplication knocking at the door
Ring times module element, axioms align
Distributive laws dancing in mathematical time
Vector spaces wore the crown when fields were all we knew
But rings break all the rules and modules see us through
[Chorus]
Modules stretch beyond the field
When rings refuse to yield
Every integer makes groups sing
Every ideal's a ring-shaped thing
Not every basis can be found
Not every complement comes around
Modules are the wilder breed
Harder structures that we need
[Verse 2]
Integers multiply any abelian crew
Add the element to itself, that's how the magic grew
Polynomial rings with x can build a linear map
Vector spaces with transformations caught up in the trap
Ideals become modules when the ring acts on itself
Abstract algebra's treasure sitting on the shelf
[Chorus]
Modules stretch beyond the field
When rings refuse to yield
Every integer makes groups sing
Every ideal's a ring-shaped thing
Not every basis can be found
Not every complement comes around
Modules are the wilder breed
Harder structures that we need
[Bridge]
Free modules carry basis proud
Semisimple splits allowed
But most modules play by different laws
No complement without a cause
Structure theory runs so deep
Harder patterns that we keep
[Verse 3]
Four axioms guard the gate like vector space before
Left distributive, right distributive, two more at the core
Scalar sum distributes clean, sum of scalars too
Identity and associative see the journey through
From simple fields to complex rings, the ladder climbs so high
Modules are the reason why mathematics learns to fly
[Final Chorus]
Modules stretch beyond the field
When rings refuse to yield
Richer structure, wilder game
Vector spaces can't contain
All the beauty that unfolds
When the ring story gets told
[Outro]
Ring acts left, the module waits
Abstract beauty at the gates
32. Cantor's Theorem (The Never-Ending Staircase)
[Verse 1]
Count every number that you know by name
One, two, three, four - seems like a simple game
But take those numbers, make a bigger collection
Every subset hiding in their reflection
Two to the power of however many you start
That's the magic tearing infinity apart
[Chorus]
Never-ending staircase, climbing floor by floor
Every time you reach the top, there's always something more
Power sets keep growing, doubling what you had
Cantor showed us truth that drives mathematicians mad
No ceiling, no limit, just stairs that multiply
The staircase builds itself into an endless sky
[Verse 2]
Start with just three elements, call them A, B, C
Their power set contains eight possibilities
Empty set, each single piece, then pairs combined
Plus the set of all three - infinity redefined
Each level births the next one, twice as vast and wide
No matter where you stand, there's more on the other side
[Chorus]
Never-ending staircase, climbing floor by floor
Every time you reach the top, there's always something more
Power sets keep growing, doubling what you had
Cantor showed us truth that drives mathematicians mad
No ceiling, no limit, just stairs that multiply
The staircase builds itself into an endless sky
[Bridge]
Even infinite sets bow to this cosmic law
Their power sets stretch beyond what minds can draw
Aleph-null meets aleph-one in this parade
Each infinity spawning larger infinities made
The theorem whispers: "Think you've found the end?
Watch me build another floor around the bend"
[Chorus]
Never-ending staircase, climbing floor by floor
Every time you reach the top, there's always something more
Power sets keep growing, doubling what you had
Cantor showed us truth that drives mathematicians mad
No ceiling, no limit, just stairs that multiply
The staircase builds itself into an endless sky
[Outro]
So when you think you've counted everything that is
Remember Cantor's gift, this mathematical quiz
The power set's always larger than the set you knew
Forever building upward, making one from two
33. The Law of Large Numbers
[Verse 1]
Flip a coin ten times, it might land heads eight
Sample's dancing wild, probability's late
But gather thousand flips, the pattern starts to show
Fifty-fifty splits as your data starts to grow
X-bar-n approaches mu, that's the magic rule
Sample means converge when your dataset's fuel
[Chorus]
Large numbers never lie, they whisper truth in time
Weak law says the gap shrinks, probability's climb
Strong law guarantees it, almost surely true
The more you collect, the closer you'll pursue
Large numbers, large numbers, averaging out the noise
Large numbers, large numbers, reality's true voice
[Verse 2]
Casino counts on millions rolling through their door
Short-term lucky streaks won't hurt their casino core
Insurance companies betting on the aggregate flow
Individual claims chaos, but the total they know
Epsilon gets smaller as your sample size expands
Convergence in your favor when statistics commands
[Chorus]
Large numbers never lie, they whisper truth in time
Weak law says the gap shrinks, probability's climb
Strong law guarantees it, almost surely true
The more you collect, the closer you'll pursue
Large numbers, large numbers, averaging out the noise
Large numbers, large numbers, reality's true voice
[Bridge]
Polls need bigger samples to predict the vote
Weak convergence promises what strong will devote
Probability one, not just likelihood high
Sample average chases where the true means lie
[Verse 3]
Scientists measuring, experiments repeat
Variance gets tighter with each data sheet
Expected value hiding in the random storm
Large numbers reveal it, that's the perfect norm
From chaos comes order when the count grows long
Mathematical certainty, that's the theorem's song
[Chorus]
Large numbers never lie, they whisper truth in time
Weak law says the gap shrinks, probability's climb
Strong law guarantees it, almost surely true
The more you collect, the closer you'll pursue
Large numbers, large numbers, averaging out the noise
Large numbers, large numbers, reality's true voice
[Outro]
As n approaches infinity, the sample finds its way
X-bar-n equals mu, that's what the laws convey
34. 3 Root Systems and Classification
[Verse 1]
In the algebra's heart lies a maximal space
Cartan subalgebra, abelian embrace
Semisimple elements dance in formation
Simultaneously diagonal across the nation
H sits inside g like a compass true
Pointing directions for what we can do
[Chorus]
Root systems classify, Dynkin draws the map
A-B-C-D in classical wrap
G-two F-four, E-six seven eight
Exceptional beauties that mathematics create
Decompose and conquer, let the structure show
Root by root by root, watch the algebra grow
[Verse 2]
G equals H direct sum over all alpha phi
G-alpha eigenspaces reaching for the sky
Bracket H with X gives alpha H times X
Linear functionals weaving geometric tricks
Phi contains the roots in dual space they live
Constrained configurations, only certain forms survive
[Chorus]
Root systems classify, Dynkin draws the map
A-B-C-D in classical wrap
G-two F-four, E-six seven eight
Exceptional beauties that mathematics create
Decompose and conquer, let the structure show
Root by root by root, watch the algebra grow
[Bridge]
A-n special linear, circles on a line
B-n orthogonal odd, double arrow shrine
C-n symplectic forms, reverse arrow calls
D-n orthogonal even, forked at branching walls
[Verse 3]
E-eight has dimension two-four-eight complete
Two hundred forty roots in geometric feat
String theory whispers secrets through its frame
Periodic table of symmetry's grand game
Nature chose these patterns, no others will do
Mathematical surprises waiting to break through
[Outro]
From axioms simple, only finite types emerge
Bracket laws and Jacobi make the structures converge
Classical families guard the matrix throne
While exceptional wonders stand beautifully alone
35. Cardinality via Functions
[Verse 1]
When sets are dancing, side by side
How do we know their matching size?
Functions hold the secret key
Bijections show equality
Every element finds its pair
Perfect matching, nothing spare
One-to-one and onto too
That's how cardinality breaks through
[Chorus]
Same size means bijection's there
Arrows pointing everywhere
Less than means injection flows
But bijection never shows
Equal sets have perfect maps
Bridge the mathematical gaps
Functions tell us who's how big
That's the cardinality gig
[Verse 2]
Injection means we're flowing clean
No collisions in between
Each input gets its own address
But outputs might be loneliness
Some targets sitting all alone
No arrows calling them their home
This tells us A is small or same
As B within this mapping game
[Chorus]
Same size means bijection's there
Arrows pointing everywhere
Less than means injection flows
But bijection never shows
Equal sets have perfect maps
Bridge the mathematical gaps
Functions tell us who's how big
That's the cardinality gig
[Bridge]
Strictly smaller needs a twist
Injection yes, bijection missed
Can't find that perfect dancing floor
Where every guest gets something more
Cantor showed us infinite ways
Sets can grow through function maze
Even numbers, naturals too
Bijections make them equal through
[Verse 3]
Formal symbols paint the scene
Vertical bars show what we mean
A's size compared to B's domain
Through functions we can ascertain
Less than equal, just a shot
Perfect match or maybe not
Equal means the bridge is built
Every element finds its guilt
[Final Chorus]
Same size means bijection's there
Arrows pointing everywhere
Less than means injection flows
But bijection never shows
Equal sets have perfect maps
Bridge the mathematical gaps
Functions tell us who's how big
That's the cardinality gig
[Outro]
Count through functions, not through numbers
That's where true mathematics slumbers
Bijections are the golden thread
Weaving sets from A to Z
36. 11 Essential Equations and Formulas
[Verse 1]
When systems call your name, Ax equals b
Row reduce the matrix, set the variables free
Augmented form beside you, pivot through each row
Gaussian elimination, watch the answer grow
[Chorus]
Eleven sacred formulas, carved in algebraic stone
Dimension, determinant, eigenvalues we own
From Cauchy-Schwarz to spectral, SVD's embrace
These equations hold the keys to linear vector space
[Verse 2]
Dimension tells the story of how big your space can be
Count the basis vectors, that's your dim of V
U plus W together, minus intersection's share
Rank-nullity theorem, kernel plus image there
[Chorus]
Eleven sacred formulas, carved in algebraic stone
Dimension, determinant, eigenvalues we own
From Cauchy-Schwarz to spectral, SVD's embrace
These equations hold the keys to linear vector space
[Verse 3]
Determinant's got power, AB product rule
Det of A times det B, multiplication's tool
Eigenvalues multiply to give you det complete
Volume scaling factor, geometric feat
[Bridge]
Lambda minus A times I, set determinant to zero
Find your eigenvalues, be your matrix hero
Trace equals sum of lambdas, product gives det
Cayley-Hamilton whispers, p of A you bet
[Verse 4]
Inner products dancing, Cauchy-Schwarz won't lie
Absolute of u dot v, bounded by their size
Projection formula casting shadows on the wall
Parseval's identity, orthonormal call
[Chorus]
Eleven sacred formulas, carved in algebraic stone
Dimension, determinant, eigenvalues we own
From Cauchy-Schwarz to spectral, SVD's embrace
These equations hold the keys to linear vector space
[Outro]
Symmetric matrices singing Q D Q transpose
SVD exists for all, decomposition close
U sigma V transpose, the universal way
Eleven formulas guide us through algebra's maze
37. 7 Inner Product Spaces
[Verse 1]
Take two vectors from your space
Map them to a real number's place
Three sacred rules must always hold
Symmetry first, as we unfold
When u meets v, the same as v meets u
Linearity scales and adds on cue
[Chorus]
Inner product space, where angles dance
Dot product, integral - give structure a chance
Norm is the square root of self with self
Orthogonal means zero on the shelf
Cauchy-Schwarz keeps products in line
Triangle inequality's so divine
[Verse 2]
Standard form in R-n so clean
Sum of products, component scene
For functions on an interval's span
Integral of f times g, that's the plan
Positive definite, never below
Zero only when vector's zero
[Chorus]
Inner product space, where angles dance
Dot product, integral - give structure a chance
Norm is the square root of self with self
Orthogonal means zero on the shelf
Cauchy-Schwarz keeps products in line
Triangle inequality's so divine
[Bridge]
Project onto subspace W so bright
Sum of inner products scaled just right
Closest point theorem guarantees
Perpendicular error's what you see
Fundamental split of any vector
Projection plus orthogonal sector
[Verse 3]
Gram-Schmidt builds what nature lacks
Orthonormal basis from messy stacks
Take v-one, normalize to start
Subtract projections, work your art
Each new direction stands alone
Perpendicular paths you've grown
[Outro]
From dot products to function space
Inner structure shows its face
Mathematics' strongest inequality
Cauchy-Schwarz for all to see
Back to Home