What does a^n mean for natural exponents?

For a natural number n ≥ 1, the expression aⁿ means the product of n copies of a. For example, 2⁴ = 2·2·2·2 = 16. The base a can be any real number, and the exponent n counts how many times to multiply the base by itself.

What is the product rule for exponents?

When multiplying powers with the same base, add the exponents: aᵐ · aⁿ = aᵐ⁺ⁿ. For example, 2³ · 2⁴ = 2⁷ = 128. The bases must match — the rule doesn't apply to expressions like 2³ · 3⁴.

What is the quotient rule for exponents?

When dividing powers with the same base, subtract the exponents: aᵐ / aⁿ = aᵐ⁻ⁿ (where m > n and a ≠ 0). For example, x⁸ / x³ = x⁵. This rule subtracts exponents because division cancels common factors.

What is the power of a power rule?

When raising a power to another power, multiply the exponents: (aᵐ)ⁿ = aᵐⁿ. For example, (x⁴)³ = x¹². This works because the outer exponent creates n copies of aᵐ, and the product rule adds m to itself n times.

What is the power of a product rule?

An exponent applied to a product distributes to each factor: (ab)ⁿ = aⁿbⁿ. For example, (2·3)⁴ = 2⁴ · 3⁴ = 16 · 81 = 1296. This extends to any number of factors: (abc)ⁿ = aⁿbⁿcⁿ.

What is the power of a quotient rule?

An exponent applied to a quotient distributes to numerator and denominator: (a/b)ⁿ = aⁿ/bⁿ (where b ≠ 0). For example, (2/3)⁴ = 2⁴/3⁴ = 16/81.

How does the sign of a negative base work with exponents?

A negative base raised to an even exponent is positive: (-2)⁴ = 16. A negative base raised to an odd exponent is negative: (-2)⁵ = -32. The even/odd exponent determines whether the negative signs pair off and cancel.

What is the difference between (-3)² and -3²?

(-3)² = (-3)(-3) = 9 because the entire quantity -3 is squared. But -3² = -(3²) = -9 because the exponent binds only to 3, and the negative sign is applied after. Parentheses determine what is included in the base.

What is a^1 equal to?

a¹ = a for any base a. When the exponent is 1, there is only one copy of the base, so the result is simply the base itself. For example, 5¹ = 5 and (-7)¹ = -7.

What is 1^n equal to?

1ⁿ = 1 for any natural number n. Multiplying 1 by itself any number of times always produces 1. For example, 1¹⁰⁰ = 1.

Why must the bases match to use the product rule?

The product rule aᵐ · aⁿ = aᵐ⁺ⁿ works by counting total factors of the same base. With different bases like 2³ · 3⁴, you can't combine them into a single power — there's no law of exponents that simplifies mixed bases.

What is the difference between (a^m)^n and a^(m^n)?

(aᵐ)ⁿ = aᵐⁿ — you multiply the exponents. But aᵐⁿ means a raised to the power (mⁿ), with the stacked exponents evaluated top-down. For example, (2³)² = 2⁶ = 64, but 2^(3²) = 2⁹ = 512.

How do you simplify expressions with multiple exponent rules?

Work from innermost grouping outward. First simplify expressions inside parentheses using power rules, then combine like bases using product or quotient rules. For (2x³)⁴: distribute the exponent to get 2⁴x¹² = 16x¹².

Natural Exponents

Summary of the Five Laws

Where Exponents Begin

Before powers can be extended to negative, fractional, or irrational exponents, they must first be grounded in the simplest case: a positive whole number telling you how many times to multiply a base by itself. This is where the notation

a^n

acquires its first meaning, where the laws of exponents are first derived from concrete arithmetic, and where the patterns emerge that every later extension is built to preserve.

Key Terms

Core Concepts

Natural Exponent— positive integer exponent counting repeated multiplications

Power— the expression

a^n

Base (of a Power)— the number being multiplied

Exponent— the count of factors

