# Intermediate Algebra/Algebraic Axioms

*
This section is unfinished.
*

In mathematics, you built up a series of rules and concepts to solve for equations. At most, they were series of equations, but nevertheless, an application of some rules to get something out. In higher mathematics, you start by unraveling these built up rules and notions - focusing on reconstructing them with what is know and what can be assessed. This is the start of that journey.

## Establishing the Axioms[edit | edit source]

When you begin the task of proving everything through other proofs, you will come across a problem - you can't prove everything without needing to simply end it somewhere. What is this fundamental point of beginning called? An axiom.

Axioms can be thought of as rules that require no proof. Focusing on algebra, we can start from these initial axioms. Note that the variables are being treated as nothing more than numbers.

Associative Law | |

Commutative Law | |

Identity Law | |

Inverse Law |

These axioms suppose some symbols to mean specific things. , although it has always been treated as a number in algebra, is here treated as the addition identity. likewise, although treated as a negation of a number in algebra, is here being treated as the inverse of . In a sense, they have been robbed on the meaning we commonly associated with them.

Here's another facet of these axioms: they all work with each other. This is supposed to mean that each law does not contradict with one another. Observe that, for example, you can create a new association through the use of the commutation law and association law.

From here, you can start building some properties of algebra that might have been considered fundamental, for example - or the idea that adding some number to any number that results in no change must mean that the number you added is 0.

This proof required all four axioms.

However, algebra with only addition would be *easy*, so let's add another set of axioms for another algebraic operator. The next one on the list that you might have thought was subtraction, since they're paired together in algebra after all. But, we can do better by using operations without new axioms - after all, subtraction obeys the association, identity, and inverse law for addition anyways. How? Try out some numbers; this is left as an exercise for you to experiment with.

About the commutative law; well it's intuitively not allowed, right? Try out some numbers. Unless , it won't work. Well, this can actually be inferred, much like how adding some number to any number that results in no change must mean that the number you added is 0. It requires multiplication though, specifically redefining the laws of addition for multiplication.

Associative Law | |

Commutative Law | |

Identity Law | |

Inverse Law |

We will also add an axiom that connects both axioms together.

Distributive Law | |

"Equality Law" |

Now, how can using multiplication and addition justify the subtraction axiom? Easy! Apply the distributive property over it, after adding stuff all over it.

Now, here's a nifty rule that comes from including multiplication - you can prove that negative numbers multiplied by negative numbers equals the positive counterpart. This deserves further explanation.

First, we will prove the easier statement,