Remark
Tag 06PC, permanent. Cite it as [Bourbaki, Tag 06PC].
Algebra, chapter V, § 11. Abelian extensions
Let and let r be the least integer such that . Let B be the set of roots in K of the polynomial ; then we have
by substitution of for T in the relation . By Example 4 each of the polynomials is irreducible, so that (14) is the decomposition of into irreducible polynomials in .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.