# Lazard correspondence establishes a 1-isomorphism between Lazard Lie group and Lazard Lie ring

From Groupprops

Revision as of 23:43, 26 June 2013 by Vipul (talk | contribs) (Vipul moved page Lazard correspondence establishes 1-isomorphism between Lazard Lie group and Lazard Lie ring to Lazard correspondence establishes a 1-isomorphism between Lazard Lie group and Lazard Lie ring over redirect)

## Contents

## Statement

Suppose is a Lazard Lie group and is its Lazard Lie ring with the logarithm map and the exponential map. (These are both bijections, and are inverses of each other).

Then, and are 1-isomorphisms, i.e., they are isomorphisms when restricted to cyclic subgroups.

## Facts used

## Proof

### Proof outline

This follows directly from fact (1), and the fact that the logarithm map is bijective.