1. It dawned on me I should specify what exactly I mean by “high school mathematics” mentioned in the “About” page.
Briefly: it’s all the mathematics we learned in secondary school (well, American secondary school) plus some naive set theory. Set theoretic considerations aside, we will explicitly state the operators and axioms used.
I may revise this post, later on, to use Knuth’s “naive” construction of the real numbers using integers, just to be more explicit.
2. Stuff and Structure. We work within an “ambient number system”. In other words: the basic guys we work with are numbers. We also use variables, letters which “stand in” for numbers.
What operators do we work with? We have addition and subtraction, multiplication and division, exponentiation.
3. Axioms for Addition, Subtraction. Let , , be any numbers. Then we have several important axioms they satisfy:
- Associativity: and
- Commutativity: and
- Identity Element: There exists a number such that and , moreover
- Additive Inverse: For each there exists a corresponding unique such that . We denote , and call it the negation of x. Moreover .
4. Axioms for Multiplication. We will write or to indicate the product of and . Let , , be arbitrary numbers. Then we have the following axioms.
- Associativity: .
- Identity Element: There exists a unique number satisfying for any .
- Multiplicative Inverse: For any nonzero number there exists a corresponding unique number such that .
- Distributivity over Addition: we have .
5. Exponentiation. Again, let , , be arbitrary positive numbers, none of them zero.
- Identity element: .
- For any nonzero we have .
- We have .
- . In particular, the multiplicative inverse of is precisely .
Observe exponentiation is not associative because , take , , to prove it to yourself. (You’d get which is absurd.)
Also observe exponentiation is not commutative: . Take and for a counter-example to this dangerous intuition.
References. There are a number of references one can look at, I believe the best is Euler’s Elements of Algebra. Although it is about 250 years old…
So some modern ones: John Redden’s Elementary Algebra (2011) is legally free online.
Of course, Wikipedia’s Elementary Algebra discusses…elementary algebra…