Non-commutative vector space A field acting on an abelian group is called a vector space. Is there a name for a field acting on a non-abelian group?
What I mean is a group $G$ a field $F$, and an operation $F \times G \to G$, $(a, x) \mapsto x^a$ such that:

*

*$x^0 = e$

*$x^1 = x$

*$x^{a+b} = x^ax^b$

*$x^{ab} = (x^a)^b$
Is there a name for this kind of structure? Why aren't they studied?
 A: In the case when $F$ has characteristic zero, the restriction $\mathbb{Z} \times G\rightarrow G$ of the external law is just the operation of iterates. We see that the restriction of $(x,a)\mapsto x^a$ to $\mathbb{Q} \times G$ must be an operation of fractional iterates.
The group $G$ can be seen as a group of bijective endomorphisms under composition (let it act by translations on itself). And the existence of a non-ambiguous notion of fractional iterates for such endomorphisms is a rather rare event.
In general, given a fixed $x \in G$, the set $x^F$ is included in the centralizer $\mathcal{C}(x)$ of $x$. So the centralizer of $x$ contains a quotient of the underlying group of $F$. This is also a rather rare event.
So I would say those structures are not much studied because they don't come up often. One other obstacle is that it seems hard to imagine one would be able to say much on the class of those non-commutative vector spaces without specifying some properties of $(x y)^a$ for $x,y \in G$ and $a\in F$, when $x$ and $y$ don't commute.

However I know of similar examples in the case when $F=\mathbb{R}$.
One example is in the group $P_n$ of positive definite $n \times n$ matrices over $\mathbb{R}$. Since their spectrum is contained in $\mathbb{R}^{>0}$, one has a calculus of real-analytic functions on $P_n$. In particular, there is a well-defined operation of real powers $(M,a)\longmapsto M^a$ which satisfies your conditions.
One other example I know is the case of transseries of exponentiality $0$, or even formal Laurent series under composition. In those cases, a positive infinite series has "real iterates" and in fact the tools to define them are formal versions of the functional calculus of the previous example. See G. A. Edgar's article Fractional Iteration of Series and Transseries. This also generalizes to larger fields of transseries and in certain cases the set $x^{\mathbb{R}}$ coincides with $\mathcal{C}(x)$.
Note that my examples are all linked to an order on $G$, and this may be a feature of the characteristic zero case. In any case, there are obstructions to generalizing those two examples to the field of complex numbers.
