Corollary

Tag 09G1, permanent. Cite it as [Bourbaki, Tag 09G1].

— For every $x \in G$ ,

\Delta_G(x) = \Delta_{G/G'}(\dot{x}) \operatorname{mod}(i_x),

where

\dot{x}

denotes the canonical image of

x

G/G'

, and

i_x

the automorphism

s \mapsto x^{-1}sx

G'

This follows from Prop. 11, and formula (33) of §1, No. 4.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.