Étale Algebra

A finite-dimensional commutative algebra over a field that is a finite product of finite separable field extensions, and therefore becomes a finite product of copies of the base after separable closure.

Version

v4 · 2026-09-07 · History

Domain-specific #

1791

Origin domain

mathematics

Subdomain

commutative algebra and Galois theory

Aliases

Étale k-algebra, Finite étale algebra over a field, Finite étale k-algebra

Core Idea

An étale algebra over a field k is a commutative k-algebra A that is isomorphic to a finite product.

A \cong L_1 \times \cdots \times L_r

of finite separable field extensions L_i/k. Equivalently, the structure map k \to A is étale. This one condition packages finiteness, commutativity, reducedness after every field extension, and the absence of infinitesimal directions. It is the algebraic form of a finite collection of unramified points over \operatorname{Spec} k.

Over a separable closure k^s, an étale algebra of dimension n splits:

Scope of Application

In field theory, étale algebras let one treat a single separable extension and a finite family of extensions uniformly. Norms, traces, discriminants, embeddings, and Galois actions extend factor by factor. Polynomial quotients k[x]/(f) are étale exactly when f is separable after removal of irrelevant presentation choices, so the abstraction is a natural output of square-free separable factorization.

In algebraic geometry, \operatorname{Spec}A\to\operatorname{Spec}k is a finite étale morphism. Base change to a separable closure reveals n reduced points, while descent records how those points are permuted.

Clarity

An assertion that A is an étale k-algebra should specify:

1. the base field k and its characteristic;
2. the commutative unital k-algebra structure on A;
3. why A is finite-dimensional;
4. which equivalent criterion is being used;
5. the finite separable factor fields, or evidence that they exist;
6. whether a scalar extension is to a separable or algebraic closure;
7. the dimension, equal to the number of geometric points counted without multiplicity;
8. any connectedness claim, which is equivalent to A being a field;
9. the relevant Galois action and the variance of the correspondence; and
10. whether the statement concerns the field-specific finite object or a general étale morphism.

Manages Complexity

The product-of-fields theorem replaces a potentially opaque multiplication table by a finite list of separable extensions. Calculations of trace, norm, idempotents, and dimension decompose across the factors. Connectedness becomes the presence of a single factor. Base change becomes tensoring each factor and then decomposing it further.

Abstract Reasoning

Suppose A\cong\prod_iL_i with each L_i/k finite separable. Each factor is generated by a separable element after the primitive-element theorem, so its minimal polynomial has no repeated root. After extending scalars to k^s, that polynomial splits into distinct linear factors. The Chinese remainder theorem then turns each factor into a product of copies of k^s, and their product yields A\otimes_k k^s\cong(k^s)^n.

Knowledge Transfer

The finite-set picture transfers directly between field theory and geometry. A product of fields becomes a disjoint union of points under \operatorname{Spec}. Extension of scalars becomes geometric base change. A transitive group action becomes a connected finite étale scheme. Algebra idempotents become clopen components.

It transfers into covering-space intuition with care. A finite étale morphism has discrete fibers of locally constant size and no ramification, resembling a finite covering. The absolute Galois group plays the role of a fundamental symmetry group over a field.

Relationships to Other Abstractions

Current abstraction Étale Algebra Domain-specific

Parents (1) — more general patterns this builds on

• Étale Algebra is a kind of Ring Domain-specific

  Ring is the minimal prospective parent.

Hierarchy paths (5) — routes to 5 parentless roots

• Étale Algebra → Ring → Group → Monoid → Semigroup → Set and Membership

Show alternative paths (4)

Neighborhood in Abstraction Space

Étale Algebra sits in a sparse region of the domain-specific corpus (77^th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Unclustered & Miscellaneous (1565 abstractions)

Nearest neighbors

• Cyclic Algebra — 0.83
• McKay Graph — 0.83
• Schneider–Lang Theorem — 0.83
• Minimal Polynomial (Linear Algebra) — 0.83
• Lie Algebra Extension — 0.82

Computed from structural-signature embeddings · 2026-09-08