can be defined consistently whenever multiplication is power-associative. For example, there is no need to distinguish whether x³ should be defined as (xx)x or as x(xx), since these are equal. Exponentiation to the power of zero can also be defined if the operation has an identity element, so the existence of identity elements is useful in power-associative contexts.

Over a field of characteristic