词条 | Étale algebra |
释义 |
In commutative algebra, an étale or separable algebra is a special type of algebra, one that is isomorphic to a finite product of separable extensions. DefinitionsLet be a field and let be a -algebra. Then is called étale or separable if as -algebras, where is an algebraically closed extension of and is an integer {{harv|Bourbaki|1990|loc=page A.V.28-30}}. Equivalently, is étale if it is isomorphic to a finite product of separable extensions of . When these extensions are all of finite degree, is said to be finite étale; in this case one can replace with a finite separable extension of in the definition above. A third definition says that an étale algebra is a finite dimensional commutative algebra whose trace form (x,y) = Tr(xy) is non-degenerate. The name "étale algebra" comes from the fact that a finite dimensional commutative algebra over a field is étale if and only if is an étale morphism. ExamplesConsider the -algebra . This is etale because it is a separable field extension. A simple non-example is given by since . PropertiesThe category of étale algebras over a field k is equivalent to the category of finite G-sets (with continuous G-action), where G is the absolute Galois group of k. In particular étale algebras of dimension n are classified by conjugacy classes of continuous homomorphisms from the absolute Galois group to the symmetric group Sn. References
|last=Bourbaki|first= N. |title=Algebra. II. Chapters 4–7. |series= Elements of Mathematics |place=Berlin|publisher= Springer-Verlag|year= 1990| isbn=3-540-19375-8 }}
1 : Commutative algebra |
随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识,基本涵盖了大多数领域的百科知识,是一部内容自由、开放的电子版国际百科全书。