But algebra does not preserve truth values. It guarantees that if you start with a true statement you will end with a true statement. If you begin with a false statement, it is still valid to end with a true statement. Simple examble:
If you replace your numerical values with algebraic symbols, you may see the problem with your analysis -- its use of a zero allows 1 to equal 2, as shown in this classic example:
Multiplying both sides by zero is always legitimate (if rarely useful). In the example linked, the error is in dividing by zero. More specifically, in dividing by (a-x). Formally speaking, this operation is only defined when (a-x)!=0. Mutipling by zero is defined for all real numbers.
I think you're having trouble with the definition of "preserve". If you begin with a false statement, there isn't actually a truth value available to preserve.
True, but it is still valid algebra. There are other examples where one might turn a false statement into a true statement without doing something as pointless as multipling by zero. A common example is squaring an equation. Consider a system of equation in which it can be shown that x=3. Within this system, the statement x=-3 is false, however the statement x^2=9 is true.
Again, this specific example is contrived, but this does come up annoyingly often.
1=2 | false
0 * 1=0 * 2 |Multiply both sides by 0
0=0 | true