Complex Numbers Exponential - Generalizations - in Abstract Algebra

In Abstract Algebra

Exponentiation for integer exponents can be defined for quite general structures in abstract algebra.

Let X be a set with a power-associative binary operation which is written multiplicatively. Then xn is defined for any element x of X and any nonzero natural number n as the product of n copies of x, which is recursively defined by

One has the following properties

If the operation has a two-sided identity element 1 (often denoted by e), then x0 is defined to be equal to 1 for any x.

If the operation also has two-sided inverses, and multiplication is associative then the magma is a group. The inverse of x can be denoted by x−1 and follows all the usual rules for exponents.

If the multiplication operation is commutative (as for instance in abelian groups), then the following holds:

If the binary operation is written additively, as it often is for abelian groups, then "exponentiation is repeated multiplication" can be reinterpreted as "multiplication is repeated addition". Thus, each of the laws of exponentiation above has an analogue among laws of multiplication.

When one has several operations around, any of which might be repeated using exponentiation, it is common to indicate which operation is being repeated by placing its symbol in the superscript. Thus, x∗n is x ∗ ··· ∗ x, while x#n is x # ··· # x, whatever the operations ∗ and # might be.

Superscript notation is also used, especially in group theory, to indicate conjugation. That is, gh = h−1gh, where g and h are elements of some group. Although conjugation obeys some of the same laws as exponentiation, it is not an example of repeated multiplication in any sense. A quandle is an algebraic structure in which these laws of conjugation play a central role.