Laws Derived Here

Product Rule (Exponents)—

a^m \cdot a^n = a^{m+n}

Quotient Rule (Exponents)—

a^m / a^n = a^{m-n}

Power of a Power—

(a^m)^n = a^{mn}

See All Algebra Definitions →

Definition

For a natural number

n \geq 1

, the expression

a^n

means the product of

n

copies of

a

a^n = \underbrace{a \cdot a \cdot a \cdots a}_{n \text{ times}}

The base

a

can be any real number — positive, negative, or zero. The exponent

n

counts the repetitions.

Concrete examples anchor the definition.

2^4 = 2 \cdot 2 \cdot 2 \cdot 2 = 16

5^3 = 5 \cdot 5 \cdot 5 = 125

(-3)^2 = (-3)(-3) = 9

(-3)^3 = (-3)(-3)(-3) = -27

.

Two special cases follow immediately. When

n = 1

, there is only one copy of the base:

a^1 = a

for any

a

. When the base is

1

, repeated multiplication changes nothing:

1^n = 1

for any

n

.

A note on convention: whether the natural numbers include

0

varies by source. In this section, natural exponents start at

n = 1

. The case

a^0

arises naturally from the quotient rule and is addressed on the negative exponents page, where the extension below

n = 1

is developed.

Exponent Notation

Notation

Exponent Notation

The two-slot symbol, what the superscript binds to, and which way a stack of exponents reads.

a^n

a to the n; a squared, a cubed for n = 2, 3

Two slots: base below, count above — the raised position *is* the operator, as the Definition above spells out. The exponent

1

is never written:

a^1 = a

Cases

n = 2

reads “squared”,

n = 3

“cubed” — geometry's area and volume speaking; from

n = 4

it is plain “to the fourth”.

Also writtena^n with a caret in plain text and on calculators, a**n in most programming languages — ASCII stand-ins for the superscript.

Do not confuseMultiplication.

2^3 = 8

, not

6

— the exponent counts factors; it never multiplies the base.

-2^4 \neq (-2)^4

Minus, two-to-the-fourth — versus minus-two, to the fourth

The superscript binds tighter than the minus sign:

-2^4 = -(2^4) = -16

. Parentheses are the only way to pull the sign into the base; the resulting even/odd sign analysis is in Sign Behavior below.

CasesThe same binding beats multiplication:

ab^n

a \cdot (b^n)

, never

(ab)^n

Also written

-(2^4)

, parenthesised explicitly, where the audience might stumble.

Do not confuseSoftware precedence. The written convention is universal, but spreadsheets break it — Excel evaluates -2^2 as

4

, minus first. Checking algebra against a spreadsheet is a real source of sign errors.

a^{b^c}

a to the b-to-the-c — read from the top down

Stacked exponents nest from the top:

2^{3^2} = 2^9 = 512

, not

8^2 = 64

CasesThe bottom-up reading already has its own notation —

(a^m)^n

collapses to

a^{mn}

by Power of a Power below — which is exactly why the bare tower is reserved for the top-down reading: the other one never needs it.

Also written

a^{(b^c)}

with explicit parentheses, when the convention cannot be assumed.

Do not confuseLeft-to-right evaluation — the order every other arithmetic chain follows. The tower is the standing exception.

All algebra symbols →↑ Powers

Sign Behavior

The sign of

a^n

depends on the sign of the base and on whether the exponent is even or odd.

A positive base always produces a positive result, regardless of the exponent.

3^2 = 9

3^5 = 243

3^{100}

is positive — no power of a positive number can be negative.

A negative base alternates. When

n

is even, the negative signs pair off and cancel:

(-2)^4 = (-2)(-2)(-2)(-2) = 16

. When

n

is odd, one negative sign remains unpaired:

(-2)^5 = (-2)(-2)(-2)(-2)(-2) = -32

. The rule is clean — even exponent yields positive, odd exponent yields negative.

Parentheses determine what counts as the base. The expression

