You are staring at the law (ab)^n = a^n \cdot b^n and wondering whether there is a catch. Almost every "clean" rule in mathematics turns out to have an asterisk — \sqrt{a+b} \neq \sqrt{a} + \sqrt{b}, (a+b)^2 \neq a^2 + b^2. Surely the power-of-a-product rule hides a trick case too?
Here is the short answer. In school algebra — where every symbol stands for a real (or at most a complex) number — the rule (ab)^n = a^n \cdot b^n holds without exception. Negatives, fractions, negative exponents, fractional exponents: every case works. There is no trap.
The longer answer is worth hearing because it tells you why the rule holds — and where it would break if the objects you were multiplying were strange enough. The rule depends on one quiet assumption: that a \cdot b = b \cdot a. Real numbers satisfy this. Complex numbers satisfy it. But in linear algebra you will meet matrices, and in 3D rotation you will meet quaternions, and for those objects the assumption fails — and the moment it fails, so does the rule.
Why it holds for real numbers
The rule is really just a rearrangement. Write (ab)^n as n copies of the factor (ab):
Strip the brackets and you get a long string of a's and b's alternating: a \cdot b \cdot a \cdot b \cdots a \cdot b. For two copies, rearrange: a \cdot b \cdot a \cdot b = a \cdot a \cdot b \cdot b = a^2 b^2. For n copies, the same trick — push every a to the front of the string and every b to the back:
That rearrangement is the whole proof. It depends on one property: that swapping two adjacent factors doesn't change the product, i.e. a \cdot b = b \cdot a. This property is called commutativity of multiplication, and for real and complex numbers it is an axiom — always true. So the rearrangement is always legal, and the rule always holds.
The edge cases students worry about but needn't
If you are sceptical, try to break it. Students usually reach for three suspects.
Fractional exponents. (ab)^{1/2} for positive real a and b. Left side: \sqrt{a \cdot b}. Right side: \sqrt{a} \cdot \sqrt{b}. These are equal — it is the standard rule \sqrt{ab} = \sqrt{a} \cdot \sqrt{b} that you meet in Class 9. For a = 4, b = 9: \sqrt{36} = 6 and \sqrt{4} \cdot \sqrt{9} = 2 \cdot 3 = 6. Works.
Negative bases with an integer exponent. (-2 \cdot 3)^2 = (-6)^2 = 36. And (-2)^2 \cdot 3^2 = 4 \cdot 9 = 36. Works. The sign of the base doesn't matter as long as the exponent is an integer.
Negative exponents. (2 \cdot 3)^{-2} = 6^{-2} = \tfrac{1}{36}. And 2^{-2} \cdot 3^{-2} = \tfrac{1}{4} \cdot \tfrac{1}{9} = \tfrac{1}{36}. Works.
Every real case works. Students who intuit "the rule must break somewhere" are half right — the place it breaks exists, but it is out of the scope of algebra. For every number in your NCERT textbook, the rule holds.
The one real-number edge case: negatives with fractional exponents
There is exactly one corner where you should pause. Suppose a < 0 or b < 0, and the exponent is fractional. Consider ((-4) \cdot (-9))^{1/2}. The product (-4)(-9) = 36, so the left side is \sqrt{36} = 6. But the right side, (-4)^{1/2} \cdot (-9)^{1/2}, asks you to take the square root of a negative number — which isn't defined in the real numbers. In the complex numbers, where \sqrt{-1} = i, you can write (-4)^{1/2} = 2i and (-9)^{1/2} = 3i, giving 2i \cdot 3i = -6 — disagreeing with the left side's +6. The resolution is a branch choice for the principal root. See Radicals and Rational Exponents for the full caveat.
For algebra homework, the rule to remember is simple: if the base of a fractional exponent is negative, stop and think before distributing. Everywhere else, the rule is safe.
Where the rule actually breaks — non-commutative multiplication
The rule depends on a \cdot b = b \cdot a. If you ever meet objects for which this fails, the rule goes with it.
Matrices. A matrix represents a transformation — a rotation, a scaling, a reflection. When you multiply two matrices A and B, you apply one transformation after the other, and the order matters. Rotating then reflecting gives a different result from reflecting then rotating. So in general A \cdot B \neq B \cdot A. Watch what happens to (AB)^2:
You cannot rearrange this to A^2 B^2 = A \cdot A \cdot B \cdot B, because the middle B and A cannot be swapped. For a specific rotation and reflection, (AB)^2 and A^2 B^2 come out genuinely different. The rule fails.
Quaternions. Quaternions are an extension of the complex numbers used for 3D rotations — video games, flight simulators, and ISRO spacecraft attitude control all use them. Quaternion multiplication is non-commutative, so again the rule fails.
Function composition. If f and g are functions, composing them is a kind of multiplication, and it is non-commutative: doing f then g is different from g then f. So (f \circ g)^2 = f \circ g \circ f \circ g \neq f^2 \circ g^2.
This is why mature maths texts quietly write the rule with an asterisk: true for commutative rings. Your school algebra lives entirely in a commutative ring (the real numbers), so the asterisk never bites. But it is there, and in linear algebra you will meet it.
The power-of-a-quotient rule — same story
The companion rule (a/b)^n = a^n / b^n rides on the same logic. Write (a/b)^n = (a \cdot b^{-1})^n, apply the power-of-a-product rule plus power-of-a-power, and you get a^n \cdot b^{-n} = a^n / b^n. The rearrangement again needs a and b to commute, which holds for every real and complex number. For matrices, where division is replaced by multiplying by an inverse, the rule fails in general. The only extra caveat is the obvious one: b \neq 0.
Contrast with the SUM case — (a+b)^n DOES break
It is worth stressing how different this is from the famous sum case. (a+b)^n does not distribute — (a+b)^2 \neq a^2 + b^2 — and this is wrong even for ordinary real numbers. The correct expansion needs the binomial theorem, producing cross-terms like 2ab that you cannot drop. The power-of-a-product rule uses commutativity, which real numbers have; the power-of-a-sum rule would need a different property that real numbers simply don't have. For the full visual story, see (a+b)² Is NOT a² + b² — the Missing 2ab Spelled Out With Algebra Tiles.
When you see an exponent on the outside of a bracket, first check whether the stuff inside is a product or a sum. Product: distribute freely. Sum: FOIL or binomial theorem.
Summary table
| Expression | Does the exponent distribute? | Condition |
|---|---|---|
| (a \cdot b)^n = a^n \cdot b^n | Yes | Always, for commutative factors (every real and complex number) |
| (a + b)^n | No | Requires binomial expansion |
| (a/b)^n = a^n / b^n | Yes | Always, with b \neq 0 |
| (a - b)^n | No | Requires binomial expansion (with alternating signs) |
One row has the pattern you want. One row has the pattern you think you want but don't. Commit this table to memory and you will never again wonder which distribution is legal.
Closing
For every algebra problem you will face in Class 9 through JEE, the rule (ab)^n = a^n \cdot b^n holds. Use it freely. The only case to treat with care is negative bases with fractional exponents — there the real numbers run out, and you have to be careful about which root you mean.
When you get to linear algebra later, check commutativity before reaching for the rule. If A \cdot B \neq B \cdot A, the rearrangement fails and so does the rule. That check takes one second. For now, distribute away — the tiles are lined up in your favour.