Groups "approximately commutative" near the identity Is the following idea something that is known?
I call a metric group[1] $G$ "approximately commutative near the identity" if there exists a $K$ such that for small enough $\epsilon$, when $d(g,id) < \epsilon$ and $d(h, id) < \epsilon$ then $d(gh, hg) < K \epsilon^2$.
Any commutative group is an example of this and I believe it should be straightforward to show that every Lie group satisfies this condition.
Which other groups do?  Perhaps if a group is locally compact and "approximately commutative near the identity" then it must be a Lie group, but I don't know anything about any sort of topological groups.
I feel that groups of operators on Banach spaces ought to satisfy this condition too, or at the very least groups of operators on Hilbert space.
Which groups don't?  Well if the metric and the group operation are both somehow "scale invariant" then $d(gh, hg)$ will be of first order, but I have no idea of a more general characterisation.
I'd also be interested in a discussion of this idea carried over to semigroups too.
Edit: [1] a metric group being a group whose operations are continuous with respect to the metric
 A: Yes, it's an easy and well-known fact that for a Lie group with a smooth Riemannian metric (which we may assume left-invariant)
$$d([g,h], 1) = d(g*h, h*g) = O(d(1,g)*d(1,h)) . $$
This follows from differentiability, and from the observation that the commutator map
$[,]: G \times G \rightarrow G$ maps the submanifolds $1 \times G$ and $G \times 1$ both to $1$,
so the first derivative of the commutator is 0. The second derivative is given by the Lie bracket.
However, any Lie group whose identity component is not abelian admits left-invariant path-metrics where this inequality fails, in particular, its Carnot-Caratheodory metrics.  Consider, for instance, the group of isometries of the plane from the point of view of driving a car in a flat area.
Positions of the car are in 1-1 correspondence with the isometries of the plane that take it from its initial parked position to a given position. Define a driving metric that is the minimum total number of turns of the drive shaft (~mean arclength of drive wheels) to get from one position to another. As every driver knows from parallel parking, the driving distance to move sideways by a small Euclidean distance $x$, annoyingly, does not decrease to 0 linearly with  x: it is proportional to 
$\sqrt x$, because the front wheels need (approximately) to enclose an area proportional to the sideways distance.  In the driving metric, the distance from $g*h*$ to $h*g$,
for example if $g = $ cramp the steering wheel to the left and drive forward one unit
while $h = $ cramp the steering wheel to the right and drive forward 1 unit is sometimes as much as $2( d(1,g)+d(1,h))$: in general, there may not be a more efficient way to get from $g*h$ to $h*g$ than to retrace: first do the inverse of $g*h$, then do $h*g*$.
More generally, for any Lie group and any subspace $V$ of its Lie algebra (the tangent space at $1$) that generates the Lie algebra, there is a Carnot-Caratheodory metric that measures path lengths with along the left-invariant plane field which agrees with $V$, with respect to a left-invariant Riemannian metric defined on this plane field. These metrics are important in many real situations. Any non-abelian Lie group has many such subspaces.
Just as in driving, where cars follow paths that have bounded curvature, one can further restrict to paths whose tangent vectors are in the left-invariant cone field that extends any cone in the Lie algebra that generates the Lie algebra, although the Lipschitz equivalence class of the resulting metric depends only on the linear span of the cone (assuming a finite dimensional Lie group).
The question has at least as much to do with the metric as with the group.
A: There is a class of infinite dimensional Lie groups which satisfy this almost commutativity property à la Zassenhauss: in "Sur les Groupes Engendrés par des Difféomorphismes Proches de l'Identité" (Bol.Soc.Bras.Mat., Vol.24, N.2, 137-178), Etienne Ghys observed that the well-known property for Lie groups with an invariant Riemannian metric extends to the groups of analytic diffeomorphisms of real analytic compact manifolds. See Proposition 2.1 in the cited article. 
