(Urgh, I am not getting markup to work, so apologies for the clumsy notation)
So one of the exponent rules is for powers of a power: A^(b)^(c) = A^(b×c). Clearly this works; for example 3^9 equals 3×3×3×3×3×3×3×3×3 which equals 3^(3)^(3) = 3^(3×3). Fine. My problem is that 9 indisputably equals 3 squared: 3^2. But by that reasoning 3^9 should equal 3^(3)^(2), which is flatly in contradiction to the preceding. I know that’s wrong; but I can’t explain why it’s wrong. Why is it now forbidden to say that nine equals three squared just because the nine is itself an exponent?
Order of operations matters. Exponentiation is evaluated from right to left. So, 3^3^3 is interpreted as 3^(3^3), which is 3^27 (about 10^13). This is obviously different than (3^3)^3, which is 27^3 (about 10^4).
For clarity, it’s good to always include parentheses or other notation to make explicit the order of operation.
When multiplying like bases, keep the base the same and add the exponents. When raising a base with a power to another power, keep the base the same and multiply the exponents. When dividing like bases, keep the base the same and subtract the denominator exponent from the numerator exponent.
In computer languages, where ambiguity is a Bad Thing, this is the standard rule for the exp operator. The other common operators are the other way around. E.g. 48/6/2 is 4 not 16.
The markup may make it clearer: Yes, 3^9 = 3^{3^2}, or 3^(3^2) not using the markup. But the parentheses are important. That’s different from (3^3)^2, or (3^3)^2, which is the same as 3^6. If you simply write 3^3^2 (which the markup won’t accept), it’s ambiguous until you accept a convention on whether to read it left-to-right or right-to-left.
This order of operations difference surprises me because one would think that exponentiation, being an increasing operation like addition and multiplication, would be commutative like they are.
The commutative property is a separate issue, meaning A op B = B op A for some operator op.
For order of operations, exponentiation is naturally right to left with the common notation: 4^{3^{2^1}}. You can’t raise 4 to a power until you know what that power is. You can’t raise 3 to a power until you know what that power is. So you have to start with 2^1 = 2. Then 3^{2^1} = 3^2 = 9. Then 4^{3^{2^1}} = 4^9 = 262144.
@Pleonast , that explains it very well, thank you. I strongly suspect that I would not do as well on a remedial algebra extension course as I had thought.
Mathematical notation is just a convention for expressing ideas precisely. It’s not actually math. So, you might do the math well, once you get past the initial barrier of how to write stuff down.
Obligatory mention that we should go to RPN to avoid all of this nonsense.
Not that I believe that but we all know it’s going to show up eventually so we might as well get it out of the way early.
I’ll note that would be possible and consistent to make exponentiation be left-associative instead, but it would be less useful. For example, if exponentiation were left-associative, 4^{3^2} would be equal to ({4^3})^2, which is equal to 4^{3 \cdot 2}. It’s just as simple, or simpler, to write it as a single exponentiation of a product instead of a double exponentiation. So in that world, you would need to add parentheses to force right-associativity: 4^{(3^2)}, while in our world, parentheses are not needed to force left-associativity, you just write the exponent as a product.
Which gets to the point that the conventions of mathematical notation (all of them, not just this case) are not handed down from on high on sacrosanct stone tablets. Humans chose to set up those conventions, and they chose to set them up the way they did for the sake of convenience.