Exponentiation: definition, rules, extensions and applications

Basic definition and notation

Given a base x and an exponent y the power is written x^y and read "x raised to the y" or "x to the y-th power." The base is the number being multiplied and the exponent indicates how many factors of the base appear when the exponent is a positive integer. For example 2⁴ = 2 · 2 · 2 · 2 = 16. When superscript notation is not available, caret (^) or double asterisk (**) are commonly used, as in 2^4 or 2**4. Historical forms and variants of exponent notation are discussed in older sources; for a general note see historical notation.

Integer, zero and negative exponents

When the exponent is a positive integer n, xⁿ means x multiplied by itself n times. The exponent 0 gives a canonical value: for any nonzero base x, x⁰ = 1. Negative exponents represent reciprocals: x^-n = 1 / xⁿ for integer n > 0, provided x ≠ 0. These conventions preserve algebraic laws such as distributivity of powers over multiplication and the relationship between multiplication and addition of exponents. For elementary properties and examples consult basic properties.

Fractional and rational exponents

Rational exponents link exponentiation to roots. The exponent 1/n corresponds to the principal n-th root: x^1/n = √[n]{x} when the context selects the principal root and x is in the appropriate domain (for real arithmetic, x≥0 when n is even). More generally, x^p/q denotes (√[q]{x})^p or equivalently √[q]{x^p}, subject to consistency choices about signs and complex branches. For discussion of roots and principal values see roots and principal root.

Laws and algebraic rules

Exponentiation satisfies a compact set of algebraic laws that are valid under specified conditions (nonzero bases, compatible exponents, prescribed domains). The most ubiquitous rules include:

• Product rule: (ab)ⁿ = aⁿbⁿ when n is an integer and extends to many other exponents. Product rule note.
• Quotient rule: (a/b)ⁿ = aⁿ/bⁿ, with b ≠ 0. Quotient rule.
• Power of a power: (a^r)^s = a^r·s, where composition is well-defined. Power of power.
• Multiplication of like bases: a^ra^s = a^r+s. Addition law.
• Division of like bases: a^r/a^s = a^r−s for a ≠ 0. Division law.
• Zero exponent: a⁰ = 1 for a ≠ 0. Zero exponent.

These identities remain valid in many algebraic systems, including polynomials and fields, provided the operands lie in the domain where exponentiation is defined. They are foundational for simplification, factorization and symbolic manipulation.

Real and complex exponents

Extending exponentiation to real exponents uses limits: for positive real base a and real exponent x, a^x can be defined as the limit of a^q for rational q approaching x, or by using the exponential function and logarithm: a^x = e^{x ln a} for a>0. This analytic construction leads to continuity and differentiability properties important in calculus. For complex exponents the exponential map e^z and the complex logarithm are used; care is required because the complex logarithm is multivalued, so expressions like z^w often require choosing a branch of the logarithm to pick a principal value. For advanced treatments see real exponentiation and complex powers.

Exponentials, logarithms and inverse relations

The exponential function and the logarithm are inverse operations: the logarithm base a is defined so that log_a(a^x) = x for admissible x. The natural exponential e^x is of special importance because its derivative equals itself and because it converts products into sums via logarithms, a property widely used in solving differential equations and modeling multiplicative growth. See introductory material at exponential function.

Applications and examples

Exponentiation appears throughout mathematics and applied fields. Examples include geometric area and volume formulas (squares and cubes correspond to exponents 2 and 3), compound interest in finance, population and radioactive decay models in sciences, and computational complexity classes (polynomial versus exponential growth). Practical computation uses exponentiation algorithms, repeated squaring for integer powers, and floating point implementations for real exponents. For didactic examples and computational notes see applications and computation.

Extensions and notable facts

Important extensions of exponentiation include powers of matrices and linear operators. Matrix exponentiation for a square matrix A can be defined for integer powers by repeated multiplication and for more general exponents by series or spectral decompositions; the matrix exponential exp(A) = ∑_{k=0}^∞ A^k / k! is central to solving linear systems of differential equations. Exponentiation is not generally commutative (a^b need not equal b^a) and is not associative as an operation on three numbers without parentheses: a^(bc) differs from (a^b)^c in general. These subtleties matter in algebraic manipulations and when extending definitions to complex domains.

Below are concise examples to illustrate key cases:

• Positive integer exponent: 5³ = 125.
• Zero exponent: 7⁰ = 1.
• Negative exponent: 2^-3 = 1/8.
• Fractional exponent: 9^1/2 = 3 (principal root).
• Real exponent via logarithm: 2^√2 = e^{√2·ln 2}.
• Complex example (principal value): (e^{iπ}) = -1 and z^w uses e^{w Log z}.

For learners, start with integer exponents and the algebraic laws, then progress to rational exponents and roots, and finally study real and complex exponentiation through limits, series and logarithms. Textbooks and online resources provide exercises and proofs that clarify domain restrictions, branch choices and continuity issues.

Image and figure placeholders used in this article appear throughout to mark where illustrative diagrams, graphs and examples may be inserted:

Note: This article gives a broad, introductory account. For rigorous definitions and proofs consult standard textbooks on algebra, analysis and complex variables or the linked references above.