Remark
Tag 06NL, permanent. Cite it as [Bourbaki, Tag 06NL].
Algebra, V, p. 76, § 10. Galois extensions
a) It is easy to show that for every -algebra homomorphism of into , there exists a unique element of such that for all .
2) Let and be two finite -sets. Let be the set of mappings of into such that for all and all . For we define a -algebra homomorphism by . For every homomorphism of into there exists a unique element of such that .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.