Exercise 1, § 6
Tag 06JY, permanent. Cite it as [Bourbaki, Tag 06JY].
Algebra, V, p. 151
Let be a field and a commutative -algebra. For to be etale it is necessary and sufficient that there should exist a finite subset of generating the -algebra and such that for all the subalgebra generated by is etale. (If generates , the -algebra is isomorphic to a quotient of the tensor product of the , where runs over .)
Solution
No solution has been written yet.
Cited by
Nothing.
Cites
Nothing.