Definition 1
Tag 06OC, permanent. Cite it as [Bourbaki, Tag 06OC].
Algebra, chapter V, § 11. Abelian extensions
— An extension E of K is said to be abelian if it is Galois and its Galois group is commutative.
Since every subgroup of a commutative group is normal, Cor. 4 of V, p. 68 shows that every subextension of an abelian extension is abelian.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.