É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:

A \otimes_k k^s \cong (k^s)^n.

The factors are permuted continuously by the absolute Galois group G_k. This yields a contravariant equivalence between finite étale k-algebras and finite continuous G_k-sets^[1]. The algebra remembers a finite set of geometric points together with the descent action that tells how those points are assembled over k.

The abstraction is broader than a finite separable field extension because products are allowed, yet narrower than a general finite-dimensional commutative algebra. Nilpotents, inseparability, and positive-dimensional behavior are excluded. This exact boundary makes étale algebras a reusable interface among field theory, commutative algebra, finite étale schemes, and Galois descent.

Structural Signature¶

The mandatory roles are:

a base field k;
a commutative, associative, unital k-algebra A;
finite k-dimension n;
a product decomposition into finite separable field extensions, unique up to reordering and factor isomorphism;
vanishing relative Kähler differentials \Omega_{A/k}=0;
a finite discrete geometric spectrum after scalar extension to k^s;
an induced continuous action of G_k=\operatorname{Gal}(k^s/k) on the n geometric embeddings or points; and
stability of the étale property under arbitrary base change.

The signature is:

field + finite commutative algebra + separable field factors + no infinitesimal directions → finite étale algebra.

Several equivalent tests expose different faces of the same object. The structure map k\to A is étale. The algebra becomes (k^s)^n after separable closure. Its spectrum is a finite étale k-scheme. For a finite-dimensional commutative algebra, the trace pairing (x,y)\mapsto\operatorname{Tr}_{A/k}(xy) is nondegenerate precisely in the separable case^[2]. These are not separate definitions to be mixed opportunistically; they are interchangeable recognition criteria under the stated hypotheses.

What It Is Not¶

An étale algebra is not every algebra over a field. A polynomial algebra k[x] has positive dimension and nonzero differentials. A matrix algebra M_n(k) can be separable in the broader theory of noncommutative algebras, but it is not commutative and is not an étale k-algebra in this sense.

It is not every finite-dimensional commutative algebra. The dual numbers k[\varepsilon]/(\varepsilon^2) contain a nonzero nilpotent, retain an infinitesimal tangent direction, and do not split into a product of fields. Likewise, a quotient with repeated polynomial factors is not étale.

It is not every finite field extension. In positive characteristic, a finite purely inseparable extension is a field and is finite-dimensional, but it is not separable and hence not étale. Conversely, an étale algebra need not itself be a field: k\times k is the simplest disconnected example.

It is not an arbitrary étale ring map. General étale maps may be localizations or positive-rank finite-presentation algebras that are not finite as modules. Over a field, however, an étale algebra in the retained convention is automatically a finite product of finite separable extensions.

It is not a ramified algebra, a nonreduced finite scheme, or a claim that a chosen decomposition is canonical. The factor fields are intrinsic up to permutation and isomorphism, while individual embeddings into a closure depend on choices.

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. Finite étale schemes over more general bases globalize this local field model and underpin finite étale covers and the étale fundamental group.

In arithmetic geometry, residue extensions at unramified points are finite separable. Étale algebras provide local coordinate rings for collections of such points and a language for descent across field extensions. They also appear when a finite scheme is required to have no ramification or infinitesimal thickening.

In representation and cohomological settings, the finite G_k-set correspondence converts algebra maps into equivariant maps in the opposite direction. This allows algebraic decomposition questions to be expressed as orbit questions and makes connected components correspond to transitive Galois orbits.

The node should be used only when the base is a field and finiteness is part of the identity. The wider theory of étale algebras over rings, finite étale morphisms over schemes, or noncommutative separable algebras requires its own scope.

Clarity¶

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

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

