First, a -algebra is defined to be separable if for every field extension of , the algebra is semisimple.
Second, a -algebra is separable if and only if it is flat when considered as a right module of in the obvious (but perhaps not quite standard) way.
Third, a -algebra is separable if and only if it is projective when considered as a left module of in the usual way.
Fourth, a -algebra is separable if and only if the -module morphism
has a right inverse, that is a -module morphism
It is easy to see that the third and fourth definitions are equivalent. We have an epimorphism of -modules
If as above exists, this splits, so is a summand of a free -module, namely itself, so is projective as an -module. Conversely, if is projective, any epimorphism to splits.
We can also state the fourth characterization in a more grungy way in terms of the element . Namely, a -algebra is separable if and only if there exists an element
for all . Such an element is called a separability idempotent, since it satisfies . While grungy, finding a separability idempotent is a practical way to prove that an algebra is separable.
There is a classification theorem for separable algebras: separable algebras are the same as finite products of matrix algebras over finite-dimensional division algebras whose centers are finite-dimensional separable field extensions of the field .
A perfect field is one for which every extension of is separable. Examples include fields of characteristic zero, or finite fields, or algebraically closed fields, or extensions of perfect fields. If is a perfect field, separable algebras are the same as finite products of matrix algebras over finite-dimensional division algebras over field . In other words, if is a perfect field, there is no difference between a separable algebra over and a finite-dimensional semisimple algebra over .
A result of Eilenberg and Nakayama that any separable algebra over a field can be given the structure of a symmetric Frobenius algebra. Since the underlying vector space of a Frobenius algebra is isomorphic to its dual, any Frobenius algebra is necessarily finite dimensional, and so the same is true for separable algebras. For more details, see:
A separable algebra is said to be strongly separable if there exists a separability idempotent that is symmetric, meaning
An algebra is strongly separable if and only if it can be made into a special Frobenius algebra. When this can be done, it can be done in a unique way.
There is an equivalent characterization of strongly separable algebras which makes this fact clearer. Any element of an associative unital algebra gives a left multiplication map
When is finite-dimensional, there is a bilinear pairing defined by
An algebra is strongly separable if and only if is nondegenerate, i.e., if there is an isomorphism given by
In this case, there is just one way to make into a special Frobenius algebra, namely by defining the counit to be
Here are some examples of strongly separable algebras:
the algebra of matrices with entries in the field is strongly separable if and only if is not divisible by the characteristic of .
the group algebra of a finite group is strongly separable if and only if the order of is not divisible by the characteristic of .
For more details, see Aguiar’s book below.
More generally, if is any unital commutative ring, we can define a separable -algebra to be an algebra such that is projective as a module over .
As in the case of algebras over a field, an algebra over a commutative ring is separable if and only if the -module epimorphism
splits, and this in turn is equivalent to the existence of a separability idempotent.
If a separable algebra is also projective as a module over , it must be finitely generated as a -module. For more details see DeMeyer-Ingraham.
The ring extension over is said to be a separable extension if all short exact sequences of --bimodules that are split as --bimodules also split as --bimodules. This is equivalent to the statement that the relative Hochschild cohomology for all and all coefficient bimodules .
Commutative separable algebras are important in algebraic geometry. The concept of étale cover in algebraic geometry is sort of a combination of covering space and separable algebra business. Lieven Le Bruyn has written “in categorical terms, studying the monoidal cat of commutative separable -algebras is the same as studying the étale site of ”. This stuff would be nice to make precise…
There are further generalizations, leading to separable functors…
wikipedia separable algebra
Marcelo Aguiar, A note on strongly separable algebras, Boletín de la Academia Nacional de Ciencias (Córdoba, Argentina), special issue in honor of Orlando Villamayor, 65 (2000) 51-60. (web)
F. DeMeyer and E. Ingraham, Separable algebras over commutative rings, Lecture Notes in Mathematics 181, Springer, Berlin, 1971.
K. Hirata, K. Sugano, On semisimple and separable extensions of noncommutative rings, J. Math. Soc. Japan 18 (1966), 360-373.
An explicit proof of the Grothendieck Galois theory statement that the category of separable algebras over a field is anti-equivalent to the category of continuous actions on finite sets of the profinite fundamental group of :