show · nf.separable_algebra all knowls · up · search:

A (finite) separable algebra $A$ over a field $F$, also called an étale $F$-algebra, is an $F$-algebra of finite dimension that is isomorphic to a product of separable field extensions of $F$.

If $L/K$ is a field extension and $A$ is a separable $K$-algebra then $A\otimes_K L$ is a separable $L$-algebra (which is typically not a field, even when $A$ is).

Knowl status:
  • Review status: reviewed
  • Last edited by David Roberts on 2019-05-03 20:36:52
Referred to by:
History: (expand/hide all) Differences (show/hide)