A presentation A=k[x]/(f) is especially transparent when f is square-free: the derivative criterion \gcd(f,f')=1 detects separability^[3]. In imperfect fields, “reduced over k” alone is insufficient; geometric reducedness or separability must be checked because nilpotents can appear after base extension.

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.

The split form (k^s)^n compresses the algebra still more. Rather than track coefficients and primitive elements, one studies an n-element set with continuous G_k-action. Orbits recover field factors; stabilizers recover intermediate fields up to conjugacy; fixed points encode k-rational components. Complicated descent data becomes a finite permutation representation.

The abstraction also manages infinitesimal complexity by ruling it out. The condition \Omega_{A/k}=0 says that there are no nontrivial first-order relative motions. This is why finite étale schemes behave like discrete covering spaces rather than thickened or ramified points.

These compressions are exact only within the finite commutative field-bounded setting. Dropping finiteness, commutativity, or separability changes the classification and can invalidate the product, trace, and finite-set pictures.

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^[3]. 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^[1].

Conversely, if A becomes a product of fields after faithfully extending scalars to a closure, nilpotent or infinitesimal structure cannot survive. Finite-dimensional commutative Artinian structure decomposes A into local factors; étaleness forces each local factor to be a field, and smoothness of relative dimension zero forces those residue extensions to be finite separable. The split and product-of-separable-fields criteria therefore coincide.

The Galois-set reasoning follows contravariantly. Let X_A=\operatorname{Hom}_{k\text{-alg}}(A,k^s). The group G_k acts continuously on X_A by postcomposition. A k-algebra map A\to B induces a map X_B\to X_A, reversing arrows. Conversely, equivariant functions from a finite G_k-set into k^s recover an étale algebra. Thus algebra products correspond to disjoint unions of finite Galois sets, and field factors correspond to transitive orbits.

This supplies strong falsifiers: a nonzero nilpotent, nonzero \Omega_{A/k}, a repeated geometric root, or a purely inseparable factor defeats étaleness.

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. The analogy motivates étale fundamental groups, but it does not turn algebraic fields into topological spaces with ordinary paths.

The diagnostic method also transfers: change to a closure, inspect whether the object splits into distinct simple pieces, and record how symmetry descends the split object. Similar descent patterns occur in representations, torsors, and forms. What remains specific here is the commutative finite algebra and the Galois action induced by field automorphisms.

Examples¶

A separable field extension. \mathbb{Q}(i) is a two-dimensional étale \mathbb{Q}-algebra. Over \mathbb{C} it splits as \mathbb{C}\times\mathbb{C}, corresponding to the two embeddings of \mathbb{Q}(i) into \mathbb{C}.

A disconnected split algebra. k^n is étale over any field k. Its spectrum is n rational points, and the Galois action on those points is trivial.

Real étale algebras. Every finite étale \mathbb{R}-algebra is a product \mathbb{R}^r\times\mathbb{C}^s^[3]. Complex conjugation fixes the real points and exchanges the two geometric points contributed by each complex factor.

A square-free quotient. If f\in k[x] is square-free and separable, then k[x]/(f) is étale. Factoring f over k displays the field factors; splitting it over k^s displays the geometric points.

Dual numbers. k[\varepsilon]/(\varepsilon^2) is finite and commutative but not étale. Its nilpotent remains an infinitesimal thickening and its relative differentials do not vanish.

Pure inseparability. In characteristic p, an extension generated by an element whose minimal polynomial is x^p-a with no root in k is finite but purely inseparable. After closure the polynomial has a repeated root, so the extension is not étale.

Structural Tensions¶

Algebraic unity versus geometric multiplicity. A field is connected as an algebra, yet after separable closure it may split into many geometric points.

Canonical object versus noncanonical presentation. The product factors are intrinsic up to isomorphism and order, while primitive elements, polynomial presentations, closures, and enumerations of embeddings require choices.

Finite simplicity versus descent complexity. The algebra is completely split over k^s, but a nontrivial Galois permutation action can encode subtle arithmetic over k.

Reduced versus geometrically reduced. Over imperfect fields a finite reduced algebra need not remain reduced after scalar extension; separability is the stronger required condition.

Covariant schemes versus contravariant algebras. The finite-point picture is intuitive, but algebra maps reverse the direction of maps between spectra and Galois sets.

Local resemblance versus global scope. Étale maps are locally unramified and smooth of relative dimension zero, but the field-specific algebra node also fixes finiteness and a zero-dimensional global object.

Structural–Framed Character¶

Étale Algebra is domain-specific and structural-leaning. Its product decomposition, split form, trace pairing, vanishing-differential criterion, and finite symmetry action provide a crisp reusable structure. Yet the identity cannot shed fields, commutative algebras, separability, tensor products, spectra, and absolute Galois groups.

The substrate-neutral pattern—an object that becomes a discrete collection after extension and is recovered by symmetry-governed descent—is already expressible through decomposition, symmetry, equivalence, and representation. Those primes do not determine the algebraic hypotheses or the exact class. The established name and proof obligations therefore remain mathematical domain accent rather than a cross-domain prime.

Structural Core vs. Domain Accent¶

The structural core is:

finite object + extension to a split discrete form + symmetry action carrying descent data → recoverable unsplit object.

The domain accent fixes every term: the object is a finite-dimensional commutative k-algebra; extension is tensor base change to k^s; the split form is (k^s)^n; symmetry is the continuous action of G_k; recovery uses equivariant k^s-valued functions; and absence of infinitesimal structure is certified by separability or vanishing Kähler differentials.

Removing the accent admits many unrelated examples and loses the product-of-finite-separable-fields theorem. The abstraction therefore warrants a domain-specific node, not a new prime.

Ring is the minimal prospective parent. Every étale algebra is a commutative unital ring equipped with a particularly constrained field-algebra structure, finite dimension, and separability. The live Ring node owns the broader algebraic substrate without owning this finite unramified subclass.

Field describes each connected factor but cannot parent the whole class because products such as k\times k are not fields. Decomposition explains the finite product. Symmetry and Group explain the absolute Galois action. Equivalence captures the categorical correspondence, while Representation captures the finite permutation action. Boundary and Closure help articulate scalar extension and descent.

Only Ring is proposed as a DAG edge. The other concepts are factor types, mechanisms, or analytical neighbors rather than universal minimal parents.

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.

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

Not to Be Confused With¶

Finite separable field extension: the connected special case; an étale algebra may have several field factors.
Separable algebra: in some literature this includes noncommutative algebras such as central simple algebras.
Étale ring map: the general finite-presentation, smooth-relative-dimension-zero notion, not necessarily a finite algebra over an arbitrary base.
Finite étale scheme: the geometric opposite-category presentation; over k it is \operatorname{Spec}A for a finite étale k-algebra.
Unramified morphism: étale additionally requires the appropriate smoothness or flatness and finite-presentation conditions.
Reduced finite algebra: reducedness over an imperfect base need not imply geometric reducedness or separability.
Semisimple algebra: may be noncommutative; commutative semisimplicity alone must be interpreted relative to the base field.
Dual-number algebra: the canonical nonexample because its nilpotent represents an infinitesimal direction.
Galois extension: a connected étale algebra with additional normality; most étale algebras are not single Galois fields.

References¶

[1] Szamuely, Tamás. Galois Groups and Fundamental Groups. Cambridge University Press, 2009. For the anti-equivalence of §1.5 between finite étale k-algebras and finite continuous Galois sets, contravariance included. For the splitting statement — base change to a separable closure turns a finite étale k-algebra of dimension n into (k^s)n — proved in §1.5. registry ↩a ↩b

[2] Bourbaki, Nicolas. Algebra II: Chapters 4-7. Springer, 1990. For the trace-form criterion, developed in Chapter V, §6 (étale algebras) together with §8, no. 2 (norms and traces in étale algebras). registry ↩

[3] Lang. Algebra. Graduate Texts in Mathematics, 2002. For the derivative criterion — f has no repeated root exactly when gcd(f, f') = 1, which is Lang's separability test for a polynomial; the étale-algebra reading of k[x]/(f) is the article's own framing. For the primitive-element theorem for finite separable extensions and for a separable element's minimal polynomial having no repeated root (Chapter V, algebraic extensions). For the input fact that R and C are the only finite extensions of R (Chapter XI, real fields); the R^r x C^s form for étale algebras is the article's own deduction from its earlier product theorem. registry ↩a ↩b ↩c