Theorem 2
Tag 0A5H, permanent. Cite it as [Bourbaki, Tag 0A5H].
Lie Groups and Lie Algebras, chapter II, § 5. Magnus algebras
Suppose that in the ring the relation implies for every integer . Let be a mapping of into such that for and let be the homomorphism of into the Magnus group such that for . For all , is the inverse image under of the subgroup of .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.