Algebra

about value of functions

The Name

Let's start with where the word comes from, because it matters.

Around 820 CE, a Persian mathematician named Muhammad ibn Musa al-Khwarizmi wrote a book. The title translates to "The Compendious Book on Calculation by Completion and Balancing." In Arabic, "completion" is al-jabr. Say it out loud. Al-jabr. Algebra.

That's where the word comes from. A book about completing and balancing. Not about letters replacing numbers—that came later. The original algebra was about: how do you take something incomplete and make it whole? How do you take something unbalanced and fix it?

Oh, and al-Khwarizmi's name? Latinized, it became "Algoritmi." That's where we get "algorithm." One dude gave us two of the most important words in mathematics. Put some respect on it.

What Algebra Actually Is

Here's what they don't tell you in school: algebra isn't about solving for x. That's just one thing you can do with it. Algebra is about operations as objects.

Think about addition. In arithmetic, addition is something you do. You add 3 and 5, you get 8. Addition is a verb.

In algebra, addition is a thing. It's an object you can study. You can ask: what are the properties of addition? What rules does it follow? What happens when you combine addition with other operations? Addition becomes a noun.

This is the flip. Arithmetic asks: given these operations, what do specific values do? Algebra asks: given that values exist, what do these operations do?

The value of functions. Not "evaluate this function at x = 3." The value—the worth, the meaning, the structure—of the function itself.

Variables Aren't Scary

Let's kill the x-phobia right now.

A variable is just an empty jar with a label on it. That's all. When you write x, you're saying "there's a jar here called x, and I don't know what's in it yet—or I don't care what's in it yet."

Why would you not care? Because sometimes you want to talk about all possible jars. You want to say something that's true no matter what's in the jar.

Like: x + 0 = x

That's not a problem to solve. There's no "answer." It's a statement about how addition works. No matter what you put in the jar, if you add zero to it, you get the same thing back. The jar is unchanged. Zero is the additive identity.

Or: x + y = y + x

Addition doesn't care about order. First jar plus second jar equals second jar plus first jar. Always. For any jars. This property has a name: commutativity. Addition is commutative.

See what happened? We're not calculating anymore. We're describing the structure of an operation. We're saying what addition IS, not what it DOES to specific numbers.

Groups: The Simplest Structure

Okay. You got a set—a clique, a collection, a jar of jars. And you got an operation—a way to combine any two elements and get another element. When do those two things play nice together?

Mathematicians figured out the minimum requirements. They're called the group axioms:

Closure: If you combine any two elements from the set, you get something that's still in the set. The operation doesn't kick you out of the clique.

Associativity: (a ∘ b) ∘ c = a ∘ (b ∘ c). When combining three things, it doesn't matter which pair you combine first. The grouping doesn't change the result.

Identity: There's some element that does nothing. Combine anything with it, you get the same thing back. The "zero" of the operation (even if the operation isn't addition).

Inverse: For every element, there's another element that "undoes" it. Combine them, you get the identity. Like how 5 + (-5) = 0, or how 3 × (1/3) = 1.

That's it. Four rules. Any set with any operation that follows those four rules is a group. And groups are everywhere.

The integers with addition? Group. The nonzero rationals with multiplication? Group. The rotations of a square? Group. The ways you can shuffle a deck of cards? Group.

Same structure, different content. That's the power. Once you prove something about groups in general, it applies to ALL of these things. You're not doing arithmetic over and over—you're finding the pattern underneath.

Generators: Building Worlds

Here's where it gets beautiful.

Some elements are special. They can build the whole group by themselves.

Take the integers with addition. Start with just 1. Add it to itself: 1 + 1 = 2. Again: 2 + 1 = 3. Keep going, you get all positive integers. Now use the inverse: -1. From there you get all negative integers. One single element—1—generates the entire infinite set of integers under addition. 1 is a generator of the integers. Not every element can do this. Start with 2 instead. 2 + 2 = 4. 4 + 2 = 6. You only get even numbers. 2 generates a subgroup—a smaller clique inside the bigger one. You're trapped in the evens. You'll never hit 3.

Generators are the seeds. The operation is the growth rule. Together, they determine what world you end up with.

This is why algebra comes before arithmetic in the real order of things. The structure of the operations—what they allow, what they forbid, what they generate—determines everything about how specific numbers behave. Arithmetic is just the specific case. Algebra is the general law.

Emmy Noether: The Mother of Modern Algebra