(-3)^2

squares the entire quantity

-3

, giving

(-3)(-3) = 9

. The expression

-3^2

squares

3

first and then negates:

-(3^2) = -9

. These are not the same number. The exponent binds to the nearest base, so without parentheses, only

3

is raised to the power and the negative sign operates on the result.

Base sign	Exponent parity	Sign of aⁿ	Example
a > 0	even n	+	3⁴ = 81
a > 0	odd n	+	3⁵ = 243
a < 0	even n	+	(−2)⁴ = 16
a < 0	odd n	−	(−2)⁵ = −32

The Product Rule

Multiplying two powers of the same base amounts to counting the total number of factors. The expression

2^3 \cdot 2^4

writes out as

(2 \cdot 2 \cdot 2)(2 \cdot 2 \cdot 2 \cdot 2)

, which is

7

copies of

2

multiplied together:

2^7

.

The pattern generalizes to any base:

a^m \cdot a^n = a^{m+n}

Three factors of

a

followed by four more gives seven total — the exponents add. This holds for any natural numbers

m

and

n

and any base

a

.

The bases must match for the rule to apply. The product

2^3 \cdot 3^4

cannot be simplified by adding exponents, because the bases are different. No law of exponents combines

2^3 \cdot 3^4

into a single power — the expression stays as it is unless rewritten another way.

The Quotient Rule

Dividing two powers of the same base cancels common factors. The expression

\frac{2^5}{2^3}

writes out as

\frac{2 \cdot 2 \cdot 2 \cdot 2 \cdot 2}{2 \cdot 2 \cdot 2}

. Three copies of

2

cancel between numerator and denominator, leaving

2 \cdot 2 = 2^2

.

The general rule subtracts exponents:

\frac{a^m}{a^n} = a^{m-n} \qquad (m > n,\; a \neq 0)

Five factors in the numerator minus three in the denominator leaves two — the exponent of the result is the difference.

For natural exponents, the rule requires

m > n

to keep the result within the natural number framework. When

m = n

, the expression becomes

\frac{a^n}{a^n} = 1

, which would correspond to

a^0

. That case lies outside the scope of natural exponents and is the first signal that the definition needs extending — a thread picked up on the negative exponents page.

Power of a Power

Raising a power to another power multiplies the exponents. The expression

(2^3)^2

means

2^3 \cdot 2^3

, which by the product rule equals

2^{3+3} = 2^6

.

The general rule follows the same logic:

(a^m)^n = a^{m \cdot n}

The outer exponent

n

creates

n

copies of

a^m

. The product rule then adds

m

to itself

n

times, producing

m \cdot n

.

This rule applies regardless of the values of

m

and

n

— as long as both are natural numbers, the result is straightforward multiplication of exponents. The expression

(x^4)^3 = x^{12}

, and

(5^2)^5 = 5^{10}

.

Care is needed with notation. The expression

a^{m^n}

is not the same as

(a^m)^n

. Stacked exponents evaluate from the top down:

a^{m^n} = a^{(m^n)}

, not

a^{mn}

. For instance,

2^{3^2} = 2^9 = 512

, while

(2^3)^2 = 2^6 = 64

Power of a Product

An exponent applied to a product distributes to each factor individually. The expression

(2 \cdot 3)^4

can be expanded as

(2 \cdot 3)(2 \cdot 3)(2 \cdot 3)(2 \cdot 3)

. Rearranging the factors groups all the

2

s and all the

3

s together:

(2 \cdot 2 \cdot 2 \cdot 2)(3 \cdot 3 \cdot 3 \cdot 3) = 2^4 \cdot 3^4

.

The general rule:

(ab)^n = a^n \cdot b^n

Each factor in the product acquires the exponent independently. This extends to any number of factors:

(abc)^n = a^n b^n c^n

.

The rule works because multiplication is commutative and associative — the order in which factors are grouped does not affect the product. Rewriting

(ab)(ab)(ab)

