We study the group of germs of contact diffeomorphisms at a fixed point. We prove that the abelianization of this group is isomorphic to the multiplicative group of real positive numbers. The principal ingredient in this proof is a version of the Sternberg linearization theorem in which the conjugating diffeomorphism preserves the contact structure.
All Science Journal Classification (ASJC) codes
- Applied Mathematics