Early 1900s. Germany. A woman named Emmy Noether is doing mathematics so advanced that the biggest names in the field—Hilbert, Einstein—are paying attention.

Problem: she's a woman, and German universities don't let women teach. Hilbert fights for her. His argument is legendary: "I do not see that the sex of the candidate is an argument against her admission. After all, we are a university, not a bath house."

She eventually gets a position. Unpaid at first. Doesn't matter. She keeps working.

What she does changes everything. Before Noether, algebra was a collection of techniques—tricks for solving equations, manipulating formulas. After Noether, algebra is about structure itself. She's the one who sees that the important thing isn't the specific numbers or equations—it's the abstract relationships. The patterns that hold across completely different systems.

Rings. Ideals. Abstract algebraic structures that unify huge swaths of mathematics. She basically invents the modern approach.

And then there's Noether's theorem. This is physics, not just math. She proves that every symmetry corresponds to a conservation law. If a system looks the same when you shift it in time, energy is conserved. If it looks the same when you shift it in space, momentum is conserved. If it looks the same when you rotate it, angular momentum is conserved.

Symmetry and conservation are the same thing.

Read that again. They're not two separate phenomena that happen to line up. They're two faces of one thing. You literally cannot have one without the other. Every symmetry IS a conservation law. Every conservation law IS a symmetry. They arise together, define each other, complete each other.

This is Yin Yang. Not as metaphor—as mathematical fact.

The ancient Chinese figured out that apparent opposites are really complementary aspects of a unified whole. Light and dark. Active and passive. They don't oppose each other; they generate each other, contain each other, can't exist without each other. That's not mysticism. That's one of the earliest recognitions of how duality actually works.

Noether proved it with equations. Symmetry is Yang—the visible structure, the thing you can see doesn't change when you transform the system. Conservation is Yin—the hidden constant, the thing that stays the same beneath the surface. And they're not connected. They're identical. Two ways of looking at one truth.

Twenty-five hundred years apart, different continents, different languages, different methods. Same insight.

She died in 1935 at 53, complications from surgery. Einstein wrote her obituary for the New York Times. Called her the most significant creative mathematical genius since higher education opened to women.

When people ask why history matters in a math book: this is why. The ideas don't come from nowhere. They come from people who fought to think clearly despite a world that made it hard. And sometimes the same idea comes independently, across centuries and cultures, because it's true and truth has a way of surfacing.

Rings and Fields: More Structure

Groups have one operation. But what if you have two?

A ring is a set with two operations—usually called addition and multiplication—that play together in specific ways. The set is a group under addition. Multiplication is associative and distributes over addition. That's a ring.

The integers are a ring. You can add them (group structure) and multiply them (distributes over addition). But notice: not every integer has a multiplicative inverse. 5 × ? = 1 has no integer solution. So integers are a ring but not a field.

A field is a ring where every nonzero element has a multiplicative inverse. The rationals are a field. The real numbers are a field. You can always divide (except by zero—we'll get there).

Fields are where arithmetic really lives. The full structure of +, −, ×, ÷ with all the rules you learned as a kid. But now you see why those rules exist. They're not arbitrary. They're the minimum requirements for a system where addition and multiplication both fully work.

Polynomials: Generating New Structure

Here's a move. Take a variable x. Not as an unknown to solve for—as a building block.

Start with just x. Now allow addition and multiplication. What can you build?

x + x = 2x. x × x = x². Keep going: x³, x⁴, any power. Combine them with addition: x² + 3x + 5. That's a polynomial. You generated it from x using the operations of a ring.

Polynomials form their own ring. You can add them, multiply them, and you get more polynomials. They follow the same abstract structure as integers, just with different content.

And here's the deep thing: polynomials aren't just about x. They encode relationships. The polynomial x² - 4 captures every pair of numbers where one is the square of the other minus 4. The shape of the relationship is stored in the structure of the polynomial.

Algebra lets you manipulate the shape without worrying about specific numbers. Solve it once, abstractly, and the solution works for every possible input.

Why This Matters

You can't understand arithmetic without algebra. You can try—you can memorize that 3 + 5 = 8—but you won't understand why addition works the way it does. You won't see the structure.

Algebra reveals that structure. Operations are objects. You can study them, compare them, find what's common across different systems. Groups, rings, fields—these aren't just abstract categories. They're the bones beneath the flesh.

The value of functions: what operations are worth, what they can do, what worlds they generate when you let them loose on a set.

Now we're ready for arithmetic. Now we can look at specific values and see not just what they do, but why they had to do it.