(a \cdot a \cdot a)(b \cdot b \cdot b)

is valid precisely because factors can be rearranged freely.

Power of a Quotient

An exponent applied to a quotient distributes to numerator and denominator separately. The expression

\left(\frac{2}{3}\right)^4

expands as

\frac{2}{3} \cdot \frac{2}{3} \cdot \frac{2}{3} \cdot \frac{2}{3} = \frac{2^4}{3^4} = \frac{16}{81}

.

The general rule:

\left(\frac{a}{b}\right)^n = \frac{a^n}{b^n} \qquad (b \neq 0)

The logic mirrors the power of a product rule. Multiplying

n

copies of

\frac{a}{b}

means multiplying

n

copies of

a

in the numerator and

n

copies of

b

in the denominator. The restriction

b \neq 0

is inherited from the requirement that the original fraction be defined.

Combined with the other rules, the power of a quotient enables simplification of complex fractional expressions. The expression

\left(\frac{x^2}{y^3}\right)^4 = \frac{x^8}{y^{12}}

, applying both the power of a quotient and the power of a power rule in a single step.

Worked Examples

The laws work together in practice. Simplifying expressions typically requires recognizing which rule applies at each step and applying them in sequence.

Simplify

3^2 \cdot 3^5

. The bases match, so the product rule gives

3^{2+5} = 3^7 = 2187

.

Simplify

\frac{x^8}{x^3}

. The quotient rule gives

x^{8-3} = x^5

.

Simplify

(2x^3)^4

. The power of a product distributes:

2^4 \cdot (x^3)^4 = 16x^{12}

.

Simplify

\frac{(a^2b)^3}{a^4b^2}

. Start with the numerator:

(a^2b)^3 = a^6b^3

. Then apply the quotient rule to each variable:

\frac{a^6b^3}{a^4b^2} = a^{6-4}b^{3-2} = a^2b

.

Simplify

\left(\frac{3x^2}{y}\right)^3 \cdot y^4

. The power of a quotient gives

\frac{3^3 x^6}{y^3} \cdot y^4 = \frac{27x^6 \cdot y^4}{y^3} = 27x^6y

.

Each step applies one law. When multiple laws are needed, working from the innermost grouping outward — simplifying parentheses first, then combining like bases — produces the cleanest path to the result.

Expression	Approach (laws used)	Result
3² · 3⁵	product: 3²⁺⁵	3⁷ = 2187
x⁸ ⁄ x³	quotient: x^{8 − 3}	x⁵
(2x³)⁴	power of a product + power of a power: 2⁴ · (x³)⁴	16 x¹²
(a²b)³ ⁄ (a⁴b²)	power of a product to numerator, then quotient per variable	a² b
(3x² ⁄ y)³ · y⁴	power of a quotient, then quotient with y⁴	27 x⁶ y

Summary of the Five Laws

The five laws derived in the sections above all follow from a single principle: counting and regrouping factors. The table below collects them as a single reference card, paired with the counting argument that produces each one. Every later extension — to zero, negative, rational, and irrational exponents — is defined to preserve exactly these identities.

Law	Statement	Example	What it counts
Product	a^m · aⁿ = a^m+n	2³ · 2⁴ = 2⁷	total factors when joining two strings of the same base
Quotient (m > n)	a^m ⁄ aⁿ = a^m−n	2⁵ ⁄ 2³ = 2²	factors left after canceling common ones
Power of a power	(a^m)ⁿ = a^{m · n}	(2³)² = 2⁶	groups of groups — m factors taken n times
Power of a product	(ab)ⁿ = aⁿ · bⁿ	(2·3)⁴ = 2⁴ · 3⁴	each factor in the product accumulates the exponent independently
Power of a quotient (b ≠ 0)	(a ⁄ b)ⁿ = aⁿ ⁄ bⁿ	(2 ⁄ 3)⁴ = 2⁴ ⁄ 3⁴	numerator and denominator each accumulate the exponent independently