É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

v6 · 2026-09-19 · History

Domain-specific #

1791

Domain group

Formal Sciences

Origin domain

Mathematics

Subdomain

Commutative Algebra and Galois Theory → Mathematics

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:

How would you explain it like I'm…

 

No faithful explanation at this level. At this level the idea collapses into 'a few separate things side by side,' which loses the separability requirement and the symmetry action over the base field that define the structure.

Clean Separate Number Points

Mathematicians study number systems where you can add, subtract, multiply, and divide. An étale algebra is built by putting a few of these number systems side by side, each one an extension of a starting system. Each piece has to be 'clean': no numbers that turn into zero when multiplied by themselves, and no hidden doubled-up roots. If you look at it with all possible solutions added in, it breaks apart into a simple list of separate points. Symmetries of the starting number system can shuffle those points around.

Products of Separable Fields

An étale algebra over a field k is a commutative algebra that is a finite product of finite separable field extensions of k. 'Separable' means the polynomials involved have no repeated roots. The definition also rules out nilpotents, which are nonzero elements that become zero when raised to some power. If you extend k to its separable closure, the algebra splits into n copies of that closure, like a set of n separate points. The Galois group of k permutes those points, and that action records how the points fit together over k. It is broader than a single field extension, because products are allowed, but narrower than an arbitrary finite-dimensional commutative algebra.

 

An étale algebra over a field k is a commutative k-algebra A isomorphic to L_1 × ⋯ × L_r, where each L_i is a finite separable field extension of k. Equivalently, the structure map k → A is étale. This single condition packages finiteness, commutativity, staying reduced after every base field extension, and having no infinitesimal directions. Geometrically, Spec A is a finite set of unramified points over Spec k. Base change to a separable closure gives A ⊗_k k^s ≅ (k^s)^n, and the absolute Galois group G_k acts continuously by permuting the factors. This gives a contravariant equivalence between finite étale k-algebras and finite continuous G_k-sets. Nilpotents (as in k[x]/(x²)), inseparable extensions, and positive-dimensional behaviour are all excluded. That precise boundary is why étale algebras link field theory, commutative algebra, finite étale schemes, and Galois descent.

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) — outgoing typed relations

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

  Ring is the broader abstraction this entry instantiates.

Hierarchy paths (5) — routes to 5 parentless roots

• Étale Algebra → is a kind of Ring → includes Group → is a kind of Monoid → is a kind of Semigroup → is a kind of Set and Membership

Show alternative paths (4)

Neighborhood in Abstraction Space

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

Family — Field Extensions & Galois-Theoretic Structures (19 abstractions)

Nearest neighbors

• Weyl's Theorem on Complete Reducibility — 0.84
• Composition Algebra — 0.84
• Cohomological dimension — 0.83
• Algebraic Variety — 0.83
• Cyclic Algebra — 0.83

Computed from structural-signature embeddings · 2026-10-25