Pseudogroup

In mathematics, a pseudogroup is an extension of the group concept, but one that grew out of the geometric approach of Sophus Lie, rather than out of abstract algebra (such as quasigroup, for example). A theory of pseudogroups was developed by Élie Cartan in the early 1900s.

It is not an axiomatic algebraic idea; rather it defines a set of closure conditions on sets of homeomorphisms defined on open sets U of a given Euclidean space E or more generally of a fixed topological space S. The groupoid condition on those is fulfilled, in that homeomorphisms

and

compose to a homeomorphism from U to W. The further requirement on a pseudogroup is related to the possibility of patching (in the sense of descent, transition functions, or a gluing axiom).

Specifically, a pseudogroup on a topological space S is a collection Γ of homeomorphisms between open subsets of S satisfying the following properties.

An example in space of two dimensions is the pseudogroup of invertible holomorphic functions of a complex variable (invertible in the sense of having an inverse function). The properties of this pseudogroup are what makes it possible to define Riemann surfaces by local data patched together.

In general, pseudogroups were studied as a possible theory of infinite dimensional Lie groups. The concept of a local Lie group, namely a pseudogroup of functions defined in neighbourhoods of the origin of E, is actually closer to Lie's original concept of Lie group, in the case where the transformations involved depend on a finite number of parameters, than the contemporary definition via manifolds. One of Cartan's achievements was to clarify the points involved, including the point that a local Lie group always gives rise to a global group, in the current sense (an analogue of Lie's third theorem, on Lie algebras determining a group). The formal group is yet another approach to the specification of Lie groups, infinitesimally. It is known, however, that local topological groups do not necessarily have global counterparts.

...
Wikipedia