So, we can define the n root of "a" this way

Tetration exponent product is non commutative. In general:

The inequality stands as long as m ≠ n, so if a product is defined to operate on tetration exponents, it is not the common product, or it do not operates on the complex field, or results are multivalued to preserve the equality.