Corollary

Tag 06EV, permanent. Cite it as [Bourbaki, Tag 06EV].

— The canonical homomorphism of A into the universal decomposition algebra of the monic polynomial $f \in A[X]$ is injective.

For the unit element of $E_f$ forms part of a basis of the A-module $E_f$ .

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

Cited by

Nothing.