Differential Criteria
The separability can be studied with the aid of derivations and Kähler differentials. Let be a finitely generated field extension of a field . Then
where the equality holds if and only if F is separable over k.
In particular, if is an algebraic extension, then if and only if is separable.
Let be a basis of and . Then is separable algebraic over if and only if the matrix is invertible. In particular, when, above is called the separating transcendence basis.
Read more about this topic: Separable Extension
Famous quotes containing the words differential and/or criteria:
“But how is one to make a scientist understand that there is something unalterably deranged about differential calculus, quantum theory, or the obscene and so inanely liturgical ordeals of the precession of the equinoxes.”
—Antonin Artaud (1896–1948)
“The Hacker Ethic: Access to computers—and anything which might teach you something about the way the world works—should be unlimited and total.
Always yield to the Hands-On Imperative!
All information should be free.
Mistrust authority—promote decentralization.
Hackers should be judged by their hacking, not bogus criteria such as degrees, age, race, or position.
You can create art and beauty on a computer.
Computers can change your life for the better.”
—Steven Levy, U.S. writer. Hackers, ch. 2, “The Hacker Ethic,” pp. 27-33, Anchor Press, Doubleday (1984)