algebra in school (idea)

An algebra is a set plus one or more operations on that set. What I'll be trying to show here is that algebra is crucial in one's understanding of elementary mathematics, right from the start of your school career. They're just afraid to call it algebra.

(An algebra, in case you forgot, is a set of operations on some domain of
values, together with a set of generic rules that tell us which different combinations produce identical values.)

A very simple algebra, and widely applied: I've been told this is how dogs count. Children usually learn to count to 10 at first but the principle is the same.

The next step is addition. Addition is a two-argument operation written as +, so we obtain an algebra with signature

<{1,2,3,4,5,6,7,8,9,10,many}, ++, +>

and the rules (the first of which exactly defines the meaning of addition):

++a + b = ++(a + b)
++* = *

Initially we learn to work with a small set of numbers by giving them names and practising counting (the ++ operator) and addition on them.

The following step is to ask: why stop at a highest number? Why should we at some point say that we can no longer increment our numbers?
This thought is the basis of all algebra: take our operations and the equivalence rules that apply to them as basic, instead of the sets
to which they are applied. In algebraic terms, what we do is drop the second rule, giving us

<N, ++, +>

with the following rules:

a+1 = ++a for every a in N
(++a)+b = ++(a+b) for every a, b in N

Actually, the algebra we're interested in is the free algebra with these rules, that is, N consists of everything that must be in the algebra by these rules, and no two elements of N are identical unless the rules can prove it.
In effect, the ++ operation generates a new number every time. (In algebra, we do indeed call ++ a generator for this algebra.)

The idea of arbitrarily large numbers is stunning at first. I remember having excited discussions, back when I was around 8 years old, with other children about infinity and how big it was. I have seen the same excitement in other 8-year olds. What is more, I have seen discussions among grown adults that were based on the same misunderstanding, namely, that if we do not have a largest number, there must be an infinite a number. (But infinity is no more a number than the horizon is a place.)